Javier Esparzaの本 - BookPine

Moros y cristianos: La gran aventura de la España medieval (La Reconquista)

Moros y cristianos: La gran aventura de la España medieval (La Reconquista)

Javier Esparza

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint ... Computer Science and General Issues)

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint ... Computer Science and General Issues)

Javier Esparza

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10203)

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 10203)

Javier Esparza

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)

Javier Esparza

Finite and Algorithmic Model Theory

Finite and Algorithmic Model Theory

Javier Esparza

Unfoldings: A Partial-Order Approach to Model Checking

Unfoldings: A Partial-Order Approach to Model Checking

Javier Esparza

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ...

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ...

Javier Esparza

Logics and Languages for Reliability and Security (Volume 25): NATO Science for Peace and Security Series

Logics and Languages for Reliability and Security (Volume 25): NATO Science for Peace and Security Series

Javier Esparza

HIV Vaccine Development: Unaids Perspectives

HIV Vaccine Development: Unaids Perspectives

Javier Esparza

Application and Theory of Petri Nets 2002

Application and Theory of Petri Nets 2002

Javier Esparza

Unfoldings

Unfoldings

Javier Esparza

Free Choice Petri Nets

Free Choice Petri Nets

Jörg Desel

Applications and Theory of Petri Nets 2002

Applications and Theory of Petri Nets 2002

Javier Esparza

Unfoldings: A Partial-Order Approach to Model Checking

Unfoldings: A Partial-Order Approach to Model Checking

Javier Esparza

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series) 2008 edition

Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series) 2008 edition

Javier Esparza