Browse books

Showing books 201-210 from 3773

E-Books - Mathematical theory of computation

loading...
Franz Baader (EDT), Diego Calvanese (EDT), Deborah McGuinness (EDT), Daniele Nardi (EDT), Peter Patel-Schneider (EDT)

Description Logic Handbook

Theory, Implementation and Applications

Price for Eshop: 2394 Kč (€ 95.8)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Franz Baader (EDT), Diego Calvanese (EDT), Deborah L. McGuinness (EDT), Daniele Nardi (EDT), Peter F. Patel-Schneider (EDT)

Description Logic Handbook

Theory, Implementation and Applications

Price for Eshop: 1802 Kč (€ 72.1)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Franz Baader, Tobias Nipkow

Term Rewriting and All That

Price for Eshop: 1492 Kč (€ 59.7)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Franz Baader, Tobias Nipkow

Term Rewriting and All That

Price for Eshop: 1492 Kč (€ 59.7)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Nils A. Baas (EDT), Gunnar E. Carlsson (EDT), Gereon Quick (EDT), Markus Szymik (EDT), Marius Thaule (EDT)

Topological Data Analysis

The Abel Symposium 2018

Price for Eshop: 5618 Kč (€ 224.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Matthias Baaz (EDT), Sy-David Friedman (EDT), Jan Krajicek (EDT)

Logic Colloquium '01

Price for Eshop: 2534 Kč (€ 101.4)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Matthias Baaz (EDT), Johann M. Makowsky (EDT)

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Matthias Baaz (EDT), Andrei Voronkov (EDT)

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 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
loading...
Matthias Baaz, Alexander Leitsch

Methods of Cut-Elimination

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Ivo Babuska (EDT), Philippe G. Ciarlet (EDT), Tetsuhiko Miyoshi (EDT)

Mathematical Modeling and Numerical Simulation in Continuum Mechanics

Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 - October 3, 2000 Yamaguchi, Japan

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 16 17 18 19 20 21 22 23 24 25 26 ... Next