Ergebnisse filtern
Fachgebiet
Medium
  • 9460
  • 1056
  • 29
  • 13
Erscheinungsjahr
  • 3
  • 79
  • 600
  • 789
  • 634
  • 487
  • 430
  • 439
  • 424
  • 533
  • 317
  • 449
  • 300
  • 443
  • 399
  • 505
  • 246
  • 510
  • 231
  • 251
  • 260
  • 222
  • 263
  • 225
  • 223
  • 184
  • 162
  • 123
  • 109
  • 97
  • 80
  • 82
  • 72
  • 60
  • 68
  • 39
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 5
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 7
  • 5
  • 6
  • 10
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 23
  • 3
  • 12
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 10
  • 18
  • 4
  • 7
  • 17
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 20
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 6
  • 4
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 8
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 5
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 3
  • 5
  • 7
  • 3
  • 10
  • 6
  • 3
  • 3
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 7
  • 11
  • 4
  • 3
  • 16
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 3
  • 4
  • 6
  • 5
  • 5
  • 4
  • 18
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 19
  • 6
  • 11
  • 3
  • 7
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 7
  • 13
  • 4
  • 6
  • 6
  • 4
  • 6
  • 26
  • 6
  • 6
  • 10
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 6
  • 8
  • 9
  • 4
  • 3
  • 39
  • 4
  • 10
  • 3
  • 3
  • 7
  • 3
  • 13
  • 3
  • 5
  • 4
  • 5
  • 10
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 4
  • 3
  • 4
  • 5
  • 7
  • 14
  • 5
  • 3
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 4
  • 6
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 4
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 9
  • 5
  • 9
  • 9
  • 9
  • 5
  • 5
  • 4
  • 7
  • 5
  • 4
  • 4
  • 19
  • 5
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 5
  • 5
  • 5
  • 6
  • 6
  • 4
  • 4
  • 9
  • 4
  • 7
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 10
  • 4
  • 8
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 4
  • 11
  • 9
  • 4
  • 7
  • 61
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 18
  • 5
  • 6
  • 6
  • 12
  • 12
  • 17
  • 6
  • 16
  • 4
  • 6
  • 11
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 9
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 5
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 5
  • 7
  • 7
  • 4
  • 14
  • 7
  • 12
  • 11
  • 28
  • 9
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 17
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 5
  • 10
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 7
  • 7
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 20
  • 13
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 5
  • 7
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 16
  • 9
  • 5
  • 4
  • 4
  • 7
  • 16
  • 5
  • 4
  • 4
  • 4
  • 22
  • 5
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 5
  • 5
  • 5
  • 4
  • 8
  • 10
  • 5
  • 7
  • 5
  • 4
  • 4
  • 16
  • 6
  • 6
  • 35
  • 44
  • 12
  • 14
  • 9
  • 12
  • 27
  • 6
  • 8
  • 4
  • 9
  • 9
  • 17
  • 6
  • 4
  • 4
  • 5
  • 8
  • 12
  • 7
  • 42
  • 5
  • 4
  • 5
  • 5
  • 7
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 6
  • 34
  • 4
  • 7
  • 5
  • 8
  • 9
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 5
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 5
  • 10
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 12
  • 7
  • 4
  • 5
  • 6
  • 11
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 5
Verlag
  • 2
  • 3
  • 8
  • 4
  • 1
  • 3
  • 1
  • 51
  • 6
  • 437
  • 2
  • 12
  • 18
  • 3
  • 1
  • 7
  • 4
  • 281
  • 2
  • 1
  • 11
  • 4
  • 1
  • 3
  • 3
  • 3
  • 41
  • 1
  • 86
  • 214
  • 4
  • 484
  • 753
  • 15
  • 1
  • 4
  • 1
  • 52
  • 91
  • 1
  • 3
  • 2
  • 4
  • 52
  • 34
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 31
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 25
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 1
  • 8
  • 11
  • 2
  • 2
  • 3
  • 24
  • 2
  • 5
  • 1
  • 15
  • 2
  • 1
  • 12
  • 1
  • 5
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 3
  • 10
  • 1
  • 3
  • 14
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 15
  • 1
  • 5
  • 27
  • 22
  • 36
  • 1
  • 1
  • 1
  • 2
  • 15
  • 1
  • 5675
  • 169
  • 2
  • 236
  • 2
  • 2
  • 1
  • 39
  • 33
  • 56
  • 1
  • 84
  • 158
  • 12
  • 22
  • 1
  • 1
  • 1
  • 300
  • 34
  • 110
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 6
  • 1
  • 86
  • 1
  • 5
  • 2
  • 1
  • 198
  • 2
  • 12
  • 1
  • 1
  • 23
  • 40
  • 1
  • 1
  • 2
  • 2
Preis
  • 263
  • 1571
  • 5237
  • 3487
Sprachen
  • 9632
  • 936
  • 2
Verfügbarkeit
  • 10419
  • 139
Eigenschaften
  • 4
  • 4
Katalog
  • 10558
  • 1716
10.558  Titel
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

    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
    Pasareanu / Salaün | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Pasareanu / Salaün Formal Aspects of Component Software

    9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35860-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dennis / Boissier / Bordini | Programming Multi-Agents Systems | Buch | Sack Fachmedien

    Dennis / Boissier / Bordini Programming Multi-Agents Systems

    9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31914-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahlbrecht / Dix / Fiekas | The Multi-Agent Programming Contest 2022 | Buch | Sack Fachmedien

    Ahlbrecht / Dix / Fiekas The Multi-Agent Programming Contest 2022

    Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38711-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paul / Baumann / Lutsyk | System Architecture | Buch | Sack Fachmedien

    Paul / Baumann / Lutsyk System Architecture

    An Ordinary Engineering Discipline
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-82729-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hespanha / Tiwari | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Hespanha / Tiwari Hybrid Systems: Computation and Control

    9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33170-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dignum / Greaves | Issues in Agent Communication | Buch | Sack Fachmedien

    Dignum / Greaves Issues in Agent Communication

    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41144-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Gao | Advances in Multimodal Interfaces - ICMI 2000 | Buch | Sack Fachmedien

    Tan / Shi / Gao Advances in Multimodal Interfaces - ICMI 2000

    Third International Conference Beijing, China, October 14-16, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41180-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ajmone Marsan / Bianco | Quality of Service in Multiservice IP Networks | Buch | Sack Fachmedien

    Ajmone Marsan / Bianco Quality of Service in Multiservice IP Networks

    International Workshop, QoS-IP 2001, Rome, Italy, January 24-26, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41512-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloman / Lobo / Lupu | Policies for Distributed Systems and Networks | Buch | Sack Fachmedien

    Sloman / Lobo / Lupu Policies for Distributed Systems and Networks

    International Workshop, POLICY 2001 Bristol, UK, January 29-31, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41610-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sorevik / Manne / Moe | Applied Parallel Computing. New Paradigms for HPC in Industry and Academia | Buch | Sack Fachmedien

    Sorevik / Manne / Moe Applied Parallel Computing. New Paradigms for HPC in Industry and Academia

    5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41729-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2001: Meeting UML | Buch | Sack Fachmedien

    Reed SDL 2001: Meeting UML

    10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42281-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hertzberger / Hoekstra / Williams | High-Performance Computing and Networking | Buch | Sack Fachmedien

    Hertzberger / Hoekstra / Williams High-Performance Computing and Networking

    9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Dauchet | TAPSOFT'97: Theory and Practice of Software Development | Buch | Sack Fachmedien

    Bidoit / Dauchet TAPSOFT'97: Theory and Practice of Software Development

    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62781-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff | Ada 95 Reference Manual: Language and Standard Libraries | Buch | Sack Fachmedien

    Taft / Duff Ada 95 Reference Manual: Language and Standard Libraries

    International Standard ISO/IEC 8652:1995 (E)
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63144-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg | Computer Aided Verification | Buch | Sack Fachmedien

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63166-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gunter / Felty | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Gunter / Felty Theorem Proving in Higher Order Logics

    10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63379-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Static Analysis | Buch | Sack Fachmedien

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plasil / Jeffery | SOFSEM '97: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Plasil / Jeffery SOFSEM '97: Theory and Practice of Informatics

    24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63774-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring | Mathematics of Program Construction | Buch | Sack Fachmedien

    Jeuring Mathematics of Program Construction

    4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64591-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trigila / Mullery / Campolargo | Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services | Buch | Sack Fachmedien

    Trigila / Mullery / Campolargo Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services

    5th International Conference on Intelligence in Services and Networks, IS&N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64598-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belli / Radermacher | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

    Belli / Radermacher Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson | Fast Software Encryption | Buch | Sack Fachmedien

    Anderson Fast Software Encryption

    Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58108-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertino / Urban | Object-Oriented Methodologies and Systems | Buch | Sack Fachmedien

    Bertino / Urban Object-Oriented Methodologies and Systems

    International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58451-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