E-Books - Mathematical logic

Semimodular Lattices

Price for Eshop: 774 Kč (€ 31.0)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Transactions on Petri Nets and Other Models of Concurrency V

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Regularization for Applied Inverse and Ill-Posed Problems

A Numerical Approach

Price for Eshop: 704 Kč (€ 28.2)

Format: E-Book, Publisher: Vieweg+Teubner Verlag

Availability: E-book delivered electronically online

Strukturtypen der Logik

Price for Eshop: 3365 Kč (€ 134.6)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Applications and Theory of Petri Nets 2003

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Models for Concurrency

Price for Eshop: 1730 Kč (€ 69.2)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Models for Concurrency

Price for Eshop: 1730 Kč (€ 69.2)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Logica

Volume 1 - Dimostrazioni e modelli al primo ordine

Price for Eshop: 563 Kč (€ 22.5)

Format: E-Book, Publisher: Springer Milan

Availability: E-book delivered electronically online