E-Books - Mathematical logic

DDoS Attacks

Evolution, Detection, Prevention, Reaction, and Tolerance

Price for Eshop: 3100 Kč (€ 124.0)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Price for Eshop: 5055 Kč (€ 202.2)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Introduction to Coding Theory

Price for Eshop: 1436 Kč (€ 57.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Introduction to Coding Theory

Price for Eshop: 1436 Kč (€ 57.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Theory and Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Combinatory Logic

Pure, Applied and Typed

Price for Eshop: 1860 Kč (€ 74.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Proof Theory

Sequent Calculi and Related Formalisms

Price for Eshop: 1860 Kč (€ 74.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Precis of Mathematical Logic

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Logic and Its Applications

Price for Eshop: 3533 Kč (€ 141.3)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online