Fachgebiet
Medium
  • 11191
  • 2620
Erscheinungsjahr
  • 4
  • 816
  • 1008
  • 1048
  • 787
  • 644
  • 410
  • 430
  • 417
  • 449
  • 392
  • 426
  • 443
  • 431
  • 450
  • 409
  • 395
  • 386
  • 258
  • 219
  • 274
  • 287
  • 234
  • 438
  • 520
  • 256
  • 255
  • 178
  • 179
  • 155
  • 139
  • 136
  • 119
  • 110
  • 95
  • 75
  • 87
  • 59
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 8
  • 9
  • 16
  • 30
  • 11
  • 9
  • 9
  • 12
  • 8
  • 21
  • 7
  • 23
  • 7
  • 8
  • 10
  • 8
  • 6
  • 6
  • 15
  • 6
  • 42
  • 44
  • 55
  • 6
  • 9
  • 16
  • 23
  • 18
  • 6
  • 48
  • 12
  • 7
  • 7
  • 9
  • 6
  • 8
  • 14
  • 19
  • 9
  • 9
  • 8
  • 23
  • 8
  • 12
  • 10
  • 11
  • 6
  • 6
  • 6
  • 12
  • 7
  • 24
  • 6
  • 10
  • 14
  • 6
  • 14
  • 9
  • 9
  • 7
  • 31
  • 8
  • 14
  • 7
  • 6
  • 48
  • 10
  • 26
  • 21
  • 7
  • 11
  • 10
  • 12
  • 8
  • 6
  • 15
  • 6
  • 9
  • 9
  • 8
  • 6
  • 23
  • 14
  • 8
  • 13
  • 11
  • 8
  • 18
  • 8
  • 9
  • 6
  • 7
  • 10
  • 48
  • 22
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 7
  • 19
  • 10
  • 7
  • 18
  • 6
  • 7
  • 18
  • 10
  • 12
  • 31
  • 7
  • 14
  • 11
  • 15
  • 8
  • 7
  • 8
  • 8
  • 6
  • 8
  • 41
  • 6
  • 16
  • 51
  • 7
  • 13
  • 10
  • 23
  • 25
  • 18
  • 6
  • 45
  • 9
  • 53
  • 13
  • 17
  • 18
  • 8
  • 7
  • 9
  • 13
  • 8
  • 11
  • 16
  • 7
  • 15
  • 8
  • 48
  • 6
  • 6
  • 6
  • 15
  • 10
  • 15
  • 6
  • 10
  • 14
  • 14
  • 7
  • 10
  • 7
  • 6
  • 8
  • 10
  • 23
  • 12
  • 8
  • 19
  • 11
  • 7
  • 10
  • 10
  • 7
  • 25
  • 32
  • 19
  • 33
  • 8
  • 7
  • 9
  • 8
  • 10
  • 7
  • 8
  • 19
  • 14
  • 31
  • 8
  • 9
  • 9
  • 13
  • 6
  • 8
  • 8
  • 9
  • 8
  • 12
  • 18
  • 10
  • 8
  • 12
  • 14
  • 8
  • 50
  • 47
  • 11
  • 31
  • 11
  • 17
  • 7
  • 44
  • 15
  • 9
  • 7
  • 10
  • 6
  • 20
  • 8
  • 6
  • 6
  • 11
  • 7
  • 8
  • 10
  • 12
  • 31
  • 20
  • 55
  • 78
  • 11
  • 7
  • 8
  • 19
  • 9
  • 10
  • 14
  • 15
  • 20
  • 6
  • 12
  • 10
  • 7
  • 9
  • 8
  • 8
  • 10
  • 8
  • 7
  • 6
  • 8
  • 28
  • 22
  • 9
  • 13
  • 6
  • 8
  • 7
  • 20
  • 10
  • 6
  • 9
  • 12
  • 7
  • 24
  • 82
  • 52
  • 8
  • 6
  • 28
  • 8
  • 22
  • 37
  • 129
  • 15
  • 10
  • 6
  • 11
  • 20
  • 12
  • 6
  • 8
  • 7
  • 6
  • 24
  • 17
  • 8
  • 15
  • 7
  • 19
  • 9
  • 7
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 14
  • 7
  • 6
  • 7
  • 58
  • 6
  • 12
  • 13
  • 7
  • 8
  • 12
  • 18
  • 9
  • 12
  • 8
  • 28
  • 48
  • 8
  • 6
  • 12
  • 21
  • 7
  • 16
  • 8
  • 7
  • 10
  • 21
  • 26
  • 20
  • 13
  • 9
  • 6
  • 6
  • 8
  • 12
  • 6
  • 104
  • 11
  • 6
  • 11
  • 7
  • 15
  • 8
  • 6
  • 8
  • 8
  • 7
  • 10
  • 20
  • 8
  • 16
  • 6
  • 12
  • 25
  • 9
  • 16
  • 13
  • 6
  • 10
  • 7
  • 6
  • 13
  • 7
  • 25
  • 18
  • 11
  • 10
  • 15
  • 7
  • 7
  • 9
  • 21
  • 6
  • 7
  • 6
  • 11
  • 6
  • 16
  • 6
  • 7
  • 8
  • 8
  • 11
  • 8
  • 12
  • 18
  • 6
  • 6
  • 21
  • 8
  • 10
  • 7
  • 16
  • 9
  • 50
  • 6
  • 13
  • 9
  • 30
  • 8
  • 7
  • 24
  • 44
  • 7
  • 11
  • 7
  • 16
  • 20
  • 6
  • 6
  • 15
  • 44
  • 6
  • 9
  • 8
  • 8
  • 6
  • 9
  • 22
  • 9
  • 8
  • 13
  • 22
  • 42
  • 26
  • 13
  • 9
  • 18
  • 7
  • 9
  • 6
  • 20
  • 7
  • 30
  • 8
  • 78
  • 6
  • 14
  • 38
  • 61
  • 7
  • 15
  • 6
  • 8
  • 7
  • 8
  • 7
  • 10
  • 7
  • 14
  • 6
  • 6
  • 13
  • 10
  • 6
  • 7
  • 8
  • 10
  • 9
  • 7
  • 8
  • 7
  • 6
  • 20
  • 7
  • 114
  • 16
  • 6
  • 8
  • 44
  • 7
  • 7
  • 7
  • 9
  • 16
  • 7
  • 12
  • 7
  • 11
  • 16
  • 14
  • 12
  • 6
  • 6
  • 14
  • 11
  • 11
  • 23
  • 23
  • 8
  • 31
  • 6
  • 12
  • 7
  • 99
  • 6
  • 23
  • 9
  • 7
  • 6
  • 16
  • 33
  • 8
  • 6
  • 10
  • 7
  • 6
  • 7
  • 13
  • 39
  • 11
  • 12
  • 7
  • 33
  • 7
  • 6
  • 9
  • 7
  • 6
  • 19
  • 16
  • 7
  • 21
  • 20
  • 18
  • 17
  • 19
  • 21
  • 7
  • 78
  • 13
  • 12
  • 8
  • 9
  • 38
  • 11
  • 12
  • 10
  • 42
  • 35
  • 7
  • 10
  • 9
  • 10
  • 12
  • 9
  • 17
  • 7
  • 6
  • 9
  • 6
  • 6
  • 18
  • 11
  • 6
  • 6
  • 14
  • 6
  • 27
  • 13
  • 7
  • 6
  • 11
  • 8
  • 10
  • 8
  • 7
  • 9
  • 17
  • 6
  • 7
  • 7
  • 7
  • 48
  • 8
  • 6
  • 15
  • 9
  • 6
  • 9
  • 7
  • 10
  • 7
  • 7
  • 9
  • 28
  • 6
  • 8
  • 6
  • 12
  • 14
  • 6
  • 11
  • 10
  • 10
  • 12
  • 120
  • 8
  • 9
  • 10
  • 14
  • 15
  • 11
  • 11
  • 6
  • 15
  • 6
  • 7
  • 13
  • 7
  • 60
  • 13
  • 25
  • 9
  • 6
  • 7
  • 11
  • 6
  • 9
  • 17
  • 6
  • 26
  • 32
  • 15
  • 6
  • 6
  • 10
  • 9
  • 12
  • 7
  • 7
  • 7
  • 7
  • 7
  • 6
  • 7
  • 7
  • 10
  • 8
  • 6
  • 6
  • 15
  • 52
  • 8
  • 6
  • 25
  • 10
  • 9
  • 39
  • 20
  • 6
  • 13
  • 6
  • 12
  • 10
  • 18
  • 20
  • 6
  • 21
  • 23
  • 20
  • 9
  • 13
  • 9
  • 11
  • 33
  • 13
  • 7
  • 12
  • 14
  • 13
  • 10
  • 8
  • 6
  • 23
  • 8
  • 13
  • 8
  • 20
  • 16
  • 8
  • 7
  • 14
  • 7
  • 14
  • 7
  • 10
  • 19
  • 9
  • 31
  • 9
  • 9
  • 7
  • 9
  • 6
  • 6
  • 37
  • 9
  • 18
  • 10
  • 7
  • 6
  • 7
  • 23
  • 6
  • 11
  • 6
  • 6
  • 7
  • 7
  • 11
  • 8
  • 42
  • 6
  • 9
  • 15
  • 8
  • 6
  • 6
  • 8
  • 47
  • 6
  • 7
  • 8
  • 11
  • 7
  • 114
  • 6
  • 7
  • 9
  • 13
  • 8
  • 40
  • 20
  • 7
  • 6
  • 8
  • 78
  • 25
  • 14
  • 9
  • 6
  • 10
  • 15
  • 18
  • 24
  • 23
  • 9
  • 9
  • 117
  • 6
  • 56
  • 12
  • 12
  • 15
  • 6
  • 113
  • 22
  • 22
  • 6
  • 13
  • 7
  • 8
  • 12
  • 8
  • 12
  • 23
  • 19
  • 6
  • 13
  • 7
  • 7
  • 14
  • 9
  • 7
  • 114
  • 8
  • 22
  • 6
  • 7
  • 8
  • 10
  • 82
  • 15
  • 21
  • 21
  • 8
  • 14
  • 12
  • 8
  • 12
  • 6
  • 16
  • 10
  • 12
  • 27
  • 22
  • 11
  • 12
  • 7
  • 8
  • 12
  • 7
  • 6
  • 7
  • 9
  • 18
  • 9
  • 36
  • 8
  • 6
  • 7
  • 8
  • 11
  • 11
  • 7
  • 17
  • 11
  • 10
  • 10
  • 10
  • 6
  • 6
  • 22
  • 9
  • 17
  • 25
  • 34
  • 14
  • 6
  • 7
  • 23
  • 14
  • 8
  • 6
  • 16
  • 12
  • 37
  • 14
  • 9
  • 9
  • 16
  • 11
  • 7
  • 51
  • 8
  • 62
  • 15
  • 7
  • 17
  • 18
  • 15
  • 8
  • 9
  • 8
  • 27
  • 6
  • 10
  • 6
  • 20
  • 7
  • 18
  • 21
  • 24
  • 6
  • 6
  • 6
  • 10
  • 10
  • 27
  • 20
  • 37
  • 78
  • 10
  • 23
  • 26
  • 10
  • 12
  • 7
  • 7
  • 29
  • 7
  • 21
  • 19
  • 12
  • 6
  • 9
  • 20
  • 11
  • 78
  • 82
  • 31
  • 16
  • 8
  • 8
  • 19
  • 18
  • 13
  • 8
  • 13
  • 26
  • 13
  • 7
  • 7
  • 18
  • 19
  • 7
  • 8
  • 12
  • 13
  • 113
  • 15
  • 24
  • 7
  • 21
  • 7
  • 7
  • 17
  • 17
  • 7
  • 12
  • 42
  • 13
  • 11
  • 7
  • 8
  • 11
  • 21
  • 31
  • 8
  • 12
  • 16
  • 50
  • 8
  • 9
  • 7
  • 21
  • 7
  • 22
  • 17
  • 16
  • 12
  • 9
  • 11
  • 7
  • 8
  • 28
  • 8
  • 16
  • 10
  • 10
  • 10
  • 9
  • 10
  • 15
  • 15
  • 9
  • 9
  • 23
  • 14
  • 7
  • 17
  • 9
  • 19
  • 31
  • 13
  • 15
  • 21
  • 27
  • 7
  • 12
  • 13
  • 12
  • 9
  • 23
  • 10
  • 56
  • 7
  • 8
  • 32
  • 63
  • 40
  • 83
  • 8
  • 45
  • 8
  • 21
  • 9
  • 9
  • 7
  • 22
  • 45
  • 33
  • 27
  • 27
  • 10
  • 7
  • 9
  • 8
  • 13
  • 24
Verlag
  • 5
  • 11944
  • 23
  • 1618
  • 13
  • 8
  • 12
  • 4
  • 139
  • 1
  • 1
  • 5
  • 38
Preis
  • 47
  • 485
  • 10770
  • 2509
Sprachen
  • 13803
  • 19
  • 15
Verfügbarkeit
  • 13513
  • 298
Eigenschaften
  • 57
Katalog
  • 13811
  • 589
13.811  Treffer  für „Lecture Notes in Computer Science“


    Helleseth / Sarwate / Song Sequences and Their Applications - SETA 2004

    Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26084-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hunter / Parsons Applications of Uncertainty Formalisms

    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65312-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Milner A Calculus of Communicating Systems

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

    Mohania / Tjoa Data Warehousing and Knowledge Discovery

    11th International Conference, DaWaK 2009 Linz, Austria, August 31-September 2, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03729-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fischer / Simon Computational Learning Theory

    4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65701-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68498-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liu / Mauw / Stolen Graphical Models for Security

    4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74859-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38612-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ait Ameur / Bellatreche / Papadopoulos Model and Data Engineering

    4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11586-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kim / Youn Information Security Applications

    24th International Conference, WISA 2023, Jeju Island, South Korea, August 23-25, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-981-99-8023-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Aalst / Best Applications and Theory of Petri Nets 2003

    24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40334-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rothe Algorithmic Decision Theory

    5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67503-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Main / Melton / Mislove Mathematical Foundations of Programming Language Semantics

    3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings
    Erscheinungsjahr 1988
    Verlag: Springer
    ISBN: 978-3-540-19020-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Benatallah / Bestavros / Catania Web Information Systems Engineering - WISE 2014 Workshops

    15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-20369-0
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baeten / Groote CONCUR '91

    2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54430-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Das / Uehara WALCOM: Algorithms and Computation

    Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00201-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gibbons / Nuno Oliveira Teaching Formal Methods

    Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04911-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Broy / Jähnichen KORSO: Methods, Languages, and Tools for the Construction of Correct Software

    Final Report
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60589-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Auer / Bryl / Tramp Linked Open Data -- Creating Knowledge Out of Interlinked Data

    Results of the LOD2 Project
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09845-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dhaenens / Jourdan / Marmion Learning and Intelligent Optimization

    9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-19083-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