Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “nils jansen”
Skip side bar filters

  • Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

    Edición de Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...
    Series Libro 1 - Computer Science (R0)
    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Leer más

    $80.99 USD

  • Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

    Edición de Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...
    Series Libro 2 - Computer Science (R0)
    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Leer más

    $76.99 USD

  • The Structure of Tort Law

    de Nils Jansen ...
    Traducido por Sandy Steel ...
    This English translation makes available to anglophone readers a modern classic of German tort theory. It argues that modern German tort law is faced with doctrinal tensions based on problematic theoretical assumptions which stem from historical conceptions of tortious liability, inappropriate to modern times. From a theoretical perspective, it argues against the prevalent doctrinal view in ... Leer más

    $104.39 USD

  • Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

    Edición de Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...
    Series Libro 3 - Computer Science (R0)
    This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, ... Leer más

    $71.99 USD

  • Commentaries on European Contract Laws

    Edición de Nils Jansen, Reinhard Zimmermann ...
    The book provides rule-by-rule commentaries on European contract law (general contract law, consumer contract law, the law of sale and related services), dealing with its modern manifestations as well as its historical and comparative foundations. After the collapse of the European Commission's plans to codify European contract law it is timely to reflect on what has been achieved over the past ... Leer más

    $550.79 USD

  • A Journey from Process Algebra via Timed Automata to Model Learning

    Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

    Edición de Nils Jansen, Mariëlle Stoelinga, Petra van den Bos ...
    Series series Computer Science (R0)
    This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.The volume contains ... Leer más

    $49.99 USD

  • Formal Modeling and Analysis of Timed Systems

    18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings

    Edición de Nathalie Bertrand, Nils Jansen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, ... Leer más

    $49.99 USD

  • Quantitative Evaluation of Systems

    20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

    Edición de Nils Jansen, Mirco Tribastone ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023.The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data ... Leer más

    $76.99 USD

La gente que leyó estos también disfrutó

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Leer más

    Gratis

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Edición de Hana Chockler, Georg Weissenbacher ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Leer más

    Gratis

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Leer más

    Gratis

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Edición de Tomáš Vojnar, Lijun Zhang ...
    Series Libro 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Leer más

    Gratis