Search
Lexile Level
AR Level
AR Level
Services and Visualization: Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers (1998) 9783540643678 by
Margaria, Tiziana -
Springer,
-1998
Dewey: 004.019
N/A
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings (2004) 9783540208037 by
Steffen, Bernhard -
Springer,
-2004
Dewey: 005.14
N/A
Correct System Design: Recent Insights and Advances (1999) 9783540666240 by
Olderog, Ernst-Rüdiger -
Springer,
-1999
Dewey: 004.21
N/A
Computing and Software Science: State of the Art and Perspectives (2019) 9783319919072 by
Steffen, Bernhard -
Springer,
-2019
Dewey: 004
N/A
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (2018) 9783319683966 by
Steffen, Bernhard -
Springer,
-2018
Dewey: 004.0151
N/A
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co 9783319471655 by
Margaria, Tiziana -
Springer,
-2016
Dewey: 005.1
N/A
Grundlagen Der Höheren Informatik: Induktives Vorgehen (2014) 9783642401459 by
Steffen, Bernhard -
Springer Vieweg,
-2013
Dewey: 004.0151
N/A
Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text 9781146298087 by
Steffen, Bernhard -
Nabu Press,
-2010
N/A
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion 9783642165573 by
Margaria, Tiziana -
Springer,
-2010
Dewey: 005.1
N/A
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, Isola 2008, Porto Sani, Greece, October 13-15, 9783540884781 by
Margaria, Tiziana -
Springer,
-2008
Dewey: 005.1
N/A
Tools and Algorithms for the Construction and Analysis of Systems 9781013271212 by
Steffen, Bernhard -
Saint Philip Street Press,
-2020
N/A
Tools and Algorithms for the Construction and Analysis of Systems 9781013271205 by
Steffen, Bernhard -
Saint Philip Street Press,
-2020
N/A
N/A
Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem 9783032071316 by
Steffen, Bernhard -
Springer,
-2025
N/A
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Pro 9783540610427 by
Margaria, Tiziana -
Springer,
-1996
Dewey: 004.21
N/A
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Select 9783540606307 by
Brinksma, Ed -
Springer,
-1995
Dewey: 004.21
N/A
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches (Softcover Reprint of the Original 1st 2018) 9783030098339 by
Steffen, Bernhard -
Springer,
-2019
Dewey: 004.0151
N/A
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus 9783030034269 by
Margaria, Tiziana -
Springer,
-2018
Dewey: 005.1
N/A
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 9783030034177 by
Margaria, Tiziana -
Springer,
-2018
Dewey: 005.1
N/A
Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, Novem 9783030034207 by
Margaria, Tiziana -
Springer,
-2018
Dewey: 005.1
N/A
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus 9783030034238 by
Margaria, Tiziana -
Springer,
-2018
Dewey: 005.1
N/A
Transactions on Foundations for Mastering Change I (2016) 9783319465074 by
Steffen, Bernhard -
Springer,
-2016
Dewey: 005.1
N/A
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20 9783319471686 by
Margaria, Tiziana -
Springer,
-2016
Dewey: 005.1
N/A
Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime 9783319519623 by
Steffen, Bernhard -
Springer,
-2017
Dewey: 005.1
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of Tacas: Toolympics, Held as Part of Etaps 2019, Prague, Czech Republic, 9783030175016 by
Beyer, Dirk -
Springer,
-2019
Dewey: 005.1015113
N/A