Ergebnisse filtern
Fachgebiet
Medium
  • 10660
Erscheinungsjahr
  • 313
  • 804
  • 847
  • 616
  • 483
  • 283
  • 305
  • 302
  • 310
  • 266
  • 317
  • 298
  • 300
  • 318
  • 301
  • 264
  • 278
  • 248
  • 216
  • 257
  • 272
  • 233
  • 361
  • 301
  • 257
  • 253
  • 178
  • 176
  • 135
  • 137
  • 134
  • 116
  • 105
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 6
  • 6
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 4
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 18
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 32
  • 35
  • 4
  • 39
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 16
  • 10
  • 10
  • 5
  • 5
  • 5
  • 6
  • 6
  • 9
  • 6
  • 4
  • 7
  • 9
  • 8
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 20
  • 6
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 10
  • 4
  • 5
  • 9
  • 5
  • 6
  • 39
  • 4
  • 4
  • 4
  • 4
  • 10
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 8
  • 4
  • 4
  • 5
  • 7
  • 4
  • 5
  • 11
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 17
  • 9
  • 16
  • 5
  • 7
  • 4
  • 7
  • 4
  • 4
  • 6
  • 10
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 6
  • 15
  • 5
  • 8
  • 10
  • 4
  • 5
  • 14
  • 4
  • 4
  • 6
  • 14
  • 4
  • 4
  • 8
  • 24
  • 4
  • 4
  • 14
  • 6
  • 4
  • 4
  • 8
  • 4
  • 8
  • 6
  • 4
  • 6
  • 5
  • 4
  • 4
  • 5
  • 33
  • 4
  • 12
  • 40
  • 13
  • 8
  • 14
  • 15
  • 11
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 4
  • 12
  • 4
  • 6
  • 14
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 7
  • 4
  • 4
  • 4
  • 8
  • 6
  • 10
  • 13
  • 8
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 6
  • 5
  • 6
  • 8
  • 15
  • 23
  • 7
  • 7
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 10
  • 11
  • 4
  • 24
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 5
  • 4
  • 5
  • 45
  • 40
  • 11
  • 23
  • 8
  • 13
  • 6
  • 32
  • 13
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 25
  • 4
  • 12
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 7
  • 9
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 4
  • 13
  • 8
  • 4
  • 4
  • 7
  • 4
  • 17
  • 53
  • 35
  • 9
  • 4
  • 20
  • 7
  • 17
  • 22
  • 91
  • 8
  • 11
  • 6
  • 4
  • 4
  • 8
  • 5
  • 16
  • 4
  • 11
  • 6
  • 6
  • 18
  • 12
  • 4
  • 9
  • 5
  • 5
  • 4
  • 13
  • 4
  • 10
  • 5
  • 4
  • 6
  • 7
  • 12
  • 5
  • 5
  • 43
  • 6
  • 8
  • 10
  • 5
  • 5
  • 10
  • 13
  • 6
  • 8
  • 8
  • 19
  • 39
  • 8
  • 17
  • 5
  • 8
  • 5
  • 16
  • 15
  • 8
  • 8
  • 69
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 7
  • 5
  • 6
  • 10
  • 17
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 8
  • 5
  • 12
  • 6
  • 5
  • 6
  • 10
  • 7
  • 10
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 29
  • 13
  • 8
  • 25
  • 8
  • 13
  • 33
  • 6
  • 6
  • 9
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 7
  • 15
  • 6
  • 6
  • 16
  • 14
  • 31
  • 20
  • 8
  • 10
  • 6
  • 5
  • 7
  • 15
  • 23
  • 5
  • 5
  • 13
  • 26
  • 41
  • 8
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 18
  • 7
  • 12
  • 7
  • 8
  • 8
  • 13
  • 5
  • 7
  • 7
  • 5
  • 12
  • 13
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 57
  • 5
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 6
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 17
  • 11
  • 10
  • 16
  • 5
  • 11
  • 10
  • 27
  • 7
  • 36
  • 29
  • 7
  • 6
  • 6
  • 8
  • 6
  • 18
  • 7
  • 5
  • 7
  • 13
  • 7
  • 5
  • 6
  • 10
  • 19
  • 8
  • 6
  • 6
  • 8
  • 5
  • 5
  • 8
  • 11
  • 6
  • 5
  • 32
  • 5
  • 13
  • 8
  • 8
  • 5
  • 5
  • 5
  • 20
  • 5
  • 5
  • 9
  • 6
  • 6
  • 6
  • 10
  • 8
  • 83
  • 7
  • 6
  • 5
  • 5
  • 9
  • 11
  • 5
  • 5
  • 5
  • 12
  • 8
  • 37
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 6
  • 9
  • 5
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 6
  • 7
  • 12
  • 5
  • 6
  • 7
  • 5
  • 6
  • 7
  • 7
  • 5
  • 6
  • 10
  • 42
  • 6
  • 21
  • 6
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 17
  • 15
  • 6
  • 16
  • 5
  • 5
  • 9
  • 25
  • 14
  • 9
  • 11
  • 6
  • 20
  • 5
  • 10
  • 6
  • 15
  • 12
  • 6
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 10
  • 12
  • 7
  • 6
  • 5
  • 12
  • 6
  • 7
  • 8
  • 30
  • 6
  • 12
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 19
  • 15
  • 8
  • 21
  • 12
  • 8
  • 11
  • 9
  • 10
  • 20
  • 93
  • 6
  • 52
  • 11
  • 11
  • 6
  • 6
  • 89
  • 16
  • 5
  • 14
  • 12
  • 10
  • 5
  • 9
  • 22
  • 13
  • 7
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 16
  • 8
  • 8
  • 12
  • 11
  • 16
  • 5
  • 10
  • 9
  • 5
  • 10
  • 5
  • 9
  • 7
  • 22
  • 16
  • 6
  • 5
  • 5
  • 13
  • 7
  • 24
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 9
  • 9
  • 6
  • 15
  • 16
  • 22
  • 26
  • 5
  • 6
  • 20
  • 10
  • 5
  • 10
  • 10
  • 5
  • 16
  • 10
  • 5
  • 12
  • 8
  • 39
  • 9
  • 47
  • 16
  • 6
  • 11
  • 11
  • 10
  • 9
  • 22
  • 5
  • 9
  • 17
  • 7
  • 14
  • 15
  • 19
  • 6
  • 5
  • 10
  • 23
  • 7
  • 24
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 19
  • 15
  • 7
  • 10
  • 55
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 11
  • 9
  • 5
  • 89
  • 10
  • 14
  • 5
  • 16
  • 6
  • 5
  • 5
  • 13
  • 9
  • 6
  • 31
  • 5
  • 11
  • 6
  • 5
  • 8
  • 13
  • 19
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 5
  • 13
  • 23
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 23
  • 8
  • 14
  • 10
  • 5
  • 6
  • 6
  • 5
  • 6
  • 16
  • 10
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 6
  • 12
  • 6
  • 8
  • 7
  • 26
  • 14
  • 14
  • 7
  • 5
  • 18
  • 11
  • 5
  • 9
  • 5
  • 6
  • 12
  • 18
  • 8
  • 6
  • 6
  • 41
  • 5
  • 7
  • 5
  • 23
  • 5
  • 44
  • 16
  • 63
  • 5
  • 17
  • 5
  • 12
  • 8
  • 6
  • 32
  • 7
  • 22
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 12
  • 9
  • 5
  • 5
  • 19
Verlag
  • 3
  • 10602
  • 3
  • 6
  • 1
  • 7
  • 4
  • 1
  • 33
Preis
  • 42
  • 381
  • 8135
  • 2102
Sprachen
  • 10655
  • 16
  • 13
Verfügbarkeit
  • 10649
  • 11
Eigenschaften
  • 15
Katalog
  • 10660
  • 563
10.660  Treffer  für „Lecture Notes in Computer Science“
    Hernández Aguirre / Monroy Borja / Reyes García | MICAI 2009: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Hernández Aguirre / Monroy Borja / Reyes García MICAI 2009: Advances in Artificial Intelligence

    8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05257-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Okamoto | Topics in Cryptology -- CT-RSA 2004 | Buch | Sack Fachmedien

    Okamoto Topics in Cryptology -- CT-RSA 2004

    The Cryptographers' Track at the RSA Conference 2004, San Francisco, CA, USA, February 23-27, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20996-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Popescu / Lau / Pata | Advances in Web-Based Learning -- ICWL 2014 | Buch | Sack Fachmedien

    Popescu / Lau / Pata Advances in Web-Based Learning -- ICWL 2014

    13th International Conference, Tallinn, Estonia, August 14-17, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09634-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parisi-Presicce | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Parisi-Presicce Recent Trends in Algebraic Development Techniques

    12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64299-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Buarque | Advances in Swarm and Computational Intelligence | Buch | Sack Fachmedien

    Tan / Shi / Buarque Advances in Swarm and Computational Intelligence

    6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III
    2015
    Verlag: Springer
    ISBN: 978-3-319-20468-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarke / Bubenko / Jeffery | Advances in Database Technology - EDBT '94 | Buch | Sack Fachmedien

    Jarke / Bubenko / Jeffery Advances in Database Technology - EDBT '94

    4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57818-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patra | Topics in Cryptology - CT-RSA 2025 | Buch | Sack Fachmedien

    Patra Topics in Cryptology - CT-RSA 2025

    Cryptographers' Track at the RSA Conference 2025, San Francisco, CA, USA, April 28-May 1, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-88660-7
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slind / Bunker / Gopalakrishnan | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Slind / Bunker / Gopalakrishnan Theorem Proving in Higher Order Logics

    17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23017-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mertsching / Hund / Aziz | KI 2009: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Mertsching / Hund / Aziz KI 2009: Advances in Artificial Intelligence

    32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04616-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Appice / Ceci / Loglisci | New Frontiers in Mining Complex Patterns | Buch | Sack Fachmedien

    Appice / Ceci / Loglisci New Frontiers in Mining Complex Patterns

    Third International Workshop, NFMCP 2014, Held in Conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-17875-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Guesgen / Yeap | PRICAI 2004: Trends in Artificial Intelligence | Buch | Sack Fachmedien

    Zhang / Guesgen / Yeap PRICAI 2004: Trends in Artificial Intelligence

    8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22817-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bai / Sanroma / Wu | Patch-Based Techniques in Medical Imaging | Buch | Sack Fachmedien

    Bai / Sanroma / Wu Patch-Based Techniques in Medical Imaging

    4th International Workshop, Patch-MI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00499-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codescu / Diaconescu | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / Diaconescu Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kern-Isberner / Fürnkranz / Universität Koblenz | KI 2017: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Kern-Isberner / Fürnkranz / Universität Koblenz KI 2017: Advances in Artificial Intelligence

    40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67189-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Setubal / Verjovski-Almeida | Advances in Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Setubal / Verjovski-Almeida Advances in Bioinformatics and Computational Biology

    Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28008-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li | AI 2010: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Li AI 2010: Advances in Artificial Intelligence

    23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17431-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krahmer / Theune | Empirical Methods in Natural Language Generation | Buch | Sack Fachmedien

    Krahmer / Theune Empirical Methods in Natural Language Generation

    Data-oriented Methods and Empirical Evaluation
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15572-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavrac / Gamberger / Blockeel | Knowledge Discovery in Databases: PKDD 2003 | Buch | Sack Fachmedien

    Lavrac / Gamberger / Blockeel Knowledge Discovery in Databases: PKDD 2003

    7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20085-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mizoguchi / Slaney | PRICAI 2000 Topics in Artificial Intelligence | Buch | Sack Fachmedien

    Mizoguchi / Slaney PRICAI 2000 Topics in Artificial Intelligence

    6th Pacific Rim International Conference on Artificial Intelligence Melbourne, Australia, August 28 - September 1, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67925-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Yu / Bertino | Progress in WWW Research and Development | Buch | Sack Fachmedien

    Zhang / Yu / Bertino Progress in WWW Research and Development

    10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78848-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader / Brewka / Eiter | KI 2001: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Baader / Brewka / Eiter KI 2001: Advances in Artificial Intelligence

    Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42612-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Wolff | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Basin / Wolff Theorem Proving in Higher Order Logics

    16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40664-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blockeel / van Leeuwen / Vinciotti | Advances in Intelligent Data Analysis XIII | Buch | Sack Fachmedien

    Blockeel / van Leeuwen / Vinciotti Advances in Intelligent Data Analysis XIII

    13th International Symposium, IDA 2014, Leuven, Belgium, October 30 -- November 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12570-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aagaard / Harrison | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Aagaard / Harrison Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemaitre / Reyes / Gonzalez | Advances in Artificial Intelligence -- IBERAMIA 2004 | Buch | Sack Fachmedien

    Lemaitre / Reyes / Gonzalez Advances in Artificial Intelligence -- IBERAMIA 2004

    9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23806-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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