Formal Methods for Industrial Critical Systems
EAN: 9783032009418
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education
This book constitutes the proceedings of the 18th International Conference on Informatics in...
EAN: 9783032012210
Datenbanken und SQL
Die Schwerpunkte des Buches sind relationale Datenbanken, Entwurf von Datenbanken, die...
EAN: 9783662704554
Nichtsequentielle und Verteilte Programmierung mit Go
Dieses Buch fĂĽhrt nach einem kurzen Kapitel ĂĽber grundlegende Aspekte der Softwaretechnik und...
EAN: 9783658473204
Logic and Argumentation
This book constitutes the refereed proceedings of the 6th International Conference on Logic and...
EAN: 9789819679553
Graph Transformation
This book constitutes the refereed proceedings of the 18th International Conference on Graph...
EAN: 9783031947056
C/C++ anwenden
In diesem Buch geht es um die Lösung realitätsnaher Probleme aus Forschung und Technik. Abgesehen...
EAN: 9783658380922
Static Analysis
This book constitutes the refereed proceedings of the 25th International Static Analysis...
EAN: 9783319997247
Reversible Computation
This book constitutes the refereed proceedings of the 10th International Conference on Reversible...
EAN: 9783319994970
Integrated Formal Methods
This book constitutes the refereed proceedings of the 14th International Conference on Integrated...
EAN: 9783319989372
Intelligent Computer Mathematics
?This book constitutes the refereed proceedings of the 11th International Conference on...
EAN: 9783319968117
Principles of Modeling
Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of...
EAN: 9783319952451
Formal Methods
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal...
EAN: 9783319955810
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th...
EAN: 9783319944593
Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on...
EAN: 9783319942049
Model Checking Software
This book constitutes the refereed proceedings of the 25th International Symposium on Model...
EAN: 9783319941103
Theory and Practice of Model Transformation
This book constitutes the refereed proceedings of the 11th International Conference on Model...
EAN: 9783319933160
