• 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
Grigore Roșu

Grigore Roșu

Übersicht Bücher
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13243)

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13243)

Dana Fisman

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13244)

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 13244)

Dana Fisman

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ...

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, ...

Holger Giese

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

José Meseguer

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ...

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ...

Klaus Havelund

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.