419 Results for : etaps

  • Thumbnail
    Principles of Security and Trust
    Erscheinungsdatum: 22.03.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Principles of Security and Trust, Titelzusatz: 5th International Conference, POST 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: Piessens, Frank // Viganò, Luca, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Datensicherheit // Datensicherung // Sicherheit, Rubrik: Informatik, Seiten: 288, Informationen: Paperback, Gewicht: 462 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 56.29 EUR excl. shipping
  • 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
    Foundations of Software Science and Computation Structures
    Erscheinungsdatum: 23.03.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Foundations of Software Science and Computation Structures, Titelzusatz: 19th International Conference, FOSSACS 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: Jacobs, Bart // Löding, Christof, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines, Rubrik: Informatik, Seiten: 564, Informationen: Paperback, Gewicht: 869 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 74.19 EUR excl. shipping
  • Thumbnail
    Fundamental Approaches to Software Engineering
    Erscheinungsdatum: 22.03.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Fundamental Approaches to Software Engineering, Titelzusatz: 19th International Conference, FASE 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: Stevens, Perdita // Wasowski, Andrzej, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 452, Informationen: Paperback, Gewicht: 701 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 70.39 EUR excl. shipping
  • Thumbnail
    Fundamental Approaches to Software Engi
    Erscheinungsdatum: 22.03.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Fundamental Approaches to Software Engineering, Titelzusatz: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Huisman, Marieke // Rubin, Julia, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 460, Informationen: Paperback, Gewicht: 713 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 67.99 EUR excl. shipping
  • Thumbnail
    Coalgebraic Methods in Computer Science
    Erscheinungsdatum: 20.09.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Coalgebraic Methods in Computer Science, Titelzusatz: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018. Revised Selected Papers, Redaktion: Cîrstea, Corina, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Mathematik // Informatik // Computer // Roboter // Robotik // Industrieroboter // Software-Entw // Intelligenz // Künstliche Intelligenz // KI // AI // Logik // MATHEMATICS // Logic // Theoretische Informatik // Computerprogrammierung und Softwareentwicklung // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik, Rubrik: Informatik, Seiten: 234, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11202), Informationen: Book, Gewicht: 382 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 51.69 EUR excl. shipping
  • Thumbnail
    Foundations of Software Science and Com
    Erscheinungsdatum: 18.04.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Foundations of Software Science and Computation Structures, Titelzusatz: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Auflage: 1. Auflage von 1920 // 1st ed. 2020, Redaktion: König, Barbara // Goubault-Larrecq, Jean, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Mathematische Grundlagen // Diskrete Mathematik // Computerprogrammierung und Softwareentwicklung // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Computernetzwerke und maschinelle Kommunikation // Mathematik für Informatiker // Künstliche Intelligenz, Rubrik: Mathematik // Grundlagen, Seiten: 660, Informationen: Paperback, Gewicht: 984 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
    Fundamental Approaches to Software Engineering
    Erscheinungsdatum: 04.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Fundamental Approaches to Software Engineering, Titelzusatz: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Russo, Alessandra // Schürr, Andy, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Compiler // Übersetzer // EDV // Theorie // Informatik // Allgemeines // Software-Entw // Software Engineering // Berufe // Informationstechnologie // IT // Technologie // Mathematik // Computer // Netzwerk // elektronisch // Programmieren // Programmiersprachen, Rubrik: Informatik, Seiten: 372, Informationen: Paperback, Gewicht: 571 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 51.49 EUR excl. shipping
  • Thumbnail
    Foundations of Software Science and Com
    Erscheinungsdatum: 16.03.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Foundations of Software Science and Computation Structures, Titelzusatz: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Auflage: 1. Auflage von 2017 // 1st ed. 2017, Redaktion: Esparza, Javier // Murawski, Andrzej S., Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: Compiler // Übersetzer // EDV // Theorie // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Logik // Programmiersprachen // Schnittstelle, Rubrik: Informatik, Seiten: 588, Informationen: Paperback, Gewicht: 910 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 76.99 EUR excl. shipping

Similar searches: