Ergebnisse filtern
Fachgebiet
Medium
  • 3179
  • 316
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 18
  • 45
  • 242
  • 91
  • 71
  • 70
  • 86
  • 98
  • 63
  • 25
  • 38
  • 32
  • 33
  • 21
  • 25
  • 22
  • 124
  • 77
  • 148
  • 302
  • 303
  • 211
  • 107
  • 144
  • 109
  • 114
  • 84
  • 86
  • 82
  • 76
  • 78
  • 68
  • 65
  • 60
  • 40
  • 65
  • 33
  • 34
  • 26
  • 21
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
Autoren
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 10
  • 22
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 24
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 13
  • 6
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 4
  • 10
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 2
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 9
  • 8
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 28
  • 11
  • 3
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 15
  • 5
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
Verlag
  • 3
  • 2
  • 1
  • 1
  • 307
  • 2
  • 1
  • 1
  • 7
  • 2
  • 4
  • 34
  • 16
  • 65
  • 1
  • 27
  • 331
  • 1
  • 6
  • 5
  • 1
  • 1
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 1
  • 3
  • 6
  • 1
  • 15
  • 2
  • 1
  • 1
  • 21
  • 3
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 12
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 6
  • 2
  • 1
  • 2245
  • 77
  • 10
  • 2
  • 14
  • 3
  • 15
  • 16
  • 26
  • 6
  • 19
  • 2
  • 16
  • 1
  • 32
  • 2
  • 2
  • 1
  • 21
  • 30
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
Preis
  • 130
  • 494
  • 2040
  • 835
Sprachen
  • 3259
  • 237
  • 7
  • 1
Verfügbarkeit
  • 3437
  • 62
Eigenschaften
  • 2
Katalog
  • 3499
  • 185
3.499  Titel
    Müller-Olm | Variations on Constants | Buch | Sack Fachmedien

    Müller-Olm Variations on Constants

    Flow Analysis of Sequential and Parallel Programs
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45385-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esposito / Ras / Malerba | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    Esposito / Ras / Malerba Foundations of Intelligent Systems

    16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45764-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahlswede / Bäumer / Cai | General Theory of Information Transfer and Combinatorics | Buch | Sack Fachmedien

    Ahlswede / Bäumer / Cai General Theory of Information Transfer and Combinatorics

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46244-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lisper | Synthesizing Synchronous Systems by Static Scheduling in Space-Time | Buch | Sack Fachmedien

    Lisper Synthesizing Synchronous Systems by Static Scheduling in Space-Time

    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51156-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Litwin / Schek | Foundations of Data Organization and Algorithms | Buch | Sack Fachmedien

    Litwin / Schek Foundations of Data Organization and Algorithms

    3rd International Conference, FODO 1989, Paris, France, June 21-23, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51295-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dassow / Kelemen | Machines, Languages, and Complexity | Buch | Sack Fachmedien

    Dassow / Kelemen Machines, Languages, and Complexity

    5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51516-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taubner | Finite Representations of CCS and TCSP Programs by Automata and Petri Nets | Buch | Sack Fachmedien

    Taubner Finite Representations of CCS and TCSP Programs by Automata and Petri Nets

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51525-8
    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
    Lifschitz / Niemelä | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Lifschitz / Niemelä Logic Programming and Nonmonotonic Reasoning

    7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20721-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
    Akiyama / Kano | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Kano Discrete and Computational Geometry

    Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20776-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Specht / Mutschler | Mobile Datenbanksysteme | Buch | Sack Fachmedien

    Specht / Mutschler Mobile Datenbanksysteme

    Architektur, Implementierung, Konzepte
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20886-0
    Medium: Buch
    99,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martín-Vide / Mauri / Paun | Membrane Computing | Buch | Sack Fachmedien

    Martín-Vide / Mauri / Paun Membrane Computing

    International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20895-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Categories for Software Engineering | Buch | Sack Fachmedien

    Fiadeiro Categories for Software Engineering

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20909-6
    Medium: Buch
    53,49 € (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
    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
    Zadeh / Nikravesh | Fuzzy Logic and the Internet | Buch | Sack Fachmedien

    Zadeh / Nikravesh Fuzzy Logic and the Internet

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20180-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Backhouse / Gibbons | Generic Programming | Buch | Sack Fachmedien

    Backhouse / Gibbons Generic Programming

    Advanced Lectures
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20194-6
    Medium: Buch
    48,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rossi | Principles and Practice of Constraint Programming - CP 2003 | Buch | Sack Fachmedien

    Rossi Principles and Practice of Constraint Programming - CP 2003

    9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20202-8
    Medium: Buch
    106,99 € (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
    Brunner / Keller | Self-Managing Distributed Systems | Buch | Sack Fachmedien

    Brunner / Keller Self-Managing Distributed Systems

    14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20314-8
    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
    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 / Yi | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

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

    7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41865-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mohnen / Koopman | Implementation of Functional Languages | Buch | Sack Fachmedien

    Mohnen / Koopman Implementation of Functional Languages

    12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000. Selected Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41919-8
    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
    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
    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
    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
    Boulton / Jackson | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Boulton / Jackson Theorem Proving in Higher Order Logics

    14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42525-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cotronis / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Cotronis / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42609-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Restivo / Ronchi Della Rocca / Roversi | Theoretical Computer Science | Buch | Sack Fachmedien

    Restivo / Ronchi Della Rocca / Roversi Theoretical Computer Science

    7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42672-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robertson / Shrobe / Laddaga | Self-Adaptive Software | Buch | Sack Fachmedien

    Robertson / Shrobe / Laddaga Self-Adaptive Software

    First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41655-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palanque / Paterno | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Palanque / Paterno Interactive Systems. Design, Specification, and Verification

    7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41663-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuchen / Ueda | Functional and Logic Programming | Buch | Sack Fachmedien

    Kuchen / Ueda Functional and Logic Programming

    5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41739-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czarnecki / Eisenecker | Generative and Component-Based Software Engineering | Buch | Sack Fachmedien

    Czarnecki / Eisenecker Generative and Component-Based Software Engineering

    First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41172-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt / Johnson | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Hunt / Johnson Formal Methods in Computer-Aided Design

    Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41219-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapoor / Prasad | FST TCS 2000: Foundations of Software Technology and Theoretical Science | Buch | Sack Fachmedien

    Kapoor / Prasad FST TCS 2000: Foundations of Software Technology and Theoretical Science

    20th Conference, New Delhi, India, December13-15, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41413-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    He / Sato | Advances in Computing Science - ASIAN 2000 | Buch | Sack Fachmedien

    He / Sato Advances in Computing Science - ASIAN 2000

    6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41428-5
    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
    Jansen / Margraf / Mastrolilli | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Jansen / Margraf / Mastrolilli Experimental and Efficient Algorithms

    Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40205-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40257-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmann | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hofmann Typed Lambda Calculi and Applications

    6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40332-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sekanina | Evolvable Components | Buch | Sack Fachmedien

    Sekanina Evolvable Components

    From Theory to Hardware Implementations
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40377-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    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
    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
    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
    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
    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
    Euzenat / Domingue | Artificial Intelligence: Methodology, Systems, and Applications | Buch | Sack Fachmedien

    Euzenat / Domingue Artificial Intelligence: Methodology, Systems, and Applications

    12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-40930-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joseph | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems

    6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41055-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schoenauer / Deb / Rudolph | Parallel Problem Solving from Nature-PPSN VI | Buch | Sack Fachmedien

    Schoenauer / Deb / Rudolph Parallel Problem Solving from Nature-PPSN VI

    6th International Conference, Paris, France, September 18-20 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41056-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margenstern / Rogozhin | Machines, Computations, and Universality | Buch | Sack Fachmedien

    Margenstern / Rogozhin Machines, Computations, and Universality

    Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42121-4
    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
    Falsafi / Vijaykumar | Power-Aware Computer Systems | Buch | Sack Fachmedien

    Falsafi / Vijaykumar Power-Aware Computer Systems

    First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42329-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abelson / Sussman | Struktur und Interpretation von Computerprogrammen | Buch | Sack Fachmedien

    Abelson / Sussman Struktur und Interpretation von Computerprogrammen

    Eine Informatik-Einführung
    4. Auflage 2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42342-3
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fraigniaud | Distributed Computing | Buch | Sack Fachmedien

    Fraigniaud Distributed Computing

    19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29163-3
    Medium: Buch
    53,49 € (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
    Gabbrielli / Gupta | Logic Programming | Buch | Sack Fachmedien

    Gabbrielli / Gupta Logic Programming

    21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29208-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hobbs / Goscinski / Zhou | Distributed and Parallel Computing | Buch | Sack Fachmedien

    Hobbs / Goscinski / Zhou Distributed and Parallel Computing

    6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29235-7
    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
    Zelikovsky | Transactions on Computational Systems Biology II | Buch | Sack Fachmedien

    Zelikovsky Transactions on Computational Systems Biology II

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29401-6
    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
    Bozanis / Houstis | Advances in Informatics | Buch | Sack Fachmedien

    Bozanis / Houstis Advances in Informatics

    10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29673-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gil / Motta / Benjamins | The Semantic Web – ISWC 2005 | Buch | Sack Fachmedien

    Gil / Motta / Benjamins The Semantic Web – ISWC 2005

    4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29754-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cohn / Mark | Spatial Information Theory | Buch | Sack Fachmedien

    Cohn / Mark Spatial Information Theory

    International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28964-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Deng / Bao | Information Security | Buch | Sack Fachmedien

    Zhou / Deng / Bao Information Security

    8th International Conference, ISC 2005, Singapore, September 20-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29001-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casadio / Myers | Algorithms in Bioinformatics | Buch | Sack Fachmedien

    Casadio / Myers Algorithms in Bioinformatics

    5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29008-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gramlich | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Gramlich Frontiers of Combining Systems

    5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29051-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Dinneen / Paun | Unconventional Computation | Buch | Sack Fachmedien

    Calude / Dinneen / Paun Unconventional Computation

    4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29100-8
    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
    Helbig | Knowledge Representation and the Semantics of Natural Language | Buch | Sack Fachmedien

    Helbig Knowledge Representation and the Semantics of Natural Language

    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-24461-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25330-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeske | SAP für Java-Entwickler | Buch | Sack Fachmedien

    Jeske SAP für Java-Entwickler

    Konzepte, Schnittstellen, Technologien
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23787-7
    Medium: Buch
    17,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reulke / Eckardt / Flach | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Reulke / Eckardt / Flach Combinatorial Image Analysis

    11th International Workshop, IWCIA 2006, Berlin, Germany, June 19-21, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35153-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gibbons / Abdelzaher / Aspnes | Distributed Computing in Sensor Systems | Buch | Sack Fachmedien

    Gibbons / Abdelzaher / Aspnes Distributed Computing in Sensor Systems

    Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35227-3
    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
    Calamoneri / Finocchi / Italiano | Algorithms and Complexity | Buch | Sack Fachmedien

    Calamoneri / Finocchi / Italiano Algorithms and Complexity

    6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34375-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barker-Plummer / Cox / Swoboda | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Barker-Plummer / Cox / Swoboda Diagrammatic Representation and Inference

    4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35623-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
    Wang / Yi / Zurada | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

    Wang / Yi / Zurada Advances in Neural Networks - ISNN 2006

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34437-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burmester / Yasinsac | Secure Mobile Ad-hoc Networks and Sensors | Buch | Sack Fachmedien

    Burmester / Yasinsac Secure Mobile Ad-hoc Networks and Sensors

    First International Workshop, MADNES 2005, Singapore, September 20-22, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36646-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quinonero-Candela / Dagan / Magnini | Machine Learning Challenges | Buch | Sack Fachmedien

    Quinonero-Candela / Dagan / Magnini Machine Learning Challenges

    Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33427-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antoniou / Potamias / Spyropoulos | Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Antoniou / Potamias / Spyropoulos Advances in Artificial Intelligence

    4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34117-8
    Medium: Buch
    106,99 € (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
    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
    Narayanan / Nayar / Shum | Computer Vision - ACCV 2006 | Buch | Sack Fachmedien

    Narayanan / Nayar / Shum Computer Vision - ACCV 2006

    7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31219-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narayanan / Nayar / Shum | Computer Vision - ACCV 2006 | Buch | Sack Fachmedien

    Narayanan / Nayar / Shum Computer Vision - ACCV 2006

    7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31244-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    MacLean | Spatial Coherence for Visual Motion Analysis | Buch | Sack Fachmedien

    MacLean Spatial Coherence for Visual Motion Analysis

    First International Workshop, SCVMA 2004, Prague, Czech Republic, May 15, 2004, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32533-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braun / Greiffenberg / Esswein | Einführung in die Programmierung | Buch | Sack Fachmedien

    Braun / Greiffenberg / Esswein Einführung in die Programmierung

    Grundlagen, Java, UML
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-32855-1
    Medium: Buch
    34,99 € (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
    Deng / Du | Algorithms and Computation | Buch | Sack Fachmedien

    Deng / Du Algorithms and Computation

    16th International Symposium, ISAAC 2005, Sanya, Hainan, China, December 19.21, 2005, Proceedings
    2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-30935-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apolloni / Marinaro / Nicosia | Neural Nets | Buch | Sack Fachmedien

    Apolloni / Marinaro / Nicosia Neural Nets

    16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33183-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arge / Freivalds | Algorithm Theory - SWAT 2006 | Buch | Sack Fachmedien

    Arge / Freivalds Algorithm Theory - SWAT 2006

    10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35753-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pal / Kshemkalyani / Kumar | Distributed Computing - IWDC 2005 | Buch | Sack Fachmedien

    Pal / Kshemkalyani / Kumar Distributed Computing - IWDC 2005

    7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30959-8
    Medium: Buch
    106,99 € (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
    Higashino | Principles of Distributed Systems | Buch | Sack Fachmedien

    Higashino Principles of Distributed Systems

    8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27324-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdallah / Jones / Sanders | Communicating Sequential Processes. The First 25 Years | Buch | Sack Fachmedien

    Abdallah / Jones / Sanders Communicating Sequential Processes. The First 25 Years

    Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25813-1
    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

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