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 m. fl.

Häftad, Engelska, 2005

709 kr

Skickas inom 10-15 vardagar

Del 379 - London Mathematical Society Lecture Note Series

Finite and Algorithmic Model Theory

AvJavier Esparza,Christian Michaux m. fl.

Häftad, Engelska, 2011

1 069 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

AvYu-Fang Chen,Chih-Hong Cheng m. fl.

Häftad, Engelska, 2019

709 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

689 kr

Skickas inom 10-15 vardagar

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Inbunden, Engelska, 2008

1 419 kr

Skickas inom 10-15 vardagar

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Häftad, Engelska, 2010

1 409 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

709 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 m. fl.

Häftad, Engelska, 2014

689 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 m. fl.

Häftad, Engelska, 2014

689 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

709 kr

Skickas inom 10-15 vardagar