Ergebnisse filtern
Fachgebiet
Medium
  • 9669
  • 1629
  • 29
  • 12
Erscheinungsjahr
  • 9
  • 285
  • 1149
  • 1228
  • 570
  • 418
  • 352
  • 389
  • 369
  • 425
  • 321
  • 433
  • 296
  • 442
  • 408
  • 513
  • 250
  • 517
  • 238
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 119
  • 107
  • 98
  • 84
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 9
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 17
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 16
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 29
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 7
  • 10
  • 7
  • 12
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 4
  • 8
  • 7
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 13
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 4
  • 4
  • 4
  • 40
  • 49
  • 12
  • 4
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 13
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 51
  • 7
  • 464
  • 3
  • 2
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 22
  • 2
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 91
  • 219
  • 4
  • 505
  • 1320
  • 15
  • 1
  • 1
  • 1
  • 56
  • 102
  • 1
  • 3
  • 1
  • 2
  • 35
  • 4
  • 2
  • 57
  • 29
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 17
  • 51
  • 4
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 24
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 3
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6156
  • 45
  • 27
  • 1
  • 1
  • 1
  • 7
  • 8
  • 4
  • 1
  • 41
  • 1
  • 126
  • 104
  • 5
  • 22
  • 1
  • 292
  • 37
  • 143
  • 2
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 165
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 428
  • 1976
  • 5362
  • 3573
Sprachen
  • 10403
  • 947
  • 2
Verfügbarkeit
  • 11188
  • 151
Eigenschaften
  • 9
  • 4
Katalog
  • 11339
  • 1769
11.339  Titel
    Challa / Aujla / Mathew | Artificial Intelligence of Things | Buch | Sack Fachmedien

    Challa / Aujla / Mathew Artificial Intelligence of Things

    First International Conference, ICAIoT 2023, Chandigarh, India, March 30-31, 2023, Revised Selected Papers, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-48773-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bernardo / Damiani / Haehnle | Formal Methods for Executable Software Models | Buch | Sack Fachmedien

    Bernardo / Damiani / Haehnle Formal Methods for Executable Software Models

    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07316-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bucchiarone / Dragoni / Dustdar | Microservices | Buch | Sack Fachmedien

    Bucchiarone / Dragoni / Dustdar Microservices

    Science and Engineering
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-31648-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Schloer / Ungerer / Bauer | Organic and Pervasive Computing -- ARCS 2004 | Buch | Sack Fachmedien

    Müller-Schloer / Ungerer / Bauer Organic and Pervasive Computing -- ARCS 2004

    International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21238-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Möller | Mathematics of Program Construction | Buch | Sack Fachmedien

    Möller Mathematics of Program Construction

    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60117-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tveito / Bruaset / Lysne | Simula Research Laboratory | Buch | Sack Fachmedien

    Tveito / Bruaset / Lysne Simula Research Laboratory

    by Thinking Constantly about it
    2010
    Verlag: Springer
    ISBN: 978-3-642-42462-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Deelman / Dongarra | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Deelman / Dongarra Parallel Processing and Applied Mathematics

    13th International Conference, PPAM 2019, Bialystok, Poland, September 8-11, 2019, Revised Selected Papers, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43228-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bieliková / Charon-Bost / Sýkora | SOFSEM 2005: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Bieliková / Charon-Bost / Sýkora SOFSEM 2005: Theory and Practice of Computer Science

    31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68862-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Herrlich / Kreowski | Categorical Methods in Computer Science | Buch | Sack Fachmedien

    Ehrig / Herrlich / Kreowski Categorical Methods in Computer Science

    With Aspects from Topology
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51722-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quesada-Arencibia / Affenzeller / Moreno-Díaz | Computer Aided Systems Theory - EUROCAST 2024 | Buch | Sack Fachmedien

    Quesada-Arencibia / Affenzeller / Moreno-Díaz Computer Aided Systems Theory - EUROCAST 2024

    19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-83887-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lalanda / McCann / Diaconescu | Autonomic Computing | Buch | Sack Fachmedien

    Lalanda / McCann / Diaconescu Autonomic Computing

    Principles, Design and Implementation
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-1-4471-5006-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng / Gu / Pan | Software Defined Systems | Buch | Sack Fachmedien

    Zeng / Gu / Pan Software Defined Systems

    Sensing, Communication and Computation
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-32941-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buth / Rabe / Seyfarth | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Buth / Rabe / Seyfarth Computer Safety, Reliability, and Security

    28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04467-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannakopoulou / Orejas | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Giannakopoulou / Orejas Fundamental Approaches to Software Engineering

    14th International Conference, FASE 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-19810-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Jähnichen / Xu | Advanced Parallel Processing Technologies | Buch | Sack Fachmedien

    Zhou / Jähnichen / Xu Advanced Parallel Processing Technologies

    5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20054-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Ravara | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Huisman / Ravara Formal Techniques for Distributed Objects, Components, and Systems

    43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35354-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pedrycz / Succi / Sillitti | Computational Intelligence and Quantitative Software Engineering | Buch | Sack Fachmedien

    Pedrycz / Succi / Sillitti Computational Intelligence and Quantitative Software Engineering

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-25962-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Pihlajasaari / Sun | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Hennicker | Software, Services, and Systems | Buch | Sack Fachmedien

    De Nicola / Hennicker Software, Services, and Systems

    Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
    2015
    Verlag: Springer
    ISBN: 978-3-319-15544-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Hutter / Stephan Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    Erscheinungsjahr 2005
    Verlag: Springer
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fritzson | Compiler Construction | Buch | Sack Fachmedien

    Fritzson Compiler Construction

    5th International Conference, CC '94, Edinburgh, U.K., April 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg / Veith | 25 Years of Model Checking | Buch | Sack Fachmedien

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bader / Bungartz / Weinzierl | Advanced Computing | Buch | Sack Fachmedien

    Bader / Bungartz / Weinzierl Advanced Computing

    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-662-51372-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Verification: Theory and Practice | Buch | Sack Fachmedien

    Dershowitz Verification: Theory and Practice

    Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
    2003
    Verlag: Springer
    ISBN: 978-3-540-21002-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular