Proofs and Computations

Fundamentals of Digital Logic and Microcontrollers: Edition 6

Compact Models and Measurement Techniques for High-Speed Interconnects

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Handbook for Automatic Computation: Description of Algol 60

Applying Math with Python: Over 70 practical recipes for solving real-world computational math problems, Edition 2

Model and Design of Improved Current Mode Logic Gates: Differential and Single-ended

Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

Programmable Logic Controllers: Edition 6

Handbook of Constructive Mathematics

Digital Logic Design: Edition 2

Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg

A Practical Introduction to Computer Architecture