Buchumschlag

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of S...

Ausführliche Beschreibung

Gespeichert in:
Format: Online
Sprache:Englisch
Veröffentlicht: Springer Nature 2020
Schlagworte:
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
Programming Techniques
Logic in AI
Computer Systems Organization and Communication Networks
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
Mathematical foundations
Mathematical logic
Discrete mathematics
Maths for computer scientists
Programming & scripting languages: general
Compilers & interpreters
Computer programming / software engineering
Artificial intelligence
Computer networking & communications
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
Online-Zugang:ONIX_20200513_9783030452315_23
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!

Online

ONIX_20200513_9783030452315_23

Ähnliche Einträge