Ergebnisse filtern
Fachgebiet
Medium
  • 7822
Erscheinungsjahr
  • 210
  • 691
  • 715
  • 434
  • 296
  • 153
  • 171
  • 199
  • 184
  • 205
  • 208
  • 220
  • 187
  • 208
  • 207
  • 177
  • 173
  • 203
  • 167
  • 236
  • 219
  • 186
  • 277
  • 239
  • 210
  • 192
  • 132
  • 126
  • 99
  • 107
  • 103
  • 97
  • 88
  • 77
  • 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
  • 16
  • 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
  • 7
  • 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
  • 12
  • 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
  • 9
  • 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
  • 8
  • 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
  • 8
  • 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
  • 8
  • 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
  • 7774
  • 3
  • 5
  • 1
  • 1
  • 1
  • 3
  • 1
  • 31
Preis
  • 27
  • 239
  • 5898
  • 1658
Sprachen
  • 7817
  • 15
  • 12
Verfügbarkeit
  • 7814
  • 8
Eigenschaften
  • 6
Katalog
  • 7822
  • 332
7.822  Treffer  für „Lecture Notes in Computer Science“
    Fonseca / Gandibleux / Hao | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Gandibleux / Hao Evolutionary Multi-Criterion Optimization

    5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01019-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caltais / Schilling | Model Checking Software | Buch | Sack Fachmedien

    Caltais / Schilling Model Checking Software

    29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-32156-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Wooldridge | Agent-Oriented Software Engineering | Buch | Sack Fachmedien

    Ciancarini / Wooldridge Agent-Oriented Software Engineering

    First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41594-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández / Poskitt | Graph Transformation | Buch | Sack Fachmedien

    Fernández / Poskitt Graph Transformation

    16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-36708-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35701-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Renz / Shahabi / Zhou | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Renz / Shahabi / Zhou Database Systems for Advanced Applications

    20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part I
    2015
    Verlag: Springer
    ISBN: 978-3-319-18119-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Lin Combinatorial Optimization and Applications

    6th International Conference, COCOA 2012, Banff, AB, Canada, August 5-9, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31769-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Yung | Applied Cryptography and Network Security | Buch | Sack Fachmedien

    Zhou / Yung Applied Cryptography and Network Security

    8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13707-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Applebaum / Lin | Theory of Cryptography | Buch | Sack Fachmedien

    Applebaum / Lin Theory of Cryptography

    23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12292-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Huisman | Integrated Formal Methods | Buch | Sack Fachmedien

    Ábrahám / Huisman Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33692-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Ulidowski | CONCUR 2012- Concurrency Theory | Buch | Sack Fachmedien

    Koutny / Ulidowski CONCUR 2012- Concurrency Theory

    23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32939-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le Cadre / Hayel / Tuffin | Network Games, Artificial Intelligence, Control and Optimization | Buch | Sack Fachmedien

    Le Cadre / Hayel / Tuffin Network Games, Artificial Intelligence, Control and Optimization

    11th International Conference, NETGCOOP 2024, Lille, France, October 9-11, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78599-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eleftherakis / Hinchey / Holcombe | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Eleftherakis / Hinchey / Holcombe Software Engineering and Formal Methods

    10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33825-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masuzawa / Katayama / Kakugawa | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Masuzawa / Katayama / Kakugawa Stabilization, Safety, and Security of Distributed Systems

    26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74497-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cussens / Frisch | Inductive Logic Programming | Buch | Sack Fachmedien

    Cussens / Frisch Inductive Logic Programming

    10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67795-6
    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

    8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23733-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns / Segala | Process Algebra and Probabilistic Methods: Performance Modeling and Verification | Buch | Sack Fachmedien

    Hermanns / Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification

    Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43913-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aloni / Kimmelman / Roelofsen | Logic, Language and Meaning | Buch | Sack Fachmedien

    Aloni / Kimmelman / Roelofsen Logic, Language and Meaning

    18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31481-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    He / Zhang | Services Computing - SCC 2024 | Buch | Sack Fachmedien

    He / Zhang Services Computing - SCC 2024

    21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-76999-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marik / Müller / Pechoucek | Multi-Agent Systems and Applications III | Buch | Sack Fachmedien

    Marik / Müller / Pechoucek Multi-Agent Systems and Applications III

    3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40450-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Zhang | Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Buch | Sack Fachmedien

    Nielsen / Zhang Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40494-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaminka / Lima / Rojas | RoboCup 2002: Robot Soccer World Cup VI | Buch | Sack Fachmedien

    Kaminka / Lima / Rojas RoboCup 2002: Robot Soccer World Cup VI

    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40666-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dima / Shirmohammadi | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Dima / Shirmohammadi Formal Modeling and Analysis of Timed Systems

    19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-85036-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Abramsky Typed Lambda Calculi and Applications

    5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41960-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csöndes / Kovács / Réthy | SDL 2017: Model-Driven Engineering for Future Internet | Buch | Sack Fachmedien

    Csöndes / Kovács / Réthy SDL 2017: Model-Driven Engineering for Future Internet

    18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68014-9
    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