59 Results for : atva

  • Thumbnail
    Automated Technology for Verification a
    Erscheinungsdatum: 04.10.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: D'Souza, Deepak // Narayan Kumar, K., Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 504, Informationen: Paperback, Gewicht: 788 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 67.99 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification a
    Erscheinungsdatum: 22.09.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Artho, Cyrille // Legay, Axel // Peled, Doron, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Programmiersprachen, Rubrik: Informatik, Seiten: 544, Informationen: Paperback, Gewicht: 835 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 76.99 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Erscheinungsdatum: 30.09.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Redaktion: Lahiri, Shuvendu K. // Wang, Chao, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informatik // Compiler // Übersetzer // Sicherheit // Datensicherheit // Netz // Mathematik // Computer // Datenverarbeitung // simulation // COMPUTERS // Software Development & Engineering // General // 3D-Grafik und Modellierung // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Computersicherheit // Netzwerksicherheit // Rechnerarchitektur und Logik-Entwurf // Theoretische Informatik // Computermodellierung und, Rubrik: Informatik, Seiten: 560, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11138), Informationen: Book, Gewicht: 888 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 80.09 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 96.49 € als Taschenbuch: 11th International Symposium ATVA 2013 Hanoi Vietnam October 15-18 2013 Proceedings. Auflage 2013. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 96.49 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 66.49 € als Taschenbuch: 10th International Symposium ATVA 2012 Thiruvananthapuram India October 3-6 2012 Proceedings. Auflage 2012. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 66.49 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 87.49 € als Taschenbuch: 17th International Symposium ATVA 2019 Taipei Taiwan October 28-31 2019 Proceedings. 1st ed. 2019. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 87.49 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 96.49 € als Taschenbuch: 18th International Symposium ATVA 2020 Hanoi Vietnam October 19-23 2020 Proceedings. 1st ed. 2020. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 96.49 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 70.49 € als Taschenbuch: 19th International Symposium ATVA 2021 Gold Coast QLD Australia October 18-22 2021 Proceedings. 1st ed. 2021. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 70.49 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 106.99 € als Taschenbuch: Third International Symposium ATVA 2005 Taipei Taiwan October 4-7 2005 Proceedings. Auflage 2005. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 106.99 EUR excl. shipping
  • Thumbnail
    Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis ab 106.99 € als Taschenbuch: 4th International Symposium ATVA 2006 Beijing China October 23-26 2006 Proceedings. Auflage 2006. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 106.99 EUR excl. shipping

Similar searches: