Ergebnisse filtern
Fachgebiet
Medium
  • 1857
  • 1
Erscheinungsjahr
  • 1
  • 119
  • 87
  • 90
  • 73
  • 45
  • 62
  • 71
  • 29
  • 59
  • 41
  • 48
  • 55
  • 51
  • 43
  • 19
  • 36
  • 55
  • 124
  • 147
  • 65
  • 25
  • 50
  • 23
  • 33
  • 19
  • 17
  • 48
  • 40
  • 43
  • 47
  • 43
  • 34
  • 25
  • 26
  • 17
  • 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
  • 2
  • 2
  • 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
  • 2
  • 3
  • 8
  • 4
  • 2
  • 19
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 2
  • 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
  • 3
  • 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
  • 3
  • 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
  • 2
  • 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
  • 8
  • 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
  • 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
  • 5
  • 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
  • 3
  • 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
  • 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
  • 2
  • 2
  • 3
  • 3
  • 3
  • 14
  • 7
  • 5
  • 5
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 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
  • 3
  • 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
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 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
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 9
  • 12
  • 2
  • 5
  • 5
  • 2
  • 5
  • 3
  • 2
  • 4
  • 6
  • 9
  • 12
  • 2
  • 10
  • 2
  • 2
  • 6
  • 6
  • 9
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 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
  • 386
  • 756
  • 8
  • 254
  • 322
  • 91
  • 16
  • 1
  • 3
  • 1
  • 12
  • 1
  • 3
Preis
  • 1
  • 30
  • 983
  • 844
Sprachen
  • 1858
Verfügbarkeit
  • 1855
  • 3
Katalog
  • 1858
  • 144
1.858  Treffer  für „Lecture Notes in Computer Science“
    Timmis / Hart / Bentley | Artificial Immune Systems | Buch | Sack Fachmedien

    Timmis / Hart / Bentley Artificial Immune Systems

    Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40766-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xie / Xiong / Hu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Xie / Xiong / Hu Intelligent Robotics and Applications

    Second International Conference, ICIRA 2009, Singapore, December 16-18, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-10816-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marrón / Whitehouse | Wireless Sensor Networks | Buch | Sack Fachmedien

    Marrón / Whitehouse Wireless Sensor Networks

    8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-19185-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Althoefer / Zhang / Konstantinova | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Althoefer / Zhang / Konstantinova Towards Autonomous Robotic Systems

    20th Annual Conference, TAROS 2019, London, UK, July 3¿5, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25331-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Liu / Zhou | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Yu / Liu / Zhou Intelligent Robotics and Applications

    12th International Conference, ICIRA 2019, Shenyang, China, August 8¿11, 2019, Proceedings, Part VI
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-27528-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palattella / Coleri Ergen / Scanzio | Ad-Hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Palattella / Coleri Ergen / Scanzio Ad-Hoc, Mobile, and Wireless Networks

    18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1¿3, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31830-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Przymusinski / Moniz Pereira | Logic Programming and Knowledge Representation | Buch | Sack Fachmedien

    Przymusinski / Moniz Pereira Logic Programming and Knowledge Representation

    Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64958-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zavattaro / Lea | Coordination Models and Languages | Buch | Sack Fachmedien

    Zavattaro / Lea Coordination Models and Languages

    10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68264-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choren / Garcia / Lucena | Software Engineering for Multi-Agent Systems V | Buch | Sack Fachmedien

    Choren / Garcia / Lucena Software Engineering for Multi-Agent Systems V

    Research Issues and Practical Applications
    2007
    Verlag: Springer
    ISBN: 978-3-540-73130-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nivat / Wirsing | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Nivat / Wirsing Algebraic Methodology and Software Technology

    5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61463-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaub | The Automation of Reasoning with Incomplete Information | Buch | Sack Fachmedien

    Schaub The Automation of Reasoning with Incomplete Information

    From Semantic Foundations to Efficient Computation
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64515-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buneman / Beeri | Database Theory - ICDT'99 | Buch | Sack Fachmedien

    Buneman / Beeri Database Theory - ICDT'99

    7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65452-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Loog / Heutte | Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues | Buch | Sack Fachmedien

    Huang / Loog / Heutte Advanced Intelligent Computing Theories and Applications - With Aspects of Theoretical and Methodological Issues

    Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74170-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Quing / Okamoto | Information and Communications Security | Buch | Sack Fachmedien

    Han / Quing / Okamoto Information and Communications Security

    First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63696-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gecseg / Fülöp | Automata, Languages and Programming | Buch | Sack Fachmedien

    Gecseg / Fülöp Automata, Languages and Programming

    22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60084-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braspenning / Weijters / Thuijsman | Artificial Neural Networks | Buch | Sack Fachmedien

    Braspenning / Weijters / Thuijsman Artificial Neural Networks

    An Introduction to ANN Theory and Practice
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gyimothy | Compiler Construction | Buch | Sack Fachmedien

    Gyimothy Compiler Construction

    6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61053-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comon | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Comon Rewriting Techniques and Applications

    8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kolaitis / Afrati | Database Theory - ICDT '97 | Buch | Sack Fachmedien

    Kolaitis / Afrati Database Theory - ICDT '97

    6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62222-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Pottosin / Broy | Perspectives of System Informatics | Buch | Sack Fachmedien

    Bjørner / Pottosin / Broy Perspectives of System Informatics

    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62064-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Svensson / Azemard | Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation | Buch | Sack Fachmedien

    Svensson / Azemard Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation

    17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74441-2
    Medium: Buch
    53,49 € (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
    Singh / Wooldridge / Rao | Intelligent Agents IV: Agent Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Singh / Wooldridge / Rao Intelligent Agents IV: Agent Theories, Architectures, and Languages

    4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64162-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schubert / Alves-Foss / Windley | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications

    8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60275-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharma / Arikawa | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Sharma / Arikawa Algorithmic Learning Theory

    7th International Workshop, ALT '96, Sydney, Australia, October 23 - 25, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61863-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