Ergebnisse filtern
Fachgebiet
Medium
  • 10665
  • 2731
Erscheinungsjahr
  • 162
  • 1012
  • 1081
  • 798
  • 658
  • 389
  • 435
  • 449
  • 452
  • 422
  • 444
  • 418
  • 409
  • 429
  • 431
  • 424
  • 404
  • 259
  • 251
  • 273
  • 293
  • 219
  • 467
  • 578
  • 263
  • 258
  • 187
  • 172
  • 147
  • 143
  • 138
  • 118
  • 110
  • 96
  • 72
  • 85
  • 60
  • 58
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 7
  • 10
  • 10
  • 7
  • 12
  • 7
  • 12
  • 7
  • 6
  • 13
  • 8
  • 17
  • 6
  • 23
  • 11
  • 6
  • 7
  • 9
  • 12
  • 8
  • 6
  • 7
  • 6
  • 13
  • 36
  • 47
  • 9
  • 61
  • 7
  • 11
  • 15
  • 19
  • 11
  • 50
  • 9
  • 6
  • 9
  • 8
  • 6
  • 10
  • 18
  • 10
  • 7
  • 6
  • 7
  • 8
  • 7
  • 9
  • 9
  • 6
  • 23
  • 8
  • 19
  • 9
  • 10
  • 7
  • 29
  • 11
  • 11
  • 6
  • 7
  • 53
  • 13
  • 7
  • 30
  • 16
  • 10
  • 13
  • 7
  • 10
  • 8
  • 9
  • 9
  • 12
  • 7
  • 10
  • 9
  • 8
  • 16
  • 7
  • 19
  • 9
  • 18
  • 7
  • 7
  • 6
  • 8
  • 6
  • 50
  • 26
  • 6
  • 11
  • 8
  • 7
  • 19
  • 8
  • 11
  • 6
  • 20
  • 6
  • 6
  • 18
  • 8
  • 6
  • 29
  • 23
  • 6
  • 9
  • 13
  • 10
  • 11
  • 6
  • 8
  • 16
  • 6
  • 7
  • 44
  • 13
  • 53
  • 15
  • 10
  • 19
  • 21
  • 6
  • 16
  • 9
  • 28
  • 14
  • 46
  • 11
  • 17
  • 8
  • 6
  • 7
  • 6
  • 17
  • 6
  • 6
  • 18
  • 9
  • 50
  • 10
  • 8
  • 11
  • 9
  • 14
  • 8
  • 7
  • 6
  • 16
  • 13
  • 8
  • 8
  • 7
  • 10
  • 6
  • 18
  • 10
  • 12
  • 19
  • 6
  • 6
  • 6
  • 11
  • 8
  • 11
  • 11
  • 22
  • 26
  • 6
  • 9
  • 8
  • 6
  • 11
  • 7
  • 8
  • 17
  • 16
  • 29
  • 8
  • 6
  • 7
  • 9
  • 7
  • 14
  • 6
  • 9
  • 6
  • 6
  • 8
  • 7
  • 6
  • 10
  • 6
  • 17
  • 12
  • 12
  • 12
  • 7
  • 51
  • 60
  • 10
  • 31
  • 9
  • 9
  • 15
  • 31
  • 13
  • 6
  • 8
  • 11
  • 20
  • 7
  • 8
  • 6
  • 9
  • 9
  • 8
  • 6
  • 33
  • 15
  • 59
  • 10
  • 8
  • 6
  • 7
  • 6
  • 22
  • 7
  • 12
  • 10
  • 13
  • 19
  • 6
  • 6
  • 18
  • 6
  • 7
  • 9
  • 6
  • 6
  • 12
  • 9
  • 6
  • 6
  • 7
  • 21
  • 25
  • 6
  • 10
  • 8
  • 13
  • 6
  • 20
  • 9
  • 12
  • 7
  • 6
  • 9
  • 16
  • 7
  • 19
  • 6
  • 74
  • 6
  • 34
  • 7
  • 7
  • 7
  • 32
  • 11
  • 20
  • 34
  • 7
  • 124
  • 7
  • 15
  • 10
  • 10
  • 21
  • 11
  • 8
  • 6
  • 23
  • 18
  • 7
  • 7
  • 8
  • 14
  • 10
  • 7
  • 9
  • 17
  • 6
  • 15
  • 6
  • 7
  • 7
  • 16
  • 51
  • 6
  • 10
  • 8
  • 8
  • 7
  • 12
  • 27
  • 14
  • 12
  • 10
  • 25
  • 50
  • 10
  • 8
  • 13
  • 6
  • 21
  • 7
  • 16
  • 7
  • 9
  • 6
  • 7
  • 6
  • 6
  • 18
  • 17
  • 11
  • 6
  • 10
  • 15
  • 85
  • 9
  • 10
  • 9
  • 12
  • 8
  • 6
  • 6
  • 6
  • 11
  • 7
  • 6
  • 8
  • 7
  • 17
  • 16
  • 6
  • 11
  • 14
  • 35
  • 7
  • 20
  • 11
  • 6
  • 7
  • 7
  • 6
  • 19
  • 7
  • 19
  • 8
  • 6
  • 9
  • 13
  • 6
  • 6
  • 11
  • 7
  • 15
  • 9
  • 7
  • 15
  • 6
  • 18
  • 7
  • 7
  • 6
  • 11
  • 9
  • 10
  • 7
  • 8
  • 17
  • 6
  • 6
  • 11
  • 9
  • 6
  • 6
  • 36
  • 8
  • 9
  • 8
  • 23
  • 7
  • 7
  • 23
  • 43
  • 7
  • 7
  • 15
  • 17
  • 10
  • 7
  • 11
  • 39
  • 6
  • 12
  • 6
  • 7
  • 6
  • 7
  • 8
  • 20
  • 8
  • 6
  • 19
  • 10
  • 24
  • 38
  • 23
  • 15
  • 7
  • 28
  • 8
  • 8
  • 9
  • 7
  • 17
  • 8
  • 6
  • 42
  • 9
  • 18
  • 39
  • 51
  • 6
  • 8
  • 7
  • 8
  • 7
  • 19
  • 6
  • 6
  • 17
  • 6
  • 12
  • 11
  • 10
  • 14
  • 9
  • 7
  • 10
  • 8
  • 17
  • 6
  • 88
  • 21
  • 22
  • 15
  • 6
  • 7
  • 23
  • 7
  • 7
  • 7
  • 10
  • 20
  • 9
  • 10
  • 8
  • 16
  • 19
  • 17
  • 8
  • 7
  • 6
  • 7
  • 13
  • 19
  • 16
  • 10
  • 24
  • 23
  • 10
  • 26
  • 11
  • 78
  • 14
  • 8
  • 21
  • 7
  • 6
  • 7
  • 17
  • 26
  • 7
  • 7
  • 8
  • 6
  • 16
  • 6
  • 7
  • 6
  • 7
  • 8
  • 13
  • 10
  • 6
  • 6
  • 10
  • 31
  • 11
  • 6
  • 7
  • 16
  • 15
  • 15
  • 20
  • 18
  • 6
  • 17
  • 15
  • 18
  • 6
  • 8
  • 11
  • 8
  • 17
  • 14
  • 11
  • 38
  • 9
  • 9
  • 8
  • 41
  • 34
  • 6
  • 6
  • 7
  • 13
  • 8
  • 11
  • 8
  • 28
  • 11
  • 11
  • 8
  • 6
  • 9
  • 6
  • 6
  • 8
  • 6
  • 6
  • 12
  • 7
  • 16
  • 9
  • 7
  • 6
  • 10
  • 10
  • 9
  • 11
  • 7
  • 8
  • 10
  • 6
  • 10
  • 10
  • 53
  • 8
  • 12
  • 10
  • 12
  • 8
  • 6
  • 8
  • 10
  • 6
  • 10
  • 25
  • 6
  • 11
  • 13
  • 9
  • 7
  • 10
  • 8
  • 11
  • 115
  • 7
  • 10
  • 7
  • 6
  • 11
  • 6
  • 14
  • 6
  • 15
  • 13
  • 6
  • 6
  • 7
  • 9
  • 66
  • 22
  • 20
  • 7
  • 8
  • 12
  • 9
  • 8
  • 15
  • 9
  • 6
  • 9
  • 7
  • 10
  • 11
  • 6
  • 6
  • 9
  • 13
  • 9
  • 7
  • 9
  • 7
  • 6
  • 9
  • 6
  • 8
  • 9
  • 6
  • 15
  • 56
  • 10
  • 10
  • 8
  • 18
  • 8
  • 6
  • 6
  • 6
  • 24
  • 6
  • 12
  • 6
  • 9
  • 13
  • 6
  • 19
  • 25
  • 17
  • 19
  • 8
  • 6
  • 13
  • 37
  • 7
  • 16
  • 6
  • 8
  • 14
  • 14
  • 7
  • 6
  • 6
  • 25
  • 18
  • 12
  • 17
  • 8
  • 10
  • 13
  • 8
  • 20
  • 8
  • 14
  • 6
  • 11
  • 16
  • 9
  • 29
  • 12
  • 13
  • 7
  • 7
  • 10
  • 16
  • 11
  • 11
  • 6
  • 6
  • 11
  • 20
  • 10
  • 9
  • 8
  • 6
  • 8
  • 8
  • 16
  • 31
  • 16
  • 10
  • 7
  • 10
  • 22
  • 6
  • 11
  • 11
  • 14
  • 7
  • 111
  • 8
  • 8
  • 11
  • 8
  • 37
  • 12
  • 12
  • 8
  • 20
  • 10
  • 9
  • 7
  • 11
  • 12
  • 25
  • 114
  • 7
  • 6
  • 53
  • 13
  • 11
  • 10
  • 108
  • 26
  • 19
  • 13
  • 6
  • 16
  • 11
  • 15
  • 20
  • 10
  • 6
  • 9
  • 7
  • 8
  • 6
  • 6
  • 10
  • 108
  • 7
  • 6
  • 8
  • 16
  • 25
  • 7
  • 13
  • 15
  • 7
  • 12
  • 19
  • 19
  • 6
  • 15
  • 8
  • 6
  • 6
  • 7
  • 15
  • 12
  • 12
  • 29
  • 20
  • 9
  • 6
  • 8
  • 11
  • 12
  • 6
  • 18
  • 10
  • 7
  • 29
  • 9
  • 6
  • 12
  • 7
  • 11
  • 8
  • 6
  • 7
  • 17
  • 10
  • 13
  • 9
  • 6
  • 6
  • 16
  • 10
  • 16
  • 56
  • 14
  • 9
  • 13
  • 6
  • 9
  • 21
  • 11
  • 6
  • 7
  • 15
  • 6
  • 14
  • 17
  • 9
  • 11
  • 9
  • 6
  • 11
  • 16
  • 10
  • 50
  • 11
  • 54
  • 11
  • 10
  • 10
  • 7
  • 18
  • 14
  • 6
  • 11
  • 6
  • 23
  • 6
  • 6
  • 7
  • 19
  • 11
  • 18
  • 19
  • 31
  • 9
  • 7
  • 6
  • 7
  • 20
  • 25
  • 16
  • 14
  • 28
  • 80
  • 12
  • 18
  • 28
  • 11
  • 11
  • 8
  • 8
  • 11
  • 21
  • 22
  • 20
  • 6
  • 7
  • 11
  • 67
  • 29
  • 16
  • 6
  • 10
  • 14
  • 15
  • 22
  • 14
  • 10
  • 17
  • 16
  • 21
  • 6
  • 6
  • 7
  • 16
  • 10
  • 6
  • 18
  • 14
  • 10
  • 10
  • 13
  • 108
  • 11
  • 9
  • 25
  • 7
  • 17
  • 7
  • 8
  • 11
  • 19
  • 14
  • 12
  • 8
  • 42
  • 11
  • 8
  • 18
  • 13
  • 7
  • 10
  • 15
  • 26
  • 8
  • 12
  • 26
  • 12
  • 7
  • 9
  • 19
  • 20
  • 15
  • 12
  • 13
  • 10
  • 9
  • 10
  • 7
  • 7
  • 25
  • 8
  • 15
  • 12
  • 8
  • 10
  • 9
  • 7
  • 11
  • 7
  • 12
  • 15
  • 13
  • 24
  • 8
  • 7
  • 14
  • 20
  • 8
  • 8
  • 11
  • 9
  • 35
  • 13
  • 7
  • 7
  • 19
  • 28
  • 12
  • 7
  • 10
  • 10
  • 7
  • 8
  • 24
  • 12
  • 8
  • 63
  • 11
  • 7
  • 8
  • 38
  • 10
  • 9
  • 56
  • 8
  • 17
  • 88
  • 9
  • 21
  • 8
  • 17
  • 41
  • 7
  • 28
  • 16
  • 24
  • 14
  • 12
  • 11
  • 14
  • 20
  • 7
  • 7
  • 28
Verlag
  • 2
  • 11604
  • 40
  • 1568
  • 3
  • 25
  • 3
  • 3
  • 105
  • 1
  • 1
  • 41
Preis
  • 47
  • 468
  • 10602
  • 2279
Sprachen
  • 13388
  • 19
  • 15
  • 1
Verfügbarkeit
  • 13361
  • 35
Eigenschaften
  • 10
Katalog
  • 13396
  • 582
13.396  Treffer  für „Lecture Notes in Computer Science“
    Hooman | Specification and Compositional Verification of Real-Time Systems | Buch | Sack Fachmedien

    Hooman Specification and Compositional Verification of Real-Time Systems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54947-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber / Simons / Lafontaine | The Generic Development Language Deva | Buch | Sack Fachmedien

    Weber / Simons / Lafontaine The Generic Development Language Deva

    Presentation and Case Studies
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kruse / Moral | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

    Clarke / Kruse / Moral Symbolic and Quantitative Approaches to Reasoning and Uncertainty

    European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57395-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gutknecht | Programming Languages and System Architectures | Buch | Sack Fachmedien

    Gutknecht Programming Languages and System Architectures

    International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57840-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Main / Melton | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Brookes / Main / Melton Mathematical Foundations of Programming Semantics

    9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58027-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | A Decade of Concurrency: Reflections and Perspectives | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg A Decade of Concurrency: Reflections and Perspectives

    Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58043-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gauthier | Ada-Europe '93 | Buch | Sack Fachmedien

    Gauthier Ada-Europe '93

    12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56802-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crochemore / Gusfield | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Crochemore / Gusfield Combinatorial Pattern Matching

    Fifth Annual Symposium, CPM '94, Asilomar, CA, USA, June 5 - 8, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58094-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lakemeyer / Nebel | Foundations of Knowledge Representation and Reasoning | Buch | Sack Fachmedien

    Lakemeyer / Nebel Foundations of Knowledge Representation and Reasoning

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58107-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones | ESOP '90 | Buch | Sack Fachmedien

    Jones ESOP '90

    3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52592-9
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burkhart | CONPAR 90 - VAPP IV | Buch | Sack Fachmedien

    Burkhart CONPAR 90 - VAPP IV

    Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53065-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Studer | Natural Language and Logic | Buch | Sack Fachmedien

    Studer Natural Language and Logic

    International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53082-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Jourdan | Attribute Grammars and their Applications | Buch | Sack Fachmedien

    Deransart / Jourdan Attribute Grammars and their Applications

    International Conference, Paris, France, September 19-21, 1990
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53101-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karagiannis | Information Systems and Artificial Intelligence: Integration Aspects | Buch | Sack Fachmedien

    Karagiannis Information Systems and Artificial Intelligence: Integration Aspects

    First Workshop, Ulm, FRG, March 19-21, 1990. Proceedings
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-53557-7
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montanari / Rossi | Principles and Practice of Constraint Programming - CP '95 | Buch | Sack Fachmedien

    Montanari / Rossi Principles and Practice of Constraint Programming - CP '95

    First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60299-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Miao | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    George / Miao Formal Methods and Software Engineering

    4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00029-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Colosimo / Giuliani / Sirabella | Medical Data Analysis | Buch | Sack Fachmedien

    Colosimo / Giuliani / Sirabella Medical Data Analysis

    Third International Symposium, ISMDA 2002, Rome, Italy, October 8-11, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00044-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aksit / Matsuoka | ECOOP '97 - Object-Oriented Programming | Buch | Sack Fachmedien

    Aksit / Matsuoka ECOOP '97 - Object-Oriented Programming

    11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63089-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 95 Rationale | Buch | Sack Fachmedien

    Barnes Ada 95 Rationale

    The Language - The Standard Libraries
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63143-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kluge | Implementation of Functional Languages | Buch | Sack Fachmedien

    Kluge Implementation of Functional Languages

    8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63237-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biham | Fast Software Encryption | Buch | Sack Fachmedien

    Biham Fast Software Encryption

    4th International Workshop, FSE'97, Haifa, Israel, January 20-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63247-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furbach / Nerode | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Furbach / Nerode Logic Programming and Nonmonotonic Reasoning

    Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63255-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bigün / Chollet / Borgefors | Audio- and Video-based Biometric Person Authentication | Buch | Sack Fachmedien

    Bigün / Chollet / Borgefors Audio- and Video-based Biometric Person Authentication

    First International Conference, AVBPA '97, Crans-Montana, Switzerland, March 12 - 14, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62660-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey / Till | ZUM'97: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Hinchey / Till ZUM'97: The Z Formal Specification Notation

    10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62717-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallagher | Logic Program Synthesis and Transformation | Buch | Sack Fachmedien

    Gallagher Logic Program Synthesis and Transformation

    6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62718-0
    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