Browse books

Showing books 491-500 from 1305

E-Books - Mathematical logic

loading...
Michael Gil (EDT)

Norm Estimations for Operator Valued Functions and Their Applications

Price for Eshop: 1371 Kč (€ 54.8)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Paul C. Gilmore

Logicism Renewed

Logical Foundations for Mathematics and Computer Science

Price for Eshop: 1690 Kč (€ 67.6)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Paul C. Gilmore

Logicism Renewed

Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Price for Eshop: 1468 Kč (€ 58.7)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Pshenichnov G I Pshenichnov

Theory Of Latticed Plates And Shells, A

Price for Eshop: 1056 Kč (€ 42.2)

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

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Jean-Yves Girard (EDT)

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, 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...
Jean-Yves Girard (EDT), Yves Lafont (EDT), Laurent Regnier (EDT)

Advances in Linear Logic

Price for Eshop: 1661 Kč (€ 66.4)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Claude Girault, Rudiger Valk

Petri Nets for Systems Engineering

A Guide to Modeling, Verification, and Applications

Price for Eshop: 2239 Kč (€ 89.6)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Enrico Giunchiglia (EDT), Armando Tacchella (EDT)

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

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...
Steven Givant

Duality Theories for Boolean Algebras with Operators

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Add to Cart Information
loading...
Kurt Godel, Solomon Feferman (EDT), John W. Dawson (EDT), Warren Goldfarb (EDT), Charles Parsons (EDT), Wilfried Sieg (EDT)

Kurt Godel: Collected Works: Volume IV

Price for Eshop: 1690 Kč (€ 67.6)

Format: E-Book, Publisher: OUP Oxford

Availability: E-book delivered electronically online

Add to Cart Information
Previous ... 45 46 47 48 49 50 51 52 53 54 55 ... Next