Ergebnisse filtern
Fachgebiet
Medium
  • 11364
  • 2657
Erscheinungsjahr
  • 67
  • 934
  • 1013
  • 1060
  • 785
  • 658
  • 398
  • 427
  • 434
  • 432
  • 397
  • 425
  • 434
  • 424
  • 453
  • 433
  • 393
  • 391
  • 258
  • 216
  • 275
  • 285
  • 229
  • 438
  • 522
  • 259
  • 254
  • 180
  • 179
  • 154
  • 140
  • 135
  • 120
  • 110
  • 95
  • 75
  • 88
  • 59
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 7
  • 6
  • 7
  • 11
  • 7
  • 11
  • 30
  • 13
  • 9
  • 6
  • 12
  • 6
  • 7
  • 21
  • 8
  • 22
  • 7
  • 9
  • 6
  • 9
  • 8
  • 15
  • 6
  • 42
  • 44
  • 55
  • 8
  • 7
  • 8
  • 6
  • 20
  • 25
  • 14
  • 7
  • 7
  • 58
  • 14
  • 7
  • 9
  • 8
  • 7
  • 15
  • 8
  • 49
  • 11
  • 8
  • 30
  • 11
  • 12
  • 11
  • 11
  • 6
  • 6
  • 14
  • 6
  • 7
  • 26
  • 10
  • 18
  • 14
  • 10
  • 10
  • 7
  • 33
  • 15
  • 13
  • 6
  • 48
  • 6
  • 9
  • 6
  • 26
  • 23
  • 10
  • 12
  • 11
  • 8
  • 11
  • 8
  • 9
  • 9
  • 22
  • 14
  • 8
  • 14
  • 11
  • 8
  • 15
  • 7
  • 6
  • 7
  • 10
  • 58
  • 25
  • 6
  • 6
  • 9
  • 6
  • 6
  • 7
  • 7
  • 6
  • 19
  • 13
  • 8
  • 7
  • 19
  • 10
  • 7
  • 18
  • 8
  • 7
  • 11
  • 31
  • 7
  • 18
  • 6
  • 10
  • 12
  • 6
  • 16
  • 6
  • 9
  • 6
  • 8
  • 8
  • 12
  • 8
  • 41
  • 19
  • 48
  • 13
  • 11
  • 23
  • 24
  • 19
  • 6
  • 53
  • 12
  • 45
  • 10
  • 17
  • 14
  • 6
  • 6
  • 8
  • 13
  • 6
  • 12
  • 14
  • 7
  • 16
  • 6
  • 6
  • 58
  • 8
  • 13
  • 14
  • 6
  • 17
  • 10
  • 7
  • 9
  • 9
  • 13
  • 16
  • 7
  • 7
  • 8
  • 20
  • 8
  • 8
  • 19
  • 8
  • 8
  • 11
  • 8
  • 7
  • 32
  • 30
  • 19
  • 34
  • 11
  • 9
  • 7
  • 11
  • 10
  • 9
  • 8
  • 8
  • 24
  • 14
  • 31
  • 7
  • 7
  • 6
  • 6
  • 6
  • 10
  • 7
  • 7
  • 12
  • 6
  • 8
  • 6
  • 6
  • 8
  • 7
  • 11
  • 20
  • 14
  • 6
  • 14
  • 11
  • 10
  • 51
  • 48
  • 11
  • 53
  • 15
  • 19
  • 6
  • 9
  • 8
  • 45
  • 17
  • 6
  • 6
  • 8
  • 12
  • 6
  • 7
  • 20
  • 6
  • 6
  • 15
  • 6
  • 10
  • 6
  • 12
  • 29
  • 19
  • 62
  • 94
  • 13
  • 7
  • 6
  • 21
  • 11
  • 13
  • 10
  • 8
  • 14
  • 22
  • 6
  • 11
  • 13
  • 7
  • 11
  • 11
  • 8
  • 6
  • 6
  • 7
  • 8
  • 6
  • 8
  • 27
  • 23
  • 10
  • 12
  • 7
  • 6
  • 17
  • 12
  • 6
  • 6
  • 17
  • 6
  • 23
  • 77
  • 49
  • 10
  • 7
  • 30
  • 12
  • 24
  • 35
  • 126
  • 8
  • 7
  • 16
  • 10
  • 8
  • 23
  • 15
  • 13
  • 7
  • 6
  • 25
  • 17
  • 6
  • 8
  • 16
  • 11
  • 7
  • 9
  • 24
  • 6
  • 8
  • 6
  • 8
  • 6
  • 6
  • 6
  • 7
  • 8
  • 17
  • 6
  • 57
  • 6
  • 6
  • 16
  • 6
  • 10
  • 6
  • 6
  • 10
  • 19
  • 9
  • 11
  • 7
  • 29
  • 58
  • 8
  • 9
  • 7
  • 13
  • 21
  • 7
  • 11
  • 6
  • 11
  • 7
  • 7
  • 10
  • 21
  • 20
  • 20
  • 9
  • 7
  • 6
  • 6
  • 11
  • 8
  • 119
  • 6
  • 6
  • 10
  • 9
  • 18
  • 8
  • 6
  • 11
  • 9
  • 8
  • 6
  • 10
  • 20
  • 7
  • 14
  • 7
  • 12
  • 7
  • 25
  • 10
  • 15
  • 11
  • 10
  • 7
  • 13
  • 26
  • 7
  • 20
  • 11
  • 6
  • 13
  • 15
  • 6
  • 6
  • 7
  • 14
  • 6
  • 9
  • 11
  • 6
  • 6
  • 17
  • 6
  • 7
  • 6
  • 10
  • 8
  • 6
  • 14
  • 7
  • 9
  • 18
  • 6
  • 21
  • 9
  • 7
  • 16
  • 7
  • 45
  • 12
  • 6
  • 11
  • 29
  • 6
  • 8
  • 6
  • 7
  • 22
  • 49
  • 7
  • 10
  • 8
  • 17
  • 20
  • 13
  • 44
  • 6
  • 9
  • 9
  • 10
  • 8
  • 6
  • 8
  • 21
  • 7
  • 9
  • 14
  • 7
  • 23
  • 46
  • 8
  • 26
  • 10
  • 8
  • 16
  • 9
  • 9
  • 6
  • 21
  • 8
  • 29
  • 7
  • 94
  • 6
  • 14
  • 34
  • 60
  • 6
  • 13
  • 6
  • 8
  • 6
  • 7
  • 9
  • 7
  • 10
  • 9
  • 6
  • 13
  • 6
  • 12
  • 8
  • 7
  • 8
  • 12
  • 7
  • 8
  • 8
  • 23
  • 7
  • 114
  • 18
  • 6
  • 9
  • 53
  • 8
  • 8
  • 16
  • 12
  • 15
  • 8
  • 7
  • 12
  • 22
  • 15
  • 13
  • 9
  • 6
  • 36
  • 6
  • 12
  • 11
  • 23
  • 7
  • 25
  • 8
  • 36
  • 10
  • 6
  • 11
  • 6
  • 95
  • 11
  • 25
  • 9
  • 7
  • 6
  • 16
  • 28
  • 10
  • 8
  • 10
  • 11
  • 6
  • 7
  • 10
  • 40
  • 11
  • 13
  • 7
  • 33
  • 7
  • 8
  • 18
  • 14
  • 8
  • 14
  • 6
  • 21
  • 19
  • 20
  • 20
  • 22
  • 9
  • 6
  • 6
  • 94
  • 13
  • 13
  • 7
  • 9
  • 34
  • 13
  • 10
  • 11
  • 6
  • 42
  • 40
  • 12
  • 10
  • 15
  • 12
  • 30
  • 10
  • 6
  • 7
  • 9
  • 8
  • 6
  • 8
  • 17
  • 6
  • 6
  • 14
  • 6
  • 29
  • 13
  • 7
  • 13
  • 13
  • 9
  • 12
  • 7
  • 11
  • 20
  • 6
  • 8
  • 7
  • 50
  • 8
  • 7
  • 16
  • 10
  • 6
  • 6
  • 8
  • 10
  • 7
  • 7
  • 9
  • 23
  • 7
  • 6
  • 6
  • 13
  • 14
  • 6
  • 6
  • 10
  • 10
  • 7
  • 117
  • 10
  • 6
  • 9
  • 14
  • 19
  • 10
  • 12
  • 7
  • 12
  • 13
  • 7
  • 58
  • 11
  • 22
  • 12
  • 6
  • 13
  • 6
  • 6
  • 6
  • 20
  • 6
  • 26
  • 30
  • 17
  • 6
  • 10
  • 12
  • 13
  • 7
  • 7
  • 7
  • 19
  • 6
  • 6
  • 7
  • 6
  • 14
  • 6
  • 8
  • 6
  • 9
  • 10
  • 57
  • 10
  • 6
  • 27
  • 9
  • 10
  • 49
  • 19
  • 6
  • 12
  • 10
  • 15
  • 24
  • 20
  • 22
  • 20
  • 8
  • 14
  • 7
  • 11
  • 32
  • 6
  • 12
  • 7
  • 7
  • 15
  • 9
  • 7
  • 8
  • 6
  • 26
  • 6
  • 12
  • 9
  • 19
  • 15
  • 6
  • 7
  • 7
  • 8
  • 14
  • 8
  • 15
  • 6
  • 7
  • 23
  • 6
  • 9
  • 7
  • 31
  • 9
  • 8
  • 8
  • 10
  • 6
  • 6
  • 47
  • 9
  • 10
  • 9
  • 6
  • 10
  • 7
  • 22
  • 12
  • 7
  • 6
  • 6
  • 9
  • 11
  • 10
  • 37
  • 6
  • 9
  • 14
  • 11
  • 6
  • 8
  • 43
  • 7
  • 11
  • 10
  • 12
  • 11
  • 7
  • 114
  • 7
  • 10
  • 8
  • 39
  • 22
  • 7
  • 8
  • 94
  • 7
  • 29
  • 15
  • 9
  • 7
  • 14
  • 17
  • 25
  • 23
  • 10
  • 10
  • 117
  • 52
  • 13
  • 12
  • 13
  • 8
  • 113
  • 23
  • 7
  • 23
  • 13
  • 7
  • 14
  • 8
  • 13
  • 18
  • 21
  • 7
  • 7
  • 8
  • 10
  • 7
  • 7
  • 14
  • 7
  • 7
  • 114
  • 8
  • 23
  • 10
  • 8
  • 98
  • 14
  • 23
  • 21
  • 7
  • 14
  • 13
  • 10
  • 14
  • 17
  • 14
  • 9
  • 22
  • 23
  • 11
  • 11
  • 7
  • 11
  • 14
  • 10
  • 19
  • 8
  • 35
  • 9
  • 8
  • 12
  • 9
  • 8
  • 17
  • 11
  • 7
  • 11
  • 10
  • 22
  • 10
  • 17
  • 28
  • 34
  • 7
  • 8
  • 8
  • 11
  • 25
  • 16
  • 7
  • 17
  • 10
  • 7
  • 44
  • 12
  • 9
  • 7
  • 19
  • 11
  • 56
  • 9
  • 68
  • 13
  • 15
  • 8
  • 13
  • 13
  • 8
  • 8
  • 14
  • 28
  • 7
  • 23
  • 12
  • 19
  • 25
  • 25
  • 8
  • 8
  • 12
  • 28
  • 15
  • 35
  • 79
  • 14
  • 22
  • 28
  • 9
  • 13
  • 27
  • 21
  • 20
  • 7
  • 10
  • 7
  • 7
  • 25
  • 12
  • 82
  • 7
  • 98
  • 31
  • 17
  • 8
  • 7
  • 18
  • 19
  • 10
  • 7
  • 13
  • 25
  • 8
  • 13
  • 7
  • 7
  • 18
  • 18
  • 7
  • 8
  • 11
  • 13
  • 8
  • 113
  • 13
  • 24
  • 9
  • 18
  • 9
  • 9
  • 7
  • 16
  • 13
  • 12
  • 10
  • 42
  • 13
  • 13
  • 15
  • 12
  • 31
  • 10
  • 11
  • 45
  • 9
  • 9
  • 18
  • 7
  • 19
  • 17
  • 13
  • 11
  • 9
  • 31
  • 18
  • 14
  • 9
  • 11
  • 12
  • 10
  • 14
  • 17
  • 10
  • 7
  • 23
  • 16
  • 7
  • 15
  • 11
  • 21
  • 32
  • 13
  • 15
  • 28
  • 7
  • 23
  • 11
  • 15
  • 11
  • 8
  • 23
  • 10
  • 8
  • 61
  • 8
  • 36
  • 8
  • 31
  • 8
  • 55
  • 49
  • 80
  • 54
  • 19
  • 8
  • 10
  • 7
  • 25
  • 39
  • 32
  • 25
  • 25
  • 12
  • 9
  • 9
  • 9
  • 13
  • 7
  • 22
Verlag
  • 7
  • 12103
  • 23
  • 1639
  • 1
  • 5
  • 49
  • 4
  • 144
  • 1
  • 1
  • 13
  • 31
Preis
  • 47
  • 519
  • 10904
  • 2551
Sprachen
  • 14013
  • 19
  • 15
Verfügbarkeit
  • 13697
  • 324
Eigenschaften
  • 48
Katalog
  • 14021
  • 606
14.021  Treffer  für „Lecture Notes in Computer Science“
    Sifakis | Automatic Verification Methods for Finite State Systems | Buch | Sack Fachmedien

    Sifakis Automatic Verification Methods for Finite State Systems

    International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52148-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seo / Kim | Information Security and Cryptology - ICISC 2023 | Buch | Sack Fachmedien

    Seo / Kim Information Security and Cryptology - ICISC 2023

    26th International Conference on Information Security and Cryptology, ICISC 2023, Seoul, South Korea, November 29 - December 1, 2023, Revised Selected Papers, Part I
    2024
    Verlag: Springer
    ISBN: 978-981-97-1234-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mendes / Yan | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Chen / Mendes / Yan Intelligent Robotics and Applications

    11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-97588-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richards / Kang | Knowledge Acquisition: Approaches, Algorithms and Applications | Buch | Sack Fachmedien

    Richards / Kang Knowledge Acquisition: Approaches, Algorithms and Applications

    Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, Hanoi, Vietnam, December 15-16, 2008, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01714-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    4th International Conference, LSSC 2003, Sozopol, Bulgaria, June 4-8, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21090-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cointe | Meta-Level Architectures and Reflection | Buch | Sack Fachmedien

    Cointe Meta-Level Architectures and Reflection

    Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tokuyama | Algorithms and Computation | Buch | Sack Fachmedien

    Tokuyama Algorithms and Computation

    18th International Symposium, ISAAC 2007, Sendai, Japan, December 17-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77118-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bang / Ragnemalm | Persuasive Technology: Design for Health and Safety | Buch | Sack Fachmedien

    Bang / Ragnemalm Persuasive Technology: Design for Health and Safety

    7th International Conference on Persuasive Technology, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31036-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Nicola / Hennicker | Software, Services, and Systems | eBook | Sack Fachmedien
    E-Book

    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
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15545-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Thomsen / Soeken | Reversible Computation | Buch | Sack Fachmedien

    Thomsen / Soeken Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-21499-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Sreejith | Logic and Its Applications | Buch | Sack Fachmedien

    Banerjee / Sreejith Logic and Its Applications

    10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-26688-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ordonez / Kotsis / Tjoa | Big Data Analytics and Knowledge Discovery | Buch | Sack Fachmedien

    Ordonez / Kotsis / Tjoa Big Data Analytics and Knowledge Discovery

    28th International Conference, DaWaK 2026, Graz, Austria, August 11-13, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-34895-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Afzal / Kochberger / Atli | Availability, Reliability and Security. ARES 2026 International Workshops | Buch | Sack Fachmedien

    Afzal / Kochberger / Atli Availability, Reliability and Security. ARES 2026 International Workshops

    ARES 2026 International Workshops, Linköping, Sweden, August 24-27, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-35578-2
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Tan / Peters | Brain Informatics and Health | Buch | Sack Fachmedien

    Slezak / Tan / Peters Brain Informatics and Health

    International Conference, BIH 2014, Warsaw, Poland, August 11-14, 2014.Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mazal | Modelling and Simulation for Autonomous Systems | Buch | Sack Fachmedien

    Mazal Modelling and Simulation for Autonomous Systems

    4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-76071-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yung / Zhu / Yang | Trusted Systems | Buch | Sack Fachmedien

    Yung / Zhu / Yang Trusted Systems

    6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27997-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Batina / Robshaw | Cryptographic Hardware and Embedded Systems -- CHES 2014 | Buch | Sack Fachmedien

    Batina / Robshaw Cryptographic Hardware and Embedded Systems -- CHES 2014

    16th International Workshop, Busan, South Korea, September 23-26, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44708-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Kern-Isberner | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Hartmann / Kern-Isberner Foundations of Information and Knowledge Systems

    5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77683-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Munson / Nicholas / Wood | Principles of Digital Document Processing | Buch | Sack Fachmedien

    Munson / Nicholas / Wood Principles of Digital Document Processing

    4th International Workshop, PODDP'98 Saint Malo, France, March 29-30, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65086-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marik / Strasser / Zoitl | Holonic and Multi-Agent Systems for Manufacturing | Buch | Sack Fachmedien

    Marik / Strasser / Zoitl Holonic and Multi-Agent Systems for Manufacturing

    4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03666-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Cai / Skums | Bioinformatics Research and Applications | Buch | Sack Fachmedien

    Zhang / Cai / Skums Bioinformatics Research and Applications

    14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94967-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Woodcock | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Dong / Woodcock Formal Methods and Software Engineering

    5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20461-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawson / Golic | Cryptography: Policy and Algorithms | Buch | Sack Fachmedien

    Dawson / Golic Cryptography: Policy and Algorithms

    International Conference Brisbane, Queensland, Australia, July 3-5, 1995. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-60759-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nunes Alonso / Palmieri | Distributed Applications and Interoperable Systems | Buch | Sack Fachmedien

    Nunes Alonso / Palmieri Distributed Applications and Interoperable Systems

    26th IFIP WG 6.1 International Conference, DAIS 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27357-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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