Ergebnisse filtern
Fachgebiet
Medium
  • 5595
  • 185
  • 63
  • 30
  • 1
Erscheinungsjahr
  • 5
  • 40
  • 227
  • 182
  • 179
  • 164
  • 163
  • 164
  • 180
  • 105
  • 255
  • 159
  • 227
  • 207
  • 173
  • 160
  • 607
  • 103
  • 236
  • 372
  • 314
  • 140
  • 77
  • 141
  • 94
  • 101
  • 83
  • 73
  • 146
  • 125
  • 116
  • 83
  • 75
  • 69
  • 62
  • 70
  • 54
  • 38
  • 21
  • 29
  • 8
  • 8
  • 3
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 25
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 7
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 3
  • 6
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 9
  • 5
  • 2
  • 15
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 9
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 6
  • 8
  • 3
  • 7
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 11
  • 4
  • 3
  • 3
  • 20
  • 15
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 6
  • 7
  • 5
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 17
  • 4
  • 3
  • 26
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 17
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 13
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 13
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 9
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 4
  • 3
  • 8
  • 8
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 12
  • 3
  • 3
  • 9
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 10
  • 4
  • 4
  • 7
  • 3
  • 33
  • 4
  • 5
  • 7
  • 3
  • 3
  • 4
  • 11
  • 7
  • 9
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 5
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 17
  • 4
  • 3
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 8
  • 9
  • 3
  • 3
  • 8
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 3
  • 6
  • 6
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 10
  • 4
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 6
  • 5
  • 3
  • 5
  • 34
  • 4
  • 4
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 5
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 8
  • 3
  • 11
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 13
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 6
  • 5
  • 4
  • 16
  • 3
  • 6
  • 5
  • 3
  • 4
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 21
  • 3
  • 7
  • 3
  • 3
  • 5
  • 7
  • 3
  • 4
  • 10
  • 25
  • 9
  • 4
  • 3
  • 4
  • 5
  • 4
  • 11
  • 9
  • 3
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 5
  • 8
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 11
  • 5
  • 5
  • 11
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 3
  • 4
  • 3
  • 5
  • 5
  • 5
  • 5
  • 4
  • 4
  • 5
  • 5
  • 25
  • 4
  • 4
  • 6
  • 4
  • 9
  • 3
  • 5
  • 6
  • 3
  • 5
  • 4
  • 3
  • 4
  • 9
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 8
  • 7
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 6
  • 10
  • 5
  • 7
  • 4
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 8
  • 6
  • 7
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 4
  • 14
  • 3
  • 3
  • 5
  • 3
  • 9
  • 5
  • 3
  • 5
  • 4
Verlag
  • 5
  • 2
  • 1
  • 6
  • 1
  • 4
  • 1
  • 23
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 19
  • 14
  • 1
  • 14
  • 1
  • 2
  • 100
  • 77
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 2
  • 49
  • 37
  • 12
  • 5
  • 1
  • 1
  • 1
  • 11
  • 2
  • 9
  • 5
  • 2
  • 3
  • 1
  • 1
  • 15
  • 7
  • 19
  • 2
  • 6
  • 3
  • 3
  • 4
  • 1
  • 1
  • 2
  • 2
  • 11
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 14
  • 1
  • 2
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 13
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 30
  • 2
  • 1487
  • 1164
  • 3
  • 753
  • 27
  • 1
  • 160
  • 61
  • 526
  • 128
  • 385
  • 28
  • 25
  • 1
  • 1
  • 2
  • 2
  • 36
  • 11
  • 72
  • 74
  • 1
  • 1
  • 1
  • 177
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 11
  • 1
  • 1
  • 4
  • 1
  • 50
  • 1
  • 1
  • 1
  • 2
  • 2
  • 20
  • 2
Preis
  • 46
  • 212
  • 1483
  • 4133
Sprachen
  • 5668
  • 218
  • 2
  • 1
Verfügbarkeit
  • 5770
  • 104
Eigenschaften
  • 3
  • 1
Katalog
  • 5874
  • 531
5.874  Titel
    Fermüller / Zamov / Leitsch | Resolution Methods for the Decision Problem | Buch | Sack Fachmedien

    Fermüller / Zamov / Leitsch Resolution Methods for the Decision Problem

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56732-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oinas-Kukkonen / Hasle / Øhrstrøm | Persuasive Technology | Buch | Sack Fachmedien

    Oinas-Kukkonen / Hasle / Øhrstrøm Persuasive Technology

    Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68500-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Isermann | Fault-Diagnosis Applications | Buch | Sack Fachmedien

    Isermann Fault-Diagnosis Applications

    Model-Based Condition Monitoring: Actuators, Drives, Machinery, Plants, Sensors, and Fault-tolerant Systems
    2011
    Verlag: Springer
    ISBN: 978-3-642-43476-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melham / Hurd | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Melham / Hurd Theorem Proving in Higher Order Logics

    18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28372-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aberer / Choi / Noy | The Semantic Web | Buch | Sack Fachmedien

    Aberer / Choi / Noy The Semantic Web

    6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-76297-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pezzulo / Butz / Sigaud | Anticipatory Behavior in Adaptive Learning Systems | Buch | Sack Fachmedien

    Pezzulo / Butz / Sigaud Anticipatory Behavior in Adaptive Learning Systems

    From Psychological Theories to Artificial Cognitive Systems
    2009
    Verlag: Springer
    ISBN: 978-3-642-02564-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin | Multi-Objective Machine Learning | Buch | Sack Fachmedien

    Jin Multi-Objective Machine Learning

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06796-9
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishizuka / Prendinger | Life-Like Characters | Buch | Sack Fachmedien

    Ishizuka / Prendinger Life-Like Characters

    Tools, Affective Functions, and Applications
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00867-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seising | The Fuzzification of Systems | Buch | Sack Fachmedien

    Seising The Fuzzification of Systems

    The Genesis of Fuzzy Set Theory and its Initial Applications - Developments up to the 1970s
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-09090-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fang / Huang | Intelligent Multimedia Data Hiding | Buch | Sack Fachmedien

    Fang / Huang Intelligent Multimedia Data Hiding

    New Directions
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71168-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dyckhoff | Extensions of Logic Programming | Buch | Sack Fachmedien

    Dyckhoff Extensions of Logic Programming

    4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58025-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sipper / Perez-Uribe / Mange | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Sipper / Perez-Uribe / Mange Evolvable Systems: From Biology to Hardware

    Second International Conference, ICES 98 Lausanne, Switzerland, September 23¿25, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64954-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blackburn / Giunchiglia / Ghidini | Modeling and Using Context | Buch | Sack Fachmedien

    Blackburn / Giunchiglia / Ghidini Modeling and Using Context

    4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40380-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pott / Bruckmann | Cable-Driven Parallel Robots | Buch | Sack Fachmedien

    Pott / Bruckmann Cable-Driven Parallel Robots

    2013
    Verlag: Springer
    ISBN: 978-3-642-31987-7
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Dybkjær / Minker | Perception and Interactive Technologies | Buch | Sack Fachmedien

    André / Dybkjær / Minker Perception and Interactive Technologies

    International Tutorial and Research Workshop, Kloster Irsee, PIT 2006, Germany, June 19-21, 2006
    2006
    Verlag: Springer
    ISBN: 978-3-540-34743-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Washio / Sakurai / Nakajima | New Frontiers in Artificial Intelligence | Buch | Sack Fachmedien

    Washio / Sakurai / Nakajima New Frontiers in Artificial Intelligence

    Joint JSAI 2005 Workshop Post-Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-35470-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castillo / Kacprzyk / Melin | Recent Advances on Hybrid Intelligent Systems | Buch | Sack Fachmedien

    Castillo / Kacprzyk / Melin Recent Advances on Hybrid Intelligent Systems

    2013
    Verlag: Springer
    ISBN: 978-3-642-33020-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersen / Gravdahl / Nijmeijer | Group Coordination and Cooperative Control | Buch | Sack Fachmedien

    Pettersen / Gravdahl / Nijmeijer Group Coordination and Cooperative Control

    2006
    Verlag: Springer
    ISBN: 978-3-540-33468-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Milford | Robot Navigation from Nature | Buch | Sack Fachmedien

    Milford Robot Navigation from Nature

    Simultaneous Localisation, Mapping, and Path Planning Based on Hippocampal Models
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-09626-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sojka / Pala / Kopecek | Text, Speech and Dialogue | Buch | Sack Fachmedien

    Sojka / Pala / Kopecek Text, Speech and Dialogue

    9th International Conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-39090-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wahl / Schütz | Robotic Systems for Handling and Assembly | Buch | Sack Fachmedien

    Wahl / Schütz Robotic Systems for Handling and Assembly

    2011
    Verlag: Springer
    ISBN: 978-3-642-42377-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ait Mohamed / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Ait Mohamed / Tahar / Munoz Theorem Proving in Higher Order Logics

    21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71065-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asama / Kurokawa / Ota | Distributed Autonomous Robotic Systems 8 | Buch | Sack Fachmedien

    Asama / Kurokawa / Ota Distributed Autonomous Robotic Systems 8

    2009
    Verlag: Springer
    ISBN: 978-3-642-00643-2
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hippe / Mroczek / Kulikowski | Human ¿ Computer Systems Interaction: Backgrounds and Applications 2 | Buch | Sack Fachmedien

    Hippe / Mroczek / Kulikowski Human ¿ Computer Systems Interaction: Backgrounds and Applications 2

    Part 1
    2012
    Verlag: Springer
    ISBN: 978-3-642-23186-5
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hao / Lutton / Snyers | Artificial Evolution | Buch | Sack Fachmedien

    Hao / Lutton / Snyers Artificial Evolution

    Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64169-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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