Hoppa till sidans huvudinnehåll

Javier Esparza - Böcker

Visar alla böcker från författaren Javier Esparza.
10 produkter
Del 40 - Cambridge Tracts in Theoretical Computer Science

Free Choice Petri Nets

AvJorg Desel,Javier Esparza,C. J. van Rijsbergen

Häftad, Engelska, 2005

689 kr

Skickas inom 7-10 vardagar

Del 379 - London Mathematical Society Lecture Note Series

Finite and Algorithmic Model Theory

AvJavier Esparza,Christian Michaux,Charles Steinhorn,Javier (Technische Universitat Munchen) Esparza,New York) Steinhorn, Charles (Vassar College

Häftad, Engelska, 2011

1 049 kr

Skickas inom 7-10 vardagar

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 Cheng,Javier Esparza

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 439 kr

Skickas inom 10-15 vardagar

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Häftad, Engelska, 2010

1 439 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 Fraigniaud,Thore Husfeldt,Elias Koutsoupias

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 Fraigniaud,Thore Husfeldt,Elias Koutsoupias

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