Technische Daten
Erscheinungsdatum
05.09.2024
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Lecture Notes in Computer Science
Buch Untertitel
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Schlagwörter
Architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, curricula, education, software architecture, mathematics, software design, software engineering, linguistics, fuzzy sets, computing education, software verification and validation, software notations and tools
Thema-Inhalt
PBCD - Mathematik: Logik
PBC - Mathematische Grundlagen
UYQ - Künstliche Intelligenz
UYQL - Natürliche Sprachen und maschinelle Übersetzung
UXJ - Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften
UMZ - Software Engineering
UK - Computerhardware
Hersteller: Springer, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com, Springer Nature Customer Service Center GmbH
Warnhinweise und Sicherheitsinformationen
Informationen nach EU Data Act