schrammel peter (26 resultados)

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. In.

Condición: New.

Condición: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Brand New. 239 pages. 9.25x6.10x0.55 inches. In Stock.

Condición: New. In.

PF. Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).

Taschenbuch. Condición: Neu. Software Verification | 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers | Maria Christakis (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvi | Englisch | 2020 | Springer | EAN 9783030636173 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condición: Neu. Nekromant der Raumfaltepoche | Peter Schrammel | Taschenbuch | 492 S. | Deutsch | 2022 | Books on Demand GmbH | EAN 9783756869640 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu.

Paperback/ broschiert. Condición: Gut. 2. Aufl. 279 S. Betriebswirtschaftslehre Wirtschaft Wirtschaftswissenschaften betriebliches Informationswesen Guter Zustand Bibl-Ex. Einband alterungsbedingt vergilbt. Vorderes Gelenk leicht schadhaft. ha1064052 Sprache: Deutsch Gewicht in Gramm: 510.

Taschenbuch. Condición: Sehr gut. Gebraucht - Sehr gut SG - leichte Beschädigungen oder Verschmutzungen, ungelesenes Mängelexemplar, gestempelt, Versand Büchersendung - PREISHERABSETZUNG 40% Ladenpreis ab 22.05.2014: EURO 114,00 Ladenpreis bis 21.05.2014: EURO 190,00 Der Taschenkommentar zum ABGB und den wichtigsten Nebengesetzen (EheG, EPG, EKHG, neu KSchG) setzt in zweiter Auflage die bewährte praxisorientierte Schnellinformation fort, die die maßgeblichen Einzelheiten unter dem Gesichtspunkt Information vor Dokumentation vermittelt. Dieser Kommentar unterscheidet sich von anderen durch die schnelle Verfügbarkeit und Aktualität der gewünschten Rechtsauskunft. Neben den Großkommentaren, die für die dogmatische Vertiefung unverzichtbar bleiben, benötigt der Gesetzesanwender ein flexibleres Instrument, das ihn zeitsparend über die ständigen Gesetzesänderungen sowie die neueste Lehre und Rechtsprechung auf dem Laufenden hält. Im Vordergrund steht eine möglichst kurze und umfassende Information über die Rechtslage durch verlässliche Wiedergabe des Meinungsstandes in Literatur und Judikatur, und zwar in besonders übersichtlicher Form. Onlineaktualisierung 2.01: Mit der Onlineaktualisierung 2.01 zum Stand Februar 2013 wird der Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars auf den Stand des Kindschafts- und Namensrechts-Änderungsgesetzes 2013 (KindNamRÄG 2013) gebracht. Diese Obsorgereform, die zum 1.2.2013 in Kraft trat, bedeutet eine Totalreform des österreichischen Kindschaftsrechts, die auch eine Umnummerierung und neue Systematik aller inhaltlich unveränderten Bestimmungen mit sich brachte. Die inhaltlichen Änderungen betreffen die Bereiche Gleichbehandlung unehelicher Kinder, Namensrecht, Umschreibung des Kindeswohls, gemeinsame Obsorge, Kontaktrecht, verbesserte Entscheidungen des Familiengerichts, Familiengerichtshilfe, Verbesserung der Anlegung von 'Mündelgeld', Sicherung der Wirksamkeit von Vaterschaftsanerkenntnissen sowie einheitliche Altersgrenzen für Adoptionen. Onlineaktualisierung 2.02: Mit der Onlineaktualisierung 2.02 zum Stand März 2013 wird der Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars im Allgemeinen Schuldrecht auf den Stand des Zahlungsverzugsgesetzes (ZVG) gebracht. Mit diesem Gesetz, das am 16. 3. 2013 in Kraft getreten ist, wurden Ort, Art und Zeit der Erfüllung von Geldschulden in 907a ABGB in tief greifender Weise neu geregelt. Die Geldschuld wurde in eine Bringschuld umgewandelt, die grundsätzlich nach Wahl des Schuldners durch Übergabe von Bargeld oder durch Überweisung auf ein Konto des Gläubigers erfüllt werden kann. Onlineaktualisierung 2.03: Mit der Onlineaktualisierung 2.03 zum Stand August 2013 werden im Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars alle Bestimmungen des ABGB auf den Stand des Zahlungsverzugsgesetzes (ZVG) und im EPG auf den des Adoptionsrechts-Änderungsgesetzes 2013 (AdRÄG 2013) gebracht. Mit dem ZVG, das am 16. 3. 2013 in Kraft getreten ist, wurden Ort, Art und Zeit der Erfüllung von Geldschulden in 907a ABGB in tief greifender Weise neu geregelt. Die Geldschuld wurde in eine Bringschuld umgewandelt, die grundsätzlich nach Wahl des Schuldners durch Übergabe von Bargeld oder durch Überweisung auf ein Konto des Gläubigers erfüllt werden kann. Das AdRÄG 2013 brachte die Stiefkindadoption für gleichgeschlechtliche Lebensgefährten und eingetragene Partner. Onlineaktualisierung 2.04: Erste Kommentierung zum VRUG!: Die Onlineaktualisierung 2.04 zum Stand Juni 2014 berücksichtigt im Online-Teil des als BuchPlus erschienenen ABGB-Taschenkommentars bereits die durch das Verbraucherrechte-Richtlinie-Umsetzungsgesetz (VRUG, BGBl 2014/33) im KSchG hervorgerufenen Änderungen, die für ab dem 13.6.2014 geschlossene Verträge gelten, pünktlich zum In-Kraft-Treten! BuchPlus: Diese 2. Auflage des ABGB Taschenkommentars wird als BuchPlus herausgegeben. Dies bedeutet, dass Sie zusätzlich zum gedruckten Werk Zugang zur BuchPlus-Online-Version erhalten, in welcher die Inhalte des Kommentars aktuell gehalten werden. Außerdem genießen Sie viele weitere Vorteile.

Condición: new. Questo è un articolo print on demand.

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020). 268 pp. Englisch.

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Condición: New. Print on Demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ein gottesmordender Übermensch gejagt von einer zur Erbarmungslosigkeit herangezüchteten Agentin Verfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspürend, durch die Galaxie. An seine Fersen heftet sich Senta. Die furchtlose Agentin muss den Ketzer zum Wohle ihrer Heimat zur Strecke bringen. Die abenteuerliche Verfolgungsjagd lässt Jägerin und Gejagten die Höllen von Unterdrückung, Krieg und Terror durchkämpfen. Im Graubereich moralischer Ambiguität kämpfen beide Helden dafür, ein kleines Stückchen friedlicher Existenz für sich zu finden. 492 pp. Deutsch.

Condición: New. PRINT ON DEMAND.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -SARL: OO Framework Specification for Static Analysis.- QPR Verify: A Static Analysis Tool for Embedded Software based on Bounded Model Checking.- Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.- Automatic Detection and Repair of Transition-Based Leakage in Software Binaries.- BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.- Verfied Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.- MCBAT: Model Counting for Constraints over Bounded Integer Arrays.- Optimized NTT Algorithm.- Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results .- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.- Rigorous Enclosure of Round-O Errors in Floating-Point Computations : Towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench.- Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.- SARL: OO Framework Speci cation for Static Analysis.- QPR Verify: A Static Analysis Tool for Embedded Software based on Bounded Model Checking.- Veri ed Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.- Automatic Detection and Repair of Transition-Based Leakage in Software Binaries.- BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.- Synthesis of Solar Photovoltaic Systems: Optimal Sizing Comparison.- Veri ed Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.- MCBAT: Model Counting for Constraints over Bounded Integer Arrays.- Verification of an Optimized NTT Algorithm.- Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results .- An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.- Rigorous Enclosure of Round-O Errors in Floating-Point Computations.- Towards Numerical Assistants: Trust, Measurement, Community, and Generality for the Numerical Workbench.- Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 268 pp. Englisch.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Ein gottesmordender Uebermensch gejagt von einer zur Erbarmungslosigkeit herangezuechteten Agentin Verfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspuerend, durch die Galaxie. An seine Fersen heftet sich Senta. D.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Ein gottesmordender Übermensch gejagt von einer zur Erbarmungslosigkeit herangezüchteten AgentinVerfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspürend, durch die Galaxie. An seine Fersen heftet sich Senta. Die furchtlose Agentin muss den Ketzer zum Wohle ihrer Heimat zur Strecke bringen. Die abenteuerliche Verfolgungsjagd lässt Jägerin und Gejagten die Höllen von Unterdrückung, Krieg und Terror durchkämpfen. Im Graubereich moralischer Ambiguität kämpfen beide Helden dafür, ein kleines Stückchen friedlicher Existenz für sich zu finden.Libri GmbH, Europaallee 1, 36244 Bad Hersfeld 492 pp. Deutsch.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Ein gottesmordender Übermensch gejagt von einer zur Erbarmungslosigkeit herangezüchteten Agentin Verfolgt wegen des Mordes an einem falschen Gott hetzt Darius, seiner verlorenen Erinnerung nachspürend, durch die Galaxie. An seine Fersen heftet sich Senta. Die furchtlose Agentin muss den Ketzer zum Wohle ihrer Heimat zur Strecke bringen. Die abenteuerliche Verfolgungsjagd lässt Jägerin und Gejagten die Höllen von Unterdrückung, Krieg und Terror durchkämpfen. Im Graubereich moralischer Ambiguität kämpfen beide Helden dafür, ein kleines Stückchen friedlicher Existenz für sich zu finden.