• Englisch
  • Spanisch
  • Französisch
  • Deutsch
  • Portugiesisch
  • Italienisch
  • Russisch
  • Chinesisch (Vereinfacht)
  • Chinesisch (Traditionell)
  • Japanisch
  • Koreanisch
  • Niederländisch
  • Schwedisch
  • Persisch
  • Arabisch
  • Polnisch
  • Startseite
  • Entdecken
  • Artikel
  • Anmelden
  • Registrieren
  • Englisch
  • Spanisch
  • Französisch
  • Deutsch
  • Portugiesisch
  • Italienisch
  • Russisch
  • Chinesisch (Vereinfacht)
  • Chinesisch (Traditionell)
  • Japanisch
  • Koreanisch
  • Niederländisch
  • Schwedisch
  • Persisch
  • Arabisch
  • Polnisch
ISBN Barcode-Scanner
Bücher in Sekunden mit Barcode-Scannen hinzufügen.

Scannen Sie einfach eine ISBN, um sie sofort Ihrer Bibliothek hinzuzufügen. Jetzt verfügbar für iOS und Android.

App Store Google Play
Andreas Podelski

Andreas Podelski

Übersicht Bücher
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Rajeev Joshi

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Byron Cook

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Tools And Algorithms For The Construction And Analysis Of Systems: 10th International Conference, TACAS 2004

Kurt Jensen

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

Andreas Podelski

Tree Automata and Languages (Volume 10)

Tree Automata and Languages (Volume 10)

Maurice Nivat

Tree Automata and Languages

Tree Automata and Languages

Maurice Nivat

Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

Constraint programming: Basics and trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16-20, 1994 : selected papers

Andreas Podelski

Verfolgen Sie Ihre Lese-Reise, entdecken Sie neue Bücher und erreichen Sie Ihre Leseziele mit BookPine.

App Store Google Play
Entdecken
  • Entdecken
Konto
  • Anmelden
  • Registrieren
Unterstützung
  • FAQ
  • Funktionsanfragen
  • Kontakt
Bedingungen
  • Nutzungsbedingungen
  • Datenschutzerklärung
  • Cookie-Richtlinie
  • Cookies verwalten

Urheberrecht © 2026 BookPine. Alle Rechte vorbehalten.

Feedback senden

Wir verwenden Cookies, um Ihre Erfahrung zu verbessern und den Seitenverkehr zu analysieren. Sie können wählen, welche Cookies Sie akzeptieren möchten.

Wesentlich

Für das Funktionieren der Webseite erforderlich. Kann nicht deaktiviert werden.

Analytik

Helfen Sie uns zu verstehen, wie Besucher mit unserer Webseite interagieren.

Marketing

Wird verwendet, um relevante Werbung zu liefern und Kampagnen zu verfolgen.