Ergebnisse filtern
Fachgebiet
Medium
  • 1850
  • 1
Erscheinungsjahr
  • 1
  • 119
  • 87
  • 90
  • 73
  • 45
  • 63
  • 71
  • 29
  • 57
  • 41
  • 48
  • 55
  • 52
  • 42
  • 19
  • 38
  • 56
  • 123
  • 142
  • 65
  • 25
  • 51
  • 23
  • 33
  • 19
  • 17
  • 48
  • 39
  • 43
  • 46
  • 43
  • 34
  • 24
  • 26
  • 16
  • 22
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 2
  • 4
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 7
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 3
  • 3
  • 8
  • 4
  • 2
  • 19
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 20
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 7
  • 6
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 8
  • 4
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 8
  • 5
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 17
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 15
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 2
  • 32
  • 5
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 5
  • 9
  • 4
  • 3
  • 5
  • 6
  • 2
  • 29
  • 5
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 18
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 28
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 12
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 9
  • 3
  • 2
  • 4
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 7
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 14
  • 7
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 14
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 14
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 4
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 8
  • 2
  • 36
  • 4
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 9
  • 12
  • 2
  • 5
  • 5
  • 2
  • 5
  • 3
  • 2
  • 4
  • 6
  • 9
  • 12
  • 2
  • 10
  • 2
  • 6
  • 6
  • 9
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 4
  • 3
  • 2
  • 2
  • 28
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 10
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 9
  • 5
Verlag
  • 4
  • 385
  • 751
  • 8
  • 253
  • 322
  • 91
  • 15
  • 1
  • 3
  • 1
  • 13
  • 1
  • 3
Preis
  • 1
  • 30
  • 980
  • 840
Sprachen
  • 1851
Verfügbarkeit
  • 1848
  • 3
Katalog
  • 1851
  • 143
1.851  Treffer  für „Lecture Notes in Computer Science“
    Gibbons / Rao / Abdelzaher | Distributed Computing in Sensor Systems | Buch | Sack Fachmedien

    Gibbons / Rao / Abdelzaher Distributed Computing in Sensor Systems

    Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35227-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yager / Bouchon | Uncertainty in Knowledge-Based Systems | Buch | Sack Fachmedien

    Yager / Bouchon Uncertainty in Knowledge-Based Systems

    International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, June 30 - July 4, 1986. Selected and Extended Contributions
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18579-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borzemski / Ali / Grzech | New Frontiers in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Borzemski / Ali / Grzech New Frontiers in Applied Artificial Intelligence

    21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69045-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | Artificial Intelligence in Structural Engineering | Buch | Sack Fachmedien

    Smith Artificial Intelligence in Structural Engineering

    Information Technology for Design, Collaboration, Maintenance, and Monitoring
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64806-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / He / Zhang | Advances in Neural Networks - ISNN 2009 | Buch | Sack Fachmedien

    Yu / He / Zhang Advances in Neural Networks - ISNN 2009

    6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
    2009
    Verlag: Springer
    ISBN: 978-3-642-01512-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guo / Zeng / Hou | Advances in Neural Networks- ISNN 2013 | Buch | Sack Fachmedien

    Guo / Zeng / Hou Advances in Neural Networks- ISNN 2013

    10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I
    2013
    Verlag: Springer
    ISBN: 978-3-642-39064-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gmitro / Barrett | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Gmitro / Barrett Information Processing in Medical Imaging

    13th International Conference, IPMI'93, Flagstaff, Arizona, USA, June 14-18, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56800-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ambler / Kar / Calo | Services Management in Intelligent Networks | Buch | Sack Fachmedien

    Ambler / Kar / Calo Services Management in Intelligent Networks

    11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000 Austin, TX, USA, December 4-6, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41427-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mehrotra / Mohan / Oh | Modern Approaches in Applied Intelligence | Buch | Sack Fachmedien

    Mehrotra / Mohan / Oh Modern Approaches in Applied Intelligence

    24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II
    2011
    Verlag: Springer
    ISBN: 978-3-642-21826-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sombattheera / Quan / Nguyen | Multi-disciplinary Trends in Artificial Intelligence | Buch | Sack Fachmedien

    Sombattheera / Quan / Nguyen Multi-disciplinary Trends in Artificial Intelligence

    6th International Workshop, MIWAI 2012, Ho Chin Minh City, Vietnam, December 26-28, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-35454-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Coupé / Rueckert | Patch-Based Techniques in Medical Imaging | Buch | Sack Fachmedien

    Wu / Coupé / Rueckert Patch-Based Techniques in Medical Imaging

    First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28193-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shorten / Murray-Smith | Switching and Learning in Feedback Systems | Buch | Sack Fachmedien

    Shorten / Murray-Smith Switching and Learning in Feedback Systems

    European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24457-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Hujun | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

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

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-34439-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pirotte / Gottlob / Delobel | Advances in Database Technology - EDBT '92 | Buch | Sack Fachmedien

    Pirotte / Gottlob / Delobel Advances in Database Technology - EDBT '92

    3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55270-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akman | Unobstructed Shortest Paths in Polyhedral Environments | Buch | Sack Fachmedien

    Akman Unobstructed Shortest Paths in Polyhedral Environments

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17629-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchon-Meunier / Zadeh / Yager | Advances in Intelligent Computing - IPMU '94 | Buch | Sack Fachmedien

    Bouchon-Meunier / Zadeh / Yager Advances in Intelligent Computing - IPMU '94

    5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60116-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Torroni / Toni | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Torroni / Toni Computational Logic in Multi-Agent Systems

    6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-33996-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bancilhon / Tsichritzis / Thanos | Advances in Database Technology - EDBT '90 | Buch | Sack Fachmedien

    Bancilhon / Tsichritzis / Thanos Advances in Database Technology - EDBT '90

    International Conference on Extending Database Technology. Venice, Italy, March 26-30, 1990, Proceedings.
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52291-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fürnkranz / Spiliopoulou / Scheffer | Knowledge Discovery in Databases: PKDD 2006 | Buch | Sack Fachmedien

    Fürnkranz / Spiliopoulou / Scheffer Knowledge Discovery in Databases: PKDD 2006

    10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-45374-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Wang / Shi | Advances in Swarm Intelligence, Part II | Buch | Sack Fachmedien

    Tan / Wang / Shi Advances in Swarm Intelligence, Part II

    Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part II
    2011
    Verlag: Springer
    ISBN: 978-3-642-21523-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahaman / Chattopadhyay | Progress in VLSI Design and Test | Buch | Sack Fachmedien

    Rahaman / Chattopadhyay Progress in VLSI Design and Test

    16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31493-3
    Medium: Buch
    53,49 € (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
    Orgun / Thornton | AI 2007: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Orgun / Thornton AI 2007: Advances in Artificial Intelligence

    20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-76926-2
    Medium: Buch
    106,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
    Liu / Fei / Sun | Advances in Neural Networks - ISNN 2007 | Buch | Sack Fachmedien

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

    4th International Symposium on Neural Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part III
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72394-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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