E-Books - Mathematical logic

Alan Turing's Systems of Logic

The Princeton Thesis

Price for Eshop: 1120 Kč (€ 44.8)

Format: E-Book, Publisher: Princeton University Press

Availability: E-book delivered electronically online

Programmverifikation

Sequentielle, parallele und verteilte Programme

Price for Eshop: 704 Kč (€ 28.2)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Constraint Logic Programming using Eclipse

Price for Eshop: 2084 Kč (€ 83.4)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Recursion Theory and Complexity

Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997

Price for Eshop: 4656 Kč (€ 186.2)

Format: E-Book, Publisher: De Gruyter

Availability: E-book delivered electronically online

Justification Logic

Reasoning with Reasons

Price for Eshop: 3238 Kč (€ 129.5)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Half-century Of Automata Theory, A: Celebration And Inspiration

Price for Eshop: 915 Kč (€ 36.6)

Format: E-Book, Publisher: World Scientific Publishing Company

Availability: E-book delivered electronically online

Multidimensional Programming

Price for Eshop: 1831 Kč (€ 73.2)

Format: E-Book, Publisher: Oxford University Press

Availability: E-book delivered electronically online

Arbeiten zur Analysis und zur mathematischen Logik

Price for Eshop: 957 Kč (€ 38.3)

Format: E-Book, Publisher: Springer Vienna

Availability: E-book delivered electronically online

Algorithms and Theory of Computation Handbook, Volume 1

General Concepts and Techniques

Price for Eshop: 2578 Kč (€ 103.1)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online