419 Results for : etaps

  • Thumbnail
    Rewriting Logic and Its Applications
    Erscheinungsdatum: 08.09.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Rewriting Logic and Its Applications, Titelzusatz: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings, Redaktion: Rusu, Vlad, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Compiler // Übersetzer // Programmiersprachen // COMPUTERS // Programming // General // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Compiler und Übersetzer, Rubrik: Informatik, Seiten: 260, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 11152), Informationen: Book, Gewicht: 447 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 57.89 EUR excl. shipping
  • Thumbnail
    Model Checking Software
    Erscheinungsdatum: 08.04.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Model Checking Software, Titelzusatz: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Bosnacki, Dragan // Wijs, Anton, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering, Rubrik: Informatik, Seiten: 264, Informationen: Paperback, Gewicht: 440 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 51.59 EUR excl. shipping
  • Thumbnail
    Coalgebraic Methods in Computer Science
    Erscheinungsdatum: 04.06.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Coalgebraic Methods in Computer Science, Titelzusatz: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers, Auflage: 1. Auflage von 2016 // 1st ed. 2016, Redaktion: Hasuo, Ichiro, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines, Rubrik: Informatik, Seiten: 248, Informationen: Paperback, Gewicht: 391 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 64.79 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: 400 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 57.89 EUR excl. shipping
  • Thumbnail
    Rewriting Logic and Its Applications
    Erscheinungsdatum: 08.09.2018, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Rewriting Logic and Its Applications, Titelzusatz: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings, Auflage: 1. Auflage von 2018 // 1st ed. 2018, Redaktion: Rusu, Vlad, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Software-Entw // Software Engineering // Mathematik // Informatik // Computer // Computerprogrammierung und Softwareentwicklung // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 276, Informationen: Paperback, Gewicht: 423 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 62.49 EUR excl. shipping
  • Thumbnail
    Fundamental Approaches to Software Engi
    Erscheinungsdatum: 21.04.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Fundamental Approaches to Software Engineering, Titelzusatz: 23rd International Conference, FASE 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: Wehrheim, Heike // Cabot, Jordi, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmen und Datenstrukturen // Software Engineering // Computernetzwerke und maschinelle Kommunikation // Systemanalyse und // design // Künstliche Intelligenz, Rubrik: Informatik, Seiten: 568, Informationen: Paperback, Gewicht: 850 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 40.89 EUR excl. shipping
  • Thumbnail
    Programming Languages and Systems
    Erscheinungsdatum: 18.04.2020, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Programming Languages and Systems, Titelzusatz: 29th European Symposium on Programming, ESOP 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: Müller, Peter, Verlag: Springer International Publishing, Sprache: Englisch, Schlagworte: Algorithmen und Datenstrukturen // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Computernetzwerke und maschinelle Kommunikation // Informatik // Theoretische Informatik, Rubrik: Programmiersprachen, Seiten: 788, Informationen: Paperback, Gewicht: 1171 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 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
    Programming Languages and Systems
    Erscheinungsdatum: 23.03.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Programming Languages and Systems, Titelzusatz: 25th European Symposium on Programming, ESOP 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: Thiemann, Peter, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Programmiersprachen, Rubrik: Programmiersprachen, Seiten: 820, Informationen: Paperback, Gewicht: 1261 gr, Verkäufer: averdo
    • Shop: averdo
    • Price: 94.99 EUR excl. shipping

Similar searches: