Hoppa till sidans huvudinnehåll

Javier Esparza – författare

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

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar

Del 379 - London Mathematical Society Lecture Note Series

Finite and Algorithmic Model Theory

AvJavier Esparza,Christian Michauxm. fl.

Häftad, Engelska, 2011

1 129 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 Chengm. fl.

Häftad, Engelska, 2019

719 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

699 kr

Skickas inom 10-15 vardagar

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Inbunden, Engelska, 2008

1 429 kr

Skickas inom 10-15 vardagar

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Häftad, Engelska, 2010

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

719 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

719 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

719 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

719 kr

Skickas inom 10-15 vardagar