Fachgebiet
Medium
  • 10492
Erscheinungsjahr
  • 137
  • 806
  • 831
  • 620
  • 487
  • 275
  • 292
  • 296
  • 292
  • 309
  • 303
  • 316
  • 281
  • 308
  • 309
  • 271
  • 284
  • 269
  • 231
  • 259
  • 283
  • 215
  • 363
  • 308
  • 260
  • 251
  • 179
  • 177
  • 116
  • 133
  • 135
  • 116
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 9
  • 5
  • 4
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 11
  • 8
  • 5
  • 6
  • 16
  • 4
  • 4
  • 21
  • 4
  • 8
  • 4
  • 6
  • 4
  • 7
  • 5
  • 9
  • 9
  • 6
  • 4
  • 10
  • 5
  • 14
  • 5
  • 25
  • 36
  • 7
  • 40
  • 7
  • 6
  • 4
  • 6
  • 7
  • 15
  • 16
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 4
  • 5
  • 5
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 9
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 6
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 19
  • 7
  • 6
  • 4
  • 7
  • 5
  • 15
  • 4
  • 9
  • 5
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 5
  • 7
  • 6
  • 16
  • 4
  • 9
  • 5
  • 5
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 6
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 18
  • 4
  • 11
  • 16
  • 6
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 16
  • 7
  • 9
  • 12
  • 5
  • 10
  • 6
  • 5
  • 4
  • 14
  • 4
  • 7
  • 24
  • 4
  • 12
  • 4
  • 10
  • 4
  • 4
  • 11
  • 7
  • 5
  • 4
  • 10
  • 4
  • 9
  • 34
  • 12
  • 41
  • 10
  • 8
  • 19
  • 14
  • 4
  • 5
  • 7
  • 4
  • 5
  • 20
  • 6
  • 38
  • 4
  • 9
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 12
  • 14
  • 8
  • 7
  • 39
  • 4
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 10
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 5
  • 7
  • 4
  • 6
  • 7
  • 4
  • 4
  • 15
  • 4
  • 21
  • 8
  • 5
  • 10
  • 4
  • 6
  • 4
  • 6
  • 13
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 4
  • 43
  • 38
  • 8
  • 23
  • 5
  • 4
  • 4
  • 17
  • 8
  • 23
  • 14
  • 4
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 8
  • 4
  • 15
  • 55
  • 30
  • 4
  • 4
  • 24
  • 9
  • 18
  • 22
  • 90
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 14
  • 4
  • 7
  • 7
  • 5
  • 7
  • 14
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 43
  • 4
  • 7
  • 4
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 10
  • 6
  • 7
  • 5
  • 8
  • 5
  • 9
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 65
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 6
  • 5
  • 10
  • 19
  • 11
  • 10
  • 13
  • 5
  • 8
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 10
  • 11
  • 7
  • 8
  • 7
  • 7
  • 29
  • 9
  • 6
  • 5
  • 8
  • 6
  • 27
  • 6
  • 16
  • 34
  • 6
  • 6
  • 8
  • 9
  • 15
  • 30
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 18
  • 20
  • 32
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 13
  • 31
  • 36
  • 6
  • 9
  • 6
  • 8
  • 6
  • 17
  • 6
  • 5
  • 12
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 6
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 6
  • 10
  • 14
  • 18
  • 20
  • 5
  • 21
  • 8
  • 5
  • 62
  • 6
  • 19
  • 8
  • 12
  • 21
  • 5
  • 9
  • 5
  • 8
  • 6
  • 5
  • 5
  • 6
  • 5
  • 14
  • 6
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 16
  • 14
  • 8
  • 18
  • 11
  • 10
  • 8
  • 9
  • 25
  • 6
  • 31
  • 28
  • 6
  • 6
  • 11
  • 7
  • 17
  • 7
  • 6
  • 7
  • 5
  • 5
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 5
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 5
  • 9
  • 7
  • 5
  • 8
  • 83
  • 10
  • 5
  • 7
  • 6
  • 13
  • 6
  • 5
  • 9
  • 11
  • 36
  • 15
  • 5
  • 16
  • 6
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 9
  • 6
  • 6
  • 9
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 17
  • 7
  • 7
  • 18
  • 12
  • 13
  • 12
  • 13
  • 15
  • 8
  • 18
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 19
  • 12
  • 13
  • 11
  • 7
  • 8
  • 7
  • 7
  • 15
  • 5
  • 15
  • 13
  • 8
  • 24
  • 6
  • 7
  • 6
  • 11
  • 6
  • 5
  • 11
  • 15
  • 10
  • 5
  • 9
  • 6
  • 14
  • 6
  • 5
  • 6
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 7
  • 19
  • 8
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 23
  • 14
  • 12
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 15
  • 22
  • 7
  • 11
  • 6
  • 11
  • 17
  • 11
  • 11
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 6
  • 5
  • 7
  • 13
  • 7
  • 24
  • 5
  • 5
  • 6
  • 6
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 13
  • 7
  • 7
  • 11
  • 5
  • 38
  • 7
  • 33
  • 12
  • 6
  • 8
  • 5
  • 5
  • 10
  • 8
  • 22
  • 6
  • 6
  • 8
  • 8
  • 14
  • 15
  • 25
  • 9
  • 25
  • 7
  • 14
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 22
  • 14
  • 6
  • 6
  • 9
  • 55
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 6
  • 15
  • 11
  • 7
  • 12
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 13
  • 7
  • 8
  • 35
  • 5
  • 11
  • 10
  • 7
  • 12
  • 5
  • 13
  • 15
  • 10
  • 21
  • 6
  • 5
  • 17
  • 21
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 7
  • 8
  • 5
  • 25
  • 6
  • 14
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 12
  • 9
  • 9
  • 18
  • 5
  • 10
  • 5
  • 11
  • 5
  • 6
  • 24
  • 11
  • 14
  • 5
  • 5
  • 22
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 7
  • 6
  • 6
  • 47
  • 13
  • 6
  • 5
  • 5
  • 21
  • 7
  • 42
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 10
  • 5
  • 18
  • 19
  • 19
  • 9
  • 6
  • 11
  • 12
  • 10
  • 6
  • 6
  • 23
Verlag
  • 1
  • 10436
  • 3
  • 4
  • 1
  • 2
  • 3
  • 1
  • 41
Preis
  • 42
  • 379
  • 8041
  • 2030
Sprachen
  • 10487
  • 17
  • 13
Verfügbarkeit
  • 10478
  • 14
Eigenschaften
  • 2
Katalog
  • 10492
  • 554
10.492  Treffer  für „Lecture Notes in Computer Science“


    Altenkirch / Naraschewski / Reus Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66537-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lutsyk / Oberhauser / Paul A Pipelined Multi-Core Machine with Operating System Support

    Hardware Implementation and Correctness Proof
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43242-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Perales / Draper Articulated Motion and Deformable Objects

    Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22958-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Groz / Hierons Testing of Communicating Systems

    16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21219-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pieprzyk / Okamoto / Seberry Information Security

    Third International Workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000. Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41416-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Christianson / Crispo / Lomas Security Protocols

    5th International Workshop, Paris, France, April 7-9, 1997, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64040-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chen / Li Theory and Applications of Models of Computation

    18th Annual Conference, TAMC 2024, Hong Kong, China, May 13-15, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-981-97-2339-3
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chávez / Kimia / Lokoc Similarity Search and Applications

    17th International Conference, SISAP 2024, Providence, RI, USA, November 4-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-75822-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schmidt Automated Deduction - CADE-22

    22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Erdem / Vidal Practical Aspects of Declarative Languages

    27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84923-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjorner / Oest Towards a Formal Description of Ada

    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10283-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Chow / Camenisch / Hui Information Security

    17th International Conference, ISC 2014, Hong Kong, China, October 12-14, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13256-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bapi / Kulkarni / Mohalik Distributed Computing and Intelligent Technology

    18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-94875-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Graf / Larsen Models, Mindsets, Meta: The What, the How, and the Why Not?

    Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-22347-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Yu / Liu / Ju Intelligent Robotics and Applications

    12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-27534-1
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Romay / Savio Hybrid Artificial Intelligent Systems, Part II

    5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13802-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bandini / Manzoni / Umeo Cellular Automata

    9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15978-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gellersen Handheld and Ubiquitous Computing

    First International Symposium, HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66550-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jacquet Conclog: A Methodological Approach to Concurrent Logic Programming

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54938-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kowalczyk / Vo / Maamar Service-Oriented Computing: Agents, Semantics, and Engineering

    AAMAS 2009 International Workshop, SOCASE 2009, Budapest, Hungary, May 11, 2009, Revised Selected Papers
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10738-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ali Babar / Gorton Software Architecture

    4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15113-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sachse Computational Cardiology

    Modeling of Anatomy, Electrophysiology, and Mechanics
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21907-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Handl / Hart / Lewis Parallel Problem Solving from Nature - PPSN XIV

    14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-45822-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boztas / Shparlinski Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    14th International Symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42911-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jouannaud / Shao Certified Programs and Proofs

    First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25378-2
    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