Scalable Uncertainty Management
This book constitutes the refereed proceedings of the 12th International Conference on Scalable...
EAN: 9783030004606
Beginning Programming Using Retro Computing
You can also use this book as an opportunity to dust off your computing skills or learn...
EAN: 9781484241455
Understanding Control Flow
Examples and exercises are also provided in this textbook. New programming methodologies are...
EAN: 9783319798301
Modern Systems Programming with Scala Native
EAN: 9781680506228
Visual Design of GraphQL Data
Get an introduction to the visual design of GraphQL data and concepts, including GraphQL...
EAN: 9781484239032
Practical PHP 7, MySQL 8, and MariaDB Website Databases
EAN: 9781484238424
Interactive Theorem Proving
This book constitutes the refereed proceedings of the 9th International Conference on Interactive...
EAN: 9783319948201
Logic, Language, Information, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book...
EAN: 9783662576687
Deep Belief Nets in C++ and CUDA C: Volume 3
EAN: 9781484237205
Deep Belief Nets in C++ and CUDA C: Volume 2
EAN: 9781484236451
New Opportunities for Software Reuse
This book constitutes the refereed proceedings of the 17th International Conference on Software...
EAN: 9783319904207
Fundamental Approaches to Software Engineering
EAN: 9783319893624
NASA Formal Methods
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods,...
EAN: 9783319779348
Deep Belief Nets in C++ and CUDA C: Volume 1
EAN: 9781484235904
Graph Transformation, Specifications, and Nets
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in...
EAN: 9783319753959