Fachgebiet
Medium
  • 1940
  • 257
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 23
  • 116
  • 251
  • 173
  • 106
  • 110
  • 104
  • 75
  • 91
  • 46
  • 60
  • 54
  • 45
  • 96
  • 148
  • 39
  • 85
  • 29
  • 26
  • 29
  • 23
  • 25
  • 28
  • 25
  • 25
  • 38
  • 23
  • 23
  • 28
  • 33
  • 24
  • 22
  • 23
  • 10
  • 14
  • 9
  • 21
  • 23
  • 11
  • 17
  • 8
  • 7
  • 2
  • 2
  • 5
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
Autoren
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 5
  • 3
  • 4
  • 9
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 22
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 13
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 13
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 13
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 7
  • 5
  • 9
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 6
  • 5
  • 13
  • 14
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 8
  • 11
  • 4
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 13
  • 5
  • 4
  • 13
  • 6
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
Verlag
  • 4
  • 1
  • 3
  • 5
  • 7
  • 19
  • 4
  • 2
  • 2
  • 28
  • 1
  • 1
  • 2
  • 43
  • 1
  • 133
  • 242
  • 1
  • 2
  • 2
  • 26
  • 12
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 6
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 7
  • 1
  • 5
  • 1
  • 1
  • 1
  • 3
  • 1
  • 9
  • 16
  • 1
  • 1067
  • 16
  • 159
  • 1
  • 22
  • 6
  • 14
  • 45
  • 77
  • 1
  • 1
  • 56
  • 7
  • 21
  • 1
  • 2
  • 14
  • 1
  • 43
  • 2
  • 15
Preis
  • 29
  • 249
  • 921
  • 1002
Sprachen
  • 2068
  • 136
  • 1
Verfügbarkeit
  • 2174
  • 27
Katalog
  • 2201
  • 116
2.201  Titel


    Majumdar / Tabuada Hybrid Systems: Computation and Control

    12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00601-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stenström / Whalley Transactions on High-Performance Embedded Architectures and Compilers II

    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00903-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bouajjani / Maler Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brauer / Ehrig / Karhumäki Formal and Natural Computing

    Essays Dedicated to Grzegorz Rozenberg
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43190-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Callaghan / Luo / McKinna Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee Grid Computing - GRID 2001

    Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42949-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hornby / Sekanina / Haddow Evolvable Systems: From Biology to Hardware

    8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85856-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Roller / Benkert / Galle High Performance Computing on Vector Systems 2008

    2009
    Verlag: Springer
    ISBN: 978-3-540-85868-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sloman / Lobo / Lupu Policies for Distributed Systems and Networks

    International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41610-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Herlihy Distributed Computing

    14th International Conference, DISC 2000 Toledo, Spain, October 4-6, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41143-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Anderson / Prencipe / Wattenhofer Principles of Distributed Systems

    9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36321-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shokin / Danaev / Orunkhanov Advances in High Performance Computing and Computational Sciences

    The 1st Kazakh-German Advanced Research Workshop, Almaty, Kazakhstan, September 25 to October 1, 2005
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33864-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yu / Paun Implementation and Application of Automata

    5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42491-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Montello Spatial Information Theory: Foundations of Geographic Information Science

    International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42613-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Raymond / Wood / Yu Automata Implementation

    First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63174-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy Informatik Eine grundlegende Einführung

    Band 1: Programmierung und Rechnerstrukturen
    2. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-63234-4
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gunter / Felty Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dix / Moniz Pereira / Przymusinski Non-Monotonic Extensions of Logic Programming

    Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62843-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lecomte / Lamarche / Perrier Logical Aspects of Computational Linguistics

    Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65751-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lemos / Gacek / Romanovsky Architecting Dependable Systems III

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Monien / Ottmann Data Structures and Efficient Algorithms

    Final Report on the DFG Special Joint Initiative
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55488-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Herzog / Rollinger Text Understanding in LILOG

    Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54594-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Alferes / Moniz Pereira Reasoning with Logic Programming

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61488-3
    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