Ergebnisse filtern
Fachgebiet
Medium
  • 7824
Erscheinungsjahr
  • 209
  • 692
  • 715
  • 434
  • 296
  • 155
  • 170
  • 199
  • 184
  • 205
  • 209
  • 220
  • 188
  • 208
  • 207
  • 177
  • 173
  • 203
  • 167
  • 236
  • 219
  • 186
  • 277
  • 239
  • 210
  • 192
  • 132
  • 126
  • 99
  • 107
  • 103
  • 97
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 4
  • 5
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 6
  • 10
  • 8
  • 6
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 20
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 4
  • 14
  • 25
  • 36
  • 6
  • 27
  • 7
  • 4
  • 4
  • 6
  • 7
  • 11
  • 16
  • 4
  • 4
  • 11
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 16
  • 4
  • 4
  • 5
  • 7
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 8
  • 7
  • 5
  • 5
  • 4
  • 4
  • 17
  • 4
  • 6
  • 7
  • 10
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 4
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 8
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 10
  • 4
  • 4
  • 15
  • 14
  • 6
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 7
  • 8
  • 10
  • 4
  • 4
  • 8
  • 8
  • 6
  • 11
  • 6
  • 4
  • 7
  • 4
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 5
  • 11
  • 41
  • 4
  • 12
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 20
  • 38
  • 5
  • 4
  • 5
  • 9
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 8
  • 4
  • 6
  • 7
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 10
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 34
  • 38
  • 4
  • 9
  • 23
  • 7
  • 8
  • 15
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 4
  • 6
  • 27
  • 4
  • 4
  • 13
  • 46
  • 8
  • 4
  • 15
  • 7
  • 6
  • 6
  • 4
  • 6
  • 15
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 9
  • 5
  • 5
  • 11
  • 15
  • 35
  • 5
  • 7
  • 19
  • 7
  • 17
  • 21
  • 67
  • 11
  • 4
  • 15
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 5
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 22
  • 4
  • 6
  • 7
  • 16
  • 7
  • 4
  • 7
  • 19
  • 39
  • 7
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 7
  • 6
  • 4
  • 4
  • 68
  • 4
  • 5
  • 10
  • 4
  • 6
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 18
  • 5
  • 8
  • 6
  • 4
  • 4
  • 16
  • 4
  • 7
  • 4
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 8
  • 9
  • 4
  • 5
  • 4
  • 5
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 8
  • 14
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 5
  • 29
  • 4
  • 6
  • 9
  • 9
  • 4
  • 5
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 10
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 36
  • 4
  • 7
  • 5
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 5
  • 6
  • 4
  • 7
  • 7
  • 14
  • 4
  • 90
  • 12
  • 16
  • 4
  • 4
  • 10
  • 6
  • 4
  • 13
  • 12
  • 4
  • 5
  • 4
  • 5
  • 18
  • 20
  • 24
  • 6
  • 4
  • 62
  • 4
  • 19
  • 6
  • 9
  • 4
  • 12
  • 20
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 15
  • 12
  • 6
  • 18
  • 5
  • 11
  • 4
  • 6
  • 7
  • 4
  • 6
  • 19
  • 5
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 6
  • 7
  • 6
  • 4
  • 11
  • 4
  • 6
  • 4
  • 4
  • 7
  • 8
  • 8
  • 13
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 4
  • 5
  • 6
  • 11
  • 39
  • 11
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 19
  • 5
  • 6
  • 18
  • 6
  • 4
  • 4
  • 13
  • 7
  • 13
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 11
  • 7
  • 11
  • 5
  • 4
  • 4
  • 8
  • 24
  • 9
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 5
  • 8
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 9
  • 24
  • 6
  • 12
  • 4
  • 5
  • 19
  • 4
  • 4
  • 5
  • 91
  • 5
  • 6
  • 5
  • 6
  • 9
  • 10
  • 8
  • 8
  • 4
  • 7
  • 4
  • 5
  • 19
  • 8
  • 4
  • 91
  • 4
  • 39
  • 11
  • 11
  • 5
  • 89
  • 22
  • 14
  • 7
  • 4
  • 9
  • 11
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 7
  • 89
  • 4
  • 5
  • 15
  • 20
  • 4
  • 10
  • 12
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 4
  • 10
  • 15
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 5
  • 9
  • 11
  • 34
  • 8
  • 4
  • 6
  • 6
  • 7
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 5
  • 5
  • 7
  • 5
  • 29
  • 34
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 4
  • 8
  • 4
  • 14
  • 24
  • 20
  • 9
  • 13
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 12
  • 11
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 7
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 7
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 4
  • 4
  • 14
  • 6
  • 4
  • 4
  • 25
  • 5
  • 11
  • 4
  • 5
  • 13
  • 4
  • 5
  • 21
  • 6
  • 5
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 26
  • 7
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 10
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 6
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 18
  • 4
  • 11
  • 4
  • 5
  • 4
  • 5
  • 5
  • 19
  • 4
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 19
  • 4
  • 6
  • 5
  • 10
  • 4
  • 6
  • 6
  • 4
  • 21
Verlag
  • 2
  • 7775
  • 3
  • 5
  • 1
  • 1
  • 2
  • 3
  • 1
  • 31
Preis
  • 27
  • 238
  • 5900
  • 1659
Sprachen
  • 7819
  • 15
  • 12
Verfügbarkeit
  • 7816
  • 8
Eigenschaften
  • 4
Katalog
  • 7824
  • 332
7.824  Treffer  für „Lecture Notes in Computer Science“
    Liò / Yoneki / Crowcroft | Bio-Inspired Computing and Communication | Buch | Sack Fachmedien

    Liò / Yoneki / Crowcroft Bio-Inspired Computing and Communication

    First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92190-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bae | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Bae Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12440-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bansal / Finocchi | Algorithms - ESA 2015 | Buch | Sack Fachmedien

    Bansal / Finocchi Algorithms - ESA 2015

    23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48349-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Coppo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Coppo Types for Proofs and Programs

    International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61780-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Vardi | Database Theory - ICDT '95 | Buch | Sack Fachmedien

    Gottlob / Vardi Database Theory - ICDT '95

    5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58907-5
    Medium: Buch
    53,49 € (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
    Levi / Rodriguez-Artalejo | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Levi / Rodriguez-Artalejo Algebraic and Logic Programming

    4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58431-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Conti / Ruberti | Fifth Conference on Optimization Techniques. Rome 1973 | Buch | Sack Fachmedien

    Conti / Ruberti Fifth Conference on Optimization Techniques. Rome 1973

    Part 1
    1. Auflage 1973
    Verlag: Springer
    ISBN: 978-3-540-06583-8
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kochetov / Khachay / Beresnev | Discrete Optimization and Operations Research | Buch | Sack Fachmedien

    Kochetov / Khachay / Beresnev Discrete Optimization and Operations Research

    9th International Conference, DOOR 2016, Vladivostok, Russia, September 19-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-44913-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferrara / Krishnan | Data and Applications Security and Privacy XXXVIII | Buch | Sack Fachmedien

    Ferrara / Krishnan Data and Applications Security and Privacy XXXVIII

    38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65171-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esparza / Fraigniaud / Husfeldt | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Esparza / Fraigniaud / Husfeldt Automata, Languages, and Programming

    41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43950-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palinko / Jiang / Bodenhagen | Social Robotics | Buch | Sack Fachmedien

    Palinko / Jiang / Bodenhagen Social Robotics

    16th International Conference, ICSR + AI 2024, Odense, Denmark, October 23-26, 2024, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-963524-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jhala / Igarashi | Programming Languages and Systems | Buch | Sack Fachmedien

    Jhala / Igarashi Programming Languages and Systems

    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Hong / Lin | Chinese Lexical Semantics | Buch | Sack Fachmedien

    Dong / Hong / Lin Chinese Lexical Semantics

    24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-0585-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsche / Weber | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Kutsche / Weber Fundamental Approaches to Software Engineering

    5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43353-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Del Bimbo / Cucchiara / Sclaroff | Pattern Recognition. ICPR International Workshops and Challenges | Buch | Sack Fachmedien

    Del Bimbo / Cucchiara / Sclaroff Pattern Recognition. ICPR International Workshops and Challenges

    Virtual Event, January 10-15, 2021, Proceedings, Part V
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68820-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghaffari / Nesterenko / Tixeuil | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Ghaffari / Nesterenko / Tixeuil Stabilization, Safety, and Security of Distributed Systems

    21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34991-2
    Medium: Buch
    53,49 € (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
    de Boer / Damiani / Hähnle | Active Object Languages: Current Research Trends | Buch | Sack Fachmedien

    de Boer / Damiani / Hähnle Active Object Languages: Current Research Trends

    2024
    Verlag: Springer
    ISBN: 978-3-031-51059-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knoop / Karl / Schulz | Architecture of Computing Systems - ARCS 2017 | Buch | Sack Fachmedien

    Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017

    30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54998-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gedeon / Wong / Lee | Neural Information Processing | Buch | Sack Fachmedien

    Gedeon / Wong / Lee Neural Information Processing

    26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-36717-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cornuejols / Burkard / Woeginger | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Cornuejols / Burkard / Woeginger Integer Programming and Combinatorial Optimization

    7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66019-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Cleaveland | Tools and Algorithms for the Construction of Analysis of Systems | Buch | Sack Fachmedien

    Cleaveland Tools and Algorithms for the Construction of Analysis of Systems

    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rozier / Pradella | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-3-031-71176-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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