librarian
a book library
home
tags
no pdf
bad author
no cover
add item
bibliographer
Add reference
readme
Instant geopolitica. Idee e teorie per vedere il mondo da una nuova prospettiva
Simone Guida
Dependable Computer Systems
Andrzej Białas
Wojciech Zamojski
Janusz Kacprzyk
Jacek Mazurkiewicz
Jarosław Sugier
Tomasz Walkowiak
Introduction to Formal Hardware Verification
Thomas Kropf
Formal Methods for the Verification of Digital Circuits
C. A. J. Van Eijk
Formal Verification of Circuits
Rolf Drechsler (auth.)
Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)
Sayan Mitra
Engineering Software Products: An Introduction to Modern Software Engineering
Ian Sommerville
Software Engineering
Ian Sommerville
Q
Luther Blissett
Collected Papers of Claude E. Shannon
Claude E. Shannon
N. J. A. Sloane
Aaron D. Wyner
State-space and Multivariable theory
H. H. Rosenbrock
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
Paul Molitor
Janett Mohnke
← Previous
1
28
29
30
31
32
312
Next →
Library Size: 80G (3741 books), Last Updated: Apr 07, 2026, 15:54:53, Build Time:
N/A
[show logs]
[hide logs]
