Ergebnisse filtern
Fachgebiet
Medium
  • 4838
  • 30
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 64
  • 62
  • 51
  • 68
  • 117
  • 134
  • 98
  • 134
  • 90
  • 141
  • 105
  • 144
  • 106
  • 248
  • 92
  • 172
  • 338
  • 310
  • 319
  • 239
  • 245
  • 226
  • 198
  • 142
  • 119
  • 109
  • 102
  • 88
  • 91
  • 81
  • 60
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 8
  • 2
  • 6
  • 4
  • 10
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 10
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 4
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 5
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 4
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 6
  • 8
  • 6
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 3
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 6
  • 3
  • 2
  • 9
  • 5
  • 6
  • 5
  • 10
  • 1
  • 1
  • 2
  • 24
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 7
  • 7
  • 1
  • 2
  • 2
  • 6
  • 2
  • 1
  • 2
  • 9
  • 1
  • 2
  • 1
  • 7
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 2
  • 1228
  • 2151
  • 1
  • 599
  • 1
  • 3
  • 3
  • 42
  • 88
  • 113
  • 77
  • 207
  • 4
  • 35
  • 3
  • 1
  • 2
  • 1
  • 1
  • 7
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 16
  • 203
  • 3005
  • 1653
Sprachen
  • 4729
  • 143
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4866
  • 11
Katalog
  • 4877
  • 213
4.877  Titel
    Mosses | CASL Reference Manual | Buch | Sack Fachmedien

    Mosses CASL Reference Manual

    The Complete Documentation of the Common Algebraic Specification Language
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21301-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca / Fleming / Thiele | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Fleming / Thiele Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zimmermann / Goos | Vorlesungen über Informatik | Buch | Sack Fachmedien

    Zimmermann / Goos Vorlesungen über Informatik

    Band 1: Grundlagen und funktionales Programmieren
    4., überarbeitete Auflage 2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24405-9
    Medium: Buch
    24,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsumoto / Kim | Advances in Cryptology - ASIACRYPT '96 | Buch | Sack Fachmedien

    Matsumoto / Kim Advances in Cryptology - ASIACRYPT '96

    International Conference on the Theory and Applications of Crypotology and Information Security, Kyongju, Korea, November 3 - 7, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61872-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vinay / Chandru | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Vinay / Chandru Foundations of Software Technology and Theoretical Computer Science

    16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62034-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calmet / Pfalzgraf / Campbell | Artificial Intelligence and Symbolic Mathematical Computation | Buch | Sack Fachmedien

    Calmet / Pfalzgraf / Campbell Artificial Intelligence and Symbolic Mathematical Computation

    International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61732-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rothe | Komplexitätstheorie und Kryptologie | Buch | Sack Fachmedien

    Rothe Komplexitätstheorie und Kryptologie

    Eine Einführung in Kryptokomplexität
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79744-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paar / Koc | Cryptographic Hardware and Embedded Systems - CHES 2000 | Buch | Sack Fachmedien

    Paar / Koc Cryptographic Hardware and Embedded Systems - CHES 2000

    Second International Workshop Worcester, MA, USA, August 17-18, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41455-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nuno Oliveira / Backhouse | Mathematics of Program Construction | Buch | Sack Fachmedien

    Nuno Oliveira / Backhouse Mathematics of Program Construction

    5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67727-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosses / Schwartzbach / Nielsen | TAPSOFT '95: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Mosses / Schwartzbach / Nielsen TAPSOFT '95: Theory and Practice of Software Development

    6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prieto / Mira | Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence | Buch | Sack Fachmedien

    Prieto / Mira Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence

    6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part I
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42235-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hein / Apostolico | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Hein / Apostolico Combinatorial Pattern Matching

    8th Annual Symposium, CPM 97, Aarhus, Denmark, June/July 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63220-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fossorier / Poli / Imai | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Fossorier / Poli / Imai Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66723-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rudolph / Feitelson | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Rudolph / Feitelson Job Scheduling Strategies for Parallel Processing

    IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63574-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham | Higher Order Logic and Hardware Verification | Buch | Sack Fachmedien

    Melham Higher Order Logic and Hardware Verification

    Erscheinungsjahr 2012
    Verlag: Cambridge University Press
    ISBN: 978-0-521-41718-1
    Medium: Buch
    140,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dormann / Deutsch | Cellular Automaton Modeling of Biological Pattern Formation | Buch | Sack Fachmedien

    Dormann / Deutsch Cellular Automaton Modeling of Biological Pattern Formation

    Characterization, Examples, and Analysis
    2. Auflage 2017
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4899-7978-0
    Medium: Buch
    71,68 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martins / Ribeiro | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Martins / Ribeiro Experimental and Efficient Algorithms

    Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22067-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fossorier / Poli / Hoeholdt | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Fossorier / Poli / Hoeholdt Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40111-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolff / Basin | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Wolff / Basin Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs | Synchronous Programming of Reactive Systems | Buch | Sack Fachmedien

    Halbwachs Synchronous Programming of Reactive Systems

    1993
    Verlag: Springer US
    ISBN: 978-0-7923-9311-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Wenzel / Paulson | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Wenzel / Paulson Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43376-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Wooldridge | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Peled / Wooldridge Model Checking and Artificial Intelligence

    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schildt / Kastner | Informatik | Buch | Sack Fachmedien

    Schildt / Kastner Informatik

    Aufgaben und Lösungen
    3., überarbeitete Auflage 2005
    Verlag: Springer Vienna
    ISBN: 978-3-211-21136-6
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Beklemishev / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Beklemishev / de Queiroz Logic, Language, Information, and Computation

    18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20919-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Delgrande / Faber | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Delgrande / Faber Logic Programming and Nonmonotonic Reasoning

    11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20894-2
    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