218 Result(s)
-
Book
-
Book
-
Book
-
Book
-
Book
Computer-Aided Verification
A Special Issue of Formal Methods In System Design on Computer-Aided Verification
-
Book
Rail Quality and Maintenance for Modern Railway Operation
International Conference on Rail Quality and Maintenance for Modern Railway Operation Delft June 1992
-
Book
-
Book
-
Book
-
Book
-
Book
Non-Equilibrium Thermodynamics with Application to Solids
Dedicated to the Memory of Professor Theodor Lehmann
-
Book
-
Book and Conference Proceedings
RoManSy 9
Proceedings of the Ninth CISM-IFToMM Symposium on Theory and Practice of Robots and Manipulators
-
Book
-
Book
-
Book
-
Book
-
Book
-
Book
-
Book