Browse books
E-Books - Mathematical logic
Logic, Computation, Hierarchies
Price for Eshop: 5008 Kč (€ 200.3)
Format: E-Book, Publisher: De Gruyter
Availability: E-book delivered electronically online
Add to Cart InformationLogic, Computation, Hierarchies
Price for Eshop: 5008 Kč (€ 200.3)
Format: E-Book, Publisher: De Gruyter
Availability: E-book delivered electronically online
Add to Cart InformationWissensbasierte Systeme
3. Internationaler GI-Kongre Munchen, 16.-17. Oktober 1989 Proceedings
Price for Eshop: 1013 Kč (€ 40.5)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationLattice Basis Reduction
An Introduction to the LLL Algorithm and Its Applications
Price for Eshop: 1958 Kč (€ 78.3)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationProofs and Confirmations
The Story of the Alternating-Sign Matrix Conjecture
Price for Eshop: 1183 Kč (€ 47.3)
Format: E-Book, Publisher: Cambridge University Press
Availability: E-book delivered electronically online
Add to Cart InformationRanking and Prioritization for Multi-indicator Systems
Introduction to Partial Order Applications
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer New York
Availability: E-book delivered electronically online
Add to Cart InformationLogical Skills
Social-Historical Perspectives
Price for Eshop: 2802 Kč (€ 112.1)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationPapers in Honour of Bernhard Banaschewski
Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra
Price for Eshop: 3647 Kč (€ 145.9)
Format: E-Book, Publisher: Springer Netherlands
Availability: E-book delivered electronically online
Add to Cart InformationMathematics of Quantum Computation
Price for Eshop: 2219 Kč (€ 88.8)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationTheory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, 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