Jansen nils (91 Ergebnisse)

Paperback. Zustand: New. Paperback. An unused, unmarked and unblemished copy.; 100% Satisfaction Guaranteed! Ships same or next business day.

paperback. Zustand: Good. Book is slightly bowing/bending. In otherwise great condition with minimal/no other wear, crisp & clean interiors showing unmarked text, and firm binding of the text block. A good reading copy.

Zustand: New.

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Zustand: New.

Paperback. Zustand: New. This detailed description and comparative analysis of the development of tort law in Europe over the last 150 years is based on national reports that are structured by a basic questionnaire. The national reports are complemented with a comparative analysis of the parallel, though often diverging, developments in the different legal systems. It can clearly be seen that different groups in the legal systems, such as judges and scholars, often had diverging views on tort law that were translated into more specific doctrinal and evaluative statements. Accompanied by a general expansion of liability due to changing perceptions of the risks of accidents, the former Roman law of delict and the medieval law of torts have been transformed into modern rules of extra-contractual liability that are deeply entrenched into the social security and insurance systems. …

Zustand: New.

Zustand: New.

Zustand: New. The development of tort law was characterised by fundamental tensions between the law's conceptual logic and changing public values. Editor(s): Jansen, Nils. Num Pages: 254 pages, black & white illustrations. BIC Classification: LAM; LAZ; LNV. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 350. . 2014. paperback. . . . . …

Zustand: New.

Couverture souple. Zustand: Tres bon. OUP Oxford collection , 2021. 1 volume format In-8 très bon.

Zustand: New. The development of tort law was characterised by fundamental tensions between the law's conceptual logic and changing public values. Editor(s): Jansen, Nils. Num Pages: 254 pages, black & white illustrations. BIC Classification: LAM; LAZ; LNV. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 14. Weight in Grams: 350. . 2014. paperback. . . . . Books ship from the US and Ireland. …

22, 366 S. Originalbroschur (Softcover). Zustand: sehr gut. Sprache: de.

Paperback. Zustand: Brand New. 312 pages. 9.25x6.10x0.91 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Studienarbeit aus dem Jahr 2021 im Fachbereich Philosophie - Philosophie des 17. und 18. Jahrhunderts, Note: 1,3, Universität Regensburg (Politische Philosophie und Ideengeschichte), Sprache: Deutsch, Abstract: Was ist Eigentum Um dieser Frage nachzugehen, beschäftigt sich die Arbeit mit dem Denken und Schaffen des Philosophen, Pädagogen und Komponisten Jean-Jacque-Rousseau. Die großen Denker der Menschheitsgeschichte hatten schon früh erkannt, dass das zu eigen machen von materiellen und immateriellen Dingen und das daraus resultierende staatliche Recht auf Besitz, einen der Grundbausteine von Gesellschaften ausmacht.Was aber ist Eigentum nun Ist es ein Übel der Gesellschaft, welches zum Sittenverfall, der Herrschaft und Knechtschaft und der Ungleichheit der Menschen führt Oder ist es die Voraussetzung, die erfüllt seinen muss, damit ein gesellschaftliches Leben überhaupt möglich wird Ist es damit ein notwendiges Übel.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Studienarbeit aus dem Jahr 2020 im Fachbereich Politik - Grundlagen und Allgemeines, Note: 1,0, Universität Regensburg (Vergleichende Politikwissenschaft), Sprache: Deutsch, Abstract: Diese Arbeit knüpft an den Konflikt zwischen Kosmopolitismus und Kommunitarismus an, der westlichen Gesellschaften seit einigen Jahren diagnostiziert wird.Wie wirkt sich diese kulturelle Polarisierung nun auf die Parteienlandschaft aus Hierbei wird sich auf die Volkspartei CDU fokussiert: Wird die CDU weiterhin ihren ursprünglich konservativen Kern außer Acht lassen und den Modernisierungskurs beibehalten Oder wird sie sich dem gesellschaftlichen Trend der Frustration über eine kosmopolitisch dominierte Kultur beugen, wie es für eine moderne Volkspartei typisch wäre Daraus ergibt sich die Leitfrage: 'Inwiefern hat sich die Position der CDU zu dem Themenfeld Migration verändert 'Anhand diese Faktors wird eine Inhaltsanalyse der Wahlprogramme der CDU von 2009 bis 2017 durchgeführt.Um diese Frage im Folgenden weiter aufzuschlüsseln, wurde anhand der theoretischen Grundlage ein Kategoriensystem entwickelt, welches im empirischen Teil in Form von Inhaltsanalysen angewandt wird. Die Inhaltsanalysen beinhalten die drei Wahlprogramme der CDU von 2009, 2013 und 2017, sowie zwei Reden Angela Merkels aus den Jahren 2015 und 2018. Es werden Vergleiche innerhalb der zwei Quelltypen und abschließend zwischen den beiden gezogen.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This detailed description and comparative analysis of the development of tort law in Europe over the last 150 years is based on national reports that are structured by a basic questionnaire. The national reports are complemented with a comparative analysis of the parallel, though often diverging, developments in the different legal systems. It can clearly be seen that different groups in the legal systems, such as judges and scholars, often had diverging views on tort law that were translated into more specific doctrinal and evaluative statements. Accompanied by a general expansion of liability due to changing perceptions of the risks of accidents, the former Roman law of delict and the medieval law of torts have been transformed into modern rules of extra-contractual liability that are deeply entrenched into the social security and insurance systems.…

Taschenbuch. Zustand: Neu. A Journey from Process Algebra via Timed Automata to Model Learning | Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday | Nils Jansen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2022 | Springer | EAN 9783031156281 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Formal Modeling and Analysis of Timed Systems | 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings | Nathalie Bertrand (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2020 | Springer | EAN 9783030576271 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

6. Auflage / 3. Auflage, 4°, 159 S. mit zahlreichen Farbabbildungen und s/w-Karten, blaue Kunstledereinbände mit original Schutzumschlägen, Schutzumschläge minimal berieben, sonst zwei schöne, saubere Exemplare. Band 1. : 6. Aufage 1995 / Band 2. : 3. Auflage 1991, Abholung im Ladengeschäft in Frankfurt am Main (Nordend ggü. Musterschule) möglich. Das spart die Portokosten. Pickup at the store in Frankfurt am Main (Nordend, close to Musterschule) is possible. It saves the shipping costs.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.…

hardcover. Zustand: New. 1st.

Paperback. Zustand: Brand New. 377 pages. 9.25x6.10x0.78 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente.Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy ofSciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook.Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.…

Paperback. Zustand: New. This detailed description and comparative analysis of the development of tort law in Europe over the last 150 years is based on national reports that are structured by a basic questionnaire. The national reports are complemented with a comparative analysis of the parallel, though often diverging, developments in the different legal systems. It can clearly be seen that different groups in the legal systems, such as judges and scholars, often had diverging views on tort law that were translated into more specific doctrinal and evaluative statements. Accompanied by a general expansion of liability due to changing perceptions of the risks of accidents, the former Roman law of delict and the medieval law of torts have been transformed into modern rules of extra-contractual liability that are deeply entrenched into the social security and insurance systems. …

Taschenbuch. Zustand: Neu. Principles of Verification: Cycling the Probabilistic Landscape | Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III | Nils Jansen (u. a.) | Taschenbuch | xv | Englisch | 2024 | Springer | EAN 9783031757778 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…