E-Books - Mathematical theory of computation

Traveling Salesman Problem

A Computational Study

Price for Eshop: 3040 Kč (€ 121.6)

Format: E-Book, Publisher: Princeton University Press

Availability: E-book delivered electronically online

Lectures in Game Theory for Computer Scientists

Price for Eshop: 3267 Kč (€ 130.7)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

New Frontiers in Artificial Intelligence

JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Ordinal Analysis with an Introduction to Proof Theory

Price for Eshop: 1689 Kč (€ 67.6)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

Advances in Mathematical Logic

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Price for Eshop: 3928 Kč (€ 157.1)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

IFM'99

Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer London

Availability: E-book delivered electronically online

Artificial Intelligence and Symbolic Computation

12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Theory and Practice of Natural Computing

10th International Conference, TPNC 2021, Virtual Event, December 7-10, 2021, Proceedings

Price for Eshop: 1408 Kč (€ 56.3)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online