Browse books

Showing books 401-410 from 6706

E-Books - Computer programming / software development

loading...
Gilles Barthe (EDT)

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 Information
loading...
Gilles Barthe (EDT), Benjamin Gregoire (EDT), Marieke Huisman (EDT), Jean-Luis Lanet (EDT)

Construction 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 Information
loading...
Richard A. Bartle

MMOs 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 Information
loading...
Ezio Bartocci (EDT), Rance Cleaveland (EDT), Radu Grosu (EDT), Oleg Sokolsky (EDT)

From 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 Information
loading...
Ezio Bartocci (EDT), Ylies Falcone (EDT)

Lectures 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 Information
loading...
Ezio Bartocci (EDT), Rupak Majumdar (EDT)

Runtime 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 Information
loading...
Ezio Bartocci (EDT), C. R. Ramakrishnan (EDT)

Model 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 Information
loading...
Matt Barton

Vintage 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 Information
loading...
Matt Barton

Vintage 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 Information
loading...
Rakesh Baruah

Virtual 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
Previous ... 36 37 38 39 40 41 42 43 44 45 46 ... Next