Fachgebiet
Medium
  • 4214
Erscheinungsjahr
  • 70
  • 235
  • 195
  • 133
  • 47
  • 23
  • 41
  • 49
  • 63
  • 48
  • 83
  • 72
  • 64
  • 84
  • 73
  • 69
  • 162
  • 121
  • 150
  • 199
  • 185
  • 142
  • 215
  • 218
  • 180
  • 182
  • 118
  • 118
  • 97
  • 101
  • 95
  • 81
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 8
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 5
  • 9
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 7
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 38
  • 27
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 21
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 11
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
  • 9
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 6
  • 10
  • 5
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 4
  • 7
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 3
  • 5
  • 4
  • 12
  • 25
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 5
  • 5
  • 4
  • 10
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 16
  • 6
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 4
  • 7
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 18
  • 3
  • 3
  • 8
  • 5
  • 3
  • 6
  • 4
  • 5
  • 7
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 7
  • 6
  • 8
  • 9
  • 4
  • 3
  • 4
  • 32
  • 5
  • 11
  • 3
  • 3
  • 12
  • 3
  • 10
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 6
  • 6
  • 5
  • 4
  • 9
  • 20
  • 6
  • 9
  • 3
  • 3
  • 35
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 9
  • 16
  • 3
  • 10
  • 7
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 11
  • 3
  • 5
  • 4
  • 4
  • 18
  • 6
  • 4
  • 3
  • 11
  • 4
  • 7
  • 4
  • 6
  • 3
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 5
  • 4
  • 5
  • 3
  • 3
Verlag
  • 4192
  • 1
  • 1
  • 2
  • 18
Preis
  • 13
  • 147
  • 3262
  • 792
Sprachen
  • 4214
  • 5
Verfügbarkeit
  • 4211
  • 3
Eigenschaften
  • 5
Katalog
  • 4214
  • 241
4.214  Treffer  für „Lecture Notes in Computer Science“


    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

    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

    Liu / Fei / Hou Advances in Neural Networks - ISNN 2007

    4th International Symposium on Neutral Networks, ISNN 2007 Nanjing, China, June 3-7, 2007. Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72392-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sloot / Hoekstra / Priol Advances in Grid Computing - EGC 2005

    European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-26918-2
    Medium: Buch
    124,12 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb

    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

    Dovier / Montanari / Orlandini AIxIA 2022 - Advances in Artificial Intelligence

    XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27180-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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

    Third International Symposium on Neural Networks, ISNN 2006, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-34482-7
    Medium: Buch
    129,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dinneen / Khoussainov / Nies Computation, Physics and Beyond

    International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27653-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    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

    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
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bilardi / Ferreira / Lüling Solving Irregularly Structured Problems in Parallel

    4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63138-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Singh / Murshed / Kropatsch Advances in Pattern Recognition - ICAPR 2001

    Second International Conference Rio de Janeiro, Brazil, March 11-14, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41767-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Mulkers Live Data Structures in Logic Programs

    Derivation by Means of Abstract Interpretation
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56694-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hancock / Vento Graph Based Representations in Pattern Recognition

    4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40452-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chang / Lie / Chiang Advances in Image and Video Technology

    First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68297-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Tekli / Gamper / Chbeir Advances in Databases and Information Systems

    28th European Conference, ADBIS 2024, Bayonne, France, August 28–31, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-70625-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Mousavi / Talcott Rebeca for Actor Analysis in Action

    Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-85133-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aizawa / Nakamura / Satoh Advances in Multimedia Information Processing - PCM 2004

    5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30 - December 3, 2004, Proceedings, Part I
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23974-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Jøsang / Maseng / Knapskog Identity and Privacy in the Internet Age

    14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04765-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dehne / Fiala / Koczkodaj Advances in Computing and Information - ICCI '91

    International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54029-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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