Search
Lexile Level
AR Level
AR Level
Ernest Bloch Studies 9781108792622 by
Knapp, Alexander -
Cambridge University Press,
-2020
Dewey: 780.92
N/A
Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, Rissef 2002, Venice, Italy, October 7-11, 2002, Rev 9783540211792 by
Wirsing, Martin -
Springer,
-2004
Dewey: 005.1
N/A
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 1 9783319459424 by
Ter Beek, Maurice H -
Springer,
-2016
Dewey: 005.1015113
N/A
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (2025) 9783031773815 by
Madeira, Alexandre -
Springer,
-2024
N/A
Go Where the Bugs Are: Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday 9783031921957 by
Ernst, Gidon -
Springer,
-2025
N/A