Fachgebiet
Medium
  • 7794
Erscheinungsjahr
  • 171
  • 692
  • 713
  • 435
  • 296
  • 156
  • 173
  • 199
  • 183
  • 205
  • 210
  • 220
  • 188
  • 209
  • 207
  • 177
  • 170
  • 203
  • 166
  • 240
  • 218
  • 190
  • 277
  • 239
  • 210
  • 192
  • 132
  • 127
  • 99
  • 107
  • 103
  • 97
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 6
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 20
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 4
  • 14
  • 25
  • 36
  • 6
  • 3
  • 27
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 3
  • 16
  • 4
  • 4
  • 5
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 4
  • 17
  • 4
  • 6
  • 7
  • 9
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 4
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 8
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 15
  • 14
  • 6
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 7
  • 8
  • 9
  • 4
  • 8
  • 7
  • 6
  • 11
  • 5
  • 4
  • 7
  • 4
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 5
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 5
  • 19
  • 38
  • 4
  • 4
  • 5
  • 9
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 6
  • 7
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 10
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 35
  • 38
  • 4
  • 8
  • 23
  • 7
  • 7
  • 14
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 6
  • 4
  • 6
  • 5
  • 27
  • 4
  • 13
  • 46
  • 8
  • 4
  • 16
  • 7
  • 6
  • 6
  • 4
  • 7
  • 16
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 8
  • 5
  • 5
  • 11
  • 15
  • 35
  • 5
  • 6
  • 19
  • 7
  • 17
  • 20
  • 67
  • 11
  • 4
  • 15
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 5
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 22
  • 4
  • 6
  • 7
  • 16
  • 7
  • 7
  • 19
  • 39
  • 7
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 5
  • 67
  • 4
  • 5
  • 10
  • 4
  • 6
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 18
  • 5
  • 8
  • 6
  • 4
  • 4
  • 16
  • 4
  • 7
  • 6
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 7
  • 9
  • 4
  • 4
  • 5
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 8
  • 13
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 5
  • 29
  • 4
  • 6
  • 9
  • 9
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 35
  • 4
  • 7
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 7
  • 14
  • 4
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 13
  • 12
  • 4
  • 5
  • 4
  • 5
  • 18
  • 20
  • 24
  • 6
  • 4
  • 62
  • 4
  • 19
  • 6
  • 9
  • 4
  • 12
  • 20
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 6
  • 18
  • 4
  • 11
  • 4
  • 6
  • 7
  • 4
  • 6
  • 18
  • 5
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 4
  • 7
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 4
  • 7
  • 8
  • 8
  • 13
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 5
  • 6
  • 11
  • 37
  • 13
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 19
  • 5
  • 6
  • 18
  • 8
  • 4
  • 4
  • 13
  • 6
  • 13
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 11
  • 7
  • 11
  • 5
  • 4
  • 8
  • 24
  • 9
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 9
  • 24
  • 6
  • 12
  • 4
  • 5
  • 19
  • 4
  • 4
  • 5
  • 91
  • 5
  • 6
  • 5
  • 6
  • 9
  • 10
  • 9
  • 8
  • 4
  • 7
  • 4
  • 5
  • 19
  • 8
  • 4
  • 91
  • 4
  • 39
  • 11
  • 11
  • 89
  • 22
  • 14
  • 7
  • 4
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 7
  • 89
  • 4
  • 5
  • 15
  • 20
  • 4
  • 10
  • 12
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 10
  • 15
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 5
  • 9
  • 11
  • 34
  • 9
  • 4
  • 6
  • 6
  • 7
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 5
  • 5
  • 7
  • 5
  • 29
  • 35
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 8
  • 4
  • 14
  • 24
  • 20
  • 9
  • 13
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 12
  • 11
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 7
  • 89
  • 10
  • 7
  • 15
  • 4
  • 5
  • 5
  • 4
  • 4
  • 14
  • 6
  • 4
  • 25
  • 5
  • 11
  • 4
  • 5
  • 13
  • 4
  • 21
  • 6
  • 4
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 26
  • 6
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 10
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 5
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 18
  • 4
  • 11
  • 4
  • 5
  • 4
  • 5
  • 5
  • 20
  • 4
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 5
  • 19
  • 4
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 20
Verlag
  • 1
  • 7744
  • 3
  • 5
  • 1
  • 1
  • 3
  • 1
  • 35
Preis
  • 27
  • 237
  • 5879
  • 1651
Sprachen
  • 7789
  • 15
  • 12
Verfügbarkeit
  • 7787
  • 7
Eigenschaften
  • 5
Katalog
  • 7794
  • 331
7.794  Treffer  für „Lecture Notes in Computer Science“


    Aoki / Taguchi Formal Methods and Software Engineering

    14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34280-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Graf / Pettersson / Steffen Real Time and Such

    Essays Dedicated to Wang Yi to Celebrate His Scientific Career
    2025
    Verlag: Springer
    ISBN: 978-3-031-73750-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34025-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jacquet / Picco Coordination Models and Languages

    7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25630-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bansal / Finocchi Algorithms - ESA 2015

    23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48349-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bae Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12440-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017

    30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54998-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cornuejols / Burkard / Woeginger Integer Programming and Combinatorial Optimization

    7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66019-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Liò / Yoneki / Crowcroft Bio-Inspired Computing and Communication

    First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92190-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-3-031-71176-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Christiansen / Skadhauge / Villadsen Constraint Solving and Language Processing

    First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26165-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends

    2024
    Verlag: Springer
    ISBN: 978-3-031-51059-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Degano Programming Languages and Systems

    12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00886-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kittler / Roli Multiple Classifier Systems

    Second International Workshop, MCS 2001 Cambridge, UK, July 2-4, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42284-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bäck / Preuss / Deutz Parallel Problem Solving from Nature - PPSN XVI

    16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58111-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Salomaa / Steinby Automata, Languages and Programming

    Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08342-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-75386-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Younas / Awan / Petcu Mobile Web and Intelligent Information Systems

    20th International Conference, MobiWIS 2024, Vienna, Austria, August 19-21, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68004-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bobaru / Havelund / Holzmann NASA Formal Methods

    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20397-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ras / Ohsuga Foundations of Intelligent Systems

    12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-540-41094-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jampel / Freuder / Maher Over-Constrained Systems

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

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference

    9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42332-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Apostolico / Melucci String Processing and Information Retrieval

    11th International Conference, SPIRE 2004, Padova, Italy, October 5-8, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23210-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leite / Omicini / Sterling Declarative Agent Languages and Technologies

    First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22124-1
    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