Ergebnisse filtern
Fachgebiet
Medium
  • 3172
  • 350
  • 3
  • 1
Erscheinungsjahr
  • 1
  • 3
  • 30
  • 77
  • 238
  • 96
  • 65
  • 78
  • 82
  • 93
  • 66
  • 25
  • 39
  • 31
  • 33
  • 21
  • 25
  • 21
  • 125
  • 77
  • 147
  • 302
  • 302
  • 206
  • 107
  • 140
  • 105
  • 112
  • 82
  • 88
  • 82
  • 77
  • 78
  • 67
  • 65
  • 60
  • 40
  • 65
  • 33
  • 34
  • 26
  • 21
  • 16
  • 7
  • 4
  • 1
  • 5
  • 11
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 24
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 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
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 24
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 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
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 4
  • 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
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 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
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 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
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 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
  • 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
  • 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
  • 2
  • 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
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 5
  • 3
  • 7
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 4
  • 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
  • 4
  • 5
  • 3
  • 8
  • 4
  • 6
  • 6
  • 3
  • 4
  • 28
  • 11
  • 3
  • 4
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 6
  • 5
  • 7
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 13
  • 4
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 15
  • 3
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 6
  • 4
  • 6
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 6
  • 3
  • 4
Verlag
  • 3
  • 2
  • 1
  • 1
  • 302
  • 2
  • 1
  • 1
  • 7
  • 4
  • 2
  • 34
  • 13
  • 68
  • 1
  • 28
  • 368
  • 1
  • 6
  • 5
  • 1
  • 1
  • 6
  • 1
  • 2
  • 3
  • 2
  • 4
  • 3
  • 1
  • 15
  • 8
  • 1
  • 3
  • 2
  • 1
  • 1
  • 23
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 13
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 2
  • 6
  • 2
  • 1
  • 2344
  • 21
  • 2
  • 2
  • 11
  • 16
  • 16
  • 7
  • 2
  • 18
  • 2
  • 18
  • 1
  • 27
  • 6
  • 2
  • 1
  • 21
  • 16
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
Preis
  • 132
  • 508
  • 2035
  • 851
Sprachen
  • 3292
  • 231
  • 7
  • 1
Verfügbarkeit
  • 3465
  • 61
Katalog
  • 3526
  • 183
3.526  Titel
    Jay | Pattern Calculus | Buch | Sack Fachmedien

    Jay Pattern Calculus

    Computing with Functions and Structures
    2009
    Verlag: Springer
    ISBN: 978-3-642-42601-8
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropf | Formal Hardware Verification | Buch | Sack Fachmedien

    Kropf Formal Hardware Verification

    Methods and Systems in Comparison
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63475-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Namjoshi / Yoneda / Higashino | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Namjoshi / Yoneda / Higashino Automated Technology for Verification and Analysis

    5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75595-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dongarra / Madsen / Wasniewski | Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science | Buch | Sack Fachmedien

    Dongarra / Madsen / Wasniewski Applied Parallel Computing. Computations in Physics, Chemistry and Engineering Science

    Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60902-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Puebla | Static Analysis | Buch | Sack Fachmedien

    Hermenegildo / Puebla Static Analysis

    9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephanidis | Universal Acess in Human Computer Interaction. Coping with Diversity | Buch | Sack Fachmedien

    Stephanidis Universal Acess in Human Computer Interaction. Coping with Diversity

    Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73278-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lalanne / Kohlas | Human Machine Interaction | Buch | Sack Fachmedien

    Lalanne / Kohlas Human Machine Interaction

    Research Results of the MMI Program
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00436-0
    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
    ISBN: 978-3-540-42342-3
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Landau | A First Course in Scientific Computing | Buch | Sack Fachmedien

    Landau A First Course in Scientific Computing

    Symbolic, Graphic, and Numeric Modeling Using Maple, Java, Mathematica, and Fortran90
    With CD-ROM Auflage
    Verlag: Princeton University Press
    ISBN: 978-0-691-12183-3
    Medium: Buch
    119,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Vardanega / Wellings | Reliable Software Technology - Ada-Europe 2005 | Buch | Sack Fachmedien

    Vardanega / Wellings Reliable Software Technology - Ada-Europe 2005

    10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26286-2
    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
    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
    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
    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
    Pingali / Banerjee / Gelernter | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Pingali / Banerjee / Gelernter Languages and Compilers for Parallel Computing

    7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58868-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Zhao / Tang | Analysis and Modeling of Faces and Gestures | Buch | Sack Fachmedien

    Zhou / Zhao / Tang Analysis and Modeling of Faces and Gestures

    Third International Workshop, AMFG 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75689-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le Metayer | Programming Languages and Systems | Buch | Sack Fachmedien

    Le Metayer Programming Languages and Systems

    11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43363-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutylowski / Cichon / Kubiak | Algorithmic Aspects of Wireless Sensor Networks | Buch | Sack Fachmedien

    Kutylowski / Cichon / Kubiak Algorithmic Aspects of Wireless Sensor Networks

    Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77870-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschberg / Meyers | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Hirschberg / Meyers Combinatorial Pattern Matching

    7th Annual Symposium, CPM '96, Laguna Beach, California, June 10-12, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61258-2
    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
    Felici / Kanoun / Pasquini | Computer Safety, Reliability and Security | Buch | Sack Fachmedien

    Felici / Kanoun / Pasquini Computer Safety, Reliability and Security

    18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh / Kuri Morales | MICAI 2007: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Gelbukh / Kuri Morales MICAI 2007: Advances in Artificial Intelligence

    6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76630-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Heutte / Loog | Advanced Intelligent Computing Theories and Applications | Buch | Sack Fachmedien

    Huang / Heutte / Loog Advanced Intelligent Computing Theories and Applications

    Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74201-2
    Medium: Buch
    213,99 € (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
    Alves-Foss | Formal Syntax and Semantics of Java | Buch | Sack Fachmedien

    Alves-Foss Formal Syntax and Semantics of Java

    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66158-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lévy / Le Grand / Poulet | Pixelization Paradigm | Buch | Sack Fachmedien

    Lévy / Le Grand / Poulet Pixelization Paradigm

    Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71026-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey / Till | ZUM'97: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Hinchey / Till ZUM'97: The Z Formal Specification Notation

    10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62717-3
    Medium: Buch
    53,49 € (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
    Pontelli / Son | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Pontelli / Son Practical Aspects of Declarative Languages

    17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-19685-5
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hagiya / Mitchell | Theoretical Aspects of Computer Software | Buch | Sack Fachmedien

    Hagiya / Mitchell Theoretical Aspects of Computer Software

    International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57887-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moggi / Rosolini | Category Theory and Computer Science | Buch | Sack Fachmedien

    Moggi / Rosolini Category Theory and Computer Science

    7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63455-3
    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 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
    Matsumoto / Sproat / Wong | Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead | Buch | Sack Fachmedien

    Matsumoto / Sproat / Wong Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead

    21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49667-0
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Celko | Joe Celko's SQL Programming Style | Buch | Sack Fachmedien

    Celko Joe Celko's SQL Programming Style

    Erscheinungsjahr 2005
    Verlag: Elsevier Inc
    ISBN: 978-0-12-088797-2
    Medium: Buch
    42,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    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
    Willems | The Analysis of Feedback Systems | Buch | Sack Fachmedien

    Willems The Analysis of Feedback Systems

    Revised
    Verlag: Penguin Random House LLC
    ISBN: 978-0-262-73160-7
    Medium: Buch
    25,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Priestley | Routines of Substitution | Buch | Sack Fachmedien

    Priestley Routines of Substitution

    John von Neumann’s Work on Software Development, 1945–1948
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91670-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parab / Shinde / Shelake | Practical Aspects of Embedded System Design Using Microcontrollers | Buch | Sack Fachmedien

    Parab / Shinde / Shelake Practical Aspects of Embedded System Design Using Microcontrollers

    2008. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8392-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Bettini / Jajodia / Wang | Time Granularities in Databases, Data Mining, and Temporal Reasoning | Buch | Sack Fachmedien

    Bettini / Jajodia / Wang Time Granularities in Databases, Data Mining, and Temporal Reasoning

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-08634-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hudak / Warren | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hudak / Warren Practical Aspects of Declarative Languages

    10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77441-9
    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
    Obayashi / Deb / Poloni | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Obayashi / Deb / Poloni Evolutionary Multi-Criterion Optimization

    4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70927-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Taitslin | Logical Foundations of Computer Science - Tver '92 | Buch | Sack Fachmedien

    Nerode / Taitslin Logical Foundations of Computer Science - Tver '92

    Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55707-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbab / Talcott | Coordination Models and Languages | Buch | Sack Fachmedien

    Arbab / Talcott Coordination Models and Languages

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

    Cazzola / Stroud / Tisato Reflection and Software Engineering

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67761-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Denvir / Harwood / Jackson | The Analysis of Concurrent Systems | Buch | Sack Fachmedien

    Denvir / Harwood / Jackson The Analysis of Concurrent Systems

    Cambridge, September 12-16, 1983. Proceedings
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16047-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote | Lectures on the Complexity of Bilinear Problems | Buch | Sack Fachmedien

    Groote Lectures on the Complexity of Bilinear Problems

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17205-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermann / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

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

    13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48281-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preparata / Wu / Yin | Frontiers in Algorithmics | Buch | Sack Fachmedien

    Preparata / Wu / Yin Frontiers in Algorithmics

    Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69310-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    An / Matwin / Ras | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    An / Matwin / Ras Foundations of Intelligent Systems

    17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68122-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schewe / Thalheim | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Schewe / Thalheim Foundations of Information and Knowledge Systems

    First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67100-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D'Amore / Franciosa / Marchetti-Spaccamela | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    D'Amore / Franciosa / Marchetti-Spaccamela Graph-Theoretic Concepts in Computer Science

    22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62559-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burkhart | CONPAR 90 - VAPP IV | Buch | Sack Fachmedien

    Burkhart CONPAR 90 - VAPP IV

    Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53065-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seipel / Hanus / Wolf | Applications of Declarative Programming and Knowledge Management | Buch | Sack Fachmedien

    Seipel / Hanus / Wolf Applications of Declarative Programming and Knowledge Management

    17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00674-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abiteboul / Shamir | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Abiteboul / Shamir Automata, Languages, and Programming

    21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58201-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Hallnäs / Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Eriksson / Hallnäs / Schroeder-Heister Extensions of Logic Programming

    Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55498-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pernul / Tjoa | Entity-Relationship Approach - ER '92 | Buch | Sack Fachmedien

    Pernul / Tjoa Entity-Relationship Approach - ER '92

    11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-56023-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitter / Zaroliagis | Algorithm Engineering | Buch | Sack Fachmedien

    Vitter / Zaroliagis Algorithm Engineering

    3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66427-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonsson / Parrow | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Jonsson / Parrow Formal Techniques in Real-Time and Fault-Tolerant Systems

    4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61648-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
    Rus | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Rus Algebraic Methodology and Software Technology

    8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67530-3
    Medium: Buch
    106,99 € (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
    Beetz | Concurrent Reactive Plans | Buch | Sack Fachmedien

    Beetz Concurrent Reactive Plans

    Anticipating and Forestalling Execution Failures
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67241-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Ionescu / Martin-Vide | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Dediu / Ionescu / Martin-Vide Language and Automata Theory and Applications

    Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00981-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Broy / Zamulin | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Broy / Zamulin Perspectives of System Informatics

    4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43075-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ochmanski / Tyszkiewicz | Mathematical Foundations of Computer Science 2008 | Buch | Sack Fachmedien

    Ochmanski / Tyszkiewicz Mathematical Foundations of Computer Science 2008

    33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85237-7
    Medium: Buch
    106,99 € (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
    Liu / Fei / Hou | Advances in Neural Networks - ISNN 2007 | Buch | Sack Fachmedien

    Liu / Fei / Hou Advances in Neural Networks - ISNN 2007

    4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72382-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laber / Bornstein / Nogueira | LATIN 2008: Theoretical Informatics | Buch | Sack Fachmedien

    Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics

    8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78772-3
    Medium: Buch
    106,99 € (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
    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
    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
    Weber / Simons / Lafontaine | The Generic Development Language Deva | Buch | Sack Fachmedien

    Weber / Simons / Lafontaine The Generic Development Language Deva

    Presentation and Case Studies
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger | Computation Theory and Logic | Buch | Sack Fachmedien

    Börger Computation Theory and Logic

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18170-5
    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
    Keller / Plödereder | Reliable Software Technologies Ada-Europe 2000 | Buch | Sack Fachmedien

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

    5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67669-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marlin | Coroutines | Buch | Sack Fachmedien

    Marlin Coroutines

    A Programming Methodology, a Language Design and an Implementation
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10256-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezem / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Bezem / Groote Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Skou | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Skou Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Didier | B'98: Recent Advances in the Development and Use of the B Method | Buch | Sack Fachmedien

    Didier B'98: Recent Advances in the Development and Use of the B Method

    Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64405-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falsafi / Lauria | Network-Based Parallel Computing - Communication, Architecture, and Applications | Buch | Sack Fachmedien

    Falsafi / Lauria Network-Based Parallel Computing - Communication, Architecture, and Applications

    4th International Workshop, CANPC 2000 Toulouse, France, January 8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67879-3
    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
    Jones / Liu / Woodcock | Theoretical Aspects of Computing - ICTAC 2007 | Buch | Sack Fachmedien

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

    4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75290-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Lee | ISA '91 Algorithms | Buch | Sack Fachmedien

    Hsu / Lee ISA '91 Algorithms

    2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54945-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosch / Krueger | Software Reuse: Methods, Techniques, and Tools | Buch | Sack Fachmedien

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

    8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22335-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Hemert / Cotta | Evolutionary Computation in Combinatorial Optimization | Buch | Sack Fachmedien

    van Hemert / Cotta Evolutionary Computation in Combinatorial Optimization

    8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78603-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Klüver | Programmierung naturanaloger Verfahren | Buch | Sack Fachmedien

    Schmidt / Klüver Programmierung naturanaloger Verfahren

    Soft Computing und verwandte Methoden
    1. Auflage 2010
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-0822-6
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mulkers | Live Data Structures in Logic Programs | Buch | Sack Fachmedien

    Mulkers Live Data Structures in Logic Programs

    Derivation by Means of Abstract Interpretation
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56694-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tovar / Tsigas / Fouchal | Principles of Distributed Systems | Buch | Sack Fachmedien

    Tovar / Tsigas / Fouchal Principles of Distributed Systems

    11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77095-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helmert | Understanding Planning Tasks | Buch | Sack Fachmedien

    Helmert Understanding Planning Tasks

    Domain Complexity and Heuristic Decomposition
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77722-9
    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
    Havelund / Majumdar / Palsberg | Model Checking Software | Buch | Sack Fachmedien

    Havelund / Majumdar / Palsberg Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85113-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reps / Sagiv / Bauer | Program Analysis and Compilation, Theory and Practice | Buch | Sack Fachmedien

    Reps / Sagiv / Bauer Program Analysis and Compilation, Theory and Practice

    Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71315-9
    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
    Beliczynski / Dzielinski / Iwanowski | Adaptive and Natural Computing Algorithms | Buch | Sack Fachmedien

    Beliczynski / Dzielinski / Iwanowski Adaptive and Natural Computing Algorithms

    8th International Conference, ICANNGA 2007, Warsaw, Poland, April 11-14, 2007, Proceedings, Part I
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71589-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aluru / Parashar / Badrinath | High Performance Computing - HiPC 2007 | Buch | Sack Fachmedien

    Aluru / Parashar / Badrinath High Performance Computing - HiPC 2007

    14th International Conference, Goa, India, December 18-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77219-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Roscoe / Winskel | Seminar on Concurrency | Buch | Sack Fachmedien

    Brookes / Roscoe / Winskel Seminar on Concurrency

    Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15670-3
    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
    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 Netherlands
    ISBN: 978-3-540-34141-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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