Ergebnisse filtern
Fachgebiet
Medium
  • 2832
  • 124
  • 26
  • 1
Erscheinungsjahr
  • 6
  • 63
  • 36
  • 75
  • 75
  • 95
  • 100
  • 153
  • 81
  • 161
  • 104
  • 203
  • 238
  • 412
  • 79
  • 189
  • 87
  • 45
  • 30
  • 25
  • 29
  • 27
  • 49
  • 61
  • 51
  • 47
  • 52
  • 42
  • 39
  • 43
  • 40
  • 25
  • 25
  • 14
  • 16
  • 12
  • 10
  • 6
  • 8
  • 8
  • 10
  • 1
  • 5
  • 1
  • 4
  • 3
  • 1
  • 6
  • 3
  • 7
  • 7
  • 9
  • 4
  • 3
  • 5
  • 4
  • 4
  • 2
  • 4
  • 5
  • 3
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 35
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 16
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 9
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 6
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 4
  • 8
  • 5
  • 5
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 7
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 12
  • 6
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 8
  • 3
  • 3
  • 35
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 8
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 6
Verlag
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 4
  • 3
  • 3
  • 23
  • 1
  • 45
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 20
  • 1
  • 3
  • 17
  • 3
  • 2
  • 8
  • 35
  • 76
  • 3
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 17
  • 8
  • 3
  • 1
  • 1
  • 3
  • 4
  • 1
  • 11
  • 46
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 6
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 9
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 10
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 10
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 10
  • 4
  • 1
  • 1
  • 4
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 651
  • 196
  • 4
  • 510
  • 23
  • 6
  • 2
  • 144
  • 13
  • 191
  • 1
  • 387
  • 5
  • 18
  • 1
  • 1
  • 16
  • 1
  • 14
  • 28
  • 30
  • 29
  • 15
  • 1
  • 1
  • 22
  • 11
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 7
  • 3
  • 1
  • 3
  • 3
  • 1
  • 15
  • 8
  • 1
  • 1
  • 1
  • 39
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Preis
  • 90
  • 229
  • 818
  • 1846
Sprachen
  • 2615
  • 371
  • 4
Verfügbarkeit
  • 2935
  • 48
Katalog
  • 2983
  • 399
2.983  Titel
    Cao / Li | Network and Parallel Computing | Buch | Sack Fachmedien

    Cao / Li Network and Parallel Computing

    IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-88139-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coufal / Psaltis / Sincerbox | Holographic Data Storage | Buch | Sack Fachmedien

    Coufal / Psaltis / Sincerbox Holographic Data Storage

    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66691-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rischel / Ravn | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Rischel / Ravn Formal Techniques in Real-Time and Fault-Tolerant Systems

    5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65003-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Limongelli / Calmet | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Limongelli / Calmet Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61697-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baber / Noyes | User-Centred Design of Systems | Buch | Sack Fachmedien

    Baber / Noyes User-Centred Design of Systems

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-76007-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gray | Introduction to the Formal Design of Real-Time Systems | Buch | Sack Fachmedien

    Gray Introduction to the Formal Design of Real-Time Systems

    Softcover Nachdruck of the original 1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-76140-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | Tools and Algorithms for the Construction of Analysis of Systems | Buch | Sack Fachmedien

    Cleaveland Tools and Algorithms for the Construction of Analysis of Systems

    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Pol / Haverkort | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Pol / Haverkort Formal Methods: Applications and Technology

    11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, R
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Wong / Dimopoulos | Embedded Computer Systems: Architectures, Modeling, and Simulation | Buch | Sack Fachmedien

    Berekovic / Wong / Dimopoulos Embedded Computer Systems: Architectures, Modeling, and Simulation

    8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70549-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Sastry | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Sastry Hybrid Systems V

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wise / Hopkin / Stager | Verification and Validation of Complex Systems: Human Factors Issues | Buch | Sack Fachmedien

    Wise / Hopkin / Stager Verification and Validation of Complex Systems: Human Factors Issues

    Prodeecings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6-17, 1992
    1993
    Verlag: Springer
    ISBN: 978-3-540-56574-1
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pierre / Milne | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Pierre / Milne Correct Hardware Design and Verification Methods

    IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56778-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wijers / Wasserman / Brinkkemper | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Wijers / Wasserman / Brinkkemper Advanced Information Systems Engineering

    6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58113-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindsay / Eriksson | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Lindsay / Eriksson FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Xu | Linear and Nonlinear Iterative Learning Control | Buch | Sack Fachmedien

    Tan / Xu Linear and Nonlinear Iterative Learning Control

    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40173-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benvenuti / Farina / de Santis | Positive Systems: Theory and Applications | Buch | Sack Fachmedien

    Benvenuti / Farina / de Santis Positive Systems: Theory and Applications

    Proceedings of the First Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2003), Rome, Italy, August 28-30, 2003.
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40342-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Näher | Algorithm Engineering | Buch | Sack Fachmedien

    Wagner / Näher Algorithm Engineering

    4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42512-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Troubitsyna / Jones | Rigorous Development of Complex Fault-Tolerant Systems | Buch | Sack Fachmedien

    Butler / Troubitsyna / Jones Rigorous Development of Complex Fault-Tolerant Systems

    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48265-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Condon | DNA Computing | Buch | Sack Fachmedien

    Rozenberg / Condon DNA Computing

    6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42076-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen / Margaria Tools and Algorithms for the Construction and Analysis of Systems

    Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61042-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Sontag / Henzinger | Hybrid Systems III | Buch | Sack Fachmedien

    Alur / Sontag / Henzinger Hybrid Systems III

    Verification and Control
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61155-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Srivas | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Camilleri / Srivas Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular