Filtrera

Språk
  • (3)
  • (17)
Ämne
  • (17)
  • (1)
  • (9)
Format
  • (1)
  • (8)
  • (8)
Pris
  • (3)
Leveranstid
  • (8)
  • (11)
  • (13)

Javier Esparza - Böcker

Visar alla böcker av Javier Esparza. Handla med fri frakt och snabb leverans!

Sortering:

  1. Matematik Origo 3b/3c vux Lösningshäfte

    av Javier Esparza, Anders Larson

    Häftad, Svenska, 2016-07-29
    (1 röst)
    271
    Köp
    Skickas inom 2-5 vardagar.
    Matematik Origo 3b/3c vux Lösningshäfte

    Till varje elevbok i Matematik Origo vux-serien finns ett lösningshäfte med fullständiga lösningar till bokens uppgifter. För de allra flesta kräver matematikstudierna mycket träning och en hel del tid till reflektion. Om man inte har möjlighet at...

    Läs mer »

  2. Matematik Origo 2b/2c vux Lösningshäfte

    av Javier Esparza, Anders Larson

    Häftad, Svenska, 2015-06-16
    (1 röst)
    271
    Köp
    Skickas inom 2-5 vardagar.
    Matematik Origo 2b/2c vux Lösningshäfte

    Till varje elevbok i Matematik Origo vux-serien finns ett lösningshäfte med fullständiga lösningar till bokens uppgifter. För de allra flesta kräver matematikstudierna mycket träning och en hel del tid till reflektion. Om man inte har möjlighet at...

    Läs mer »

  3. Matematik Origo 1b/1c Vux Lösningshäfte

    av Javier Esparza, Anders Larson

    Häftad, Svenska, 2013-08-16
    (4 röster)
    271
    Köp
    Skickas inom 2-5 vardagar.
    Matematik Origo 1b/1c Vux Lösningshäfte

    Till varje elevbok i Matematik Origo vux-serien finns ett lösningshäfte med fullständiga lösningar till bokens uppgifter. För de allra flesta kräver matematikstudierna mycket träning och en hel del tid till reflektion. Om man inte har möjlighet at...

    Läs mer »

  4. Finite and Algorithmic Model Theory

    av Javier Esparza

    Häftad, Engelska, 2011-03-10
    679
    Köp
    Skickas inom 10-15 vardagar.
    Finite and Algorithmic Model Theory

    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 logical aspects of computer science, where both fin...

    Läs mer »

  5. Finite and Algorithmic Model Theory E-bok

    av Javier Esparza, Christian Michaux, Charles Steinhorn

    E-bok, Engelska, 2011-03-10
    649
    Ladda ned
    Laddas ned direkt
    Finite and Algorithmic Model Theory

    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 logical aspects of computer science, where both fin...

    Läs mer »

  6. Automated Technology for Verification and Analysis

    av Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

    Häftad, Engelska, 2019-10-06
    1059
    Köp
    Skickas inom 10-15 vardagar.
    Automated Technology for Verification and Analysis

    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 regular papers presented together with 3 tool paper...

    Läs mer »

  7. Automated Technology for Verification and Analysis E-bok

    av Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza

    E-bok, Engelska, 2019-10-21
    949
    Ladda ned
    Laddas ned direkt
    Automated Technology for Verification and Analysis

    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 regular papers presented together with 3 tool papers...

    Läs mer »

  8. Application and Theory of Petri Nets 2002

    av Javier Esparza, Charles Lakos

    Häftad, Engelska, 2002-06-01
    1219
    Köp
    Skickas inom 10-15 vardagar.
    Application and Theory of Petri Nets 2002

    This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the co...

    Läs mer »

  9. Application and Theory of Petri Nets 2002 E-bok

    av Javier Esparza, Charles Lakos

    E-bok, Engelska, 2003-08-02
    1099
    Ladda ned
    Laddas ned direkt
    Application and Theory of Petri Nets 2002

  10. Unfoldings

    av Javier Esparza, Keijo Heljanko

    Inbunden, Engelska, 2008-03-01
    1389
    Köp
    Skickas inom 10-15 vardagar.
    Unfoldings

    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 the method and detail an unfolding-based algorith...

    Läs mer »

  11. Unfoldings E-bok

    av Javier Esparza, Keijo Heljanko

    E-bok, Engelska, 2008-03-12
    1349
    Ladda ned
    Laddas ned direkt
    Unfoldings

    Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reacha...

    Läs mer »

  12. Unfoldings

    av Javier Esparza, Keijo Heljanko

    Häftad, Engelska, 2010-11-30
    1519
    Köp
    Skickas inom 10-15 vardagar.
    Unfoldings

    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 the method and detail an unfolding-based algorith...

    Läs mer »

  13. Tools and Algorithms for the Construction and Analysis of Systems

    av Javier Esparza, Rupak Majumdar

    Häftad, Engelska, 2010-03-17
    1219
    Köp
    Skickas inom 10-15 vardagar.
    Tools and Algorithms for the Construction and Analysis of Systems

    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware. ETAPSisanannualfederatedconferencethatwas establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesisterconfe...

    Läs mer »

  14. Tools and Algorithms for the Construction and Analysis of Systems E-bok

    av Javier Esparza, Rupak Majumdar

    E-bok, Engelska, 2010-03-10
    1099
    Ladda ned
    Laddas ned direkt
    Tools and Algorithms for the Construction and Analysis of Systems

  15. Automata, Languages, and Programming

    av Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

    Häftad, Engelska, 2014-06-24
    1184
    Köp
    Skickas inom 5-8 vardagar.
    Automata, Languages, and Programming

    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, Denmark, in July 2014. The total of 136 revised full p...

    Läs mer »

  16. Automata, Languages, and Programming E-bok

    av Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

    E-bok, Engelska, 2014-06-11
    1149
    Ladda ned
    Laddas ned direkt
    Automata, Languages, and Programming

    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, Denmark, in July 2014. The total of 136 revised full p...

    Läs mer »

  17. Automata, Languages, and Programming

    av Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

    Häftad, Engelska, 2014-06-23
    1184
    Köp
    Skickas inom 5-8 vardagar.
    Automata, Languages, and Programming

    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, Denmark, in July 2014. The total of 136 revised full p...

    Läs mer »

  18. Automata, Languages, and Programming E-bok

    av Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias

    E-bok, Engelska, 2014-06-11
    1149
    Ladda ned
    Laddas ned direkt
    Automata, Languages, and Programming

    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, Denmark, in July 2014. The total of 136 revised full p...

    Läs mer »

  19. Foundations of Software Science and Computation Structures

    av Javier Esparza, Andrzej S Murawski

    Häftad, Engelska, 2017-03-16
    1059
    Köp
    Skickas inom 10-15 vardagar.
    Foundations of Software Science and Computation Structures

    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 2017, held as Part of the European Joint Conferenc...

    Läs mer »

  20. Foundations of Software Science and Computation Structures E-bok

    av Javier Esparza, Andrzej S Murawski

    E-bok, Engelska, 2017-03-15
    949
    Ladda ned
    Laddas ned direkt
    Foundations of Software Science and Computation Structures

    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 2017, held as Part of the European Joint Conferenc...

    Läs mer »