Ergebnisse filtern
Fachgebiet
Medium
  • 2271
  • 6
Erscheinungsjahr
  • 1
  • 2
  • 3
  • 3
  • 8
  • 1
  • 1
  • 4
  • 3
  • 6
  • 9
  • 26
  • 10
  • 15
  • 12
  • 174
  • 63
  • 119
  • 205
  • 173
  • 199
  • 175
  • 171
  • 140
  • 118
  • 97
  • 82
  • 72
  • 50
  • 64
  • 49
  • 42
  • 44
  • 20
  • 39
  • 25
  • 18
  • 9
  • 9
  • 4
  • 2
  • 3
  • 3
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 14
  • 3
  • 2
  • 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
  • 5
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 18
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 4
  • 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
  • 3
  • 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
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 3
  • 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
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 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
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 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
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 3
  • 5
  • 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
  • 5
  • 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
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 3
  • 2
  • 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
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 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
  • 2
  • 16
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 12
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 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
  • 5
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 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
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 13
  • 6
  • 4
  • 3
  • 4
  • 3
  • 4
Verlag
  • 2
  • 103
  • 2
  • 18
  • 3
  • 2
  • 4
  • 8
  • 3
  • 1
  • 5
  • 1
  • 5
  • 2
  • 1
  • 2
  • 20
  • 6
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 4
  • 1
  • 1
  • 3
  • 1
  • 5
  • 1805
  • 25
  • 1
  • 1
  • 13
  • 25
  • 79
  • 52
  • 1
  • 19
  • 4
  • 1
  • 18
  • 12
  • 2
  • 2
  • 1
  • 1
  • 2
Preis
  • 16
  • 143
  • 1378
  • 740
Sprachen
  • 2147
  • 130
  • 1
Verfügbarkeit
  • 2265
  • 12
Katalog
  • 2277
  • 276
2.277  Titel
    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
    Bochmann / Probst | Computer Aided Verification | Buch | Sack Fachmedien

    Bochmann / Probst Computer Aided Verification

    Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56496-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wooldridge / Weiß / Ciancarini | Agent-Oriented Software Engineering II | Buch | Sack Fachmedien

    Wooldridge / Weiß / Ciancarini Agent-Oriented Software Engineering II

    Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43282-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haddadi | Communication and Cooperation in Agent Systems | Buch | Sack Fachmedien

    Haddadi Communication and Cooperation in Agent Systems

    A Pragmatic Theory
    1995
    Verlag: Springer
    ISBN: 978-3-540-61044-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Picco | Mobile Agents | Buch | Sack Fachmedien

    Picco Mobile Agents

    5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42952-4
    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
    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
    Nagl | Building Tightly Integrated Software Development Environments: The IPSEN Approach | Buch | Sack Fachmedien

    Nagl Building Tightly Integrated Software Development Environments: The IPSEN Approach

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61985-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Huth | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Grumberg / Huth Tools and Algorithms for the Construction and Analysis of Systems

    13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71208-4
    Medium: Buch
    106,99 € (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
    Taft / Duff / Brukardt | Consolidated Ada Reference Manual | Buch | Sack Fachmedien

    Taft / Duff / Brukardt Consolidated Ada Reference Manual

    Language and Standard Libraries
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43038-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diehl | Software Visualization | Buch | Sack Fachmedien

    Diehl Software Visualization

    International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43323-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutknecht | Programming Languages and System Architectures | Buch | Sack Fachmedien

    Gutknecht Programming Languages and System Architectures

    International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57840-6
    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
    Crowley / Piater / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Crowley / Piater / Vincze Computer Vision Systems

    Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00921-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Marché | Formal Verification of Object-Oriented Software | Buch | Sack Fachmedien

    Beckert / Marché Formal Verification of Object-Oriented Software

    International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-18069-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das / Sen / Sinha | Distributed Computing -- IWDC 2004 | Buch | Sack Fachmedien

    Das / Sen / Sinha Distributed Computing -- IWDC 2004

    6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24076-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kop / Mayr / Mylopoulos | Conceptual Modeling - ER 2005 | Buch | Sack Fachmedien

    Kop / Mayr / Mylopoulos Conceptual Modeling - ER 2005

    24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29389-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Li / Znati | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Cheng / Li / Znati Wireless Algorithms, Systems, and Applications

    First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37189-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothermel / Popescu-Zeletin | Mobile Agents | Buch | Sack Fachmedien

    Rothermel / Popescu-Zeletin Mobile Agents

    First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62803-3
    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
    Hutchison / Denazis / Lefevre | Active and Programmable Networks | Buch | Sack Fachmedien

    Hutchison / Denazis / Lefevre Active and Programmable Networks

    IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005, Revised Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00971-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lind | Iterative Software Engineering for Multiagent Systems | Buch | Sack Fachmedien

    Lind Iterative Software Engineering for Multiagent Systems

    The MASSIVE Method
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42166-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
    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
    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
    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
    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
    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
    Lewerentz / Lindner | Formal Development of Reactive Systems | Buch | Sack Fachmedien

    Lewerentz / Lindner Formal Development of Reactive Systems

    Case Study Production Cell
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58867-2
    Medium: Buch
    53,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
    Egly / Fernmüller | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Egly / Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43929-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Zavattaro | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dunin-Keplicz / Nawarecki | From Theory to Practice in Multi-Agent Systems | Buch | Sack Fachmedien

    Dunin-Keplicz / Nawarecki From Theory to Practice in Multi-Agent Systems

    Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43370-5
    Medium: Buch
    53,49 € (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
    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
    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
    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
    Yuan / Yokoo | Intelligent Agents: Specification, Modeling, and Application | Buch | Sack Fachmedien

    Yuan / Yokoo Intelligent Agents: Specification, Modeling, and Application

    4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42434-5
    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
    Rombach / Basili / Selby | Experimental Software Engineering Issues: | Buch | Sack Fachmedien

    Rombach / Basili / Selby Experimental Software Engineering Issues:

    Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57092-9
    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
    Hermenegildo / Cabeza | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hermenegildo / Cabeza Practical Aspects of Declarative Languages

    7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24362-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frohner | Object-Oriented Technology: ECOOP 2001 Workshop Reader | Buch | Sack Fachmedien

    Frohner Object-Oriented Technology: ECOOP 2001 Workshop Reader

    ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43675-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Hermanns / Katoen | Lectures on Formal Methods and Performance Analysis | Buch | Sack Fachmedien

    Brinksma / Hermanns / Katoen Lectures on Formal Methods and Performance Analysis

    First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42479-6
    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
    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
    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
    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
    Bernardo / Degano / Zavattaro | Formal Methods for Computational Systems Biology | Buch | Sack Fachmedien

    Bernardo / Degano / Zavattaro Formal Methods for Computational Systems Biology

    8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68892-1
    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
    Bakker / Roever / Rozenberg | A Decade of Concurrency: Reflections and Perspectives | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg A Decade of Concurrency: Reflections and Perspectives

    Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58043-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bin / Ziv / Ur | Hardware and Software, Verification and Testing | Buch | Sack Fachmedien

    Bin / Ziv / Ur Hardware and Software, Verification and Testing

    Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70888-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aksit / Matsuoka | ECOOP '97 - Object-Oriented Programming | Buch | Sack Fachmedien

    Aksit / Matsuoka ECOOP '97 - Object-Oriented Programming

    11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63089-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagi | Transactional Agents | Buch | Sack Fachmedien

    Nagi Transactional Agents

    Towards a Robust Multi-Agent System
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43046-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Gornostaev / Unger Human-Computer Interaction

    4th International Conference, EWHCI '94, St. Petersburg, Russia, August 2 - 5, 1994. Selected Papers
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58648-7
    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
    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
    Jeuring / Peyton Jones | Advanced Functional Programming | Buch | Sack Fachmedien

    Jeuring / Peyton Jones Advanced Functional Programming

    4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40132-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frasson / Gauthier / Lesgold | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Frasson / Gauthier / Lesgold Intelligent Tutoring Systems

    Third International Conference, ITS'96, Montreal, Canada, June 12-14, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61327-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Vardi | Computer Aided Verification | Buch | Sack Fachmedien

    Hu / Vardi Computer Aided Verification

    10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64608-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banatre / Le Metayer | Research Directions in High-Level Parallel Programming Languages | Buch | Sack Fachmedien

    Banatre / Le Metayer Research Directions in High-Level Parallel Programming Languages

    Mont Saint-Michel, France, June 17-19, 1991 Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55160-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schumacher | Security Engineering with Patterns | Buch | Sack Fachmedien

    Schumacher Security Engineering with Patterns

    Origins, Theoretical Models, and New Applications
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40731-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langendoen / Voigt | Wireless Sensor Networks | Buch | Sack Fachmedien

    Langendoen / Voigt Wireless Sensor Networks

    4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69829-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Liu / Woodcock | Domain Modeling and the Duration Calculus | Buch | Sack Fachmedien

    George / Liu / Woodcock Domain Modeling and the Duration Calculus

    International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74963-9
    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
    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
    Bordini / Dastani / Dix | Programming Multi-Agent-Systems | Buch | Sack Fachmedien

    Bordini / Dastani / Dix Programming Multi-Agent-Systems

    4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71955-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corradini / Ehrig / Montanari | Graph Transformations | Buch | Sack Fachmedien

    Corradini / Ehrig / Montanari Graph Transformations

    Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38870-8
    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
    Stojmenovic / Thulasiram / Yang | Parallel and Distributed Processing and Applications | Buch | Sack Fachmedien

    Stojmenovic / Thulasiram / Yang Parallel and Distributed Processing and Applications

    5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74741-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montanari / Sannella / Bruni | Trustworthy Global Computing | Buch | Sack Fachmedien

    Montanari / Sannella / Bruni Trustworthy Global Computing

    Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75333-9
    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
    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
    Kirby / Dearle / Sjoberg | Persistent Object Systems: Design, Implementation, and Use | Buch | Sack Fachmedien

    Kirby / Dearle / Sjoberg Persistent Object Systems: Design, Implementation, and Use

    9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42735-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beigl / Lukowicz | Systems Aspects in Organic and Pervasive Computing - ARCS 2005 | Buch | Sack Fachmedien

    Beigl / Lukowicz Systems Aspects in Organic and Pervasive Computing - ARCS 2005

    18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25273-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Etessami / Rajamani | Computer Aided Verification | Buch | Sack Fachmedien

    Etessami / Rajamani Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eusgeld / Freiling / Reussner | Dependability Metrics | Buch | Sack Fachmedien

    Eusgeld / Freiling / Reussner Dependability Metrics

    GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68946-1
    Medium: Buch
    46,01 € (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
    Hlavac / Jeffery / Wiedermann | SOFSEM 2000: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Hlavac / Jeffery / Wiedermann SOFSEM 2000: Theory and Practice of Informatics

    27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41348-6
    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
    Dastani / El Fallah Seghrouchni / Ricci | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / El Fallah Seghrouchni / Ricci Programming Multi-Agent Systems

    Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79042-6
    Medium: Buch
    53,49 € (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
    Mueller | High-Level Parallel Programming Models and Supportive Environments | Buch | Sack Fachmedien

    Mueller High-Level Parallel Programming Models and Supportive Environments

    6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41944-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eigenmann / Voss | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Eigenmann / Voss OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42346-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Burdy / Huisman | Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | Buch | Sack Fachmedien

    Barthe / Burdy / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

    International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24287-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreno / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics

    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44039-0
    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
    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
    Vitek / Tschudin | Mobile Object Systems Towards the Programmable Internet | Buch | Sack Fachmedien

    Vitek / Tschudin Mobile Object Systems Towards the Programmable Internet

    Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62852-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghose / Governatori / Sadananda | Agent Computing and Multi-Agent Systems | Buch | Sack Fachmedien

    Ghose / Governatori / Sadananda Agent Computing and Multi-Agent Systems

    10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01638-7
    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
    Krieg-Brückner | ESOP '92 | Buch | Sack Fachmedien

    Krieg-Brückner ESOP '92

    4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55253-6
    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
    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
    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
    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
    Steinmetz / Wehrle | Peer-to-Peer Systems and Applications | Buch | Sack Fachmedien

    Steinmetz / Wehrle Peer-to-Peer Systems and Applications

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29192-3
    Medium: Buch
    53,49 € (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
    Bonsangue / Johnsen | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Bonsangue / Johnsen Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72919-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