erika ábrahám

Grid   List

  1. At The Pinnacle
    At The Pinnacle
    Erika Abraham
    Second Chance Publishing
    Ebook
    Sofort lieferbar
    'Go for it, Mom!' With those words of encouragement, Erika Abraham began a long running journey defined by dozens of years; thousands of miles; countless trophies, medals, and other awards; and man...
    1,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Erika Abraham
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Erika Ábrahám
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Theory and Practice of Formal Methods
    Theory and Practice of Formal Methods
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theor...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Integrated Formal Methods
    Integrated Formal Methods
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This bookconstitutes the refereed proceedings of the 12th International Conference on IntegratedFormal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.The 33 paperspresented in this vol...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Fundamentals of Software Engineering
    Fundamentals of Software Engineering
    Hossein Hojjat
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.
    64,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Theoretical Aspects of Computing - ICTAC 2023
    Theoretical Aspects of Computing - ICTAC 2023
    Erika Ábrahám
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4-8, 2023.
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Raza, eugenesia y políticas públicas en América Latina, 1900-1950
    Raza, eugenesia y políticas públicas en América Latina, 1900-1950
    Iván Olaya Peláez
    Editorial Universidad del Rosario
    Ebook
    Sofort lieferbar
    Este libro analiza los diferentes espacios geográficos, maneras de operación diversas, estrategias técnico-administrativas y jurídicas, así como objetos de intervención en los que se evidencia la i...
    7,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Runtime Verification
    Runtime Verification
    Erika Ábrahám
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.
    58,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Klaus Havelund
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, which took place in Grenoble, France, in...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Catuscia Palamidessi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>