Ergebnisse filtern
Fachgebiet
Medium
  • 2259
  • 5
Erscheinungsjahr
  • 1
  • 2
  • 3
  • 3
  • 8
  • 1
  • 1
  • 3
  • 2
  • 5
  • 8
  • 23
  • 8
  • 13
  • 12
  • 172
  • 60
  • 118
  • 207
  • 171
  • 200
  • 176
  • 171
  • 139
  • 120
  • 98
  • 80
  • 73
  • 50
  • 65
  • 49
  • 41
  • 44
  • 20
  • 39
  • 25
  • 18
  • 9
  • 9
  • 4
  • 2
  • 3
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 14
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 18
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 9
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 6
  • 3
  • 5
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 6
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 7
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
Verlag
  • 2
  • 100
  • 1
  • 2
  • 7
  • 2
  • 2
  • 4
  • 7
  • 3
  • 1
  • 5
  • 4
  • 1
  • 2
  • 2
  • 10
  • 1
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1666
  • 125
  • 2
  • 1
  • 41
  • 86
  • 76
  • 5
  • 19
  • 3
  • 1
  • 18
  • 1
  • 33
  • 1
  • 4
  • 1
  • 1
  • 2
Preis
  • 17
  • 146
  • 1369
  • 732
Sprachen
  • 2127
  • 137
  • 1
Verfügbarkeit
  • 2255
  • 9
Katalog
  • 2264
  • 274
2.264  Titel
    Ng / Ooi / Ouksel | Databases, Information Systems, and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Ng / Ooi / Ouksel Databases, Information Systems, and Peer-to-Peer Computing

    Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25233-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Zuck | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Halbwachs / Zuck Tools and Algorithms for the Construction and Analysis of Systems

    11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25333-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagiv | Programming Languages and Systems | Buch | Sack Fachmedien

    Sagiv Programming Languages and Systems

    14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25435-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zima / Joe / Sato | High Performance Computing | Buch | Sack Fachmedien

    Zima / Joe / Sato High Performance Computing

    4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43674-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbab / Talcott | Coordination Models and Languages | Buch | Sack Fachmedien

    Arbab / Talcott Coordination Models and Languages

    5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43410-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Rusinowitch | Automated Reasoning | Buch | Sack Fachmedien

    Basin / Rusinowitch Automated Reasoning

    Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22345-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosch / Krueger | Software Reuse: Methods, Techniques, and Tools | Buch | Sack Fachmedien

    Bosch / Krueger Software Reuse: Methods, Techniques, and Tools

    8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22335-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Niebert | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Larsen / Niebert Formal Modeling and Analysis of Timed Systems

    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21671-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wilhelm | Compiler Construction | Buch | Sack Fachmedien

    Wilhelm Compiler Construction

    10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41861-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Melham | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Margaria / Melham Correct Hardware Design and Verification Methods

    11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42541-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Runarsson / Beyer / Burke | Parallel Problem Solving from Nature - PPSN IX | Buch | Sack Fachmedien

    Runarsson / Beyer / Burke Parallel Problem Solving from Nature - PPSN IX

    9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38990-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Núñez / Zavattaro | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Núñez / Zavattaro Web Services and Formal Methods

    Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38862-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2003: System Design | Buch | Sack Fachmedien

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atkinson / Bunse / Gross | Component-Based Software Development for Embedded Systems | Buch | Sack Fachmedien

    Atkinson / Bunse / Gross Component-Based Software Development for Embedded Systems

    An Overview of Current Research Trends
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30644-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk | The Seventeen Provers of the World | Buch | Sack Fachmedien

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganter / Stumme / Wille | Formal Concept Analysis | Buch | Sack Fachmedien

    Ganter / Stumme / Wille Formal Concept Analysis

    Foundations and Applications
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27891-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilroy / Harrison | Interactive Systems. Design Specification, and Verification | Buch | Sack Fachmedien

    Gilroy / Harrison Interactive Systems. Design Specification, and Verification

    12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34145-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shen / Chao / Lin | Computer Supported Cooperative Work in Design II | Buch | Sack Fachmedien

    Shen / Chao / Lin Computer Supported Cooperative Work in Design II

    9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32969-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clark / Paige / Polack | Security in Pervasive Computing | Buch | Sack Fachmedien

    Clark / Paige / Polack Security in Pervasive Computing

    Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycroft / Zeller | Compiler Construction | Buch | Sack Fachmedien

    Mycroft / Zeller Compiler Construction

    15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33050-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nürnberg | Metainformatics | Buch | Sack Fachmedien

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur | Embedded Software | Buch | Sack Fachmedien

    Alur Embedded Software

    Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20223-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dosch / Lee / Wu | Software Engineering Research and Applications | Buch | Sack Fachmedien

    Dosch / Lee / Wu Software Engineering Research and Applications

    Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32133-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stefani / Demeure / Hagimont | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Stefani / Demeure / Hagimont Distributed Applications and Interoperable Systems

    4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20529-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aichernig / Maibaum | Formal Methods at the Crossroads. From Panacea to Foundational Support | Buch | Sack Fachmedien

    Aichernig / Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support

    10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20527-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Priami | Global Computing. Programming Environments, Languages, Security, and Analysis of Systems | Buch | Sack Fachmedien

    Priami Global Computing. Programming Environments, Languages, Security, and Analysis of Systems

    IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20583-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diehl | Distributed Virtual Worlds | Buch | Sack Fachmedien

    Diehl Distributed Virtual Worlds

    Foundations and Implementation Techniques Using VRML, Java, and CORBA
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-67624-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pham | System Software Reliability | Buch | Sack Fachmedien

    Pham System Software Reliability

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-1-84996-971-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedermann / Emde Boas / Nielsen | Automata, Languages and Programming | Buch | Sack Fachmedien

    Wiedermann / Emde Boas / Nielsen Automata, Languages and Programming

    26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66224-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felici / Kanoun / Pasquini | Computer Safety, Reliability and Security | Buch | Sack Fachmedien

    Felici / Kanoun / Pasquini Computer Safety, Reliability and Security

    18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Dunne / Galloway | ZB 2000: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B

    First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67944-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurevich / Kutter / Odersky | Abstract State Machines - Theory and Applications | Buch | Sack Fachmedien

    Gurevich / Kutter / Odersky Abstract State Machines - Theory and Applications

    International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67959-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Karczewski | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics

    7th International Conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007, Revised Selected papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68105-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dignum / van Eijk / Flores | Agent Communication II | Buch | Sack Fachmedien

    Dignum / van Eijk / Flores Agent Communication II

    International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-68142-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Inverardi / Jazayeri | Software Engineering Education in the Modern Age | Buch | Sack Fachmedien

    Inverardi / Jazayeri Software Engineering Education in the Modern Age

    Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68203-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mei | High Confidence Software Reuse in Large Systems | Buch | Sack Fachmedien

    Mei High Confidence Software Reuse in Large Systems

    10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68062-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Gupta Practical Aspects of Declarative Languages

    First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65527-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Albada / Dongarra | Computational Science - ICCS 2007 | Buch | Sack Fachmedien

    Shi / Albada / Dongarra Computational Science - ICCS 2007

    7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72585-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon-Lundh / Kirchner | Rewriting, Computation and Proof | Buch | Sack Fachmedien

    Comon-Lundh / Kirchner Rewriting, Computation and Proof

    Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73146-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Zhang | Secure Transaction Protocol Analysis | Buch | Sack Fachmedien

    Chen / Zhang Secure Transaction Protocol Analysis

    Models and Applications
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85073-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Labarta / Joe / Sato | High-Performance Computing | Buch | Sack Fachmedien

    Labarta / Joe / Sato High-Performance Computing

    6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77703-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Medina / Obiedkov | Formal Concept Analysis | Buch | Sack Fachmedien

    Medina / Obiedkov Formal Concept Analysis

    6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78136-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amadio | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Amadio Foundations of Software Science and Computational Structures

    11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78497-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro / Inverardi | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Fiadeiro / Inverardi Fundamental Approaches to Software Engineering

    11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78742-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Penkler / Reitenspiess / Tam | Service Availability | Buch | Sack Fachmedien

    Penkler / Reitenspiess / Tam Service Availability

    Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68724-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lambrix | Part-Whole Reasoning in an Object-Centered Framework | Buch | Sack Fachmedien

    Lambrix Part-Whole Reasoning in an Object-Centered Framework

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67225-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo | Software Architecture | Buch | Sack Fachmedien

    Oquendo Software Architecture

    First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75131-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calder / Gilmore | Computational Methods in Systems Biology | Buch | Sack Fachmedien

    Calder / Gilmore Computational Methods in Systems Biology

    International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75139-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Liu / Woodcock | Theoretical Aspects of Computing - ICTAC 2007 | Buch | Sack Fachmedien

    Jones / Liu / Woodcock Theoretical Aspects of Computing - ICTAC 2007

    4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75290-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Namjoshi / Yoneda / Higashino | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis

    5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75595-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kermarrec / Bougé / Priol | Euro-Par 2007 Parallel Processing | Buch | Sack Fachmedien

    Kermarrec / Bougé / Priol Euro-Par 2007 Parallel Processing

    13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74465-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thulasiraman / He / Xu | Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops | Buch | Sack Fachmedien

    Thulasiraman / He / Xu Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops

    ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74766-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pepper / Hofstedt | Funktionale Programmierung | Buch | Sack Fachmedien

    Pepper / Hofstedt Funktionale Programmierung

    Sprachdesign und Programmiertechnik
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-20959-1
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ochoa / Roman | Advanced Software Engineering: Expanding the Frontiers of Software Technology | Buch | Sack Fachmedien

    Ochoa / Roman Advanced Software Engineering: Expanding the Frontiers of Software Technology

    IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4419-4194-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goto / Furukawa / Nakajima | RIMS Symposium on Software Science and Engineering | Buch | Sack Fachmedien

    Goto / Furukawa / Nakajima RIMS Symposium on Software Science and Engineering

    Kyoto, 1982. Proceedings
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-11980-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Astesiano / Reggio | Scientific Engineering for Distributed Java Applications | Buch | Sack Fachmedien

    Guelfi / Astesiano / Reggio Scientific Engineering for Distributed Java Applications

    International Workshop, FIDJI 2002, Luxembourg, Luxembourg, November 28-29, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00679-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhao / Guibas | Information Processing in Sensor Networks | Buch | Sack Fachmedien

    Zhao / Guibas Information Processing in Sensor Networks

    Second International Workshop, IPSN 2003, Palo Alto, CA, USA, April 22-23, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-02111-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardi / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Vardi / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20101-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Felici / Littlewood | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Anderson / Felici / Littlewood Computer Safety, Reliability, and Security

    22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20126-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Jones / Mac An Airchinnigh | VDM '87. VDM - A Formal Method at Work | Buch | Sack Fachmedien

    Bjørner / Jones / Mac An Airchinnigh VDM '87. VDM - A Formal Method at Work

    VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17654-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Unger / Larios | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Unger / Larios Advanced Distributed Systems

    Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22172-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Peled Computer Aided Verification

    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22342-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buschmann / Buchmann / Cilia | Object-Oriented Technology. ECOOP 2003 Workshop Reader | Buch | Sack Fachmedien

    Buschmann / Buchmann / Cilia Object-Oriented Technology. ECOOP 2003 Workshop Reader

    ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, Final Reports
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22405-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koch / Fraternali / Wirsing | Web Engineering | Buch | Sack Fachmedien

    Koch / Fraternali / Wirsing Web Engineering

    4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22511-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    The Munich Project CIP | Buch | Sack Fachmedien

    The Munich Project CIP

    Volume II: The Programme Transformation System CIP-S
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18779-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veidenbaum / Joe / Amano | High Performance Computing | Buch | Sack Fachmedien

    Veidenbaum / Joe / Amano High Performance Computing

    5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20359-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohori | Programming Languages and Systems | Buch | Sack Fachmedien

    Ohori Programming Languages and Systems

    First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20536-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdallah / Ryan / Schneider | Formal Aspects of Security | Buch | Sack Fachmedien

    Abdallah / Ryan / Schneider Formal Aspects of Security

    First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20693-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dignum | Advances in Agent Communication | Buch | Sack Fachmedien

    Dignum Advances in Agent Communication

    International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20769-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Knapp / Balsamo | Radical Innovations of Software and Systems Engineering in the Future | Buch | Sack Fachmedien

    Wirsing / Knapp / Balsamo Radical Innovations of Software and Systems Engineering in the Future

    9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21179-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorny / Tauber | Visualization in Programming | Buch | Sack Fachmedien

    Gorny / Tauber Visualization in Programming

    5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20-23, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18507-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellahsène / Milo / Rys | Database and XML Technologies | Buch | Sack Fachmedien

    Bellahsène / Milo / Rys Database and XML Technologies

    Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22969-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heisel / Liggesmeyer / Wittmann | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Heisel / Liggesmeyer / Wittmann Computer Safety, Reliability, and Security

    23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23176-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Redmill / Anderson | Developments in Risk-based Approaches to Safety | Buch | Sack Fachmedien

    Redmill / Anderson Developments in Risk-based Approaches to Safety

    Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84628-333-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crnkovic / Stafford / Schmidt | Component-Based Software Engineering | Buch | Sack Fachmedien

    Crnkovic / Stafford / Schmidt Component-Based Software Engineering

    7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21998-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heineman / Crnkovic / Schmidt | Component-Based Software Engineering | Buch | Sack Fachmedien

    Heineman / Crnkovic / Schmidt Component-Based Software Engineering

    8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25877-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uustalu | Mathematics of Program Construction | Buch | Sack Fachmedien

    Uustalu Mathematics of Program Construction

    8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35631-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uyar / Duale / Fecko | Testing of Communicating Systems | Buch | Sack Fachmedien

    Uyar / Duale / Fecko Testing of Communicating Systems

    18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34184-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Meyer | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics

    6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34141-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Cimatti | Formal Methods for Hardware Verification | Buch | Sack Fachmedien

    Bernardo / Cimatti Formal Methods for Hardware Verification

    6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34304-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandrov / van Albada / Sloot | Computational Science - ICCS 2006 | Buch | Sack Fachmedien

    Alexandrov / van Albada / Sloot Computational Science - ICCS 2006

    6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34379-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Martin-Flatin | Self-Managed Networks, Systems, and Services | Buch | Sack Fachmedien

    Keller / Martin-Flatin Self-Managed Networks, Systems, and Services

    Second IEEE International Workshops, SelfMan 2006, Dublin, Ireland, June 16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34739-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloomfield / Marshall / Jones | VDM '88. VDM - The Way Ahead | Buch | Sack Fachmedien

    Bloomfield / Marshall / Jones VDM '88. VDM - The Way Ahead

    2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50214-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghezzi / McDermid | ESEC '89 | Buch | Sack Fachmedien

    Ghezzi / McDermid ESEC '89

    2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51635-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cazzola / Stroud / Tisato | Reflection and Software Engineering | Buch | Sack Fachmedien

    Cazzola / Stroud / Tisato Reflection and Software Engineering

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67761-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Plödereder | Reliable Software Technologies Ada-Europe 2000 | Buch | Sack Fachmedien

    Keller / Plödereder Reliable Software Technologies Ada-Europe 2000

    5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67669-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Demeyer | Object-Oriented Technology. ECOOP'99 Workshop Reader | Buch | Sack Fachmedien

    Moreira / Demeyer Object-Oriented Technology. ECOOP'99 Workshop Reader

    ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66954-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Programming Languages and Systems | Buch | Sack Fachmedien

    Smolka Programming Languages and Systems

    9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt | Compiler Construction | Buch | Sack Fachmedien

    Watt Compiler Construction

    9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67263-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pujolle / Perros / Fdida | NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks | Buch | Sack Fachmedien

    Pujolle / Perros / Fdida NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks

    IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67506-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chaudhuri / Das / Paul | Distributed Computing and Networking | Buch | Sack Fachmedien

    Chaudhuri / Das / Paul Distributed Computing and Networking

    8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68139-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dams / Gerth / Leue | Theoretical and Practical Aspects of SPIN Model Checking | Buch | Sack Fachmedien

    Dams / Gerth / Leue Theoretical and Practical Aspects of SPIN Model Checking

    5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66499-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wing / Woodcook / Davies | FM'99 - Formal Methods | Buch | Sack Fachmedien

    Wing / Woodcook / Davies FM'99 - Formal Methods

    World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66587-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezivin / Muller | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

    Bezivin / Muller The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koskimies | Compiler Construction | Buch | Sack Fachmedien

    Koskimies Compiler Construction

    7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64304-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maziero / Silva / Andrade | Dependable Computing | Buch | Sack Fachmedien

    Maziero / Silva / Andrade Dependable Computing

    Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29572-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cao / Nejdl / Xu | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Cao / Nejdl / Xu Advanced Parallel Processing Technologies

    6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29639-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brueckner / Di Marzo Serugendo / Hales | Engineering Self-Organising Systems | Buch | Sack Fachmedien

    Brueckner / Di Marzo Serugendo / Hales Engineering Self-Organising Systems

    Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33342-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grass / Sick / Waldschmidt | Architecture of Computing Systems - ARCS 2006 | Buch | Sack Fachmedien

    Grass / Sick / Waldschmidt Architecture of Computing Systems - ARCS 2006

    19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32765-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Engberg | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Nielsen / Engberg Foundations of Software Science and Computation Structures

    5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43366-8
    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