Browse books
E-Books - Computer programming / software development
Formal Methods for Open Object-Based Distributed Systems
10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationConstruction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationMMOs from the Outside In
The Massively-Multiplayer Online Role-Playing Games of Psychology, Law, Government, and Real Life
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Apress
Availability: E-book delivered electronically online
Add to Cart InformationFrom Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationLectures on Runtime Verification
Introductory and Advanced Topics
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationRuntime Verification
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationModel Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationVintage Games 2.0
An Insider Look at the Most Influential Games of All Time
Price for Eshop: 1730 Kč (€ 69.2)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationVintage Games 2.0
An Insider Look at the Most Influential Games of All Time
Price for Eshop: 1730 Kč (€ 69.2)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationVirtual Reality with VRTK4
Create Immersive VR Experiences Leveraging Unity3D and Virtual Reality Toolkit
Price for Eshop: 1549 Kč (€ 62.0)
Format: E-Book, Publisher: Apress
Availability: E-book delivered electronically online
Add to Cart Information