Fachgebiet
Medium
  • 11385
  • 2633
Erscheinungsjahr
  • 111
  • 977
  • 1019
  • 1057
  • 785
  • 654
  • 394
  • 421
  • 438
  • 418
  • 401
  • 432
  • 445
  • 417
  • 459
  • 413
  • 413
  • 365
  • 244
  • 233
  • 257
  • 267
  • 247
  • 433
  • 483
  • 255
  • 259
  • 179
  • 180
  • 145
  • 143
  • 138
  • 123
  • 114
  • 95
  • 74
  • 86
  • 56
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 4
Autoren
  • 6
  • 9
  • 7
  • 10
  • 31
  • 13
  • 11
  • 6
  • 6
  • 10
  • 7
  • 23
  • 8
  • 26
  • 7
  • 7
  • 6
  • 9
  • 8
  • 8
  • 6
  • 15
  • 6
  • 40
  • 44
  • 58
  • 7
  • 6
  • 8
  • 6
  • 20
  • 8
  • 25
  • 14
  • 7
  • 7
  • 8
  • 58
  • 17
  • 6
  • 6
  • 6
  • 6
  • 7
  • 6
  • 6
  • 15
  • 8
  • 49
  • 6
  • 10
  • 32
  • 10
  • 12
  • 11
  • 11
  • 8
  • 6
  • 13
  • 7
  • 10
  • 27
  • 6
  • 8
  • 22
  • 10
  • 11
  • 10
  • 31
  • 17
  • 10
  • 6
  • 48
  • 9
  • 27
  • 22
  • 7
  • 10
  • 13
  • 9
  • 8
  • 10
  • 6
  • 8
  • 8
  • 7
  • 11
  • 18
  • 12
  • 15
  • 11
  • 8
  • 15
  • 6
  • 7
  • 11
  • 58
  • 25
  • 7
  • 6
  • 6
  • 8
  • 6
  • 19
  • 12
  • 8
  • 7
  • 16
  • 10
  • 9
  • 15
  • 10
  • 9
  • 8
  • 31
  • 6
  • 18
  • 6
  • 10
  • 10
  • 6
  • 6
  • 17
  • 9
  • 6
  • 8
  • 7
  • 16
  • 6
  • 7
  • 41
  • 18
  • 48
  • 15
  • 11
  • 20
  • 24
  • 15
  • 53
  • 15
  • 46
  • 10
  • 17
  • 8
  • 6
  • 7
  • 8
  • 6
  • 13
  • 12
  • 6
  • 16
  • 7
  • 16
  • 6
  • 58
  • 6
  • 10
  • 13
  • 16
  • 12
  • 10
  • 6
  • 9
  • 7
  • 11
  • 16
  • 15
  • 6
  • 7
  • 6
  • 7
  • 9
  • 21
  • 8
  • 8
  • 20
  • 8
  • 10
  • 9
  • 10
  • 7
  • 32
  • 30
  • 19
  • 32
  • 9
  • 13
  • 7
  • 10
  • 9
  • 6
  • 10
  • 6
  • 24
  • 12
  • 31
  • 7
  • 7
  • 8
  • 7
  • 6
  • 10
  • 6
  • 6
  • 12
  • 6
  • 11
  • 8
  • 8
  • 7
  • 6
  • 11
  • 28
  • 15
  • 7
  • 14
  • 12
  • 8
  • 10
  • 46
  • 48
  • 9
  • 53
  • 12
  • 13
  • 12
  • 10
  • 8
  • 43
  • 17
  • 6
  • 7
  • 12
  • 6
  • 6
  • 6
  • 6
  • 7
  • 19
  • 6
  • 6
  • 13
  • 6
  • 10
  • 7
  • 12
  • 29
  • 19
  • 62
  • 97
  • 13
  • 7
  • 6
  • 21
  • 10
  • 13
  • 8
  • 8
  • 16
  • 6
  • 18
  • 6
  • 11
  • 13
  • 9
  • 7
  • 11
  • 8
  • 7
  • 11
  • 10
  • 27
  • 24
  • 8
  • 7
  • 9
  • 12
  • 6
  • 19
  • 14
  • 6
  • 19
  • 23
  • 77
  • 49
  • 10
  • 11
  • 26
  • 13
  • 25
  • 34
  • 131
  • 6
  • 16
  • 11
  • 6
  • 11
  • 22
  • 7
  • 15
  • 13
  • 7
  • 6
  • 24
  • 14
  • 6
  • 6
  • 14
  • 7
  • 7
  • 11
  • 22
  • 6
  • 11
  • 6
  • 7
  • 6
  • 6
  • 7
  • 8
  • 13
  • 6
  • 7
  • 52
  • 6
  • 16
  • 11
  • 7
  • 9
  • 10
  • 20
  • 7
  • 12
  • 10
  • 29
  • 58
  • 9
  • 9
  • 7
  • 14
  • 21
  • 6
  • 11
  • 11
  • 6
  • 8
  • 6
  • 11
  • 21
  • 14
  • 9
  • 22
  • 7
  • 7
  • 7
  • 8
  • 6
  • 12
  • 10
  • 124
  • 6
  • 6
  • 11
  • 8
  • 19
  • 6
  • 6
  • 9
  • 6
  • 7
  • 6
  • 9
  • 22
  • 7
  • 14
  • 6
  • 15
  • 7
  • 25
  • 13
  • 13
  • 12
  • 8
  • 7
  • 14
  • 26
  • 8
  • 17
  • 10
  • 8
  • 12
  • 15
  • 8
  • 6
  • 7
  • 14
  • 6
  • 9
  • 8
  • 6
  • 16
  • 7
  • 6
  • 10
  • 7
  • 6
  • 7
  • 18
  • 6
  • 10
  • 17
  • 7
  • 21
  • 9
  • 8
  • 14
  • 9
  • 45
  • 11
  • 7
  • 11
  • 9
  • 30
  • 7
  • 6
  • 7
  • 22
  • 53
  • 8
  • 7
  • 8
  • 17
  • 22
  • 6
  • 15
  • 40
  • 12
  • 9
  • 11
  • 7
  • 6
  • 7
  • 21
  • 7
  • 7
  • 15
  • 6
  • 22
  • 48
  • 7
  • 20
  • 7
  • 8
  • 19
  • 9
  • 7
  • 6
  • 21
  • 9
  • 7
  • 27
  • 6
  • 97
  • 6
  • 15
  • 30
  • 62
  • 13
  • 6
  • 8
  • 7
  • 7
  • 11
  • 7
  • 9
  • 7
  • 13
  • 6
  • 13
  • 11
  • 8
  • 7
  • 12
  • 14
  • 7
  • 9
  • 7
  • 21
  • 7
  • 116
  • 6
  • 19
  • 8
  • 7
  • 56
  • 8
  • 8
  • 8
  • 16
  • 13
  • 15
  • 8
  • 7
  • 12
  • 19
  • 15
  • 13
  • 9
  • 7
  • 36
  • 7
  • 14
  • 16
  • 23
  • 6
  • 25
  • 6
  • 6
  • 35
  • 8
  • 7
  • 6
  • 10
  • 6
  • 95
  • 14
  • 22
  • 9
  • 7
  • 17
  • 28
  • 10
  • 13
  • 12
  • 9
  • 6
  • 7
  • 12
  • 40
  • 12
  • 12
  • 7
  • 33
  • 7
  • 8
  • 13
  • 16
  • 8
  • 14
  • 10
  • 21
  • 22
  • 19
  • 20
  • 30
  • 10
  • 97
  • 13
  • 13
  • 13
  • 8
  • 35
  • 13
  • 10
  • 11
  • 38
  • 42
  • 6
  • 9
  • 9
  • 15
  • 7
  • 31
  • 6
  • 11
  • 7
  • 9
  • 8
  • 6
  • 8
  • 12
  • 6
  • 15
  • 29
  • 13
  • 14
  • 14
  • 14
  • 13
  • 9
  • 11
  • 17
  • 6
  • 9
  • 8
  • 52
  • 6
  • 16
  • 12
  • 7
  • 7
  • 10
  • 8
  • 7
  • 8
  • 7
  • 10
  • 23
  • 7
  • 13
  • 9
  • 6
  • 7
  • 6
  • 9
  • 8
  • 121
  • 6
  • 7
  • 10
  • 6
  • 7
  • 7
  • 13
  • 19
  • 13
  • 8
  • 7
  • 13
  • 13
  • 7
  • 6
  • 56
  • 12
  • 26
  • 11
  • 13
  • 7
  • 6
  • 20
  • 6
  • 26
  • 7
  • 31
  • 19
  • 6
  • 6
  • 7
  • 12
  • 9
  • 6
  • 7
  • 7
  • 7
  • 18
  • 6
  • 8
  • 12
  • 6
  • 12
  • 6
  • 10
  • 11
  • 57
  • 7
  • 6
  • 22
  • 10
  • 6
  • 49
  • 16
  • 6
  • 6
  • 11
  • 11
  • 15
  • 24
  • 6
  • 21
  • 23
  • 22
  • 9
  • 15
  • 6
  • 7
  • 10
  • 9
  • 32
  • 14
  • 7
  • 15
  • 7
  • 6
  • 8
  • 6
  • 26
  • 7
  • 12
  • 6
  • 20
  • 15
  • 9
  • 7
  • 15
  • 8
  • 17
  • 8
  • 17
  • 10
  • 22
  • 7
  • 11
  • 31
  • 10
  • 11
  • 7
  • 12
  • 10
  • 8
  • 8
  • 48
  • 16
  • 11
  • 8
  • 6
  • 10
  • 6
  • 19
  • 13
  • 9
  • 8
  • 8
  • 9
  • 12
  • 14
  • 37
  • 9
  • 15
  • 10
  • 9
  • 46
  • 7
  • 7
  • 11
  • 10
  • 12
  • 11
  • 7
  • 114
  • 10
  • 6
  • 6
  • 10
  • 7
  • 39
  • 22
  • 6
  • 7
  • 97
  • 8
  • 30
  • 10
  • 9
  • 7
  • 9
  • 17
  • 25
  • 23
  • 7
  • 10
  • 116
  • 53
  • 13
  • 11
  • 16
  • 113
  • 25
  • 7
  • 7
  • 23
  • 11
  • 7
  • 12
  • 7
  • 7
  • 13
  • 18
  • 23
  • 8
  • 7
  • 8
  • 9
  • 7
  • 7
  • 14
  • 114
  • 9
  • 8
  • 24
  • 7
  • 12
  • 15
  • 7
  • 100
  • 13
  • 19
  • 21
  • 7
  • 16
  • 12
  • 7
  • 14
  • 17
  • 9
  • 9
  • 22
  • 21
  • 9
  • 10
  • 13
  • 15
  • 10
  • 19
  • 10
  • 33
  • 9
  • 10
  • 8
  • 12
  • 8
  • 17
  • 13
  • 13
  • 7
  • 19
  • 7
  • 16
  • 25
  • 33
  • 7
  • 8
  • 8
  • 12
  • 25
  • 16
  • 7
  • 10
  • 17
  • 9
  • 7
  • 44
  • 19
  • 8
  • 9
  • 8
  • 10
  • 7
  • 19
  • 10
  • 54
  • 9
  • 63
  • 10
  • 9
  • 14
  • 10
  • 13
  • 13
  • 8
  • 16
  • 30
  • 7
  • 7
  • 7
  • 23
  • 17
  • 19
  • 23
  • 25
  • 12
  • 8
  • 14
  • 30
  • 19
  • 33
  • 83
  • 15
  • 22
  • 28
  • 9
  • 13
  • 8
  • 27
  • 7
  • 22
  • 19
  • 7
  • 11
  • 9
  • 10
  • 25
  • 15
  • 81
  • 101
  • 7
  • 31
  • 17
  • 11
  • 8
  • 16
  • 18
  • 11
  • 13
  • 20
  • 7
  • 10
  • 7
  • 18
  • 20
  • 19
  • 12
  • 9
  • 113
  • 13
  • 7
  • 24
  • 11
  • 23
  • 13
  • 7
  • 11
  • 10
  • 12
  • 10
  • 36
  • 11
  • 7
  • 12
  • 7
  • 12
  • 27
  • 9
  • 10
  • 45
  • 9
  • 18
  • 7
  • 21
  • 18
  • 12
  • 8
  • 13
  • 28
  • 14
  • 15
  • 12
  • 12
  • 9
  • 13
  • 10
  • 9
  • 23
  • 15
  • 8
  • 14
  • 10
  • 21
  • 32
  • 12
  • 15
  • 27
  • 23
  • 10
  • 18
  • 12
  • 23
  • 8
  • 60
  • 11
  • 36
  • 30
  • 53
  • 49
  • 80
  • 57
  • 15
  • 8
  • 9
  • 25
  • 39
  • 7
  • 33
  • 24
  • 28
  • 11
  • 9
  • 11
  • 11
  • 22
Verlag
  • 7
  • 12079
  • 23
  • 1651
  • 2
  • 10
  • 4
  • 35
  • 5
  • 153
  • 1
  • 1
  • 13
  • 34
Preis
  • 47
  • 519
  • 10943
  • 2509
Sprachen
  • 14010
  • 20
  • 15
  • 1
Verfügbarkeit
  • 13717
  • 301
Eigenschaften
  • 41
Katalog
  • 14018
  • 593
14.018  Treffer  für „Lecture Notes in Computer Science“


    Ait Ameur / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z

    4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43651-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ito / Halstead / Queinnec Parallel Symbolic Languages and Systems

    International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61143-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Železný / Lavrac Inductive Logic Programming

    18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85927-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Narendran / Rusinowitch Rewriting Techniques and Applications

    10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66201-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bosnacki / Edelkamp Model Checking Software

    14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73369-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Riano Knowledge Management for Health Care Procedures

    From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78623-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Butler / Hinchey / Larrondo-Petrie Formal Methods and Software Engineering

    9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76648-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lee / Vygen Integer Programming and Combinatorial Optimization

    17th International Conference, IPCO 2014, Bonn, Germany, June 23-25, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07556-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Goodrich / McGeoch Algorithm Engineering and Experimentation

    International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66227-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Diaz / Ramos Formalization of Programming Concepts

    International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10699-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dehne / Rau-Chaplin / Sack Algorithms and Data Structures

    5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63307-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Marík / Vrba / Leitão Holonic and Multi-Agent Systems for Manufacturing

    5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23180-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Markopoulos / IJsselsteijn / Rowland Fun and Games

    Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88321-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Arge / Hoffmann / Welzl Algorithms - ESA 2007

    15th Annual European Symposium, Eilat, Israel, October 8-10, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75519-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ulrich Formal Approaches to Software Testing

    Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20894-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lemos / Silva Weber / Camargo Jr. Dependable Computing

    First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues

    13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77418-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Geist / Tronci Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bell / Hong Flexible and Efficient Information Handling

    23rd British National Conference on Databases, BNCOD 23, Belfast, Northern Ireland, UK, July 18-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35969-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Burgess / Denazis Modelling Autonomic Communications Environments

    Third IEEE International Workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87354-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Holzer / Kutrib / Pighizzini Descriptional Complexity of Formal Systems

    13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22599-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hsu / Shi / Salapura Network and Parallel Computing

    11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44916-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Núnez / Maamar / Pelayo Applying Formal Methods: Testing, Performance, and M/E-Commerce

    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23169-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Piloty / Barbacci / Borrione CONLAN Report

    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-12275-3
    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