Ergebnisse filtern
Fachgebiet
Medium
  • 5868
Erscheinungsjahr
  • 253
  • 436
  • 293
  • 176
  • 190
  • 213
  • 197
  • 180
  • 218
  • 200
  • 186
  • 186
  • 144
  • 26
  • 51
  • 162
  • 161
  • 187
  • 121
  • 174
  • 254
  • 221
  • 192
  • 189
  • 131
  • 123
  • 108
  • 117
  • 101
  • 94
  • 92
  • 72
  • 59
  • 68
  • 45
  • 46
  • 30
  • 31
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 10
  • 5
  • 12
  • 9
  • 11
  • 10
  • 3
Autoren
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 14
  • 20
  • 4
  • 27
  • 3
  • 7
  • 3
  • 6
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 39
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 6
  • 5
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 12
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 7
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 14
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 10
  • 3
  • 3
  • 9
  • 4
  • 8
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 39
  • 13
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 8
  • 5
  • 3
  • 10
  • 4
  • 3
  • 8
  • 5
  • 6
  • 5
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 8
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 5
  • 11
  • 3
  • 4
  • 4
  • 20
  • 3
  • 4
  • 11
  • 8
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 39
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 6
  • 8
  • 3
  • 4
  • 6
  • 5
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 8
  • 14
  • 11
  • 3
  • 4
  • 8
  • 4
  • 8
  • 4
  • 7
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 31
  • 32
  • 8
  • 9
  • 3
  • 4
  • 8
  • 9
  • 3
  • 3
  • 24
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 17
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 43
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 6
  • 3
  • 9
  • 6
  • 3
  • 9
  • 3
  • 4
  • 5
  • 10
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 12
  • 5
  • 6
  • 5
  • 4
  • 5
  • 3
  • 4
  • 9
  • 3
  • 5
  • 3
  • 7
  • 4
  • 6
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 13
  • 15
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 18
  • 3
  • 20
  • 6
  • 3
  • 49
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 8
  • 9
  • 7
  • 14
  • 4
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 5
  • 4
  • 19
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 6
  • 13
  • 5
  • 4
  • 6
  • 10
  • 39
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 11
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 14
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 23
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 12
  • 3
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 4
  • 12
  • 5
  • 3
  • 6
  • 3
  • 3
  • 16
  • 6
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 6
  • 7
  • 14
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 14
  • 3
  • 4
  • 3
  • 3
  • 13
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 4
  • 3
  • 12
  • 5
  • 7
  • 3
  • 6
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 8
  • 3
  • 5
  • 3
  • 9
  • 8
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 5
  • 6
  • 3
  • 10
  • 4
  • 4
  • 3
  • 5
  • 6
  • 9
  • 3
  • 5
  • 5
  • 3
  • 6
  • 4
  • 15
  • 6
  • 3
  • 4
  • 9
  • 4
  • 5
  • 3
  • 24
  • 4
  • 14
  • 36
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 3
  • 6
  • 13
  • 7
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 9
  • 6
  • 4
  • 3
  • 4
  • 6
  • 11
  • 4
  • 10
  • 21
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 5
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 34
  • 9
  • 4
  • 3
  • 5
  • 5
  • 9
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 11
  • 3
  • 5
  • 4
  • 3
  • 3
  • 10
  • 6
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 27
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 14
  • 9
  • 3
  • 5
  • 5
  • 6
  • 41
  • 7
  • 4
  • 6
  • 3
  • 9
  • 34
  • 5
  • 7
  • 5
  • 6
  • 5
  • 11
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 3
  • 10
  • 5
  • 11
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 5
  • 6
  • 4
  • 18
  • 11
  • 5
  • 5
  • 6
  • 4
  • 11
  • 12
  • 8
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 3
  • 4
  • 6
  • 7
  • 20
  • 9
  • 3
  • 5
  • 12
  • 6
  • 6
  • 5
  • 3
  • 7
  • 5
  • 7
  • 6
  • 3
  • 7
  • 8
  • 3
  • 3
  • 5
  • 18
  • 5
  • 4
  • 3
  • 4
  • 40
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 3
  • 6
  • 3
  • 9
  • 11
  • 14
  • 3
  • 4
  • 4
  • 4
  • 5
  • 10
  • 3
  • 8
  • 5
  • 10
  • 4
  • 13
  • 7
  • 8
  • 4
  • 7
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 13
  • 5
  • 6
  • 4
  • 9
  • 4
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 3
  • 5
  • 8
  • 3
  • 11
  • 10
  • 10
  • 33
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 14
  • 10
  • 12
  • 6
  • 9
  • 13
  • 43
  • 7
  • 16
  • 9
  • 13
  • 3
  • 3
  • 4
  • 22
  • 9
  • 9
  • 4
  • 10
  • 13
  • 5
  • 7
  • 7
  • 6
  • 5
  • 10
  • 6
  • 3
  • 8
  • 4
  • 3
  • 19
  • 3
  • 13
  • 6
  • 5
  • 18
  • 6
  • 3
  • 4
  • 5
  • 14
  • 5
  • 4
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 18
  • 6
  • 9
  • 4
  • 6
  • 5
  • 4
  • 7
  • 4
  • 4
  • 16
  • 5
  • 4
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 5
  • 10
  • 8
  • 5
  • 4
  • 18
  • 16
  • 4
  • 16
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 6
  • 20
  • 4
  • 7
  • 8
  • 5
  • 10
Verlag
  • 684
  • 2675
  • 1688
  • 1
  • 77
  • 661
  • 82
Preis
  • 26
  • 196
  • 4517
  • 1129
Sprachen
  • 5863
  • 15
  • 13
Verfügbarkeit
  • 5846
  • 22
Katalog
  • 5868
  • 296
5.868  Treffer  für „Lecture Notes in Computer Science“
    Martins / Madeira | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Martins / Madeira Recent Trends in Algebraic Development Techniques

    26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28¿30, 2022, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-43344-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siau / Fui-Hoon Nah | HCI in Business, Government and Organizations | Buch | Sack Fachmedien

    Siau / Fui-Hoon Nah HCI in Business, Government and Organizations

    9th International Conference, HCIBGO 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 ¿ July 1, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-05543-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gu / Yang / Hell | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Gu / Yang / Hell Algorithmic Aspects in Information and Management

    10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07955-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Neuenschwander | Probabilistic and Statistical Methods in Cryptology | Buch | Sack Fachmedien

    Neuenschwander Probabilistic and Statistical Methods in Cryptology

    An Introduction by Selected Topics
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22001-5
    Medium: Buch
    53,45 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Park / Pham | PRICAI 2014: Trends in Artificial Intelligence | Buch | Sack Fachmedien

    Park / Pham PRICAI 2014: Trends in Artificial Intelligence

    13th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13559-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hölldobler / Rudolph / Krötzsch | KI 2015: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Hölldobler / Rudolph / Krötzsch KI 2015: Advances in Artificial Intelligence

    38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24488-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lones / Fogel / Tyrrell | Information Processing in Cells and Tissues | Buch | Sack Fachmedien

    Lones / Fogel / Tyrrell Information Processing in Cells and Tissues

    10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23107-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meier / Luperfoy / Mast | Dialogue Processing in Spoken Language Systems | Buch | Sack Fachmedien

    Meier / Luperfoy / Mast Dialogue Processing in Spoken Language Systems

    ECAI'96, Workshop, Budapest, Hungary, August 13, 1996, Revised Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akman | Unobstructed Shortest Paths in Polyhedral Environments | Buch | Sack Fachmedien

    Akman Unobstructed Shortest Paths in Polyhedral Environments

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17629-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pirotte / Gottlob / Delobel | Advances in Database Technology - EDBT '92 | Buch | Sack Fachmedien

    Pirotte / Gottlob / Delobel Advances in Database Technology - EDBT '92

    3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55270-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brefeld / Curry / Daly | Machine Learning and Knowledge Discovery in Databases | Buch | Sack Fachmedien

    Brefeld / Curry / Daly Machine Learning and Knowledge Discovery in Databases

    European Conference, ECML PKDD 2018, Dublin, Ireland, September 10¿14, 2018, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-10996-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hernández Heredia / Ruiz Shulcloper / Milián Núñez | Progress in Artificial Intelligence and Pattern Recognition | Buch | Sack Fachmedien

    Hernández Heredia / Ruiz Shulcloper / Milián Núñez Progress in Artificial Intelligence and Pattern Recognition

    7th International Workshop on Artificial Intelligence and Pattern Recognition, IWAIPR 2021, Havana, Cuba, October 5¿7, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-89690-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang / Chiang / Lie | Advances in Image and Video Technology | Buch | Sack Fachmedien

    Chang / Chiang / Lie Advances in Image and Video Technology

    First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68297-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burgard / Cremers / Christaller | KI-99: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Burgard / Cremers / Christaller KI-99: Advances in Artificial Intelligence

    23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66495-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petcu / Abdennadher | Advances in Grid and Pervasive Computing | Buch | Sack Fachmedien

    Petcu / Abdennadher Advances in Grid and Pervasive Computing

    4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-01670-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furbach | KI 2005: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Furbach KI 2005: Advances in Artificial Intelligence

    28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28761-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Svoboda / Zhao / Burgos | Simulation and Synthesis in Medical Imaging | Buch | Sack Fachmedien

    Svoboda / Zhao / Burgos Simulation and Synthesis in Medical Imaging

    6th International Workshop, SASHIMI 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87591-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bilardi / Rolim / Ferreira | Solving Irregularly Structured Problems in Parallel | Buch | Sack Fachmedien

    Bilardi / Rolim / Ferreira Solving Irregularly Structured Problems in Parallel

    4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63138-5
    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 Berlin Heidelberg
    ISBN: 978-3-540-61044-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Ni | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Wu / Ni Algorithmic Aspects in Information and Management

    16th International Conference, AAIM 2022, Guangzhou, China, August 13¿14, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16080-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mana / Trentin / Schwenker | Artificial Neural Networks in Pattern Recognition | Buch | Sack Fachmedien

    Mana / Trentin / Schwenker Artificial Neural Networks in Pattern Recognition

    5th INNS IAPR TC 3 GIRPR Workshop, ANNPR 2012, Trento, Italy, September 17-19, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-33211-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tucker / Swift / Höppner | Advances in Intelligent Data Analysis XII | Buch | Sack Fachmedien

    Tucker / Swift / Höppner Advances in Intelligent Data Analysis XII

    12th International Symposium, IDA 2013, London, UK, October 17-19, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41397-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Booth | PRICAI 2016: Trends in Artificial Intelligence | Buch | Sack Fachmedien

    Zhang / Booth PRICAI 2016: Trends in Artificial Intelligence

    14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42910-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jackson / Boulton | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Jackson / Boulton Theorem Proving in Higher Order Logics

    14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42525-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carreno / Tahar / Munoz | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Carreno / Tahar / Munoz Theorem Proving in Higher Order Logics

    15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44039-0
    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