Javier Esparza – författare

Visar alla böcker från författaren Javier Esparza.

10 produkter

Kategorier

10 produkter

Del 40
Del 40 - Cambridge Tracts in Theoretical Computer Science
Free Choice Petri Nets
AvJorg Desel,Javier Esparzam. fl.
Häftad, Engelska, 2005
929 kr
Skickas inom 5-8 vardagar
Del 379
Del 379 - London Mathematical Society Lecture Note Series
Finite and Algorithmic Model Theory
AvJavier Esparza,Christian Michauxm. fl.
Häftad, Engelska, 2011
1 389 kr
Skickas inom 5-8 vardagar
Del 11781
Del 11781 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
AvYu-Fang Chen,Chih-Hong Chengm. fl.
Häftad, Engelska, 2019
749 kr
Skickas inom 10-15 vardagar
Application and Theory of Petri Nets 2002
23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
AvJavier Esparza,Charles Lakos
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
Unfoldings
A Partial-Order Approach to Model Checking
AvJavier Esparza,Keijo Heljanko
Inbunden, Engelska, 2008
1 479 kr
Skickas inom 10-15 vardagar
Unfoldings
A Partial-Order Approach to Model Checking
AvJavier Esparza,Keijo Heljanko
Häftad, Engelska, 2010
1 479 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
AvJavier Esparza,Rupak Majumdar
Häftad, Engelska, 2010
739 kr
Skickas inom 10-15 vardagar
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
AvJavier Esparza,Pierre Fraigniaudm. fl.
Häftad, Engelska, 2014
739 kr
Skickas inom 10-15 vardagar
Automata, Languages, and Programming
41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
AvJavier Esparza,Pierre Fraigniaudm. fl.
Häftad, Engelska, 2014
739 kr
Skickas inom 10-15 vardagar
Foundations of Software Science and Computation Structures
20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
AvJavier Esparza,Andrzej S. Murawski
Häftad, Engelska, 2017
739 kr
Skickas inom 10-15 vardagar

Javier Esparza – författare

Free Choice Petri Nets

Finite and Algorithmic Model Theory

Automated Technology for Verification and Analysis

Application and Theory of Petri Nets 2002

Unfoldings

Unfoldings

Tools and Algorithms for the Construction and Analysis of Systems

Automata, Languages, and Programming

Automata, Languages, and Programming

Foundations of Software Science and Computation Structures

Javier Esparza – författare

Free Choice Petri Nets

Finite and Algorithmic Model Theory

Automated Technology for Verification and Analysis

Application and Theory of Petri Nets 2002

Unfoldings

Unfoldings

Tools and Algorithms for the Construction and Analysis of Systems

Automata, Languages, and Programming

Automata, Languages, and Programming

Foundations of Software Science and Computation Structures