Ergebnisse filtern
Fachgebiet
Medium
  • 7851
Erscheinungsjahr
  • 243
  • 690
  • 727
  • 433
  • 293
  • 147
  • 195
  • 205
  • 191
  • 172
  • 227
  • 201
  • 196
  • 199
  • 195
  • 176
  • 179
  • 198
  • 164
  • 233
  • 213
  • 202
  • 277
  • 240
  • 205
  • 194
  • 125
  • 122
  • 106
  • 112
  • 110
  • 97
  • 91
  • 72
  • 57
  • 71
  • 41
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 3
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 5
  • 9
  • 3
  • 3
  • 10
  • 7
  • 8
  • 7
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 17
  • 21
  • 7
  • 5
  • 5
  • 4
  • 6
  • 8
  • 4
  • 4
  • 6
  • 6
  • 14
  • 23
  • 36
  • 6
  • 33
  • 4
  • 5
  • 4
  • 7
  • 4
  • 6
  • 10
  • 5
  • 15
  • 5
  • 11
  • 4
  • 39
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 5
  • 4
  • 6
  • 6
  • 4
  • 15
  • 6
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 8
  • 6
  • 11
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 9
  • 9
  • 5
  • 4
  • 5
  • 5
  • 5
  • 9
  • 10
  • 12
  • 6
  • 5
  • 6
  • 40
  • 4
  • 4
  • 4
  • 19
  • 8
  • 5
  • 5
  • 5
  • 8
  • 8
  • 4
  • 4
  • 4
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 9
  • 5
  • 4
  • 12
  • 14
  • 4
  • 4
  • 4
  • 6
  • 11
  • 4
  • 5
  • 39
  • 15
  • 8
  • 5
  • 7
  • 5
  • 9
  • 7
  • 4
  • 16
  • 5
  • 5
  • 10
  • 4
  • 4
  • 12
  • 6
  • 6
  • 8
  • 8
  • 4
  • 10
  • 4
  • 24
  • 5
  • 12
  • 5
  • 11
  • 5
  • 10
  • 4
  • 5
  • 9
  • 6
  • 5
  • 6
  • 5
  • 4
  • 4
  • 7
  • 6
  • 4
  • 34
  • 4
  • 5
  • 13
  • 41
  • 4
  • 12
  • 9
  • 6
  • 16
  • 4
  • 4
  • 5
  • 19
  • 4
  • 4
  • 36
  • 4
  • 4
  • 5
  • 9
  • 15
  • 7
  • 4
  • 4
  • 7
  • 12
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 5
  • 4
  • 4
  • 39
  • 4
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 14
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 5
  • 11
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 11
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 9
  • 15
  • 19
  • 5
  • 6
  • 9
  • 5
  • 5
  • 7
  • 6
  • 11
  • 9
  • 24
  • 6
  • 4
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 6
  • 6
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 8
  • 16
  • 11
  • 5
  • 5
  • 8
  • 39
  • 39
  • 5
  • 8
  • 23
  • 4
  • 9
  • 7
  • 14
  • 4
  • 4
  • 5
  • 25
  • 10
  • 6
  • 6
  • 5
  • 16
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 6
  • 6
  • 7
  • 4
  • 5
  • 27
  • 4
  • 12
  • 41
  • 8
  • 5
  • 4
  • 4
  • 14
  • 6
  • 7
  • 7
  • 6
  • 4
  • 5
  • 12
  • 17
  • 4
  • 6
  • 4
  • 4
  • 6
  • 6
  • 8
  • 5
  • 5
  • 5
  • 4
  • 15
  • 16
  • 4
  • 5
  • 4
  • 10
  • 5
  • 5
  • 4
  • 10
  • 6
  • 5
  • 4
  • 6
  • 5
  • 4
  • 4
  • 17
  • 37
  • 4
  • 4
  • 20
  • 7
  • 16
  • 22
  • 75
  • 11
  • 4
  • 5
  • 16
  • 4
  • 4
  • 4
  • 16
  • 5
  • 8
  • 4
  • 6
  • 13
  • 4
  • 4
  • 4
  • 4
  • 17
  • 4
  • 6
  • 6
  • 4
  • 5
  • 5
  • 17
  • 6
  • 4
  • 7
  • 19
  • 39
  • 4
  • 4
  • 17
  • 7
  • 4
  • 4
  • 9
  • 15
  • 7
  • 4
  • 68
  • 4
  • 5
  • 7
  • 6
  • 6
  • 6
  • 15
  • 4
  • 4
  • 14
  • 5
  • 10
  • 5
  • 19
  • 4
  • 8
  • 4
  • 6
  • 4
  • 13
  • 9
  • 4
  • 4
  • 13
  • 4
  • 13
  • 6
  • 10
  • 4
  • 8
  • 4
  • 5
  • 4
  • 15
  • 6
  • 4
  • 6
  • 7
  • 7
  • 5
  • 4
  • 8
  • 6
  • 24
  • 4
  • 5
  • 4
  • 8
  • 4
  • 8
  • 4
  • 13
  • 23
  • 4
  • 8
  • 15
  • 5
  • 5
  • 7
  • 29
  • 4
  • 4
  • 5
  • 4
  • 6
  • 4
  • 5
  • 9
  • 6
  • 12
  • 17
  • 18
  • 4
  • 8
  • 4
  • 7
  • 19
  • 15
  • 7
  • 4
  • 6
  • 25
  • 4
  • 15
  • 12
  • 41
  • 4
  • 5
  • 11
  • 6
  • 6
  • 12
  • 4
  • 4
  • 4
  • 6
  • 5
  • 4
  • 9
  • 7
  • 6
  • 14
  • 4
  • 83
  • 7
  • 12
  • 4
  • 16
  • 4
  • 4
  • 7
  • 7
  • 5
  • 4
  • 6
  • 12
  • 10
  • 4
  • 7
  • 5
  • 4
  • 4
  • 6
  • 6
  • 18
  • 20
  • 23
  • 4
  • 4
  • 4
  • 57
  • 10
  • 14
  • 6
  • 8
  • 10
  • 22
  • 5
  • 5
  • 6
  • 8
  • 4
  • 4
  • 4
  • 11
  • 7
  • 25
  • 6
  • 4
  • 11
  • 12
  • 13
  • 15
  • 14
  • 13
  • 11
  • 4
  • 19
  • 6
  • 11
  • 4
  • 6
  • 22
  • 5
  • 4
  • 35
  • 16
  • 6
  • 4
  • 8
  • 4
  • 5
  • 8
  • 18
  • 7
  • 4
  • 7
  • 6
  • 6
  • 6
  • 11
  • 6
  • 4
  • 6
  • 5
  • 4
  • 5
  • 4
  • 8
  • 15
  • 4
  • 7
  • 7
  • 5
  • 28
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 18
  • 4
  • 8
  • 7
  • 6
  • 4
  • 11
  • 4
  • 65
  • 4
  • 5
  • 7
  • 6
  • 6
  • 13
  • 45
  • 8
  • 5
  • 10
  • 7
  • 5
  • 5
  • 11
  • 4
  • 4
  • 4
  • 4
  • 11
  • 6
  • 6
  • 4
  • 5
  • 7
  • 7
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 6
  • 4
  • 20
  • 7
  • 6
  • 17
  • 6
  • 5
  • 13
  • 4
  • 5
  • 11
  • 15
  • 4
  • 12
  • 6
  • 4
  • 4
  • 22
  • 10
  • 13
  • 4
  • 4
  • 5
  • 4
  • 4
  • 15
  • 7
  • 4
  • 12
  • 9
  • 6
  • 9
  • 4
  • 6
  • 7
  • 24
  • 5
  • 6
  • 6
  • 8
  • 12
  • 4
  • 8
  • 6
  • 4
  • 6
  • 4
  • 6
  • 4
  • 7
  • 11
  • 27
  • 6
  • 13
  • 4
  • 5
  • 21
  • 6
  • 4
  • 8
  • 89
  • 4
  • 6
  • 4
  • 5
  • 13
  • 5
  • 8
  • 10
  • 8
  • 8
  • 7
  • 9
  • 5
  • 22
  • 7
  • 90
  • 4
  • 4
  • 41
  • 11
  • 8
  • 89
  • 22
  • 4
  • 14
  • 6
  • 5
  • 8
  • 12
  • 11
  • 8
  • 4
  • 4
  • 5
  • 7
  • 14
  • 89
  • 5
  • 20
  • 4
  • 6
  • 11
  • 4
  • 4
  • 11
  • 4
  • 18
  • 14
  • 10
  • 5
  • 4
  • 12
  • 4
  • 9
  • 4
  • 15
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 6
  • 12
  • 26
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 8
  • 12
  • 4
  • 12
  • 21
  • 26
  • 4
  • 5
  • 5
  • 4
  • 18
  • 9
  • 4
  • 12
  • 7
  • 4
  • 13
  • 10
  • 4
  • 4
  • 11
  • 9
  • 27
  • 41
  • 8
  • 8
  • 7
  • 5
  • 22
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 14
  • 23
  • 4
  • 6
  • 25
  • 10
  • 25
  • 53
  • 10
  • 8
  • 17
  • 4
  • 8
  • 6
  • 18
  • 15
  • 14
  • 4
  • 4
  • 6
  • 9
  • 31
  • 4
  • 24
  • 12
  • 6
  • 6
  • 12
  • 5
  • 4
  • 7
  • 12
  • 4
  • 17
  • 4
  • 7
  • 4
  • 15
  • 4
  • 4
  • 7
  • 4
  • 5
  • 10
  • 4
  • 89
  • 10
  • 14
  • 16
  • 4
  • 4
  • 10
  • 7
  • 4
  • 5
  • 5
  • 16
  • 5
  • 11
  • 5
  • 7
  • 13
  • 6
  • 21
  • 6
  • 4
  • 5
  • 4
  • 6
  • 5
  • 4
  • 17
  • 11
  • 5
  • 4
  • 8
  • 5
  • 5
  • 4
  • 4
  • 4
  • 21
  • 4
  • 9
  • 10
  • 6
  • 6
  • 6
  • 5
  • 7
  • 4
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 18
  • 7
  • 8
  • 4
  • 4
  • 4
  • 13
  • 6
  • 6
  • 4
  • 4
  • 27
  • 7
  • 4
  • 14
  • 4
  • 4
  • 15
  • 4
  • 8
  • 6
  • 7
  • 18
  • 7
  • 6
  • 16
  • 4
  • 10
  • 9
  • 6
  • 4
  • 5
  • 21
  • 4
  • 4
  • 43
  • 4
  • 14
  • 21
  • 15
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 32
  • 4
  • 7
  • 9
  • 23
  • 19
  • 4
  • 5
  • 5
  • 5
  • 10
  • 5
  • 4
  • 9
  • 7
  • 6
  • 4
  • 21
Verlag
  • 1
  • 7810
  • 3
  • 3
  • 3
  • 2
  • 1
  • 28
Preis
  • 27
  • 241
  • 5874
  • 1709
Sprachen
  • 7846
  • 15
  • 12
  • 1
Verfügbarkeit
  • 7844
  • 7
Eigenschaften
  • 8
Katalog
  • 7851
  • 344
7.851  Treffer  für „Lecture Notes in Computer Science“
    Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments

    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15056-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alvarez / Cleary / Daras | The Future Internet | Buch | Sack Fachmedien

    Alvarez / Cleary / Daras The Future Internet

    Future Internet Assembly 2012: From Promises to Reality
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30240-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Takeda / Jiménez-Ruiz / Tzitzikas | Knowledge Graphs | Buch | Sack Fachmedien

    Takeda / Jiménez-Ruiz / Tzitzikas Knowledge Graphs

    14th International Joint Conference, IJCKG 2025, Heraklion, Crete, Greece, October 15-17, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-955008-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baras / Katz / Altman | Decision and Game Theory for Security | Buch | Sack Fachmedien

    Baras / Katz / Altman Decision and Game Theory for Security

    Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25279-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    D´Mello / Graesser / Schuller | Affective Computing and Intelligent Interaction | Buch | Sack Fachmedien

    D´Mello / Graesser / Schuller Affective Computing and Intelligent Interaction

    Fourth International Conference, ACII 2011, Memphis,TN, USA, October 9-12, 2011; Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24570-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stajano / Kim / Chae | Ubiquitous Convergence Technology | Buch | Sack Fachmedien

    Stajano / Kim / Chae Ubiquitous Convergence Technology

    First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71788-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Treinen | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Treinen Rewriting Techniques and Applications

    20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02347-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hazas / Krumm / Strang | Location- and Context-Awareness | Buch | Sack Fachmedien

    Hazas / Krumm / Strang Location- and Context-Awareness

    Second International Workshop, LoCA 2006, Dublin, Ireland, May 10-11, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34150-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersen / Debenham / Wagner | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Andersen / Debenham / Wagner Database and Expert Systems Applications

    16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28566-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Hermanns | CONCUR 2006 - Concurrency Theory | Buch | Sack Fachmedien

    Baier / Hermanns CONCUR 2006 - Concurrency Theory

    17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37376-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kollias / Stafylopatis / Duch | Artificial Neural Networks - ICANN 2006 | Buch | Sack Fachmedien

    Kollias / Stafylopatis / Duch Artificial Neural Networks - ICANN 2006

    16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38871-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Datta / Herman | Self-Stabilizing Systems | Buch | Sack Fachmedien

    Datta / Herman Self-Stabilizing Systems

    5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42653-0
    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
    Kohlhase | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Kohlhase Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31430-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luo | Cooperative Design, Visualization, and Engineering | Buch | Sack Fachmedien

    Luo Cooperative Design, Visualization, and Engineering

    16th International Conference, CDVE 2019, Mallorca, Spain, October 6-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30948-0
    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
    Ferreira / Willemse | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Ferreira / Willemse Software Engineering and Formal Methods

    21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47114-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madeira / Knapp | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Madeira / Knapp Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77381-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Zhang | Search-Based Software Engineering | Buch | Sack Fachmedien

    Wagner / Zhang Search-Based Software Engineering

    17th International Symposium, SSBSE 2025, Seoul, South Korea, November 16, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-24838-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katsikas / Shafiq | Data and Applications Security and Privacy XXXIX | Buch | Sack Fachmedien

    Katsikas / Shafiq Data and Applications Security and Privacy XXXIX

    39th IFIP WG 11.3 Annual Conference on Data and Applications Security and Privacy, DBSec 2025, Gjøvik, Norway, June 23-24, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-96589-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Battiti / Brunato / Kotsireas | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Battiti / Brunato / Kotsireas Learning and Intelligent Optimization

    12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-05347-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Badger / Rozier NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-20651-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bianculli / Gómez-Martínez | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Bianculli / Gómez-Martínez Software Engineering and Formal Methods

    23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10443-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Lorenz | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Gomes / Lorenz Application and Theory of Petri Nets and Concurrency

    44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33619-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03423-8
    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