javier esparza

Grid   List

  1. Ruthless - Gnadenlos
    Ruthless - Gnadenlos
    Dermot Mulroney
    Splendid Entertainment
    DVD
    Sofort lieferbar
    Als eine seiner Schülerinnen entführt wird, werden bei High-School-Wrestling-Coach Harry Summer schmerzhafte Erinnerungen an seine damals ermordete Tochter wach. Nicht noch einmal soll er derjenige...
    14,17 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  2. Unfoldings
    Unfoldings
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory. They offer an introduction to the basics of...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Automata Theory
    Automata Theory
    Javier Esparza
    MIT Press
    Ebook
    Sofort lieferbar
    A comprehensive introduction to automata theory that uses the novel approach of viewing automata as data structures.This textbook presents automata theory from a fresh viewpoint inspired by its ma...
    80,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Finite and Algorithmic Model Theory
    Finite and Algorithmic Model Theory
    Javier Esparza
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in l...
    69,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Yu-Fang Chen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019.The 24 re...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconfe...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Automata, Languages, and Programming
    Automata, Languages, and Programming
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denm...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Automata, Languages, and Programming
    Automata, Languages, and Programming
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, held in Copenhagen, Denm...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Foundations of Software Science and Computation Structures
    Foundations of Software Science and Computation Structures
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, which took place in Uppsala, Sweden in April ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Application and Theory of Petri Nets 2002
    Application and Theory of Petri Nets 2002
    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002.The 18 regular pa...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Jalisco 1910-2010
    Jalisco 1910-2010
    Marco Aurelio Larios López
    Editorial Universidad de Guadalajara
    Ebook
    Sofort lieferbar
    Jalisco 1910-2010 completa el proyecto editorial de conmemoraciones del Bicentenario de la Independencia y el Centenario de la Revolución Mexicana, en fechas coincidentes de dos siglos del México m...
    7,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Sobre la familia realidades y representaciones sociales y culturales
    Sobre la familia realidades y representaciones sociales y culturales
    Gustavo Adolfo Esparza Urzúa
    Editorial NUN
    Ebook
    Sofort lieferbar
    El contenido del presente libro se divide en dos partes: la primera estudia la familia a través de su realidad en distintos contextos para, en un segundo momento, valorar las representaciones socia...
    13,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>