84 Results for : tacas

  • Thumbnail
    Tools and Algorithms for the Construction and Analysis of Systems
    Erscheinungsdatum: 12.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Beyer, Dirk // Huisman, Marieke, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 452, Informationen: Paperback, Gewicht: 680 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 51.49 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Constructi
    Erscheinungsdatum: 18.04.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Biere, Armin // Parker, David, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmen und Datenstrukturen // Informatik // Theoretische Informatik // Systemanalyse und // design // Wissensbasierte Systeme // Expertensysteme, Rubrik: Informatik, Seiten: 528, Informationen: Paperback, Gewicht: 791 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 40.89 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Constructi
    Erscheinungsdatum: 18.04.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: Biere, Armin // Parker, David, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Betriebssysteme // Algorithmen und Datenstrukturen // Software Engineering // Theoretische Informatik // Systemanalyse und // design // Wissensbasierte Systeme // Expertensysteme, Rubrik: Informatik, Seiten: 452, Informationen: Paperback, Gewicht: 680 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 40.89 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Construction and Analysis of Systems
    Erscheinungsdatum: 09.04.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Chechik, Marsha // Raskin, Jean-François, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: APP // Application // EDV // Theorie // Programmieren // Allgemeines, Rubrik: Informatik, Seiten: 984, Informationen: Paperback, Gewicht: 1491 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 94.99 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Constructi
    Erscheinungsdatum: 31.03.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Legay, Axel // Margaria, Tiziana, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Compiler // Übersetzer // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Programmiersprachen // Schnittstelle, Rubrik: Informatik, Seiten: 636, Informationen: Paperback, Gewicht: 974 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 85.99 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Constructi
    Erscheinungsdatum: 31.03.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Legay, Axel // Margaria, Tiziana, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Compiler // Übersetzer // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Programmiersprachen // Schnittstelle, Rubrik: Informatik, Seiten: 436, Informationen: Paperback, Gewicht: 676 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 67.99 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Construction and Analysis of Systems
    Erscheinungsdatum: 14.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Tools and Algorithms for the Construction and Analysis of Systems, Titelzusatz: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Beyer, Dirk // Huisman, Marieke, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Betriebssystem // EDV // Operating System // Computer // PC-Hardware // Datenverarbeitung // Anwendungen // Allgemein // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Informatik // Informationstechnologie // IT // Technologie // Netzwerk // elektronisch, Rubrik: Informatik, Seiten: 488, Informationen: Paperback, Gewicht: 759 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 51.49 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems ab 92.99 € als Taschenbuch: Second International Workshop TACAS '96 Passau Germany March 27 - 29 1996 Proceedings. . Auflage 1996. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 92.99 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems ab 74.99 € als Taschenbuch: First International Workshop TACAS '95 Aarhus Denmark May 19 - 20 1995. Selected Papers. Auflage 1995. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 74.99 EUR excl. shipping
  • Thumbnail
    Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems ab 92.99 € als Taschenbuch: Third International Workshop TACAS'97 Enschede The Netherlands April 2-4 1997 Proceedings. Auflage 1997. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,
    • Shop: hugendubel
    • Price: 92.99 EUR excl. shipping

Similar searches: