Ergebnisse filtern
Fachgebiet
Medium
  • 10705
Erscheinungsjahr
  • 332
  • 798
  • 840
  • 619
  • 486
  • 285
  • 308
  • 306
  • 309
  • 264
  • 316
  • 305
  • 301
  • 316
  • 288
  • 267
  • 278
  • 263
  • 212
  • 260
  • 275
  • 234
  • 359
  • 302
  • 258
  • 253
  • 180
  • 176
  • 136
  • 136
  • 134
  • 116
  • 105
  • 93
  • 73
  • 88
  • 59
  • 59
  • 45
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 6
  • 4
  • 4
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 9
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 17
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 4
  • 32
  • 36
  • 4
  • 41
  • 4
  • 5
  • 4
  • 5
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 16
  • 13
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 6
  • 5
  • 4
  • 8
  • 6
  • 7
  • 4
  • 4
  • 10
  • 4
  • 6
  • 16
  • 10
  • 9
  • 6
  • 5
  • 5
  • 6
  • 6
  • 9
  • 6
  • 5
  • 7
  • 4
  • 9
  • 10
  • 11
  • 7
  • 6
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 20
  • 6
  • 6
  • 12
  • 6
  • 9
  • 5
  • 5
  • 5
  • 11
  • 7
  • 8
  • 4
  • 25
  • 4
  • 4
  • 10
  • 4
  • 5
  • 9
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 8
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 8
  • 9
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 7
  • 4
  • 6
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 14
  • 9
  • 4
  • 16
  • 4
  • 8
  • 4
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 39
  • 16
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 6
  • 15
  • 5
  • 6
  • 11
  • 4
  • 5
  • 14
  • 4
  • 7
  • 14
  • 4
  • 5
  • 9
  • 24
  • 4
  • 4
  • 11
  • 6
  • 4
  • 8
  • 8
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 34
  • 4
  • 12
  • 41
  • 13
  • 8
  • 15
  • 15
  • 5
  • 10
  • 5
  • 20
  • 9
  • 35
  • 4
  • 9
  • 14
  • 8
  • 4
  • 4
  • 12
  • 4
  • 6
  • 11
  • 10
  • 8
  • 4
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 5
  • 12
  • 4
  • 4
  • 4
  • 6
  • 4
  • 10
  • 13
  • 5
  • 5
  • 6
  • 4
  • 4
  • 16
  • 5
  • 5
  • 12
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 9
  • 15
  • 23
  • 7
  • 7
  • 5
  • 6
  • 6
  • 4
  • 8
  • 6
  • 6
  • 11
  • 13
  • 4
  • 24
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 15
  • 10
  • 6
  • 9
  • 9
  • 4
  • 4
  • 5
  • 45
  • 40
  • 11
  • 23
  • 8
  • 4
  • 11
  • 6
  • 32
  • 13
  • 5
  • 19
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 4
  • 4
  • 25
  • 4
  • 4
  • 13
  • 43
  • 4
  • 7
  • 7
  • 4
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 8
  • 11
  • 6
  • 4
  • 4
  • 7
  • 6
  • 8
  • 8
  • 6
  • 5
  • 4
  • 5
  • 16
  • 14
  • 4
  • 6
  • 4
  • 10
  • 4
  • 4
  • 4
  • 12
  • 8
  • 4
  • 8
  • 6
  • 18
  • 58
  • 31
  • 7
  • 22
  • 5
  • 17
  • 23
  • 96
  • 5
  • 11
  • 6
  • 6
  • 8
  • 16
  • 11
  • 6
  • 6
  • 18
  • 12
  • 8
  • 5
  • 13
  • 7
  • 5
  • 6
  • 7
  • 12
  • 5
  • 5
  • 42
  • 6
  • 6
  • 10
  • 5
  • 5
  • 10
  • 13
  • 6
  • 8
  • 10
  • 21
  • 39
  • 5
  • 17
  • 8
  • 16
  • 15
  • 8
  • 5
  • 66
  • 7
  • 6
  • 6
  • 5
  • 7
  • 15
  • 7
  • 11
  • 9
  • 18
  • 7
  • 6
  • 5
  • 6
  • 6
  • 10
  • 18
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 10
  • 5
  • 13
  • 6
  • 5
  • 5
  • 6
  • 10
  • 7
  • 8
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 34
  • 13
  • 8
  • 25
  • 16
  • 35
  • 6
  • 6
  • 9
  • 15
  • 7
  • 5
  • 32
  • 6
  • 6
  • 10
  • 5
  • 6
  • 5
  • 7
  • 16
  • 6
  • 6
  • 14
  • 6
  • 16
  • 32
  • 20
  • 8
  • 10
  • 6
  • 5
  • 15
  • 5
  • 23
  • 5
  • 12
  • 27
  • 43
  • 6
  • 9
  • 5
  • 5
  • 5
  • 8
  • 5
  • 11
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 9
  • 7
  • 6
  • 15
  • 91
  • 12
  • 18
  • 7
  • 12
  • 7
  • 8
  • 9
  • 13
  • 5
  • 7
  • 7
  • 5
  • 12
  • 11
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 58
  • 5
  • 17
  • 6
  • 8
  • 11
  • 22
  • 5
  • 6
  • 9
  • 6
  • 6
  • 8
  • 10
  • 6
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 12
  • 13
  • 14
  • 15
  • 11
  • 10
  • 18
  • 5
  • 11
  • 9
  • 5
  • 27
  • 6
  • 36
  • 28
  • 7
  • 6
  • 6
  • 8
  • 6
  • 18
  • 7
  • 5
  • 7
  • 14
  • 7
  • 5
  • 6
  • 10
  • 19
  • 8
  • 6
  • 5
  • 8
  • 5
  • 5
  • 8
  • 12
  • 6
  • 5
  • 32
  • 13
  • 8
  • 10
  • 5
  • 6
  • 20
  • 7
  • 9
  • 6
  • 8
  • 5
  • 88
  • 7
  • 6
  • 7
  • 5
  • 9
  • 11
  • 5
  • 7
  • 5
  • 9
  • 10
  • 36
  • 9
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 6
  • 10
  • 5
  • 7
  • 6
  • 11
  • 5
  • 7
  • 8
  • 7
  • 10
  • 5
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 6
  • 10
  • 43
  • 6
  • 23
  • 5
  • 7
  • 6
  • 17
  • 10
  • 5
  • 9
  • 6
  • 6
  • 13
  • 14
  • 19
  • 15
  • 6
  • 14
  • 5
  • 5
  • 9
  • 27
  • 12
  • 11
  • 11
  • 6
  • 20
  • 5
  • 12
  • 6
  • 11
  • 12
  • 5
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 6
  • 10
  • 12
  • 11
  • 7
  • 6
  • 7
  • 13
  • 7
  • 5
  • 6
  • 8
  • 31
  • 6
  • 13
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 23
  • 16
  • 7
  • 17
  • 10
  • 8
  • 11
  • 9
  • 10
  • 20
  • 5
  • 92
  • 6
  • 51
  • 11
  • 10
  • 5
  • 6
  • 89
  • 18
  • 5
  • 14
  • 14
  • 5
  • 10
  • 5
  • 9
  • 20
  • 13
  • 7
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 18
  • 8
  • 8
  • 12
  • 12
  • 16
  • 5
  • 10
  • 9
  • 7
  • 11
  • 5
  • 8
  • 7
  • 22
  • 15
  • 6
  • 5
  • 5
  • 6
  • 13
  • 8
  • 25
  • 7
  • 6
  • 5
  • 6
  • 5
  • 14
  • 7
  • 9
  • 6
  • 12
  • 17
  • 22
  • 27
  • 5
  • 6
  • 20
  • 9
  • 7
  • 6
  • 11
  • 10
  • 6
  • 16
  • 9
  • 6
  • 6
  • 12
  • 8
  • 38
  • 8
  • 48
  • 13
  • 6
  • 13
  • 11
  • 11
  • 9
  • 22
  • 5
  • 8
  • 17
  • 7
  • 13
  • 15
  • 20
  • 6
  • 5
  • 11
  • 5
  • 23
  • 7
  • 25
  • 58
  • 10
  • 15
  • 17
  • 8
  • 9
  • 7
  • 19
  • 20
  • 12
  • 7
  • 5
  • 10
  • 61
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 11
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 8
  • 11
  • 10
  • 5
  • 89
  • 10
  • 16
  • 5
  • 16
  • 5
  • 15
  • 11
  • 6
  • 32
  • 5
  • 11
  • 5
  • 5
  • 6
  • 11
  • 13
  • 19
  • 7
  • 9
  • 5
  • 19
  • 6
  • 5
  • 5
  • 13
  • 23
  • 13
  • 11
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 25
  • 8
  • 16
  • 10
  • 5
  • 6
  • 7
  • 5
  • 6
  • 6
  • 5
  • 16
  • 13
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 9
  • 5
  • 12
  • 6
  • 8
  • 7
  • 26
  • 13
  • 14
  • 5
  • 22
  • 11
  • 5
  • 5
  • 9
  • 5
  • 12
  • 18
  • 6
  • 6
  • 6
  • 42
  • 7
  • 8
  • 5
  • 5
  • 25
  • 6
  • 5
  • 43
  • 13
  • 63
  • 5
  • 17
  • 5
  • 11
  • 11
  • 6
  • 32
  • 7
  • 6
  • 23
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 11
  • 9
  • 5
  • 21
Verlag
  • 3
  • 10646
  • 3
  • 6
  • 1
  • 4
  • 4
  • 1
  • 37
Preis
  • 47
  • 380
  • 8161
  • 2117
Sprachen
  • 10699
  • 17
  • 13
Verfügbarkeit
  • 10692
  • 13
Eigenschaften
  • 11
Katalog
  • 10705
  • 570
10.705  Treffer  für „Lecture Notes in Computer Science“
    Torsello / Escolano Ruiz / Brun | Graph-Based Representations in Pattern Recognition | Buch | Sack Fachmedien

    Torsello / Escolano Ruiz / Brun Graph-Based Representations in Pattern Recognition

    7th IAPR-TC-15 International Workshop, GbRPR 2009, Venice, Italy, May 26-28, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02123-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Wada / Huang / Lin | Advances in Image and Video Technology | Buch | Sack Fachmedien

    Wada / Huang / Lin Advances in Image and Video Technology

    Third Pacific Rim Symposium, PSIVT 2009, Tokyo, Japan, January 13-16, 2009, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92956-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ceci / Hollmén / Todorovski | Machine Learning and Knowledge Discovery in Databases | Buch | Sack Fachmedien

    Ceci / Hollmén / Todorovski Machine Learning and Knowledge Discovery in Databases

    European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-71248-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsaftaris / Gooya / Frangi | Simulation and Synthesis in Medical Imaging | Buch | Sack Fachmedien

    Tsaftaris / Gooya / Frangi Simulation and Synthesis in Medical Imaging

    Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68126-9
    Medium: Buch
    53,49 € (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
    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
    Corradini / Montanari | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Corradini / Montanari Recent Trends in Algebraic Development Techniques

    19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03428-2
    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
    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