Search
Lexile Level
AR Level
AR Level
Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, 2002. Proceedings (2002) 9783540437871 by
Esparza, Javier -
Springer,
-2002
Dewey: 004
N/A
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe 9783642120015 by
Esparza, Javier -
Springer,
-2010
Dewey: 005.1
N/A
Unfoldings: A Partial-Order Approach to Model Checking 9783642096051 by
Esparza, Javier -
Springer,
-2010
Dewey: 005.14
N/A
Automata, Languages, and Programming: 41st International Colloquium, Icalp 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I (2014) 9783662439470 by
Esparza, Javier -
Springer,
-2014
Dewey: 004.0151
N/A
Automata, Languages, and Programming: 41st International Colloquium, Icalp 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (2014) 9783662439500 by
Esparza, Javier -
Springer,
-2014
Dewey: 004.0151
N/A
Foundations of Software Science and Computation Structures: 20th International Conference, Fossacs 2017, Held as Part of the European Joint Conference 9783662544570 by
Esparza, Javier -
Springer,
-2017
Dewey: 005.1015113
N/A
Unfoldings: A Partial-Order Approach to Model Checking (2008) 9783540774259 by
Esparza, Javier -
Springer,
-2008
Dewey: 005.14
N/A
Free Choice Petri Nets (Pbk Version) 9780521019453 by
Desel, Jorg -
Cambridge University Press,
-2005
Dewey: 511.5
N/A
Finite and Algorithmic Model Theory 9780521718202 by
Esparza, Javier -
Cambridge University Press,
-2011
Dewey: 511.34
N/A
Automata Theory: An Algorithmic Approach 9780262048637 by
Esparza, Javier -
MIT Press,
-2023
Dewey: 005.131
N/A
Automated Technology for Verification and Analysis: 17th International Symposium, Atva 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (2019) 9783030317836 by
Chen, Yu-Fang -
Springer,
-2019
Dewey: 005.1
N/A