Ergebnisse filtern
Fachgebiet
Medium
  • 3529
  • 5
Erscheinungsjahr
  • 7
  • 339
  • 221
  • 273
  • 153
  • 135
  • 110
  • 89
  • 113
  • 114
  • 73
  • 112
  • 84
  • 106
  • 107
  • 101
  • 83
  • 50
  • 72
  • 60
  • 148
  • 150
  • 76
  • 39
  • 71
  • 56
  • 66
  • 32
  • 44
  • 63
  • 55
  • 54
  • 47
  • 48
  • 40
  • 28
  • 31
  • 20
  • 27
  • 11
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 19
  • 3
  • 5
  • 2
  • 3
  • 4
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 17
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 24
  • 3
  • 2
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 7
  • 5
  • 2
  • 15
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 28
  • 2
  • 2
  • 2
  • 10
  • 11
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 10
  • 3
  • 10
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 8
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 7
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 24
  • 4
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 3
  • 6
  • 4
  • 3
  • 2
  • 2
  • 11
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 36
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 18
  • 3
  • 4
  • 2
  • 3
  • 2
  • 24
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 23
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 40
  • 4
  • 4
  • 4
  • 2
  • 6
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 78
  • 4
  • 5
  • 12
  • 7
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 3
  • 5
  • 3
  • 4
  • 12
  • 3
  • 3
  • 13
  • 3
  • 18
  • 5
  • 4
  • 12
  • 3
  • 9
  • 3
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 8
  • 6
  • 3
  • 3
  • 3
  • 4
  • 16
  • 3
  • 3
  • 4
  • 3
  • 8
  • 8
  • 4
  • 5
  • 3
  • 3
  • 37
  • 4
  • 5
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 7
  • 6
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 9
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 5
  • 8
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 16
  • 7
  • 9
  • 4
  • 3
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 8
  • 5
  • 3
  • 4
  • 3
  • 78
  • 19
  • 3
  • 3
  • 12
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 6
  • 12
  • 79
  • 3
  • 3
  • 3
  • 9
  • 13
  • 4
  • 31
  • 5
  • 3
  • 7
  • 3
  • 18
  • 3
  • 5
  • 3
  • 5
  • 10
  • 4
  • 3
  • 3
  • 3
  • 3
  • 31
  • 3
  • 3
  • 3
  • 7
  • 4
  • 23
  • 18
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 12
  • 3
  • 13
  • 7
  • 5
  • 6
  • 3
  • 6
  • 78
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 5
  • 3
  • 9
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 10
  • 9
  • 17
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 30
  • 3
  • 3
  • 3
  • 12
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 3
  • 5
  • 13
  • 4
  • 3
  • 6
  • 4
  • 4
  • 3
  • 6
  • 12
  • 3
  • 4
  • 5
  • 19
  • 3
  • 6
  • 3
  • 4
  • 15
  • 6
  • 7
  • 16
  • 10
  • 3
  • 4
  • 8
  • 3
  • 4
  • 6
  • 8
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 13
  • 5
  • 3
  • 4
  • 4
  • 3
  • 7
  • 4
  • 7
  • 24
  • 5
  • 5
  • 3
  • 8
  • 8
  • 4
  • 4
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 4
  • 3
  • 3
  • 19
  • 3
  • 4
  • 6
  • 5
  • 77
  • 5
  • 6
  • 5
  • 6
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 78
  • 6
  • 17
  • 3
  • 3
  • 7
  • 3
  • 76
  • 11
  • 8
  • 4
  • 76
  • 9
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 8
  • 10
  • 4
  • 5
  • 3
  • 3
  • 3
  • 16
  • 3
  • 4
  • 76
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 78
  • 3
  • 15
  • 3
  • 4
  • 8
  • 10
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 21
  • 3
  • 3
  • 4
  • 5
  • 5
  • 5
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 28
  • 6
  • 3
  • 4
  • 5
  • 4
  • 3
  • 5
  • 17
  • 3
  • 4
  • 4
  • 3
  • 7
  • 11
  • 4
  • 10
  • 13
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 18
  • 6
  • 5
  • 5
  • 78
  • 24
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 76
  • 15
  • 6
  • 6
  • 4
  • 6
  • 36
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 19
  • 11
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 19
  • 9
  • 19
  • 9
  • 19
  • 4
  • 18
  • 14
  • 6
  • 3
  • 4
  • 4
  • 3
  • 18
  • 29
  • 9
  • 4
  • 9
  • 20
  • 4
  • 3
  • 9
  • 7
  • 4
Verlag
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 11
  • 2
  • 3415
  • 2
  • 1
  • 12
  • 39
  • 10
  • 1
  • 5
  • 6
  • 1
  • 16
  • 4
  • 1
  • 2
Preis
  • 6
  • 84
  • 1714
  • 1730
Sprachen
  • 3534
  • 1
Verfügbarkeit
  • 3383
  • 151
Eigenschaften
  • 2
Katalog
  • 3534
  • 214
3.534  Treffer  für „Lecture Notes in Computer Science“
    Christensen / Sonka | Information Processing in Medical Imaging | Buch | Sack Fachmedien

    Christensen / Sonka Information Processing in Medical Imaging

    19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26545-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smyth / Cunningham | Advances in Case-Based Reasoning | Buch | Sack Fachmedien

    Smyth / Cunningham Advances in Case-Based Reasoning

    4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64990-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wespi / Vigna / Deri | Recent Advances in Intrusion Detection | Buch | Sack Fachmedien

    Wespi / Vigna / Deri Recent Advances in Intrusion Detection

    5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00020-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sombattheera / Nguyen / Wankar | Multi-disciplinary Trends in Artificial Intelligence | Buch | Sack Fachmedien

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

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

    Wu / Munsell / Zhan Patch-Based Techniques in Medical Imaging

    Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67433-9
    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
    Kim / Joukov | Information Science and Applications (ICISA) 2016 | Buch | Sack Fachmedien

    Kim / Joukov Information Science and Applications (ICISA) 2016

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-981-10-0556-5
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dassow / Kelemen | Machines, Languages, and Complexity | Buch | Sack Fachmedien

    Dassow / Kelemen Machines, Languages, and Complexity

    5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51516-6
    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
    Wu / Coupé / Zhan | Patch-Based Techniques in Medical Imaging | Buch | Sack Fachmedien

    Wu / Coupé / Zhan 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
    ISBN: 978-3-319-28193-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yi / Zurada | Advances in Neural Networks - ISNN 2006 | Buch | Sack Fachmedien

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

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34439-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furukawa / Tanaka / Fujisaki | Logic Programming '87 | Buch | Sack Fachmedien

    Furukawa / Tanaka / Fujisaki Logic Programming '87

    Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19426-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Tong / Lu | Advances in Knowledge Discovery and Data Mining | Buch | Sack Fachmedien

    Wong / Tong / Lu Advances in Knowledge Discovery and Data Mining

    30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026, Hong Kong, China, June 9-12, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9214-64-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wong / Tong / Lu | Advances in Knowledge Discovery and Data Mining | Buch | Sack Fachmedien

    Wong / Tong / Lu Advances in Knowledge Discovery and Data Mining

    30th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2026, Hong Kong, China, June 9-12, 2026, Proceedings, Part IV
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9214-67-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faure / Tryus / Vartiainen | Information Technology for Education, Science, and Technics | Buch | Sack Fachmedien

    Faure / Tryus / Vartiainen Information Technology for Education, Science, and Technics

    Proceedings of ITEST 2024, Volume 1
    2024
    Verlag: Springer
    ISBN: 978-3-031-71800-7
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrosino | Progress in Image Analysis and Processing, ICIAP 2013 | Buch | Sack Fachmedien

    Petrosino Progress in Image Analysis and Processing, ICIAP 2013

    Naples, Italy, September 9-13, 2013, Proceedings, Part I
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41180-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Langs / Rish / Grosse-Wentrup | Machine Learning and Interpretation in Neuroimaging | Buch | Sack Fachmedien

    Langs / Rish / Grosse-Wentrup Machine Learning and Interpretation in Neuroimaging

    International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34712-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgos / Svoboda / Wolterink | Simulation and Synthesis in Medical Imaging | Buch | Sack Fachmedien

    Burgos / Svoboda / Wolterink Simulation and Synthesis in Medical Imaging

    5th International Workshop, SASHIMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59519-7
    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
    Tan / Shi / Chai | Advances in Swarm Intelligence, Part I | Buch | Sack Fachmedien

    Tan / Shi / Chai Advances in Swarm Intelligence, Part I

    Second International Conference, ICSI 2011, Chongqing, China, June 12-15, 2011, Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21514-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sagot / Walter | Advances in Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Sagot / Walter Advances in Bioinformatics and Computational Biology

    Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73730-8
    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
    Dony / Knudsen / Romanovsky | Advanced Topics in Exception Handling Techniques | Buch | Sack Fachmedien

    Dony / Knudsen / Romanovsky Advanced Topics in Exception Handling Techniques

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37443-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hussain / Jiang / Ren | Advances in Brain Inspired Cognitive Systems | Buch | Sack Fachmedien

    Hussain / Jiang / Ren Advances in Brain Inspired Cognitive Systems

    14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-962881-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Brandt | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Schneider / Brandt Theorem Proving in Higher Order Logics

    20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74590-7
    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