Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 8 of 8 results for “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

    Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...
    Series Book 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, ... Read more

    $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

    Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...
    Series Book 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, ... Read more

    $76.49 USD

  • The Structure of Tort Law

    by Nils Jansen ...
    Translated by 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 ... Read more

    $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

    Edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk ...
    Series Book 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, ... Read more

    $71.99 USD

  • Commentaries on European Contract Laws

    Edited by 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 ... Read more

    $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

    Edited by 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 ... Read more

    $49.49 USD

  • Formal Modeling and Analysis of Timed Systems

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

    Edited by 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, ... Read more

    $49.49 USD

  • Quantitative Evaluation of Systems

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

    Edited by 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 ... Read more

    $76.49 USD