Ergebnisse filtern
Fachgebiet
Medium
  • 9547
  • 1466
  • 29
  • 12
Erscheinungsjahr
  • 5
  • 178
  • 994
  • 1229
  • 570
  • 414
  • 351
  • 392
  • 369
  • 423
  • 318
  • 435
  • 297
  • 441
  • 407
  • 514
  • 249
  • 517
  • 234
  • 253
  • 262
  • 223
  • 255
  • 222
  • 222
  • 180
  • 161
  • 119
  • 107
  • 97
  • 79
  • 81
  • 72
  • 60
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 8
  • 6
  • 10
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 9
  • 23
  • 3
  • 15
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 4
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 12
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 10
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 6
  • 3
  • 3
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 14
  • 4
  • 3
  • 16
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 4
  • 13
  • 5
  • 3
  • 5
  • 3
  • 18
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 17
  • 5
  • 4
  • 3
  • 3
  • 16
  • 5
  • 11
  • 3
  • 6
  • 6
  • 4
  • 3
  • 3
  • 4
  • 7
  • 12
  • 6
  • 6
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 6
  • 8
  • 8
  • 4
  • 38
  • 4
  • 6
  • 10
  • 7
  • 13
  • 4
  • 5
  • 4
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 6
  • 4
  • 4
  • 5
  • 7
  • 14
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 4
  • 19
  • 5
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 8
  • 11
  • 9
  • 7
  • 62
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 4
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 4
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 17
  • 4
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 7
  • 6
  • 7
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 19
  • 13
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 6
  • 16
  • 6
  • 6
  • 4
  • 35
  • 44
  • 12
  • 14
  • 9
  • 12
  • 27
  • 6
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 6
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 6
  • 33
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 5
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 10
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 12
  • 4
  • 7
  • 4
  • 5
  • 6
  • 11
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 7
Verlag
  • 2
  • 3
  • 8
  • 4
  • 1
  • 3
  • 1
  • 51
  • 6
  • 459
  • 1
  • 4
  • 18
  • 3
  • 8
  • 3
  • 284
  • 2
  • 15
  • 3
  • 1
  • 3
  • 3
  • 3
  • 69
  • 1
  • 84
  • 219
  • 4
  • 507
  • 1145
  • 15
  • 1
  • 1
  • 1
  • 56
  • 101
  • 1
  • 3
  • 1
  • 4
  • 58
  • 35
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 1
  • 10
  • 15
  • 5
  • 5
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 5
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 20
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 4
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 5782
  • 147
  • 191
  • 1
  • 2
  • 1
  • 1
  • 33
  • 9
  • 50
  • 1
  • 127
  • 134
  • 11
  • 22
  • 1
  • 1
  • 292
  • 35
  • 115
  • 5
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 199
  • 3
  • 10
  • 1
  • 23
  • 38
  • 1
  • 1
  • 2
  • 2
Preis
  • 351
  • 1873
  • 5301
  • 3529
Sprachen
  • 10135
  • 930
  • 2
Verfügbarkeit
  • 10912
  • 142
Eigenschaften
  • 4
  • 4
Katalog
  • 11054
  • 1747
11.054  Titel
    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
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56574-1
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann / Krieg-Brückner | Program Development by Specification and Transformation | Buch | Sack Fachmedien

    Hoffmann / Krieg-Brückner Program Development by Specification and Transformation

    The PROSPECTRA Methodology, Language Family, and System
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56733-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Courcoubetis | Computer Aided Verification | Buch | Sack Fachmedien

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy | Program Design Calculi | Buch | Sack Fachmedien

    Broy Program Design Calculi

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56943-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toussaint | Ada in Europe | Buch | Sack Fachmedien

    Toussaint Ada in Europe

    Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60757-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Partial-Order Methods for the Verification of Concurrent Systems | Buch | Sack Fachmedien

    Godefroid Partial-Order Methods for the Verification of Concurrent Systems

    An Approach to the State-Explosion Problem
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60761-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gollmann | Fast Software Encryption | Buch | Sack Fachmedien

    Gollmann Fast Software Encryption

    Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60865-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

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

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

    Alur / Henzinger / Sontag Hybrid Systems III

    Verification and Control
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61155-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer | Software Process Technology | Buch | Sack Fachmedien

    Schäfer Software Process Technology

    4th European Workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3 - 5, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59205-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitt / Rydeheard / Johnstone | Category Theory and Computer Science | Buch | Sack Fachmedien

    Pitt / Rydeheard / Johnstone Category Theory and Computer Science

    6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60164-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Campolargo / Karatzas | Bringing Telecommunication Services to the People - IS&N '95 | Buch | Sack Fachmedien

    Clarke / Campolargo / Karatzas Bringing Telecommunication Services to the People - IS&N '95

    Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 - 20, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola | Programming Languages and Systems | Buch | Sack Fachmedien

    De Nicola Programming Languages and Systems

    16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71314-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bemporad / Buttazzo / Bicchi | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Bemporad / Buttazzo / Bicchi Hybrid Systems: Computation and Control

    10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71492-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beliczynski / Dzielinski / Iwanowski | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Beliczynski / Dzielinski / Iwanowski Adaptive and Natural Computing Algorithms

    8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71590-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebner / O'Neill / Ekárt | Genetic Programming | Buch | Sack Fachmedien

    Ebner / O'Neill / Ekárt Genetic Programming

    10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71602-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Molina / Pastor | Model-Driven Architecture in Practice | Buch | Sack Fachmedien

    Molina / Pastor Model-Driven Architecture in Practice

    A Software Production Environment Based on Conceptual Modeling
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71867-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boavida / Monteiro / Mascolo | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Boavida / Monteiro / Mascolo Wired/Wireless Internet Communications

    5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streitz / Kameas / Mavrommati | The Disappearing Computer | Buch | Sack Fachmedien

    Streitz / Kameas / Mavrommati The Disappearing Computer

    Interaction Design, System Infrastructures and Applications for Smart Environments
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72725-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleijn / Yakovlev | Petri Nets and Other Models of Concurrency - ICATPN 2007 | Buch | Sack Fachmedien

    Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007

    28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73093-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. Interaction Design and Usability | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. Interaction Design and Usability

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73104-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73108-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeppenfeld / EL Moussaoui | AJAX | Buch | Sack Fachmedien

    Zeppenfeld / EL Moussaoui AJAX

    Geschichte, Technologie, Zukunft
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73112-2
    Medium: Buch
    17,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Vain | Formal Techniques for Networked and Distributed Systems - FORTE 2007 | Buch | Sack Fachmedien

    Derrick / Vain Formal Techniques for Networked and Distributed Systems - FORTE 2007

    27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omidyar | Mobile and Wireless Communication Networks | Buch | Sack Fachmedien

    Omidyar Mobile and Wireless Communication Networks

    IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000 Paris, France, May 16-17, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67543-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Yang / Xu | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Wu / Yang / Xu Advances in Grid and Pervasive Computing

    Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nanya / Maruyama / Pataricza | Service Availability | Buch | Sack Fachmedien

    Nanya / Maruyama / Pataricza Service Availability

    5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68128-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Audebaud / Paulin-Mohring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Audebaud / Paulin-Mohring Mathematics of Program Construction

    9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70593-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuznetsov / Schmidt | Formal Concept Analysis | Buch | Sack Fachmedien

    Kuznetsov / Schmidt Formal Concept Analysis

    5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70828-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brim / Haverkort / Leucker | Formal Methods: Applications and Technology | Buch | Sack Fachmedien

    Brim / Haverkort / Leucker 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, Revi
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70951-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chapman / Zheng / Gao | A Practical Programming Model for the Multi-Core Era | Buch | Sack Fachmedien

    Chapman / Zheng / Gao A Practical Programming Model for the Multi-Core Era

    International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69302-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kühne | Models in Software Engineering | Buch | Sack Fachmedien

    Kühne Models in Software Engineering

    Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69488-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doherty / Blandford | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Doherty / Blandford Interactive Systems. Design, Specification, and Verification

    13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69553-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jedlitschka / Salo | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Jedlitschka / Salo Product-Focused Software Process Improvement

    9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69564-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cook / Podelski | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cook / Podelski Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-69735-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pontelli / Vitor | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Pontelli / Vitor Practical Aspects of Declarative Languages

    Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-66992-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haverkort / Bohnenkamp / Smith | Computer Performance Evaluation. Modelling Techniques and Tools | Buch | Sack Fachmedien

    Haverkort / Bohnenkamp / Smith Computer Performance Evaluation. Modelling Techniques and Tools

    11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67260-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Chapman / de Supinski | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Müller / Chapman / de Supinski OpenMP Shared Memory Parallel Programming

    International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68554-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meier / Terzis | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Meier / Terzis Distributed Applications and Interoperable Systems

    8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68639-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Hähnle / Schmitt | Verification of Object-Oriented Software. The KeY Approach | Buch | Sack Fachmedien

    Beckert / Hähnle / Schmitt Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Begain / Heindl / Telek | Analytical and Stochastic Modeling Techniques and Applications | Buch | Sack Fachmedien

    Al-Begain / Heindl / Telek Analytical and Stochastic Modeling Techniques and Applications

    15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68980-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borzemski / Grzech / Ali | New Frontiers in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Borzemski / Grzech / Ali New Frontiers in Applied Artificial Intelligence

    21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69045-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gervasi / Murgante / Laganà | Computational Science and Its Applications - ICCSA 2008 | Buch | Sack Fachmedien

    Gervasi / Murgante / Laganà Computational Science and Its Applications - ICCSA 2008

    International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69840-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubitzky / Schuster / Sloot | Distributed, High-Performance and Grid Computing in Computational Biology | Buch | Sack Fachmedien

    Dubitzky / Schuster / Sloot Distributed, High-Performance and Grid Computing in Computational Biology

    International Workshop, GCCB 2006, International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69841-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Conradi / Dybå / Sjøberg | Software Process Improvement | Buch | Sack Fachmedien

    Conradi / Dybå / Sjøberg Software Process Improvement

    Results and Experience from the Field
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32178-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Sangiorgi | Trustworthy Global Computing | Buch | Sack Fachmedien

    De Nicola / Sangiorgi Trustworthy Global Computing

    International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30007-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff von Gudenberg / Seemann | Software-Entwurf mit UML 2 | Buch | Sack Fachmedien

    Wolff von Gudenberg / Seemann Software-Entwurf mit UML 2

    Objektorientierte Modellierung mit Beispielen in Java
    2. Auflage 2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30949-9
    Medium: Buch
    82,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mühl / Fiege / Pietzuch | Distributed Event-Based Systems | Buch | Sack Fachmedien

    Mühl / Fiege / Pietzuch Distributed Event-Based Systems

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32651-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bollig | Formal Models of Communicating Systems | Buch | Sack Fachmedien

    Bollig Formal Models of Communicating Systems

    Languages, Automata, and Monadic Second-Order Logic
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rashid / Aksit | Transactions on Aspect-Oriented Software Development I | Buch | Sack Fachmedien

    Rashid / Aksit Transactions on Aspect-Oriented Software Development I

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32972-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collet / Tomassini / Ebner | Genetic Programming | Buch | Sack Fachmedien

    Collet / Tomassini / Ebner Genetic Programming

    9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33143-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hespanha / Tiwari | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Hespanha / Tiwari Hybrid Systems: Computation and Control

    9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33170-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Automated and Algorithmic Debugging | Buch | Sack Fachmedien

    Fritzson Automated and Algorithmic Debugging

    First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57417-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilmore / Winder / Detienne | User-Centred Requirements for Software Engineering Environments | Buch | Sack Fachmedien

    Gilmore / Winder / Detienne User-Centred Requirements for Software Engineering Environments

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57653-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Erfolgreich Programmieren mit Ada | Buch | Sack Fachmedien

    Schmidt Erfolgreich Programmieren mit Ada

    Unter Berücksichtigung des objektorientierten Standards
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57689-1
    Medium: Buch
    76,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomas / Ueberhuber | Visualization of Scientific Parallel Programs | Buch | Sack Fachmedien

    Tomas / Ueberhuber Visualization of Scientific Parallel Programs

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57738-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joyce / Seger | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Joyce / Seger Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57826-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson | Fast Software Encryption | Buch | Sack Fachmedien

    Anderson Fast Software Encryption

    Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58108-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wijers / Brinkkemper / Wasserman | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Wijers / Brinkkemper / Wasserman Advanced Information Systems Engineering

    6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58113-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shyamasundar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Shyamasundar Foundations of Software Technology and Theoretical Computer Science

    12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-56287-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bensoussan / Verjus | Future Tendencies in Computer Science, Control and Applied Mathematics | Buch | Sack Fachmedien

    Bensoussan / Verjus Future Tendencies in Computer Science, Control and Applied Mathematics

    International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56320-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuse | The Computer - My Life | Buch | Sack Fachmedien

    Zuse The Computer - My Life

    1993. 1993
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-56453-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Gaudel / Jouannaud | TAPSOFT '93: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Gaudel / Jouannaud TAPSOFT '93: Theory and Practice of Software Development

    4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56610-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertino / Urban | Object-Oriented Methodologies and Systems | Buch | Sack Fachmedien

    Bertino / Urban Object-Oriented Methodologies and Systems

    International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58451-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greenfield | Distributed Programming Paradigms with Cryptography Applications | Buch | Sack Fachmedien

    Greenfield Distributed Programming Paradigms with Cryptography Applications

    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58496-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibrahim | Software Engineering Education | Buch | Sack Fachmedien

    Ibrahim Software Engineering Education

    8th SEI CSEE Conference, New Orleans, LA, USA, March 29 - April 1, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-58951-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polychronopoulos / Joe / Fukuda | High Performance Computing | Buch | Sack Fachmedien

    Polychronopoulos / Joe / Fukuda High Performance Computing

    Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65969-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antsaklis / Kohn / Lemmon | Hybrid Systems V | Buch | Sack Fachmedien

    Antsaklis / Kohn / Lemmon Hybrid Systems V

    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Covaci | Active Networks | Buch | Sack Fachmedien

    Covaci Active Networks

    First International Working Conference, IWAN'99, Berlin, Germany, June 30 - July 2, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66238-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Thomas Foundations of Software Science and Computation Structures

    Second International Conference, FOSSACS'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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65719-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkinson / Welland | Fully Integrated Data Environments | Buch | Sack Fachmedien

    Atkinson / Welland Fully Integrated Data Environments

    Persistent Programming Languages, Object Stores, and Programming Environments
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65772-9
    Medium: Buch
    106,99 € (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
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller / Singh / Rao | Intelligent Agents V: Agents Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Müller / Singh / Rao Intelligent Agents V: Agents Theories, Architectures, and Languages

    5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65713-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Göhner / Lauber | Prozessautomatisierung 2 | Buch | Sack Fachmedien

    Göhner / Lauber Prozessautomatisierung 2

    Modellierungskonzepte und Automatisierungsverfahren, Softwarewerkzeuge für den Automatisierungsingenieur, Vorgehensweise in den Projektphasen bei der Realisierung von Echtzeitsystemen
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65319-6
    Medium: Buch
    64,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beater | Entwurf hydraulischer Maschinen | Buch | Sack Fachmedien

    Beater Entwurf hydraulischer Maschinen

    Modellbildung, Stabilitätsanalyse und Simulation hydrostatischer Antriebe und Steuerungen
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65444-5
    Medium: Buch
    159,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Lukose | Multi-Agent Systems. Theories, Languages and Applications | Buch | Sack Fachmedien

    Zhang / Lukose Multi-Agent Systems. Theories, Languages and Applications

    4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65477-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ossowski | Co-ordination in Artificial Agent Societies | Buch | Sack Fachmedien

    Ossowski Co-ordination in Artificial Agent Societies

    Social Structures and Its Implications for Autonomous Problem-Solving Agents
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65495-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rüthing | Interacting Code Motion Transformations: Their Impact and Their Complexity | Buch | Sack Fachmedien

    Rüthing Interacting Code Motion Transformations: Their Impact and Their Complexity

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65510-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbab / Sirjani | International Symposium on Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Arbab / Sirjani International Symposium on Fundamentals of Software Engineering

    International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75697-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sarshar | Systematic Reuse: Issues in Initiating and Improving a Reuse Program | Buch | Sack Fachmedien

    Sarshar Systematic Reuse: Issues in Initiating and Improving a Reuse Program

    Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996
    1. Auflage. 1995
    Verlag: Springer
    ISBN: 978-3-540-76012-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mens / Demeyer | Software Evolution | Buch | Sack Fachmedien

    Mens / Demeyer Software Evolution

    2008
    Verlag: Springer
    ISBN: 978-3-540-76439-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burge / Carroll / McCall | Rationale-Based Software Engineering | Buch | Sack Fachmedien

    Burge / Carroll / McCall Rationale-Based Software Engineering

    2008
    Verlag: Springer
    ISBN: 978-3-540-77582-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaklamanis / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Kaklamanis / Skutella Approximation and Online Algorithms

    5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77917-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Jin / Ungerer | Autonomic and Trusted Computing | Buch | Sack Fachmedien

    Yang / Jin / Ungerer Autonomic and Trusted Computing

    Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38619-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Min / Di Martino / Yang | Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops | Buch | Sack Fachmedien

    Min / Di Martino / Yang Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops

    ISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49860-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Lorho / Maluszynski | Programming Languages Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Lorho / Maluszynski Programming Languages Implementation and Logic Programming

    International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50820-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2001: Meeting UML | Buch | Sack Fachmedien

    Reed SDL 2001: Meeting UML

    10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42281-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hertzberger / Hoekstra / Williams | High-Performance Computing and Networking | Buch | Sack Fachmedien

    Hertzberger / Hoekstra / Williams High-Performance Computing and Networking

    9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mertens / Bauke | Cluster Computing | Buch | Sack Fachmedien

    Mertens / Bauke Cluster Computing

    Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42299-0
    Medium: Buch
    24,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmeister / Crnkovic / Reussner | Quality of Software Architectures | Buch | Sack Fachmedien

    Hofmeister / Crnkovic / Reussner Quality of Software Architectures

    Second International Conference on Quality of Software Architectures, QoSA 2006, Västeras, Schweden, June 27-29, 2006, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48819-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maragria / Steffen | Leveraging Applications of Formal Methods | Buch | Sack Fachmedien

    Maragria / Steffen Leveraging Applications of Formal Methods

    First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48928-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snepscheut | Mathematics of Program Construction | Buch | Sack Fachmedien

    Snepscheut Mathematics of Program Construction

    375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51305-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boral / Faudemay | Database Machines | Buch | Sack Fachmedien

    Boral / Faudemay Database Machines

    Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51324-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidel / Straßer | Theory and Practice of Geometric Modeling | Buch | Sack Fachmedien

    Seidel / Straßer Theory and Practice of Geometric Modeling

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51472-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veni Madhavan | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Veni Madhavan Foundations of Software Technology and Theoretical Computer Science

    Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-52048-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Encarnacao / Lockemann | Engineering Databases | Buch | Sack Fachmedien

    Encarnacao / Lockemann Engineering Databases

    Connecting Islands of Automation Through Databases
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52059-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Paprzycki | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics

    4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43792-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Lindsay | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

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

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mount / Stein | Algorithm Engineering and Experiments | Buch | Sack Fachmedien

    Mount / Stein Algorithm Engineering and Experiments

    4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43977-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Ringeissen | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Kirchner / Ringeissen Algebraic Methodology and Software Technology

    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44144-1
    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