Fachgebiet
Medium
  • 4217
Erscheinungsjahr
  • 80
  • 234
  • 191
  • 133
  • 47
  • 23
  • 41
  • 50
  • 63
  • 48
  • 82
  • 74
  • 69
  • 87
  • 72
  • 70
  • 147
  • 128
  • 142
  • 201
  • 187
  • 142
  • 208
  • 218
  • 181
  • 183
  • 120
  • 118
  • 99
  • 100
  • 96
  • 82
  • 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
  • 2
  • 6
  • 2
  • 4
  • 8
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 7
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 10
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 10
  • 5
  • 2
  • 7
  • 2
  • 2
  • 4
  • 3
  • 14
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 36
  • 29
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 4
  • 4
  • 4
  • 7
  • 3
  • 6
  • 22
  • 4
  • 3
  • 8
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 14
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 9
  • 3
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 9
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 6
  • 3
  • 6
  • 11
  • 5
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 12
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 4
  • 6
  • 7
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 12
  • 3
  • 8
  • 3
  • 5
  • 4
  • 12
  • 25
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 9
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 17
  • 5
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 6
  • 4
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 22
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 9
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 7
  • 5
  • 3
  • 6
  • 3
  • 4
  • 8
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 7
  • 6
  • 8
  • 9
  • 3
  • 4
  • 4
  • 30
  • 5
  • 10
  • 4
  • 3
  • 14
  • 4
  • 9
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 5
  • 4
  • 3
  • 6
  • 5
  • 12
  • 19
  • 6
  • 4
  • 9
  • 5
  • 4
  • 3
  • 3
  • 35
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 10
  • 17
  • 5
  • 10
  • 3
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 7
  • 6
  • 4
  • 14
  • 4
  • 5
  • 4
  • 4
  • 22
  • 6
  • 3
  • 13
  • 5
  • 12
  • 4
  • 6
  • 3
  • 11
  • 4
  • 5
  • 4
  • 4
  • 6
  • 18
  • 5
  • 11
  • 4
  • 4
  • 3
Verlag
  • 4194
  • 1
  • 3
  • 19
Preis
  • 13
  • 144
  • 3270
  • 790
Sprachen
  • 4217
  • 5
Verfügbarkeit
  • 4214
  • 3
Eigenschaften
  • 4
Katalog
  • 4217
  • 240
4.217  Treffer  für „Lecture Notes in Computer Science“


    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gollmann Fast Software Encryption

    Third International Workshop, Cambridge, UK, February 21 - 23, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60865-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Even / Rawitz Design and Analysis of Algorithms

    First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34861-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rios / Posegga Security and Trust Management

    19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47197-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wyrzykowski / Dongarra / Meyer Parallel Processing and Applied Mathematics

    6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34141-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yang / Jiang Medical Imaging and Augmented Reality

    Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22877-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Iglesias / Takayama Mathematical Software - ICMS 2006

    Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38084-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Spirakis Algorithms - ESA '95

    Third Annual European Symposium, Corfu, Greece, September, 25 - 27, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60313-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Umeda / Wolf / Bartenstein Declarative Programming for Knowledge Management

    16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-69233-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Carter / Ferrante Languages and Compilers for Parallel Computing

    12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67858-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Orejas / Spirakis / Leeuwen Automata, Languages and Programming

    28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42287-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Westort Digital Earth Moving

    First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42586-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Blaser Data Base Techniques for Pictorial Application

    Florence, June 20-22, 1979
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-09763-1
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brinksma Tools and Algorithms for the Construction and Analysis of Systems

    Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62790-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe

    Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51284-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Held On the Computational Geometry of Pocket Machining

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54103-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Etiemble / Syre PARLE '92. Parallel Architectures and Languages Europe

    4th International PARLE Conference, Paris, France, June 15-18, 1992 Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Zhang / Tung / Zheng Web and Big Data

    8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 - September 1, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-981-97-7231-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dybjer / Nordström / Smith Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Proietti Logic Program Synthesis and Transformation

    5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60939-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Guerra / Istrail Mathematical Methods for Protein Structure Analysis and Design

    Advanced Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40104-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bowen / Gomes / Liu Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-964655-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29131-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Swierstra / Henriques / Oliveira Advanced Functional Programming

    Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66241-9
    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