|  |
| |
| Artikel-Nr.:
5667A-9783031781155 Herst.-Nr.:
9783031781155 EAN/GTIN:
9783031781155 |
| |
|
| | |
| 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings Weitere Informationen: | | Author: | Sidney C. Nogueira; Ciprian Teodorov | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Formal Verification, Coq Proof Assistant, Smart Contracts, nearest neighbors classification, machine learning, Open Banking, Privacy-Risk Analysis, Quantitative Information Flow, UML, UML state machines, UML activities |
| | |
| |