419 Results for : etaps
-
Programming Languages and Systems
Erscheinungsdatum: 15.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Programming Languages and Systems, Titelzusatz: 27th European Symposium on Programming, ESOP 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: Ahmed, Amal, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Compiler // Übersetzer // EDV // Computer // PC-Hardware // Datenverarbeitung // Anwendungen // Allgemein // Theorie // Informatik // Allgemeines // Programmieren // Informationstechnologie // IT // Technologie // Mathematik // Netzwerk // elektronisch // Programmiersprachen, Rubrik: Programmiersprachen, Seiten: 1076, Informationen: Paperback, Gewicht: 1617 gr, Verkäufer: averdo- Shop: averdo
- Price: 51.49 EUR excl. shipping
-
Principles of Security and Trust
Erscheinungsdatum: 14.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Principles of Security and Trust, Titelzusatz: 7th International Conference, POST 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: Bauer, Lujo // Küsters, Ralf, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmus // Datensicherheit // Netz // Datenverarbeitung // Systemplanung // Datenverschlüsselung // Kryptografie // EDV // Theorie // Informatik // Allgemeines // Sicherheit // Informationstechnologie // IT // Technologie // Verschlüsselung // Mathematik // Computer // Netzwerk // elektronisch, Rubrik: Informatik, Seiten: 364, Informationen: Paperback, Gewicht: 576 gr, Verkäufer: averdo- Shop: averdo
- Price: 51.49 EUR excl. shipping
-
Principles of Security and Trust
Erscheinungsdatum: 29.03.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Principles of Security and Trust, Titelzusatz: 6th International Conference, POST 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: Maffei, Matteo // Ryan, Mark, Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: Datensicherheit // Datensicherung // Sicherheit // Kodierungstheorie und Verschlüsselung // Kryptologie // Ethische und soziale Fragen der IT // Wartung und Reparaturen // IT // Computersicherheit // Kryptografie // Verschlüsselungstechnologie // Netzwerksicherheit // Informatik // Theoretische Informatik, Rubrik: Informatik, Seiten: 336, Informationen: Paperback, Gewicht: 516 gr, Verkäufer: averdo- Shop: averdo
- Price: 63.49 EUR excl. shipping
-
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
-
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
-
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
-
Foundations of Software Science and Computation Structures
Erscheinungsdatum: 14.04.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Foundations of Software Science and Computation Structures, Titelzusatz: 21st International Conference, FOSSACS 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: Baier, Christel // Dal Lago, Ugo, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Betriebssystem // EDV // Operating System // Datenverarbeitung // Systemplanung // Diskret // mathematisch // Theorie // Informatik // Mathematik // Programmieren // Allgemeines // Software-Entw // Software Engineering // Berufe // Informationstechnologie // IT // Technologie // Intelligenz // Künstliche Intelligenz // KI // AI // Computer // Roboter // Robotik // Industrieroboter, Rubrik: Informatik, Seiten: 600, Informationen: Paperback, Gewicht: 929 gr, Verkäufer: averdo- Shop: averdo
- Price: 51.49 EUR excl. shipping
-
Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science ab 63.99 € als Taschenbuch: 11th International Workshop CMCS 2012 Colocated with ETAPS 2012 Tallinn Estonia March 31 -- April 1 2012 Revised Selected Papers. Auflage 2012. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 63.99 EUR excl. shipping
-
From Programs to Systems - The Systems Perspective in Computing
From Programs to Systems - The Systems Perspective in Computing ab 51.49 € als Taschenbuch: ETAPS Workshop FPS 2014 in Honor of Joseph Sifakis Grenoble France April 6 2014 Proceedings. Auflage 2014. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 51.49 EUR excl. shipping
-
Rewriting Logic and Its Applications
Rewriting Logic and Its Applications ab 48.99 € als Taschenbuch: 9th International Workshop WRLA 2012 Held as a Satellite Event of ETAPS 2012 Tallinn Estonia March 24-25 2012 Revised Selected Papers. Auflage 2012. Aus dem Bereich: Bücher, Ratgeber, Computer & Internet,- Shop: hugendubel
- Price: 48.99 EUR excl. shipping