Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 17th International Symposium on Automated...
EAN: 9783030317836
Fundamentals of Software Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the 8th...
EAN: 9783030315160
Logic, Rationality, and Interaction
This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th...
EAN: 9783662602911
Formal Methods – The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019,...
EAN: 9783030309411
Tests and Proofs
This book constitutes the refereed proceedings of the 13th International Conference on Tests and...
EAN: 9783030311568
Unifying Theories of Programming
This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying...
EAN: 9783030310370
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
This book constitutes the refereed proceedings of the 11th International Conference on System...
EAN: 9783030306892
Geographical Information Systems Theory, Applications and Management
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on...
EAN: 9783030299477
PRICAI 2019: Trends in Artificial Intelligence
EAN: 9783030299071
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 12th International Conference on the...
EAN: 9783030292379
OpenMP: Conquering the Full Hardware Spectrum
This book constitutes the proceedings of the 15th International Workshop on Open MP, IWOMP 2019,...
EAN: 9783030285951
Search-Based Software Engineering
This book constitutes the refereed proceedings of the 11th International Symposium on...
EAN: 9783030274542
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 24th International Conference on Formal Methods for...
EAN: 9783030270070
Computer Aided Verification
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the...
EAN: 9783030255398
Models, Languages, and Tools for Concurrent and Distributed Programming
The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De...
EAN: 9783030214845
R3 Corda for Architects and Developers
EAN: 9781484245316
Foundations of Security, Protocols, and Equational Reasoning
EAN: 9783030190514
Systems Programming in Unix/Linux
Covering all the essential components of Unix/Linux, including process management, concurrent...
EAN: 9783030064297
Topics in Parallel and Distributed Computing
This book introduces beginning undergraduate students of computing and computational disciplines...
EAN: 9783030065911
Introduction to Programming with Fortran
EAN: 9783030092481
