- Nonlinear Control in the Year 2000, Volume 2 [2] Alberto Isidori Francoise Lamnabhi-Lagarrigue Witold Respondek Fri 27 February 2026
- Mathematical Control Theory J. Baillieul Jan Camiel Willems Fri 27 February 2026
- Geometry of Feedback and Optimal Control Bronisław Jakubczyk Witold Respondek Fri 27 February 2026
- Algebraic and geometric methods in nonlinear control theory Michel Fliess Michiel Hazewinkel Thu 26 February 2026
- Mots - Mélanges offerts a M. P. Schützenberger M. Lothaire Mon 23 February 2026
- Signature Methods in Finance: An Introduction with Computational Applications N/A Mon 23 February 2026
- My Father's Glory and My Mother's Castle Marcel Pagnol Sun 22 February 2026
- Formal Verification of Control System Software Pierre-Loic Garoche Tue 17 February 2026
- Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II Nils Jansen Sebastian Junges Benjamin Lucien Kaminski Christoph Matheja Thomas Noll Tim Quatmann Mariëlle Stoelinga Matthias Volk Tue 17 February 2026
- Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III Nils Jansen Sebastian Junges Benjamin Lucien Kaminski Christoph Matheja Thomas Noll Tim Quatmann Mariëlle Stoelinga Matthias Volk Tue 17 February 2026
- Erbe spontanee commestibili Sara Cerrini Sun 15 February 2026
- The Cave Beneath the Sea, Paleolithic Images of Cosquer Jean Clottes Jean Courtin Sat 14 February 2026
- Toujours Provence Peter Mayle Sat 14 February 2026
- My Twenty-Five Years in Provence Peter Mayle Sat 14 February 2026
- Applications of Differential-Algebraic Equations: Examples and Benchmarks Stephen Campbell Achim Ilchmann Volker Mehrmann Timo Reis Wed 11 February 2026
- Benchmark Models of Control System Design for Remotely Operated Vehicles Cheng Siong Chin Michael Wai Shing Lau Wed 11 February 2026
- Formal Methods: An Appetizer Flemming Nielson Hanne Riis Nielson Wed 11 February 2026
- Automated Theorem Proving Monty Newborn Tue 10 February 2026
- Formal Methods for Software Engineering: Languages, Methods, Application Domains Markus Roggenbach Antonio Cerone Bernd-Holger Schlingloff Gerardo Schneider Siraj Ahmed Shaikh Tue 10 February 2026
- Concise Guide to Software Verification: From Model Checking to Annotation Checking Marieke Huisman Anton Wijs Tue 10 February 2026
Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21,
Build Time: N/A
