Start Over
You searched for: author Esparza, Javier.

Search Results

Cover image for Free choice Petri nets

Free choice Petri nets

Location Call # Status
Joyner - General Stacks QA267 .D465 1995 ✔ Available
Cover image for Logics and languages for reliability and security

Logics and languages for reliability and security

  • 2010
  • Format: Electronic
Location
Access Content Online
Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

Location
Access Content Online
Cover image for Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Location
Access Content Online
Cover image for Unfoldings

Unfoldings

Location Call # Status
Joyner - General Stacks QA76.76.V47 E8 2008 ✔ Available
Cover image for Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Location
Access Content Online
Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

Location
Access Content Online
Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Location
Access Content Online
Cover image for Dependable software systems engineering

Dependable software systems engineering

Location
Access Content Online
Cover image for Algebra and coalgebra in computer science

Algebra and coalgebra in computer science

Location
Access Content Online