Formal Methods for Components and Objects
EAN: 9783642358869
Leveraging Applications of Formal Methods, Verification and Validation
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging...
EAN: 9783642340314
Leveraging Applications of Formal Methods, Verification and Validation
Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging...
EAN: 9783642340253
Introduction to Reliable and Secure Distributed Programming
Failures may range from crashes to adversarial attacks by malicious processes.Cachin, Guerraoui,...
EAN: 9783642423277
Soft Real-Time Systems: Predictability vs. Efficiency
Hard real-time systems are very predictable, but not sufficiently flexible to adapt to dynamic...
EAN: 9781441936554
Pro Objective-C Design Patterns for iOS
It’s time to capitalize on your mastery of Cocoa with Pro Objective-C Design Patterns for iOS....
EAN: 9781430233305
Beginning Mac OS X Snow Leopard Server
EAN: 9781430227724
Assurances for Self-Adaptive Systems
The increasing complexity of systems and the growing uncertainty in their operational...
EAN: 9783642362484
Coordination Models and Languages
This book constitutes the refereed proceedings of the 15th International Conference on...
EAN: 9783642384929
Languages and Compilers for Parallel Computing
EAN: 9783642376573
Learn SpriteBuilder for iOS Game Development
EAN: 9781484202630
NASA Formal Methods
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal...
EAN: 9783642380877
Grid and Pervasive Computing
This book constitutes the refereed proceedings of the 8th International Conference on Grid and...
EAN: 9783642380266
Introduction to Bioinformatics
Womble, PhD Wayne State University School of Medicine, Detroit, MI ~ Springer Science+ ~ Business...
EAN: 9781588292414
Pro OpenSolaris
this book covers the OpenSolaris 2008.11 release.Pro OpenSolaris was written to demonstrate that...
EAN: 9781430218913
Digitale Visionen
Allgegenwärtige, in den Hintergrund tretende Informationstechniken könnten den Menschen in allen...
EAN: 9783540770213
Introduction to Bioinformatics
Womble, PhD Wayne State University School of Medicine, Detroit, MI ~ Springer Science+ ~ Business...
EAN: 9781588290649
Linux: The Complete Reference, Sixth Edition
Explaining each aspect of Linux, this work gives you details on the Linux kernel, Gnome and KDE,...
EAN: 9780071492478
Definitive Guide to SUSE Linux Enterprise Server
The Definitive Guide to SUSE Linux Enterprise Server is a comprehensive guide to Novell's SUSE...
EAN: 9781590597088
