E-Books - Mathematical logic

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

Price for Eshop: 2098 Kč (€ 83.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Petri Net Algebra

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Formal Methods

An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

"Das ist o. B. d. A. trivial!"

Tipps und Tricks zur Formulierung mathematischer Gedanken

Price for Eshop: 633 Kč (€ 25.3)

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

Availability: E-book delivered electronically online

Logica Universalis

Towards a General Theory of Logic

Price for Eshop: 1070 Kč (€ 42.8)

Format: E-Book, Publisher: Birkhauser Basel

Availability: E-book delivered electronically online

New Directions in Paraconsistent Logic

5th WCP, Kolkata, India, February 2014

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer India

Availability: E-book delivered electronically online

DDoS Attacks

Evolution, Detection, Prevention, Reaction, and Tolerance

Price for Eshop: 3427 Kč (€ 137.1)

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: 1632 Kč (€ 65.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online