• 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
Dang Van Hung

Dang Van Hung

Översikt Böcker
Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Dang Van Hung

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9–12, 2020, Proceedings

Dang Van Hung

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings

Distributed Computing and Internet Technology: 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings

Dang Van Hung

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Dang Van Hung

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Dang Van Hung

Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Software Engineering and Formal Methods; Proceedings: Conference on Software Engineering and Formal Methods

Dang Van Hung

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.