Ergebnisse filtern
Fachgebiet
Medium
  • 26055
  • 3558
  • 64
  • 20
Erscheinungsjahr
  • 7
  • 306
  • 1180
  • 1954
  • 2931
  • 1262
  • 1043
  • 994
  • 1119
  • 1041
  • 1109
  • 968
  • 1018
  • 780
  • 1039
  • 957
  • 1203
  • 726
  • 1466
  • 706
  • 739
  • 794
  • 762
  • 670
  • 594
  • 610
  • 547
  • 463
  • 335
  • 286
  • 262
  • 256
  • 230
  • 173
  • 155
  • 153
  • 106
  • 130
  • 90
  • 82
  • 65
  • 56
  • 40
  • 30
  • 21
  • 19
  • 24
  • 25
  • 17
  • 15
  • 6
  • 7
  • 6
  • 7
  • 8
  • 5
  • 6
  • 6
  • 4
  • 1
  • 1
  • 1
  • 1
Autoren
  • 7
  • 14
  • 14
  • 5
  • 8
  • 9
  • 7
  • 5
  • 11
  • 14
  • 13
  • 5
  • 14
  • 9
  • 7
  • 8
  • 7
  • 7
  • 8
  • 9
  • 5
  • 8
  • 11
  • 9
  • 9
  • 5
  • 6
  • 10
  • 29
  • 25
  • 6
  • 7
  • 10
  • 8
  • 6
  • 7
  • 6
  • 5
  • 7
  • 15
  • 17
  • 6
  • 9
  • 5
  • 40
  • 5
  • 6
  • 5
  • 9
  • 8
  • 6
  • 10
  • 5
  • 10
  • 9
  • 9
  • 5
  • 7
  • 9
  • 8
  • 7
  • 22
  • 17
  • 10
  • 6
  • 14
  • 17
  • 11
  • 5
  • 7
  • 7
  • 5
  • 5
  • 9
  • 5
  • 9
  • 6
  • 28
  • 8
  • 5
  • 9
  • 5
  • 8
  • 19
  • 13
  • 6
  • 7
  • 15
  • 13
  • 6
  • 10
  • 5
  • 10
  • 7
  • 9
  • 10
  • 10
  • 7
  • 9
  • 19
  • 13
  • 10
  • 10
  • 12
  • 7
  • 5
  • 21
  • 8
  • 6
  • 13
  • 9
  • 5
  • 5
  • 6
  • 8
  • 6
  • 37
  • 6
  • 6
  • 5
  • 6
  • 6
  • 6
  • 10
  • 6
  • 5
  • 17
  • 24
  • 5
  • 10
  • 6
  • 7
  • 5
  • 17
  • 5
  • 91
  • 7
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 11
  • 5
  • 5
  • 6
  • 9
  • 7
  • 17
  • 7
  • 5
  • 5
  • 16
  • 6
  • 7
  • 5
  • 6
  • 5
  • 16
  • 5
  • 5
  • 7
  • 7
  • 7
  • 5
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 10
  • 7
  • 6
  • 5
  • 6
  • 7
  • 8
  • 20
  • 5
  • 9
  • 7
  • 9
  • 11
  • 13
  • 13
  • 7
  • 5
  • 9
  • 10
  • 11
  • 5
  • 5
  • 9
  • 6
  • 7
  • 6
  • 13
  • 6
  • 24
  • 8
  • 24
  • 5
  • 8
  • 7
  • 5
  • 9
  • 21
  • 18
  • 7
  • 6
  • 8
  • 6
  • 7
  • 15
  • 6
  • 6
  • 5
  • 5
  • 8
  • 12
  • 7
  • 6
  • 56
  • 29
  • 6
  • 5
  • 7
  • 5
  • 6
  • 15
  • 21
  • 9
  • 7
  • 5
  • 6
  • 12
  • 5
  • 27
  • 9
  • 5
  • 6
  • 10
  • 6
  • 22
  • 5
  • 19
  • 9
  • 5
  • 7
  • 31
  • 6
  • 5
  • 6
  • 5
  • 7
  • 5
  • 6
  • 5
  • 6
  • 7
  • 8
  • 6
  • 7
  • 10
  • 14
  • 6
  • 7
  • 10
  • 15
  • 5
  • 16
  • 7
  • 37
  • 9
  • 5
  • 9
  • 9
  • 7
  • 5
  • 6
  • 9
  • 5
  • 36
  • 10
  • 10
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 8
  • 9
  • 9
  • 8
  • 11
  • 11
  • 6
  • 8
  • 6
  • 45
  • 8
  • 9
  • 6
  • 13
  • 6
  • 7
  • 7
  • 12
  • 8
  • 5
  • 5
  • 7
  • 8
  • 5
  • 9
  • 5
  • 9
  • 5
  • 5
  • 6
  • 5
  • 13
  • 5
  • 5
  • 8
  • 7
  • 5
  • 5
  • 8
  • 10
  • 6
  • 7
  • 9
  • 5
  • 5
  • 8
  • 5
  • 9
  • 5
  • 7
  • 22
  • 6
  • 11
  • 7
  • 9
  • 5
  • 12
  • 9
  • 18
  • 10
  • 7
  • 5
  • 6
  • 7
  • 5
  • 10
  • 8
  • 6
  • 6
  • 7
  • 9
  • 5
  • 6
  • 12
  • 6
  • 10
  • 8
  • 7
  • 9
  • 6
  • 18
  • 10
  • 8
  • 16
  • 13
  • 16
  • 7
  • 6
  • 6
  • 5
  • 5
  • 5
  • 15
  • 8
  • 14
  • 14
  • 16
  • 6
  • 21
  • 7
  • 10
  • 6
  • 7
  • 11
  • 5
  • 10
  • 5
  • 5
  • 8
  • 6
  • 5
  • 12
  • 5
  • 5
  • 9
  • 9
  • 7
  • 10
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 7
  • 5
  • 11
  • 13
  • 6
  • 9
  • 13
  • 9
  • 5
  • 7
  • 6
  • 8
  • 5
  • 19
  • 10
  • 5
  • 7
  • 13
  • 11
  • 6
  • 10
  • 11
  • 19
  • 8
  • 8
  • 7
  • 5
  • 8
  • 21
  • 5
  • 5
  • 6
  • 13
  • 10
  • 31
  • 13
  • 12
  • 6
  • 13
  • 5
  • 6
  • 5
  • 5
  • 5
  • 7
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 7
  • 10
  • 13
  • 8
  • 8
  • 6
  • 17
  • 6
  • 6
  • 5
  • 12
  • 6
  • 7
  • 6
  • 8
  • 7
  • 7
  • 10
  • 22
  • 13
  • 15
  • 7
  • 10
  • 5
  • 8
  • 12
  • 13
  • 5
  • 5
  • 11
  • 10
  • 7
  • 67
  • 6
  • 10
  • 5
  • 7
  • 14
  • 5
  • 5
  • 5
  • 7
  • 12
  • 5
  • 5
  • 6
  • 11
  • 6
  • 5
  • 10
  • 5
  • 13
  • 5
  • 9
  • 16
  • 5
  • 7
  • 5
  • 7
  • 8
  • 6
  • 12
  • 6
  • 14
  • 8
  • 19
  • 6
  • 16
  • 5
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 5
  • 11
  • 14
  • 5
  • 8
  • 6
  • 10
  • 43
  • 11
  • 24
  • 6
  • 11
  • 17
  • 7
  • 12
  • 7
  • 11
  • 11
  • 14
  • 10
  • 5
  • 5
  • 24
  • 8
  • 7
  • 13
  • 8
  • 41
  • 8
  • 13
  • 5
  • 6
  • 5
  • 6
  • 6
  • 11
  • 15
  • 5
  • 5
  • 5
  • 8
  • 11
  • 6
  • 8
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 5
  • 12
  • 10
  • 23
  • 7
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 10
  • 6
  • 23
  • 27
  • 6
  • 5
  • 8
  • 8
  • 5
  • 7
  • 7
  • 9
  • 25
  • 11
  • 6
  • 6
  • 7
  • 6
  • 5
  • 5
  • 5
  • 12
  • 5
  • 6
  • 5
  • 8
  • 7
  • 7
  • 10
  • 5
  • 5
  • 19
  • 5
  • 13
  • 8
  • 11
  • 9
  • 7
  • 12
  • 11
  • 35
  • 13
  • 10
  • 6
  • 8
  • 7
  • 14
  • 5
  • 14
  • 5
  • 6
  • 7
  • 10
  • 5
  • 9
  • 6
  • 5
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 7
  • 5
  • 6
  • 5
  • 6
  • 6
  • 7
  • 6
  • 5
  • 5
  • 9
  • 6
  • 5
  • 6
  • 11
  • 9
  • 13
  • 10
  • 5
  • 12
  • 6
  • 10
  • 7
  • 7
  • 5
  • 7
  • 6
  • 8
  • 11
  • 5
  • 5
  • 7
  • 9
  • 7
  • 16
  • 5
  • 8
  • 34
  • 8
  • 5
  • 13
  • 21
  • 21
  • 10
  • 12
  • 5
  • 16
  • 14
  • 15
  • 8
  • 7
  • 6
  • 12
  • 11
  • 13
  • 6
  • 5
  • 6
  • 8
  • 9
  • 8
  • 6
  • 10
  • 11
  • 10
  • 5
  • 7
  • 7
  • 8
  • 6
  • 5
  • 16
  • 6
  • 6
  • 7
  • 6
  • 8
  • 9
  • 9
  • 8
  • 13
  • 6
  • 7
  • 11
  • 11
  • 6
  • 9
  • 5
  • 9
  • 24
  • 15
  • 11
  • 6
  • 6
  • 5
  • 9
  • 10
  • 5
  • 6
  • 8
  • 7
  • 5
  • 7
  • 14
  • 6
  • 5
  • 5
  • 7
  • 5
  • 8
  • 7
  • 8
  • 14
  • 8
  • 9
  • 22
  • 11
  • 6
  • 8
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 23
  • 5
  • 9
  • 7
  • 10
  • 7
  • 6
  • 7
  • 5
  • 49
  • 6
  • 11
  • 6
  • 24
  • 6
  • 5
  • 9
  • 5
  • 15
  • 5
  • 12
  • 7
  • 16
  • 6
  • 10
  • 5
  • 5
  • 7
  • 15
  • 6
  • 16
  • 7
  • 5
  • 8
  • 12
  • 13
  • 5
  • 11
  • 15
  • 6
  • 8
  • 5
  • 6
  • 9
  • 5
  • 6
  • 10
  • 11
  • 7
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 14
  • 7
  • 16
  • 6
  • 12
  • 7
  • 47
  • 58
  • 12
  • 8
  • 6
  • 5
  • 7
  • 5
  • 9
  • 5
  • 5
  • 20
  • 10
  • 26
  • 9
  • 15
  • 9
  • 9
  • 16
  • 6
  • 5
  • 6
  • 11
  • 12
  • 6
  • 7
  • 5
  • 5
  • 9
  • 7
  • 5
  • 49
  • 8
  • 7
  • 6
  • 9
  • 7
  • 5
  • 6
  • 5
  • 9
  • 18
  • 5
  • 9
  • 5
  • 5
  • 16
  • 41
  • 13
  • 5
  • 6
  • 6
  • 6
  • 21
  • 15
  • 17
  • 7
  • 16
  • 12
  • 8
  • 6
  • 19
  • 8
  • 7
  • 7
  • 10
  • 7
  • 5
  • 5
  • 9
  • 6
  • 14
  • 7
  • 7
  • 7
  • 8
  • 5
  • 7
  • 13
  • 8
  • 8
  • 7
  • 18
  • 16
  • 10
  • 24
  • 9
  • 7
  • 23
  • 8
  • 8
  • 5
  • 6
  • 7
  • 7
  • 8
  • 5
  • 5
  • 6
  • 24
  • 6
  • 13
  • 7
  • 6
  • 6
  • 9
  • 16
  • 15
  • 7
  • 6
  • 19
  • 12
  • 9
  • 5
  • 7
  • 19
  • 7
  • 16
  • 7
  • 15
  • 6
  • 11
  • 7
  • 16
  • 8
  • 14
  • 8
  • 7
  • 12
  • 7
  • 6
  • 7
  • 8
  • 27
  • 11
  • 9
  • 8
  • 6
  • 7
  • 5
  • 6
  • 34
  • 6
Verlag
  • 1
  • 5
  • 139
  • 5
  • 9
  • 12
  • 1
  • 5
  • 6
  • 1
  • 1
  • 3
  • 1
  • 55
  • 13
  • 3365
  • 32
  • 7
  • 110
  • 23
  • 5
  • 10
  • 8
  • 316
  • 2
  • 60
  • 7
  • 6
  • 9
  • 1
  • 5
  • 4
  • 3
  • 4
  • 7
  • 383
  • 1
  • 1
  • 242
  • 3
  • 955
  • 2
  • 12
  • 1732
  • 2979
  • 1
  • 24
  • 1
  • 3
  • 1
  • 12
  • 1
  • 1
  • 97
  • 161
  • 2
  • 1
  • 2
  • 2
  • 1
  • 12
  • 1
  • 1
  • 60
  • 5
  • 4
  • 126
  • 88
  • 1
  • 1
  • 5
  • 45
  • 1
  • 1
  • 2
  • 1
  • 17
  • 1
  • 9
  • 3
  • 2
  • 6
  • 12
  • 12
  • 61
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 38
  • 1
  • 2
  • 8
  • 2
  • 1
  • 1
  • 1
  • 38
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 67
  • 129
  • 26
  • 4
  • 5
  • 4
  • 2
  • 29
  • 3
  • 2
  • 7
  • 16
  • 1
  • 10
  • 1
  • 111
  • 11
  • 2
  • 1
  • 1
  • 1
  • 85
  • 1
  • 1
  • 5
  • 1
  • 2
  • 5
  • 2
  • 1
  • 2
  • 1
  • 2
  • 24
  • 2
  • 2
  • 4
  • 4
  • 3
  • 11
  • 1
  • 1
  • 3
  • 12
  • 62
  • 2
  • 2
  • 4
  • 1
  • 32
  • 7
  • 1
  • 1
  • 5
  • 8
  • 3
  • 4
  • 2
  • 1
  • 3
  • 2
  • 21
  • 2
  • 2
  • 1
  • 1
  • 5
  • 20
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 8
  • 31
  • 162
  • 31
  • 3
  • 127
  • 2
  • 2
  • 2
  • 3
  • 1
  • 9
  • 1
  • 1
  • 1
  • 5
  • 2
  • 5
  • 1
  • 1
  • 4
  • 20
  • 3
  • 13396
  • 76
  • 29
  • 2
  • 7
  • 1
  • 1
  • 2
  • 12
  • 36
  • 28
  • 1
  • 44
  • 118
  • 1
  • 369
  • 215
  • 16
  • 12
  • 6
  • 62
  • 3
  • 1
  • 6
  • 5
  • 3
  • 4
  • 1
  • 1
  • 715
  • 1
  • 112
  • 465
  • 134
  • 1
  • 1
  • 27
  • 1
  • 19
  • 1
  • 1
  • 9
  • 2
  • 1
  • 1
  • 1
  • 14
  • 5
  • 1
  • 3
  • 304
  • 5
  • 17
  • 4
  • 1
  • 1
  • 459
  • 27
  • 25
  • 3
  • 2
  • 4
  • 68
  • 69
  • 4
  • 1
  • 15
  • 1
  • 8
Preis
  • 1041
  • 5747
  • 13004
  • 9905
Sprachen
  • 27300
  • 2400
  • 18
  • 9
  • 1
  • 1
  • 1
Verfügbarkeit
  • 28858
  • 839
Eigenschaften
  • 10
  • 7
Katalog
  • 29697
  • 3045
29.697  Titel
    Yonezawa / Ito | Concurrency: Theory, Language, and Architecture | Buch | Sack Fachmedien

    Yonezawa / Ito Concurrency: Theory, Language, and Architecture

    UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53932-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thayse | P-Functions and Boolean Matrix Factorization | Buch | Sack Fachmedien

    Thayse P-Functions and Boolean Matrix Factorization

    A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13358-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maheshwari | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Maheshwari Foundations of Software Technology and Theoretical Computer Science

    Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16042-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paredaens | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Paredaens Automata, Languages, and Programming

    11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-13345-2
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelenbe / Lent | Computer and Information Sciences III | Buch | Sack Fachmedien

    Gelenbe / Lent Computer and Information Sciences III

    27th International Symposium on Computer and Information Sciences
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-1-4471-6149-3
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robinet | International Symposium on Programming | Buch | Sack Fachmedien

    Robinet International Symposium on Programming

    Proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-09981-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gruska / Chytil | Mathematical Foundations of Computer Science 1981 | Buch | Sack Fachmedien

    Gruska / Chytil Mathematical Foundations of Computer Science 1981

    10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings
    1. Auflage 1981
    Verlag: Springer
    ISBN: 978-3-540-10856-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Navathe / Weldon | Data Base Design Techniques I | Buch | Sack Fachmedien

    Yao / Navathe / Weldon Data Base Design Techniques I

    Requirements and Logical Structures. NYU Symposium, New York, May 1978
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11214-3
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greibach | Theory of Program Structures | Buch | Sack Fachmedien

    Greibach Theory of Program Structures

    Schemes, Semantics, Verification
    1975
    Verlag: Springer
    ISBN: 978-3-540-07415-1
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coen-Porisini / Hoeck | Software Engineering and Middleware | Buch | Sack Fachmedien

    Coen-Porisini / Hoeck Software Engineering and Middleware

    Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-07549-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blaser | Data Base Techniques for Pictorial Application | Buch | Sack Fachmedien

    Blaser Data Base Techniques for Pictorial Application

    Florence, June 20-22, 1979
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-09763-1
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salton / Schneider | Research and Development in Information Retrieval | Buch | Sack Fachmedien

    Salton / Schneider Research and Development in Information Retrieval

    Proceedings, Berlin, May 18-20, 1982
    1. Auflage 1983
    Verlag: Springer
    ISBN: 978-3-540-11978-4
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kozen | Logics of Programs | Buch | Sack Fachmedien

    Clarke / Kozen Logics of Programs

    Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
    1. Auflage 1984
    Verlag: Springer
    ISBN: 978-3-540-12896-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones | Semantics-Directed Compiler Generation | Buch | Sack Fachmedien

    Jones Semantics-Directed Compiler Generation

    Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10250-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coquand / Dybjer / Nordström | Types for Proofs and Programs | Buch | Sack Fachmedien

    Coquand / Dybjer / Nordström Types for Proofs and Programs

    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taha | Semantics, Applications, and Implementation of Program Generation | Buch | Sack Fachmedien

    Taha Semantics, Applications, and Implementation of Program Generation

    International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41054-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leeuwen | Graph-Theoretic Concepts in Computer Science | Buch | Sack Fachmedien

    Leeuwen Graph-Theoretic Concepts in Computer Science

    International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50728-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maragria / Steffen | Leveraging Applications of Formal Methods | Buch | Sack Fachmedien

    Maragria / Steffen Leveraging Applications of Formal Methods

    First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48928-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barua / Lange | Progress in Cryptology - INDOCRYPT 2006 | Buch | Sack Fachmedien

    Barua / Lange Progress in Cryptology - INDOCRYPT 2006

    7th International Conference on Cryptology in India, Kolkata, India, December 11-13, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49767-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Legendi / Schendel | Proceedings / Parcella 1988 | Buch | Sack Fachmedien

    Wolf / Legendi / Schendel Proceedings / Parcella 1988

    Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50647-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Lorho / Maluszynski | Programming Languages Implementation and Logic Programming | Buch | Sack Fachmedien

    Deransart / Lorho / Maluszynski Programming Languages Implementation and Logic Programming

    International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-50820-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odijk / Rem / Syre | PARLE '89 - Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Odijk / Rem / Syre PARLE '89 - Parallel Architectures and Languages Europe

    Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51284-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boral / Faudemay | Database Machines | Buch | Sack Fachmedien

    Boral / Faudemay Database Machines

    Sixth International Workshop, IWDM '89, Deauville, France, June 19-21, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51324-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garavel / Hatcliff | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Garavel / Hatcliff Tools and Algorithms for the Construction and Analysis of Systems

    9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-00898-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherratt | Telecommunications and beyond: The Broader Applicability of SDL and MSC | Buch | Sack Fachmedien

    Sherratt Telecommunications and beyond: The Broader Applicability of SDL and MSC

    Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-00877-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiper / Shvartsman / Weatherspoon | Future Directions in Distributed Computing | Buch | Sack Fachmedien

    Schiper / Shvartsman / Weatherspoon Future Directions in Distributed Computing

    Research and Position Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00912-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan / Soule / Poli | Genetic Programming | Buch | Sack Fachmedien

    Ryan / Soule / Poli Genetic Programming

    6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00971-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bauer / Goos | Informatik 1 | Buch | Sack Fachmedien

    Bauer / Goos Informatik 1

    Eine einführende Übersicht
    4. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-52790-9
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Solis-Oba | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Jansen / Solis-Oba Approximation and Online Algorithms

    First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21079-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bistarelli | Semirings for Soft Constraint Solving and Programming | Buch | Sack Fachmedien

    Bistarelli Semirings for Soft Constraint Solving and Programming

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alt / Frommer / Kearfott | Numerical Software with Result Verification | Buch | Sack Fachmedien

    Alt / Frommer / Kearfott Numerical Software with Result Verification

    International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21260-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandya / Radhakrishnan | FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Pandya / Radhakrishnan FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

    23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20680-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Mosses | CASL User Manual | Buch | Sack Fachmedien

    Bidoit / Mosses CASL User Manual

    Introduction to Using the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20766-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Emde Boas / Pokorny / Bieliková | SOFSEM 2004: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Van Emde Boas / Pokorny / Bieliková SOFSEM 2004: Theory and Practice of Computer Science

    30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20779-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enser / Kompatsiaris / O'Connor | Image and Video Retrieval | Buch | Sack Fachmedien

    Enser / Kompatsiaris / O'Connor Image and Video Retrieval

    Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22539-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bousquet / Luxburg / Rätsch | Advanced Lectures on Machine Learning | Buch | Sack Fachmedien

    Bousquet / Luxburg / Rätsch Advanced Lectures on Machine Learning

    ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003, Tübingen, Germany, August 4-16, 2003, Revised Lectures
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23122-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Jiang | Medical Imaging and Augmented Reality | Buch | Sack Fachmedien

    Yang / Jiang Medical Imaging and Augmented Reality

    Second International Workshop, MIAR 2004, Beijing, China, August 19-20, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22877-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Botto-Tobar / Lema Moreta / Zambrano Vizuete | International Conference on Applied Technologies | Buch | Sack Fachmedien

    Botto-Tobar / Lema Moreta / Zambrano Vizuete International Conference on Applied Technologies

    7th International Conference on Applied Technologies, ICAT 2025, Samborondón, Ecuador, November 26-28, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22640-2
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Gacek / Romanovsky | Architecting Dependable Systems III | Buch | Sack Fachmedien

    Lemos / Gacek / Romanovsky Architecting Dependable Systems III

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manzoni | AI*IA 2005: Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Manzoni AI*IA 2005: Advances in Artificial Intelligence

    9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29041-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winkler / Lawrence / Niranjan | Deterministic and Statistical Methods in Machine Learning | Buch | Sack Fachmedien

    Winkler / Lawrence / Niranjan Deterministic and Statistical Methods in Machine Learning

    First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29073-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jain / Simon / Tomita | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Jain / Simon / Tomita Algorithmic Learning Theory

    16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29242-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Gregorio / Di Maio / Frucci | Brain, Vision, and Artificial Intelligence | Buch | Sack Fachmedien

    De Gregorio / Di Maio / Frucci Brain, Vision, and Artificial Intelligence

    First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29282-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diekert / Durand | STACS 2005 | Buch | Sack Fachmedien

    Diekert / Durand STACS 2005

    22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24998-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacquet / Picco | Coordination Models and Languages | Buch | Sack Fachmedien

    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
    Nikoletseas | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Nikoletseas Experimental and Efficient Algorithms

    4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25920-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi | Static Analysis | Buch | Sack Fachmedien

    Giacobazzi Static Analysis

    11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22791-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chin | Programming Languages and Systems | Buch | Sack Fachmedien

    Chin Programming Languages and Systems

    Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23724-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karmouch / Korba / Madeira | Mobility Aware Technologies and Applications | Buch | Sack Fachmedien

    Karmouch / Korba / Madeira Mobility Aware Technologies and Applications

    First International Workshop, MATA 2004, Florianopolis, Brazil, October 20-22, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23423-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odell / Giorgini / Müller | Agent-Oriented Software Engineering V | Buch | Sack Fachmedien

    Odell / Giorgini / Müller Agent-Oriented Software Engineering V

    5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24286-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stary / Stephanidis | User-Centered Interaction Paradigms for Universal Access in the Information Society | Buch | Sack Fachmedien

    Stary / Stephanidis User-Centered Interaction Paradigms for Universal Access in the Information Society

    8th ERCIM Workshop on User Interfaces for All, Vienna, Austria, June 28-29, 2004. Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23375-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Schulte / Barnett | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Davies / Schulte / Barnett Formal Methods and Software Engineering

    6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23841-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karsai / Visser | Generative Programming and Component Engineering | Buch | Sack Fachmedien

    Karsai / Visser Generative Programming and Component Engineering

    Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23580-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Martin | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Hu / Martin Formal Methods in Computer-Aided Design

    5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bourque / El' Mabrouk | Comparative Genomics | Buch | Sack Fachmedien

    Bourque / El' Mabrouk Comparative Genomics

    RECOMB 2006 International Workshop, RECOMB-CG 2006, Montreal, Canada, September 24-26, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-44529-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauterberg / Combetto | Entertainment Computing - ICEC 2006 | Buch | Sack Fachmedien

    Rauterberg / Combetto Entertainment Computing - ICEC 2006

    5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45259-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sichman / Coelho / Rezende | Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 | Buch | Sack Fachmedien

    Sichman / Coelho / Rezende Advances in Artificial Intelligence - IBERAMIA-SBIA 2006

    2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45462-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Jiao / Shi | Fuzzy Systems and Knowledge Discovery | Buch | Sack Fachmedien

    Wang / Jiao / Shi Fuzzy Systems and Knowledge Discovery

    Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45916-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    State / van der Meer / O'Sullivan | Large Scale Management of Distributed Systems | Buch | Sack Fachmedien

    State / van der Meer / O'Sullivan Large Scale Management of Distributed Systems

    17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47659-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Pettorossi Logic Based Program Synthesis and Transformation

    11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43915-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirchner / Ringeissen | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Kirchner / Ringeissen Algebraic Methodology and Software Technology

    9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44144-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gregori / Cherkasova / Cugola | Web Engineering and Peer-to-Peer Computing | Buch | Sack Fachmedien

    Gregori / Cherkasova / Cugola Web Engineering and Peer-to-Peer Computing

    NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44177-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Gool | Pattern Recognition | Buch | Sack Fachmedien

    Van Gool Pattern Recognition

    24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44209-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns | Interactive Markov Chains | Buch | Sack Fachmedien

    Hermanns Interactive Markov Chains

    The Quest for Quantified Quality
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44261-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mount / Stein | Algorithm Engineering and Experiments | Buch | Sack Fachmedien

    Mount / Stein Algorithm Engineering and Experiments

    4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43977-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ceccarelli / Trapp / Bondavalli | Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops | Buch | Sack Fachmedien

    Ceccarelli / Trapp / Bondavalli Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

    DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68737-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apostolico / Takeda | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Apostolico / Takeda Combinatorial Pattern Matching

    13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43862-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Lindsay | FME 2002: Formal Methods - Getting IT Right | Buch | Sack Fachmedien

    Eriksson / Lindsay FME 2002: Formal Methods - Getting IT Right

    International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43928-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dorigo / Di Caro / Sampels | Ant Algorithms | Buch | Sack Fachmedien

    Dorigo / Di Caro / Sampels Ant Algorithms

    Third International Workshop, ANTS 2002, Brussels, Belgium, September 12-14, 2002. Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-44146-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pinotti / Navarra / Bagchi | Algorithms for Sensor Systems | Buch | Sack Fachmedien

    Pinotti / Navarra / Bagchi Algorithms for Sensor Systems

    16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9-10, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-62400-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schepers | Software and Compilers for Embedded Systems | Buch | Sack Fachmedien

    Schepers Software and Compilers for Embedded Systems

    8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / Lin / Lu | Advanced Web Technologies and Applications | Buch | Sack Fachmedien

    Yu / Lin / Lu Advanced Web Technologies and Applications

    6th Asia-Pacific Web Conference, APWeb 2004, Hangzhou, China, April 14-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21371-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ryan / Meyer / Ehrich | Objects, Agents, and Features | Buch | Sack Fachmedien

    Ryan / Meyer / Ehrich Objects, Agents, and Features

    International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21989-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pajdla / Matas | Computer Vision - ECCV 2004 | Buch | Sack Fachmedien

    Pajdla / Matas Computer Vision - ECCV 2004

    8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part II
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21983-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hicks | Metainformatics | Buch | Sack Fachmedien

    Hicks Metainformatics

    International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22010-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oostrom | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Oostrom Rewriting Techniques and Applications

    15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22153-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lakhnech / Yovine | Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Lakhnech / Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

    Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23167-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yolum / Güngör / Gürgen | Computer and Information Sciences - ISCIS 2005 | Buch | Sack Fachmedien

    Yolum / Güngör / Gürgen Computer and Information Sciences - ISCIS 2005

    20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29414-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yi | Programming Languages and Systems | Buch | Sack Fachmedien

    Yi Programming Languages and Systems

    Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29735-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Sangiorgi | Trustworthy Global Computing | Buch | Sack Fachmedien

    De Nicola / Sangiorgi Trustworthy Global Computing

    International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30007-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bento / Cardoso / Dias | Progress in Artificial Intelligence | Buch | Sack Fachmedien

    Bento / Cardoso / Dias Progress in Artificial Intelligence

    12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30737-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pugh / Tseng | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Pugh / Tseng Languages and Compilers for Parallel Computing

    15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30781-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frintrop | VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search | Buch | Sack Fachmedien

    Frintrop VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32759-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vieira / Quaresma / Nunes | Computational Processing of the Portuguese Language | Buch | Sack Fachmedien

    Vieira / Quaresma / Nunes Computational Processing of the Portuguese Language

    7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34045-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rashid / Aksit | Transactions on Aspect-Oriented Software Development I | Buch | Sack Fachmedien

    Rashid / Aksit Transactions on Aspect-Oriented Software Development I

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32972-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tixeuil / Herman | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Tixeuil / Herman Self-Stabilizing Systems

    7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29814-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters | Transactions on Rough Sets IV | Buch | Sack Fachmedien

    Peters Transactions on Rough Sets IV

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29830-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farré / Litovsky / Schmitz | Implementation and Application of Automata | Buch | Sack Fachmedien

    Farré / Litovsky / Schmitz Implementation and Application of Automata

    10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31023-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rhee / Lee | Information Security and Cryptology - ICISC 2006 | Buch | Sack Fachmedien

    Rhee / Lee Information Security and Cryptology - ICISC 2006

    9th International Conference, Busan, Korea, November 30 - December 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49112-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arun-Kumar / Garg | FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Arun-Kumar / Garg FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science

    26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49994-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella | Recent Trends in Data Type Specification | Buch | Sack Fachmedien

    Sannella Recent Trends in Data Type Specification

    Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50325-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snepscheut | Mathematics of Program Construction | Buch | Sack Fachmedien

    Snepscheut Mathematics of Program Construction

    375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51305-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balcázar / Long / Stephan | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Balcázar / Long / Stephan Algorithmic Learning Theory

    17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46649-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gyssens / Paredaens / Van Gucht | ICDT '88 | Buch | Sack Fachmedien

    Gyssens / Paredaens / Van Gucht ICDT '88

    2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50171-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dierstein / Müller-Wichards / Wacker | Parallel Computing in Science and Engineering | Buch | Sack Fachmedien

    Dierstein / Müller-Wichards / Wacker Parallel Computing in Science and Engineering

    4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, FRG, June 25/26, 1987
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-18923-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning / Smaragdakis | Generative Programming and Component Engineering | Buch | Sack Fachmedien

    Pfenning / Smaragdakis Generative Programming and Component Engineering

    Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20102-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benson / Page | Algorithms in Bioinformatics | Buch | Sack Fachmedien

    Benson / Page Algorithms in Bioinformatics

    Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20076-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robinet | ESOP 86 | Buch | Sack Fachmedien

    Robinet ESOP 86

    European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16442-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klint | A Study in String Processing Languages | Buch | Sack Fachmedien

    Klint A Study in String Processing Languages

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16041-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernstrom / Kruzela / Svensson | LUCAS Associative Array Processor | Buch | Sack Fachmedien

    Fernstrom / Kruzela / Svensson LUCAS Associative Array Processor

    Design, Programming and Application Studies
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16445-6
    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