Browse books

Showing books 371-380 from 5381

E-Books - Algorithms & data structures

loading...
Amotz Bar-Noy (EDT), Magnus M. Halldorsson (EDT)

Algorithms for Sensor Systems

8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2012, Ljubljana, Slovenia, September 13-14, 2012. Revised Selected Papers

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Pietro Baroni (EDT), Christoph Benzmuller (EDT), Yι N. Wang (EDT)

Logic and Argumentation

4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Giulio Cesare Barozzi

Aritmetica

un approccio computazionale

Price for Eshop: 117 Kč (€ 4.7)

Format: E-Book, Publisher: Springer Milan

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Clark Barrett (EDT), Misty Davies (EDT), Temesghen Kahsai (EDT)

NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, 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...
Marcio Barros (EDT), Yvan Labiche (EDT)

Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 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...
Marina Barsky, Alex Thomo, Ulrike Stege

Full-Text (Substring) Indexes in External Memory

Price for Eshop: 880 Kč (€ 35.2)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Armin P. Barth

Algorithmik fur Einsteiger

Fur Studierende, Lehrer und Schuler in den Fachern Mathematik und Informatik

Price for Eshop: 774 Kč (€ 31.0)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Gilles Barthe (EDT), Manuel Hermenegildo (EDT)

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, 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), Ben Livshits (EDT), Riccardo Scandariato (EDT)

Engineering Secure Software and Systems

4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, 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...
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
Previous ... 33 34 35 36 37 38 39 40 41 42 43 ... Next