Technische Daten
Erscheinungsdatum
18.04.2020
Herausgeber
Springer International Publishing
Serien- oder Bandtitel
Theoretical Computer Science and General Issues
Buch Untertitel
23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Schlagwörter
categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics
Thema-Inhalt
PBCD - Mathematik: Logik
PBC - Mathematische Grundlagen
UYAM - Mathematik für Informatiker
PBD - Diskrete Mathematik
UMC - Compiler und Übersetzer
UM - Computerprogrammierung und Softwareentwicklung
UYQ - Künstliche Intelligenz
UK - Computerhardware
Hersteller: Springer Nature Customer Service Center GmbH, Europaplatz 3, Heidelberg, Deutschland, 69115, ProductSafety@springernature.com
Warnhinweise und Sicherheitsinformationen
Informationen nach EU Data Act