Ergebnisse filtern
Fachgebiet
Medium
  • 5410
  • 64
  • 9
Erscheinungsjahr
  • 1
  • 9
  • 225
  • 43
  • 49
  • 41
  • 52
  • 48
  • 53
  • 37
  • 87
  • 78
  • 185
  • 131
  • 159
  • 123
  • 632
  • 139
  • 246
  • 358
  • 317
  • 304
  • 229
  • 238
  • 239
  • 238
  • 177
  • 148
  • 141
  • 126
  • 118
  • 83
  • 78
  • 70
  • 61
  • 65
  • 53
  • 30
  • 19
  • 25
  • 7
  • 6
  • 3
  • 1
  • 2
Autoren
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 29
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 9
  • 4
  • 4
  • 4
  • 3
  • 6
  • 8
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 9
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 11
  • 5
  • 8
  • 9
  • 3
  • 3
  • 8
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 4
  • 10
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 15
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 3
  • 7
  • 9
  • 5
  • 3
  • 5
  • 14
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 8
  • 4
  • 5
  • 4
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 4
  • 5
  • 6
  • 5
  • 3
  • 3
  • 7
  • 8
  • 5
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 8
  • 3
  • 4
  • 23
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 12
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 18
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 6
  • 4
  • 4
  • 18
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 3
  • 5
  • 34
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 12
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 10
  • 5
  • 4
  • 5
  • 4
  • 17
  • 4
  • 5
  • 14
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 11
  • 3
  • 4
  • 3
  • 5
  • 7
  • 6
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 7
  • 38
  • 3
  • 4
  • 6
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 4
  • 3
  • 13
  • 5
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 4
  • 10
  • 9
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 8
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 19
  • 5
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 6
  • 4
  • 6
  • 6
  • 3
  • 6
  • 4
  • 5
  • 5
  • 4
  • 6
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 3
  • 3
  • 27
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 5
  • 3
  • 7
  • 3
  • 3
  • 6
  • 6
  • 11
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 54
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 3
  • 4
  • 8
  • 4
  • 5
  • 5
  • 4
  • 3
  • 14
  • 4
  • 11
  • 5
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 7
  • 3
  • 5
  • 7
  • 5
  • 4
  • 7
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 6
  • 3
  • 8
  • 10
  • 3
  • 10
  • 4
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 13
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 5
  • 3
  • 10
  • 7
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 13
  • 3
  • 4
  • 3
  • 3
  • 3
  • 11
  • 4
  • 5
  • 4
  • 5
  • 3
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 8
  • 3
  • 3
  • 6
  • 6
  • 9
  • 3
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 4
  • 7
  • 3
  • 21
  • 4
  • 4
  • 11
  • 8
  • 5
  • 6
  • 9
  • 3
  • 5
  • 3
  • 11
  • 4
  • 6
  • 3
  • 7
  • 4
  • 6
  • 7
  • 13
  • 3
  • 3
  • 8
  • 53
  • 8
  • 5
  • 8
  • 3
  • 6
  • 4
  • 7
  • 6
  • 53
  • 5
  • 9
  • 11
  • 6
  • 53
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 53
  • 10
  • 3
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 10
  • 4
  • 8
  • 4
  • 3
  • 3
  • 7
  • 4
  • 5
  • 3
  • 6
  • 5
  • 5
  • 3
  • 4
  • 4
  • 3
  • 9
  • 4
  • 25
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 9
  • 4
  • 53
  • 4
  • 5
  • 9
  • 16
  • 32
  • 3
  • 3
  • 3
  • 5
  • 19
  • 4
  • 3
  • 6
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 3
  • 4
  • 15
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 3
  • 7
  • 6
  • 4
  • 12
  • 3
  • 7
  • 5
  • 3
  • 4
  • 4
  • 13
  • 6
  • 9
  • 4
  • 5
  • 4
Verlag
  • 1
  • 3
  • 3
  • 2
  • 1
  • 3
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 11
  • 3
  • 2
  • 2
  • 18
  • 57
  • 1
  • 1
  • 12
  • 1
  • 20
  • 16
  • 2
  • 4
  • 1
  • 2
  • 2
  • 1
  • 4
  • 4
  • 33
  • 1
  • 1
  • 1
  • 1
  • 6
  • 15
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 4
  • 67
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1549
  • 1889
  • 2
  • 369
  • 4
  • 1
  • 69
  • 137
  • 475
  • 135
  • 417
  • 16
  • 23
  • 10
  • 9
  • 5
  • 5
  • 1
  • 1
  • 8
  • 15
  • 3
  • 3
Preis
  • 24
  • 150
  • 2242
  • 3067
Sprachen
  • 5395
  • 91
  • 2
  • 1
Verfügbarkeit
  • 5458
  • 25
Eigenschaften
  • 2
Katalog
  • 5483
  • 786
5.483  Titel
    Roman / Porto | Coordination Languages and Models | Buch | Sack Fachmedien

    Roman / Porto Coordination Languages and Models

    4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41020-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / d’Inverno | Understanding Agent Systems | Buch | Sack Fachmedien

    Luck / d’Inverno Understanding Agent Systems

    2. revidierte and extended Auflage 2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40700-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remy / Rusinowitch | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Remy / Rusinowitch Conditional Term Rewriting Systems

    Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56393-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lukose / Zhang | Multi-Agent Systems. Theories, Languages and Applications | Buch | Sack Fachmedien

    Lukose / Zhang Multi-Agent Systems. Theories, Languages and Applications

    4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65477-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sandoval / Graña / Prieto | Computational and Ambient Intelligence | Buch | Sack Fachmedien

    Sandoval / Graña / Prieto Computational and Ambient Intelligence

    9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73006-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barrett / Graham | Knowledge-Based Image Processing Systems | Buch | Sack Fachmedien

    Barrett / Graham Knowledge-Based Image Processing Systems

    1997
    Verlag: Springer
    ISBN: 978-3-540-76027-6
    Medium: Buch
    26,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moro / Aberer / Bergamaschi | Agents and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Moro / Aberer / Bergamaschi Agents and Peer-to-Peer Computing

    Third International Workshop, AP2PC 2004, New York, NY, USA, July 19, 2004, Revised and Invited Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29755-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stumme / Delugach | Conceptual Structures: Broadening the Base | Buch | Sack Fachmedien

    Stumme / Delugach Conceptual Structures: Broadening the Base

    9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42344-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Werner / Castelfranchi | Artificial Social Systems | Buch | Sack Fachmedien

    Werner / Castelfranchi Artificial Social Systems

    4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29 - 31, 1992. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58266-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Küng / Dayal | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI | Buch | Sack Fachmedien

    Hameurlain / Küng / Dayal Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI

    Selected Papers from DaWaK 2012
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47803-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Kohlhase Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    2006
    Verlag: Springer
    ISBN: 978-3-540-31430-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloan / Kivinen | Computational Learning Theory | Buch | Sack Fachmedien

    Sloan / Kivinen Computational Learning Theory

    15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43836-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Zhao / McLeod | Advances in Web Based Learning - ICWL 2008 | Buch | Sack Fachmedien

    Li / Zhao / McLeod Advances in Web Based Learning - ICWL 2008

    7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85032-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schweizer / Seiffert | Bioinformatics Using Computational Intelligence Paradigms | Buch | Sack Fachmedien

    Schweizer / Seiffert Bioinformatics Using Computational Intelligence Paradigms

    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-3-642-06173-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sanfeliu / Andrade Cetto | Environment Learning for Indoor Mobile Robots | Buch | Sack Fachmedien

    Sanfeliu / Andrade Cetto Environment Learning for Indoor Mobile Robots

    A Stochastic State Estimation Approach to Simultaneous Localization and Map Building
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-06931-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berendt / Mladenic / de Gemmis | Knowledge Discovery Enhanced with Semantic and Social Information | Buch | Sack Fachmedien

    Berendt / Mladenic / de Gemmis Knowledge Discovery Enhanced with Semantic and Social Information

    2009
    Verlag: Springer
    ISBN: 978-3-642-01890-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nachtegael / Philips / van der Weken | Soft Computing in Image Processing | Buch | Sack Fachmedien

    Nachtegael / Philips / van der Weken Soft Computing in Image Processing

    Recent Advances
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-3-642-07242-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Florczyk / Radig | Pattern Recognition | Buch | Sack Fachmedien

    Florczyk / Radig Pattern Recognition

    23rd DAGM Symposium, Munich, Germany, September 12-14, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42596-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cerri / Gouarderes / Paraguacu | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Cerri / Gouarderes / Paraguacu Intelligent Tutoring Systems

    6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002. Proceedings
    2002
    Verlag: Springer
    ISBN: 978-3-540-43750-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouma / van den Bosch | Interactive Multi-modal Question-Answering | Buch | Sack Fachmedien

    Bouma / van den Bosch Interactive Multi-modal Question-Answering

    2011
    Verlag: Springer
    ISBN: 978-3-642-26822-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pobil / Mira / Moonis | Tasks and Methods in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Pobil / Mira / Moonis Tasks and Methods in Applied Artificial Intelligence

    1998
    Verlag: Springer
    ISBN: 978-3-540-64574-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    King | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    King Logic-Based Program Synthesis and Transformation

    17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78768-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camilleri / Srivas | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Camilleri / Srivas Formal Methods in Computer-Aided Design

    First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61937-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Term Rewriting and Applications | Buch | Sack Fachmedien

    Pfenning Term Rewriting and Applications

    17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-36834-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Sofronie-Stokkermans | Automated Deduction -- CADE-23 | Buch | Sack Fachmedien

    Bjørner / Sofronie-Stokkermans Automated Deduction -- CADE-23

    23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-22437-9
    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