Ergebnisse filtern
Fachgebiet
Medium
  • 10680
  • 2647
Erscheinungsjahr
  • 231
  • 1017
  • 1043
  • 800
  • 627
  • 390
  • 408
  • 439
  • 418
  • 430
  • 420
  • 435
  • 421
  • 431
  • 448
  • 390
  • 386
  • 271
  • 247
  • 278
  • 292
  • 228
  • 477
  • 582
  • 263
  • 253
  • 179
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 6
  • 7
  • 10
  • 6
  • 13
  • 12
  • 9
  • 6
  • 5
  • 5
  • 9
  • 12
  • 11
  • 5
  • 20
  • 21
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 13
  • 6
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 20
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 10
  • 6
  • 19
  • 7
  • 5
  • 8
  • 7
  • 5
  • 9
  • 5
  • 7
  • 6
  • 5
  • 7
  • 10
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 13
  • 7
  • 57
  • 5
  • 18
  • 13
  • 7
  • 12
  • 12
  • 9
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 7
  • 5
  • 11
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 18
  • 7
  • 8
  • 5
  • 5
  • 46
  • 14
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 9
  • 15
  • 13
  • 7
  • 7
  • 5
  • 16
  • 11
  • 9
  • 25
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 8
  • 13
  • 5
  • 5
  • 5
  • 7
  • 8
  • 49
  • 12
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 29
  • 9
  • 49
  • 11
  • 15
  • 12
  • 9
  • 11
  • 8
  • 17
  • 6
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 12
  • 9
  • 16
  • 6
  • 6
  • 10
  • 7
  • 17
  • 12
  • 7
  • 7
  • 7
  • 8
  • 21
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 8
  • 17
  • 25
  • 8
  • 8
  • 6
  • 7
  • 9
  • 17
  • 25
  • 11
  • 9
  • 6
  • 11
  • 7
  • 7
  • 7
  • 9
  • 6
  • 11
  • 6
  • 19
  • 12
  • 7
  • 10
  • 12
  • 9
  • 52
  • 47
  • 7
  • 30
  • 6
  • 9
  • 21
  • 11
  • 28
  • 17
  • 7
  • 7
  • 8
  • 13
  • 8
  • 22
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 33
  • 7
  • 18
  • 54
  • 14
  • 8
  • 7
  • 18
  • 10
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 13
  • 12
  • 6
  • 12
  • 11
  • 12
  • 13
  • 17
  • 71
  • 41
  • 8
  • 31
  • 12
  • 22
  • 34
  • 6
  • 113
  • 8
  • 14
  • 10
  • 8
  • 21
  • 10
  • 8
  • 23
  • 16
  • 9
  • 11
  • 8
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 16
  • 7
  • 53
  • 6
  • 13
  • 10
  • 13
  • 24
  • 12
  • 9
  • 10
  • 25
  • 46
  • 11
  • 8
  • 12
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 9
  • 6
  • 6
  • 9
  • 12
  • 7
  • 90
  • 8
  • 14
  • 15
  • 8
  • 10
  • 8
  • 6
  • 19
  • 7
  • 11
  • 7
  • 10
  • 9
  • 24
  • 7
  • 8
  • 14
  • 10
  • 6
  • 6
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 10
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 8
  • 7
  • 9
  • 12
  • 12
  • 16
  • 6
  • 10
  • 10
  • 9
  • 8
  • 6
  • 6
  • 40
  • 8
  • 10
  • 13
  • 6
  • 9
  • 10
  • 31
  • 8
  • 10
  • 6
  • 18
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 32
  • 6
  • 15
  • 9
  • 6
  • 6
  • 9
  • 19
  • 6
  • 8
  • 18
  • 6
  • 27
  • 44
  • 22
  • 12
  • 8
  • 28
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 10
  • 11
  • 9
  • 20
  • 11
  • 6
  • 17
  • 10
  • 7
  • 8
  • 6
  • 9
  • 10
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 6
  • 6
  • 22
  • 7
  • 7
  • 8
  • 19
  • 8
  • 9
  • 11
  • 18
  • 6
  • 16
  • 6
  • 9
  • 7
  • 7
  • 10
  • 12
  • 15
  • 19
  • 7
  • 21
  • 6
  • 29
  • 6
  • 13
  • 8
  • 82
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 30
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 26
  • 10
  • 6
  • 7
  • 6
  • 14
  • 13
  • 19
  • 6
  • 19
  • 23
  • 20
  • 10
  • 23
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 29
  • 8
  • 12
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 8
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 8
  • 8
  • 6
  • 20
  • 9
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 104
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 19
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 59
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 10
  • 6
  • 8
  • 7
  • 10
  • 9
  • 7
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 13
  • 61
  • 8
  • 8
  • 8
  • 20
  • 10
  • 9
  • 23
  • 16
  • 6
  • 7
  • 6
  • 13
  • 7
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 8
  • 7
  • 26
  • 6
  • 13
  • 15
  • 16
  • 6
  • 13
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 19
  • 9
  • 25
  • 9
  • 10
  • 13
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 6
  • 10
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 8
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 122
  • 9
  • 10
  • 7
  • 32
  • 9
  • 12
  • 24
  • 11
  • 9
  • 6
  • 12
  • 15
  • 11
  • 28
  • 8
  • 123
  • 6
  • 62
  • 13
  • 12
  • 12
  • 120
  • 29
  • 6
  • 19
  • 9
  • 14
  • 8
  • 13
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 10
  • 120
  • 9
  • 15
  • 27
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 10
  • 31
  • 10
  • 7
  • 6
  • 14
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 35
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 11
  • 10
  • 11
  • 11
  • 13
  • 19
  • 38
  • 17
  • 9
  • 11
  • 8
  • 25
  • 12
  • 6
  • 12
  • 8
  • 16
  • 12
  • 9
  • 9
  • 11
  • 6
  • 49
  • 9
  • 43
  • 7
  • 15
  • 9
  • 13
  • 9
  • 12
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 7
  • 11
  • 12
  • 21
  • 8
  • 23
  • 33
  • 6
  • 6
  • 7
  • 8
  • 15
  • 7
  • 30
  • 13
  • 18
  • 34
  • 71
  • 12
  • 20
  • 24
  • 10
  • 15
  • 8
  • 11
  • 20
  • 22
  • 17
  • 9
  • 12
  • 73
  • 25
  • 15
  • 10
  • 8
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 15
  • 10
  • 11
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 13
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 12
  • 41
  • 7
  • 11
  • 7
  • 7
  • 18
  • 9
  • 19
  • 23
  • 11
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 8
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 32
  • 7
  • 18
  • 8
  • 12
  • 7
  • 7
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 11
  • 10
  • 7
  • 19
  • 7
  • 14
  • 17
  • 7
  • 11
  • 28
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 14
  • 10
  • 9
  • 19
  • 7
  • 9
  • 7
  • 8
  • 60
  • 13
  • 7
  • 7
  • 7
  • 28
  • 7
  • 60
  • 22
  • 80
  • 6
  • 21
  • 6
  • 6
  • 12
  • 9
  • 9
  • 39
  • 9
  • 8
  • 23
  • 25
  • 21
  • 11
  • 13
  • 6
  • 14
  • 15
  • 7
  • 29
Verlag
  • 2
  • 11558
  • 40
  • 1532
  • 14
  • 1
  • 3
  • 132
  • 1
  • 1
  • 43
Preis
  • 47
  • 492
  • 10522
  • 2266
Sprachen
  • 13319
  • 20
  • 15
Verfügbarkeit
  • 13306
  • 21
Eigenschaften
  • 22
Katalog
  • 13327
  • 549
13.327  Treffer  für „Lecture Notes in Computer Science“
    Nürnberg | Metainformatics | Buch | Sack Fachmedien

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bloomfield / Marshall / Jones | VDM '88. VDM - The Way Ahead | Buch | Sack Fachmedien

    Bloomfield / Marshall / Jones VDM '88. VDM - The Way Ahead

    2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50214-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hooman | Specification and Compositional Verification of Real-Time Systems | Buch | Sack Fachmedien

    Hooman Specification and Compositional Verification of Real-Time Systems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54947-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Volkamer / Duenas-Cid / Rønne | Electronic Voting | Buch | Sack Fachmedien

    Volkamer / Duenas-Cid / Rønne Electronic Voting

    8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43755-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jähne / Mester / Barth | Complex Motion | Buch | Sack Fachmedien

    Jähne / Mester / Barth Complex Motion

    First International Workshop, IWCM 2004, Günzburg, Germany, October 12-14, 2004, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-69864-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joye / Moradi | Smart Card Research and Advanced Applications | Buch | Sack Fachmedien

    Joye / Moradi Smart Card Research and Advanced Applications

    13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-319-16762-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | Buch | Sack Fachmedien

    Gelbukh Computational Linguistics and Intelligent Text Processing

    5th International Conference, CICLing 2004, Seoul, Korea, February 15-21, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21006-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Payne / Presutti / Qi | The Semantic Web - ISWC 2023 | Buch | Sack Fachmedien

    Payne / Presutti / Qi The Semantic Web - ISWC 2023

    22nd International Semantic Web Conference, Athens, Greece, November 6-10, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47242-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eder / Louren?o / Shehory | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Eder / Louren?o / Shehory Hardware and Software: Verification and Testing

    7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34187-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansen / Scedrov / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Hansen / Scedrov / de Queiroz Logic, Language, Information, and Computation

    29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-39783-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kratochvil | Graph Drawing | Buch | Sack Fachmedien

    Kratochvil Graph Drawing

    7th International Symposium, GD'99, Stirin Castle, Czech Republic, September 15-19, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66904-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Johnson Algebraic Methodology and Software Technology

    6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63888-9
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kalai / Reyzin | Theory of Cryptography | Buch | Sack Fachmedien

    Kalai / Reyzin Theory of Cryptography

    15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-70499-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koucheryavy / Aziz | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95295-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sheng / Dobbie / Jiang | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Sheng / Dobbie / Jiang Advanced Data Mining and Applications

    20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part IV
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-960839-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Kuflik / Chin | User Modeling, Adaptation and Personalization | Buch | Sack Fachmedien

    Dimitrova / Kuflik / Chin User Modeling, Adaptation and Personalization

    22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08785-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeadally / Cerqueira / Curado | Future Multimedia Networking | Buch | Sack Fachmedien

    Zeadally / Cerqueira / Curado Future Multimedia Networking

    Third International Workshop, FMN 2010, Krakow, Poland, June 17-18, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13788-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wachter-Zeh / Bartz / Liva | Code-Based Cryptography | Buch | Sack Fachmedien

    Wachter-Zeh / Bartz / Liva Code-Based Cryptography

    9th International Workshop, CBCrypto 2021 Munich, Germany, June 21-22, 2021 Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-98364-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Swart / Orlowska / Schmidt | Theory and Applications of Relational Structures as Knowledge Instruments | Buch | Sack Fachmedien

    Swart / Orlowska / Schmidt Theory and Applications of Relational Structures as Knowledge Instruments

    COST Action 274, TARSKI, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Yu / Nadamoto | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Zhu / Yu / Nadamoto Database Systems for Advanced Applications

    30th International Conference, DASFAA 2025, Singapore, Singapore, May 26-29, 2025, Proceedings, Part VI
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-954157-7
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification | Buch | Sack Fachmedien

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

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03420-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghose / Governatori / Sadananda | Agent Computing and Multi-Agent Systems | Buch | Sack Fachmedien

    Ghose / Governatori / Sadananda Agent Computing and Multi-Agent Systems

    10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01638-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cha / Park | Information Security | Buch | Sack Fachmedien

    Cha / Park Information Security

    28th International Conference, ISC 2025, Seoul, South Korea, October 20-22, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08123-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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