Angebote zu "Rüdiger" (16 Treffer)

Kategorien

Shops

Deppe, Rüdiger: Schnelleinstieg in SAP® ABAP Ob...
29,95 € *
ggf. zzgl. Versand

Erscheinungsdatum: 07.02.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Schnelleinstieg in SAP® ABAP Objects, Titelzusatz: 2. Auflage, Auflage: 2. Auflage von 2017 // 2. Auflage, Autor: Deppe, Rüdiger, Verlag: Espresso Tutorials GmbH, Sprache: Deutsch, Schlagworte: ABAP // Programmiersprache // SAP R // 3 // Computerprogrammierung und Softwareentwicklung, Rubrik: Anwendungs-Software, Seiten: 252, Gewicht: 417 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Provably Correct Systems
109,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 25.03.2017, Medium: Buch, Einband: Gebunden, Titel: Provably Correct Systems, Redaktion: Hinchey, Mike // Bowen, Jonathan P. // Olderog, Ernst-Rüdiger, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Mathematik // Logik // MATHEMATICS // Logic // Computerprogrammierung und Softwareentwicklung // Rechnerarchitektur und Logik-Entwurf // Mathematik: Logik // Computernetzwerke und maschinelle Kommunikation, Rubrik: Informatik, Seiten: 328, Abbildungen: 50 schwarz-weiße Abbildungen, 20 schwarz-weiße Tabellen, Bibliographie, Reihe: NASA Monographs in Systems and Software Engineering, Informationen: Book, Gewicht: 714 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Verification of Sequential and Concurrent Programs
69,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.03.2012, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Verification of Sequential and Concurrent Programs, Auflage: 3. Auflage von 2012 // Softcover reprint of hardcover 3rd ed. 2009, Autor: Apt, Krzysztof R. // De Boer, Frank S. // Olderog, Ernst-Rüdiger, Verlag: Springer London, Sprache: Englisch, Schlagworte: Computerprogrammierung und Softwareentwicklung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 528, Informationen: Paperback, Gewicht: 772 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
STACS 96
126,89 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.02.1996, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: STACS 96, Titelzusatz: 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings, Auflage: 1996, Redaktion: Puech, Claude // Reischuk, Rüdiger, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Allgemeines // Computerprogrammierung und Softwareentwicklung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 708, Informationen: Paperback, Gewicht: 1032 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Programmverifikation
29,95 € *
ggf. zzgl. Versand

Erscheinungsdatum: 21.03.1994, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Programmverifikation, Titelzusatz: Sequentielle, parallele und verteilte Programme, Auflage: 1994, Autor: Apt, Krzysztof R. // Olderog, Ernst-Rüdiger, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Deutsch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Verifikation // verifizieren // Mathematische Grundlagen // Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Algorithmen und Datenstrukturen // Software Engineering // Systemanalyse und // design // Rechnerarchitektur und Logik-Entwurf, Rubrik: Programmiersprachen, Seiten: 272, Informationen: Paperback, Gewicht: 420 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Correct System Design
84,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 22.09.1999, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Correct System Design, Titelzusatz: Recent Insights and Advances, Auflage: 1999, Redaktion: Olderog, Ernst-Rüdiger // Steffen, Bernhard, Verlag: Springer Berlin Heidelberg // Springer-Verlag GmbH, Sprache: Englisch, Schlagworte: EDV // Theorie // Programmieren // Allgemeines // Computerprogrammierung und Softwareentwicklung // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Informatik // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf // Künstliche Intelligenz, Rubrik: Programmiersprachen, Seiten: 440, Informationen: Paperback, Gewicht: 663 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Algorithmic Learning Theory
84,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 13.11.2002, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Algorithmic Learning Theory, Titelzusatz: 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, Auflage: 2002, Redaktion: Cesa-Bianchi, Nicolò // Numao, Masayuki // Reischuk, Rüdiger, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Algorithmus // Intelligenz // Künstliche Intelligenz // KI // AI // Lernen // Lerntheorie // Lernforschung // Computerprogrammierung und Softwareentwicklung // Informatik // Theoretische Informatik, Rubrik: Informatik, Seiten: 432, Informationen: Paperback, Gewicht: 651 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Petri Nets for Systems Engineering
88,79 € *
ggf. zzgl. Versand

Erscheinungsdatum: 15.12.2010, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Petri Nets for Systems Engineering, Titelzusatz: A Guide to Modeling, Verification, and Applications, Auflage: Softcover reprint of hardcover 1st ed. 2003, Autor: Girault, Claude // Valk, Rüdiger, Verlag: Springer Berlin Heidelberg // Springer Berlin, Sprache: Englisch, Schlagworte: Nachrichtententechnik // Telekommunikation // Unternehmensanwendungen // Netzwerk-Hardware // Betriebssysteme // Computerprogrammierung und Softwareentwicklung // Software Engineering // Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 624, Informationen: Paperback, Gewicht: 931 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot
Verification of Sequential and Concurrent Programs
94,39 € *
ggf. zzgl. Versand

Erscheinungsdatum: 14.10.2010, Medium: Buch, Einband: Gebunden, Titel: Verification of Sequential and Concurrent Programs, Auflage: 3. Auflage von 2010 // 3rd ed. 2009, Corr. 3rd printing 2010, Autor: Apt, Krzysztof R. // De Boer, Frank S. // Olderog, Ernst-Rüdiger, Verlag: Springer London // Springer-Verlag London Ltd., Sprache: Englisch, Schlagworte: EDV // Theorie // Informatik // Mathematik // Computerprogrammierung und Softwareentwicklung // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 528, Informationen: HC runder Rücken kaschiert, Gewicht: 909 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 04.08.2020
Zum Angebot