librarian a book library

✓
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III Erbe spontanee commestibili The Cave Beneath the Sea, Paleolithic Images of Cosquer
✓
Toujours Provence My Twenty-Five Years in Provence Applications of Differential-Algebraic Equations: Examples and Benchmarks Benchmark Models of Control System Design for Remotely Operated Vehicles
Formal Methods: An Appetizer Automated Theorem Proving Formal Methods for Software Engineering: Languages, Methods, Application Domains Concise Guide to Software Verification: From Model Checking to Annotation Checking

Library Size: 80G (3740 books), Last Updated: Mar 31, 2026, 18:05:21, Build Time: N/A badge
[show logs] [hide logs]