E-Books - Mathematical theory of computation

Conceptual Structures: Leveraging Semantic Technologies

17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Reasoning Web. Semantic Technologies for Intelligent Data Access

9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Principles and Practice of Constraint Programming

22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Einfuhrung in die Theorie der kognitiven Kommunikation

Wie Sprache, Information, Energie, Internet, Gehirn und Geist zusammenhangen

Price for Eshop: 2013 Kč (€ 80.5)

Format: E-Book, Publisher: Springer Fachmedien Wiesbaden

Availability: E-book delivered electronically online

Computational Methods and Function Theory

Proceedings of a Conference held in Valparaiso, Chile, March 13-18, 1989

Price for Eshop: 950 Kč (€ 38.0)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Practical Aspects of Declarative Languages

14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Algebraic Methodology and Software Technology

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Operational Semantics for Timed Systems

A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Programmgesteuerte digitale Rechengerate (elektronische Rechenmaschinen)

Price for Eshop: 985 Kč (€ 39.4)

Format: E-Book, Publisher: Springer Basel

Availability: E-book delivered electronically online