OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
This book constitutes the proceedings of the Third OpenSHMEM Workshop, held in Baltimore, MD,...
EAN: 9783319509945
Raspberry Pi GPU Audio Video Programming
EAN: 9781484224717
Hardware and Software: Verification and Testing
This book constitutes the refereed proceedings of the 12th International Haifa Verification...
EAN: 9783319490519
Software Architecture
This book constitutes the proceedings of the 10th European Conference on Software Architecture,...
EAN: 9783319489919
Verified Software. Theories, Tools, and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 8th...
EAN: 9783319488684
Deploying Raspberry Pi in the Classroom
Learn how to deploy Raspberry Pi computers in a classroom or lab situation and how to navigate...
EAN: 9781484223031
Runtime Verification
The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool...
EAN: 9783319469812
Transactions on Modularity and Composition I
The LNCS Transactions on Modularity and Composition are devoted to all aspects of software...
EAN: 9783319469683
Theoretical Aspects of Computing – ICTAC 2016
EAN: 9783319467498
System Analysis and Modeling. Technology-Specific Aspects of Models
This book constitutes revised papers of the proceedings of the 9th International Workshop on...
EAN: 9783319466125
Scala: From a Functional Programming Perspective
This book gives an introduction to the programming language Scala. The book explains with detail...
EAN: 9783319464800
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
This book is intended to be an easy, concise, but rather complete, introduc the ISO/ANSI C++...
EAN: 9781461265665
Human-Centered and Error-Resilient Systems Development
EAN: 9783319449012
PRIMA 2016: Principles and Practice of Multi-Agent Systems
EAN: 9783319448312
Euro-Par 2016: Parallel Processing
This book constitutes the refereed proceedings of the 22nd International Conference on Parallel...
EAN: 9783319436586
Perspectives of System Informatics
This book constitutes the refereed proceedings of the 10th International Andrei Ershov...
EAN: 9783319415789
Streamlining
This new book presents a blueprint for corporate growth in the challenging environment of the...
EAN: 9781349667000
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the...
EAN: 9783319340951
Abstract State Machines, Alloy, B, TLA, VDM, and Z
This bookconstitutes the refereed proceedings of the 5th International Conference on...
EAN: 9783319335995
Fundamental Approaches to Software Engineering
EAN: 9783662496640
Foundations of Software Science and Computation Structures
EAN: 9783662496299
