25 results
Type of media (3)
Availability (2)
Language (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
25 results

Your search for Javier Esparza

  1. Cover: Automata Theory - MIT Press
    Javier Esparza | Michael Blondin
    Automata Theory
    An Algorithmic Approach
    10/2023
    MIT Press
    9780262376938 (ISBN)
    E-Book
    ePUB
    Other editions
    €78.49
    Available for download
  2. Cover: Foundations of Software Science and Computation Structures - Springer
    Javier Esparza | Andrzej S. Murawski
    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
    03/2017
    Springer
    9783662544587 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Automated Technology for Verification and Analysis - Springer
    Yu-Fang Chen | Chih-Hong Cheng | Javier Esparza
    Automated Technology for Verification and Analysis
    17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
    10/2019
    Springer
    9783030317843 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Automata, Languages, and Programming - Springer
    Javier Esparza | Pierre Fraigniaud | Thore Husfeldt
    Automata, Languages, and Programming
    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
    06/2014
    Springer
    9783662439487 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Automata, Languages, and Programming - Springer
    Javier Esparza | Pierre Fraigniaud | Thore Husfeldt
    Automata, Languages, and Programming
    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
    06/2014
    Springer
    9783662439517 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Finite and Algorithmic Model Theory - Cambridge University Press
    Javier Esparza | Christian Michaux | Charles Steinhorn
    Finite and Algorithmic Model Theory
    12/2011
    1st EDN1st Edition
    Cambridge University Press
    9781139118606 (ISBN)
    E-Book
    PDF
    Other editions
    €67.99
    Available for download
  7. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Javier Esparza | Rupak Majumdar
    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
    03/2010
    Springer
    9783642120022 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Unfoldings - Springer
    Javier Esparza | Keijo Heljanko
    Unfoldings
    A Partial-Order Approach to Model Checking
    03/2008
    1st EDN1st Edition
    Springer
    9783540774266 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  9. Cover: Application and Theory of Petri Nets 2002 - Springer
    Javier Esparza | Charles Lakos
    Application and Theory of Petri Nets 2002
    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    08/2003
    Springer
    9783540480686 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Automata Theory - MIT Press
    Javier Esparza | Michael Blondin
    Automata Theory
    An Algorithmic Approach
    10/2023
    MIT Press
    9780262048637 (ISBN)
    Book
    Hardback
    Other editions
    €94.09
    Shipment within 10-20 days
  11. Cover: Foundations of Software Science and Computation Structures - Springer
    Javier Esparza | Andrzej S. Murawski
    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
    03/2017
    Springer
    9783662544570 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Automated Technology for Verification and Analysis - Springer
    Yu-Fang Chen | Chih-Hong Cheng | Javier Esparza
    Automated Technology for Verification and Analysis
    17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
    10/2019
    Springer
    9783030317836 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  13. Cover: Automata, Languages, and Programming - Springer
    Javier Esparza | Pierre Fraigniaud | Thore Husfeldt
    Automata, Languages, and Programming
    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
    06/2014
    Springer
    9783662439500 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  14. Cover: Automata, Languages, and Programming - Springer
    Javier Esparza | Pierre Fraigniaud | Thore Husfeldt
    Automata, Languages, and Programming
    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
    06/2014
    Springer
    9783662439470 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Unfoldings - Springer
    Javier Esparza | Keijo Heljanko
    Unfoldings
    A Partial-Order Approach to Model Checking
    11/2010
    Springer
    9783642096051 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  16. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Javier Esparza | Rupak Majumdar
    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
    03/2010
    1st EDN1st Edition
    Springer
    9783642120015 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  17. Cover: Finite and Algorithmic Model Theory - Cambridge University Press
    Javier Esparza | Christian Michaux | Charles Steinhorn
    Finite and Algorithmic Model Theory
    03/2011
    Cambridge University Press
    9780521718202 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €88.30
    Shipment within 15-20 days
  18. Cover: Unfoldings - Springer
    Javier Esparza | Keijo Heljanko
    Unfoldings
    A Partial-Order Approach to Model Checking
    03/2008
    Springer
    9783540774259 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 10-15 days
  19. Cover: Application and Theory of Petri Nets 2002 - Springer
    Javier Esparza | Charles Lakos
    Application and Theory of Petri Nets 2002
    23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
    06/2002
    Springer
    9783540437871 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  20. Cover: Free Choice Petri Nets - Cambridge University Press
    Jorg Desel | Javier Esparza
    Free Choice Petri Nets
    01/1995
    Cambridge University Press
    9780521465199 (ISBN)
    Book
    Hardback
    Other editions
    €68.09
    Exhausted; check for reprint
    New edition available
    2. of 2