E-Books - Mathematical theory of computation

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

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

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

Advances in Temporal Logic

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

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

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

Computational Intelligence Methods for Bioinformatics and Biostatistics

14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Combinatorics and Complexity of Partition Functions

Price for Eshop: 3084 Kč (€ 123.4)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Admissible Sets and Structures

Price for Eshop: 3773 Kč (€ 150.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online