Javier Esparza – författare

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

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
759 kr
Skickas inom 7-10 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 159 kr
Skickas inom 7-10 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
729 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
709 kr
Skickas inom 10-15 vardagar
Unfoldings
A Partial-Order Approach to Model Checking
AvJavier Esparza,Keijo Heljanko
Inbunden, Engelska, 2008
1 449 kr
Skickas inom 10-15 vardagar
Unfoldings
A Partial-Order Approach to Model Checking
AvJavier Esparza,Keijo Heljanko
Häftad, Engelska, 2010
1 449 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
729 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
729 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
729 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
729 kr
Skickas inom 10-15 vardagar