- Encyclopedia of Systems and Control John Baillieul Tariq Samad Mon 05 May 2025
- Causality: The p-adic Theory Vladimir Anashin Mon 05 May 2025
- I parassiti Ascanio Celestini Sun 04 May 2025
- Wywiad z historia Oriana Fallaci Sun 04 May 2025
- Instant storia d'Italia prima di Roma Simone Guida Sun 04 May 2025
- La dura vita del dittatore Simone Guida Sun 04 May 2025
- Il mio spazio verde Gian Marco Mapelli Sun 04 May 2025
- Instant geopolitica. Idee e teorie per vedere il mondo da una nuova prospettiva Simone Guida Tue 29 April 2025
- Dependable Computer Systems Andrzej Białas Wojciech Zamojski Janusz Kacprzyk Jacek Mazurkiewicz Jarosław Sugier Tomasz Walkowiak Tue 29 April 2025
- Introduction to Formal Hardware Verification Thomas Kropf Tue 29 April 2025
- Formal Methods for the Verification of Digital Circuits C. A. J. Van Eijk Tue 29 April 2025
- Formal Verification of Circuits Rolf Drechsler (auth.) Tue 29 April 2025
- Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series) Sayan Mitra Tue 29 April 2025
- Engineering Software Products: An Introduction to Modern Software Engineering Ian Sommerville Tue 29 April 2025
- Software Engineering Ian Sommerville Tue 29 April 2025
- Q Luther Blissett Sat 26 April 2025
- Collected Papers of Claude E. Shannon Claude E. Shannon N. J. A. Sloane Aaron D. Wyner Sat 19 April 2025
- State-space and Multivariable theory H. H. Rosenbrock Fri 18 April 2025
- Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods Paul Molitor Janett Mohnke Fri 18 April 2025
- Poveri cristi Ascanio Celestini Thu 17 April 2025
Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21,
Build Time: N/A
