Mathematics of Program Construction
This book constitutes the refereed proceedings of the 12th International Conference on...
EAN: 9783319197968
Practical Aspects of Declarative Languages
This book constitutes the refereed proceedings of the 17th International Symposium on Practical...
EAN: 9783319196855
Reliable Software Technologies – Ada-Europe 2015
This book constitutes the refereed proceedings of the 20th Ada-Europe International Conference on...
EAN: 9783319195834
Optimizing HPC Applications with Intel Cluster Tools
EAN: 9781430264965
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD,...
EAN: 9783319052144
Computational Logic in Multi-Agent Systems
This book constitutes the proceedings of the 15th International Workshop on Computational Logic...
EAN: 9783319097633
Tests and Proofs
This book constitutes the refereed proceedings of the 8th International Conference on Tests and...
EAN: 9783319090986
Theory and Practice of Model Transformations
This book constitutes the refereed proceedings of the 7th International Conference on Model...
EAN: 9783319087887
Programming Languages and Systems
Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010,...
EAN: 9783642119569
Formal Methods for Executable Software Models
EAN: 9783319073163
Software Engineering and Formal Methods
EAN: 9783319050317
Advanced Parallel Processing Technologies
This book constitutes the refereed post-proceedings of the 10th International Symposium on...
EAN: 9783642452925
Programming Languages and Systems
This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming...
EAN: 9783319035413
Certified Programs and Proofs
This book constitutes the refereed proceedings of the Third International Conference on Certified...
EAN: 9783319035444
Mixed-Effects Models in S and S-PLUS
“Over 170 figures are included in the book. … the material covered in the book is self-contained...
EAN: 9781475781441
Reachability Problems
This book constitutes the refereed proceedings of the 7th International Workshop on Reachability...
EAN: 9783642410352
Software Language Engineering
This book constitutes the refereed proceedings of the 6th International Conference on Software...
EAN: 9783319026534
Principles and Practice of Constraint Programing-CP 2013
This book constitutes the refereed conference proceedings of the 18th International Conference on...
EAN: 9783642406263
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the11th International Conference on Software...
EAN: 9783642405600
Computational Logic in Multi-Agent Systems
This book constitutes the proceedings of the 14th International Workshop on Computational Logic...
EAN: 9783642406232
Hardware and Software: Verification and Testing
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa...
EAN: 9783642396106
Web Services and Formal Methods
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International...
EAN: 9783642382291
Model Checking Software
This book constitutes the refereed proceedings of the 20th International Symposium on Model...
EAN: 9783642391750
ECOOP 2013 -- Object-Oriented Programming
This book constitutes the proceedings of the 27th European Conference on Object-Oriented...
EAN: 9783642390371
