Ergebnisse filtern
Fachgebiet
Medium
  • 2077
Erscheinungsjahr
  • 6
  • 151
  • 133
  • 110
  • 39
  • 22
  • 27
  • 33
  • 37
  • 31
  • 41
  • 45
  • 39
  • 49
  • 44
  • 37
  • 68
  • 67
  • 73
  • 75
  • 60
  • 69
  • 121
  • 103
  • 95
  • 78
  • 58
  • 50
  • 36
  • 28
  • 34
  • 34
  • 27
  • 31
  • 18
  • 32
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 9
  • 5
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 9
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 12
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 16
  • 23
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 5
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 4
  • 3
  • 4
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 7
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 6
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 7
  • 2
  • 12
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 7
  • 9
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 10
  • 20
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 7
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 3
  • 5
  • 3
  • 2
  • 5
  • 3
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 18
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 8
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 9
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 13
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 24
  • 2
  • 2
  • 3
  • 5
  • 9
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 29
  • 3
  • 2
  • 4
  • 3
  • 7
  • 4
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 5
  • 6
  • 14
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 4
  • 10
  • 2
  • 7
  • 3
  • 5
  • 3
  • 7
  • 7
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 15
  • 3
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
Verlag
  • 2071
  • 1
  • 5
Preis
  • 4
  • 93
  • 1659
  • 321
Sprachen
  • 2077
Verfügbarkeit
  • 2077
Katalog
  • 2077
  • 124
2.077  Treffer  für „Lecture Notes in Computer Science“
    Draheim / Weber | Trends in Enterprise Application Architecture | Buch | Sack Fachmedien

    Draheim / Weber Trends in Enterprise Application Architecture

    2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75911-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huhn / Williams | Software Engineering in Health Care | Buch | Sack Fachmedien

    Huhn / Williams Software Engineering in Health Care

    4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63193-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dumke / Abran | New Approaches in Software Measurement | Buch | Sack Fachmedien

    Dumke / Abran New Approaches in Software Measurement

    10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41727-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szmuc / Szpyrka / Zendulka | Advances in Software Engineering Techniques | Buch | Sack Fachmedien

    Szmuc / Szpyrka / Zendulka Advances in Software Engineering Techniques

    4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28037-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capozucca / Ebersold / Bruel | Frontiers in Software Engineering Education | Buch | Sack Fachmedien

    Capozucca / Ebersold / Bruel Frontiers in Software Engineering Education

    Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
    2023
    Verlag: Springer
    ISBN: 978-3-031-48638-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg | Advances in Petri Nets 1984 | Buch | Sack Fachmedien

    Rozenberg Advances in Petri Nets 1984

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15204-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henninger / Maurer | Advances in Learning Software Organizations | Buch | Sack Fachmedien

    Henninger / Maurer Advances in Learning Software Organizations

    4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-20591-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dabrowski / Dabrowski / Pieprzyk | Number-Theoretic Methods in Cryptology | Buch | Sack Fachmedien

    Dabrowski / Dabrowski / Pieprzyk Number-Theoretic Methods in Cryptology

    4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82379-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hendtlass / Ali | Developments in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Hendtlass / Ali Developments in Applied Artificial Intelligence

    15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43781-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akl / Fiala / Koczkodaj | Advances in Computing and Information - ICCI '90 | Buch | Sack Fachmedien

    Akl / Fiala / Koczkodaj Advances in Computing and Information - ICCI '90

    International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53504-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borzemski / Grzech / Ali | New Frontiers in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Borzemski / Grzech / Ali 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
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69045-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Choppy | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Bidoit / Choppy Recent Trends in Data Type Specification

    8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulton / Jackson | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Boulton / Jackson Theorem Proving in Higher Order Logics

    14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42525-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiadeiro | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Fiadeiro Recent Trends in Algebraic Development Techniques

    13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66246-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Gao | Advances in Multimodal Interfaces - ICMI 2000 | Buch | Sack Fachmedien

    Tan / Shi / Gao Advances in Multimodal Interfaces - ICMI 2000

    Third International Conference Beijing, China, October 14-16, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41180-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gunter / Felty | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Gunter / Felty Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitropakis / Katsikas | Security and Privacy in Smart Environments | Buch | Sack Fachmedien

    Pitropakis / Katsikas Security and Privacy in Smart Environments

    2024
    Verlag: Springer
    ISBN: 978-3-031-66707-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artale / Cortellessa / Montali | AIxIA 2024 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Artale / Cortellessa / Montali AIxIA 2024 - Advances in Artificial Intelligence

    XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-80606-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Liu / Westerståhl | The Connectives in Logic and Language | Buch | Sack Fachmedien

    Yan / Liu / Westerståhl The Connectives in Logic and Language

    4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86053-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreno / Munoz / Tahar | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Carreno / Munoz / Tahar Theorem Proving in Higher Order Logics

    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44039-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haddadi | Communication and Cooperation in Agent Systems | Buch | Sack Fachmedien

    Haddadi Communication and Cooperation in Agent Systems

    A Pragmatic Theory
    1995
    Verlag: Springer
    ISBN: 978-3-540-61044-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abdennadher / Petcu | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Abdennadher / Petcu Advances in Grid and Pervasive Computing

    4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01670-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okuno / Ali | New Trends in Applied Artificial Intelligence | Buch | Sack Fachmedien

    Okuno / Ali New Trends in Applied Artificial Intelligence

    20th International Conference on Industrial, Engineering, and Other Applications of Applied Intelligent Systems. IEA/AIE 2007, Kyoto, Japan, June 26-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73322-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vouros / Artikis / Stathis | Organized Adaption in Multi-Agent Systems | Buch | Sack Fachmedien

    Vouros / Artikis / Stathis Organized Adaption in Multi-Agent Systems

    First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02376-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Dowek / Hirschowitz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Bertot / Dowek / Hirschowitz Theorem Proving in Higher Order Logics

    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66463-5
    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