• Engelska
  • Spanska
  • Franska
  • Tyska
  • Portugisiska
  • Italienska
  • Ryska
  • Förenklad kinesiska
  • Kinesiska (traditionell)
  • Japanska
  • Koreanska
  • Holländska
  • Svenska
  • Persiska
  • Arabiska
  • Polska
  • Hem
  • Upptäck
  • Artiklar
  • Logga in
  • Registrera dig
  • Engelska
  • Spanska
  • Franska
  • Tyska
  • Portugisiska
  • Italienska
  • Ryska
  • Förenklad kinesiska
  • Kinesiska (traditionell)
  • Japanska
  • Koreanska
  • Holländska
  • Svenska
  • Persiska
  • Arabiska
  • Polska
ISBN streckkodsläsare
Lägg till böcker på sekunder med streckkodsskanning.

Skanna bara en ISBN för att omedelbart lägga till den i ditt bibliotek. Tillgängligt nu på iOS och Android.

App Store Google Play
Bernhard K. Aichernig

Bernhard K. Aichernig

Översikt Böcker
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... Portugal, March 18-20, 2002, Revised Papers

Bernhard K. Aichernig

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ...

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ...

Bernhard K. Aichernig

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Bernhard K. Aichernig

Följ din läsresa, upptäck nya böcker och uppnå dina läsmål med BookPine.

App Store Google Play
Upptäck
  • Upptäck
Konto
  • Logga in
  • Registrera dig
Support
  • FAQ
  • Funktionsförfrågningar
  • Kontakt
Villkor
  • Användarvillkor
  • Integritetspolicy
  • Cookiepolicy
  • Hantera cookies

Upphovsrätt © 2026 BookPine. Alla rättigheter förbehållna.

Skicka återkoppling

Vi använder cookies för att förbättra din upplevelse och analysera webbplatstrafik. Du kan välja vilka cookies du accepterar.

Nödvändiga

Nödvändiga för att webbplatsen ska fungera. Kan inte inaktiveras.

Analys

Hjälp oss förstå hur besökare interagerar med vår webbplats.

Marknadsföring

Används för att leverera relevanta annonser och spåra kampanjer.