Ergebnisse filtern
Fachgebiet
Medium
  • 10733
  • 2651
Erscheinungsjahr
  • 332
  • 1019
  • 1056
  • 802
  • 629
  • 398
  • 407
  • 439
  • 414
  • 421
  • 423
  • 441
  • 398
  • 439
  • 442
  • 398
  • 366
  • 278
  • 241
  • 275
  • 291
  • 223
  • 448
  • 590
  • 261
  • 252
  • 179
  • 174
  • 135
  • 136
  • 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
  • 5
  • 8
  • 7
  • 13
  • 11
  • 8
  • 11
  • 12
  • 11
  • 20
  • 9
  • 23
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 6
  • 13
  • 31
  • 52
  • 7
  • 49
  • 7
  • 7
  • 6
  • 6
  • 19
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 7
  • 10
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 6
  • 9
  • 9
  • 7
  • 6
  • 7
  • 10
  • 11
  • 6
  • 20
  • 7
  • 6
  • 9
  • 21
  • 13
  • 8
  • 8
  • 19
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 6
  • 9
  • 11
  • 10
  • 7
  • 8
  • 6
  • 7
  • 10
  • 9
  • 8
  • 15
  • 15
  • 18
  • 12
  • 16
  • 7
  • 8
  • 6
  • 46
  • 15
  • 9
  • 7
  • 7
  • 10
  • 19
  • 7
  • 11
  • 12
  • 13
  • 7
  • 7
  • 17
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 8
  • 49
  • 14
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 26
  • 9
  • 49
  • 11
  • 15
  • 12
  • 9
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 11
  • 17
  • 8
  • 10
  • 7
  • 16
  • 12
  • 7
  • 8
  • 7
  • 6
  • 8
  • 21
  • 12
  • 7
  • 20
  • 11
  • 7
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 12
  • 9
  • 16
  • 25
  • 9
  • 9
  • 8
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 22
  • 13
  • 7
  • 11
  • 11
  • 10
  • 55
  • 47
  • 8
  • 30
  • 7
  • 11
  • 21
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 12
  • 8
  • 20
  • 7
  • 6
  • 7
  • 7
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 9
  • 19
  • 11
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 8
  • 7
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 6
  • 13
  • 9
  • 12
  • 16
  • 17
  • 68
  • 45
  • 11
  • 9
  • 28
  • 13
  • 22
  • 33
  • 110
  • 7
  • 14
  • 10
  • 6
  • 8
  • 6
  • 22
  • 7
  • 9
  • 23
  • 16
  • 7
  • 8
  • 7
  • 6
  • 10
  • 21
  • 9
  • 15
  • 9
  • 8
  • 8
  • 6
  • 8
  • 15
  • 7
  • 52
  • 6
  • 12
  • 6
  • 10
  • 7
  • 7
  • 19
  • 27
  • 8
  • 11
  • 7
  • 25
  • 46
  • 11
  • 7
  • 6
  • 14
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 9
  • 6
  • 11
  • 19
  • 10
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 13
  • 14
  • 8
  • 10
  • 7
  • 8
  • 8
  • 19
  • 6
  • 12
  • 12
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 14
  • 6
  • 7
  • 21
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 13
  • 6
  • 18
  • 7
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 8
  • 6
  • 9
  • 10
  • 10
  • 7
  • 7
  • 8
  • 37
  • 6
  • 10
  • 17
  • 6
  • 9
  • 6
  • 30
  • 8
  • 9
  • 6
  • 20
  • 47
  • 7
  • 6
  • 6
  • 11
  • 14
  • 19
  • 6
  • 35
  • 6
  • 14
  • 9
  • 6
  • 7
  • 18
  • 6
  • 18
  • 7
  • 6
  • 27
  • 43
  • 22
  • 15
  • 8
  • 28
  • 7
  • 6
  • 7
  • 14
  • 9
  • 7
  • 34
  • 6
  • 6
  • 15
  • 36
  • 47
  • 6
  • 8
  • 9
  • 8
  • 9
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 6
  • 8
  • 8
  • 6
  • 7
  • 9
  • 6
  • 18
  • 8
  • 90
  • 30
  • 33
  • 7
  • 18
  • 8
  • 6
  • 23
  • 7
  • 6
  • 7
  • 8
  • 19
  • 8
  • 10
  • 7
  • 13
  • 19
  • 6
  • 19
  • 7
  • 9
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 21
  • 7
  • 22
  • 6
  • 29
  • 9
  • 11
  • 7
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 6
  • 15
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 12
  • 7
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 28
  • 10
  • 7
  • 6
  • 13
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 13
  • 26
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 35
  • 8
  • 9
  • 7
  • 44
  • 33
  • 6
  • 8
  • 6
  • 9
  • 10
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 12
  • 8
  • 9
  • 12
  • 7
  • 27
  • 8
  • 8
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 16
  • 6
  • 6
  • 10
  • 7
  • 42
  • 7
  • 13
  • 12
  • 6
  • 6
  • 6
  • 8
  • 6
  • 20
  • 6
  • 6
  • 8
  • 15
  • 6
  • 7
  • 10
  • 7
  • 7
  • 10
  • 9
  • 102
  • 14
  • 8
  • 6
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 7
  • 7
  • 10
  • 14
  • 58
  • 16
  • 6
  • 21
  • 6
  • 7
  • 16
  • 9
  • 12
  • 7
  • 6
  • 6
  • 8
  • 12
  • 6
  • 8
  • 7
  • 9
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 7
  • 7
  • 6
  • 6
  • 13
  • 7
  • 17
  • 16
  • 19
  • 9
  • 18
  • 9
  • 7
  • 11
  • 34
  • 12
  • 11
  • 10
  • 17
  • 8
  • 6
  • 7
  • 24
  • 6
  • 13
  • 17
  • 17
  • 6
  • 6
  • 14
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 21
  • 9
  • 25
  • 9
  • 11
  • 8
  • 12
  • 6
  • 15
  • 7
  • 6
  • 13
  • 17
  • 10
  • 10
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 9
  • 10
  • 7
  • 8
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 23
  • 8
  • 10
  • 12
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 30
  • 14
  • 9
  • 8
  • 23
  • 11
  • 9
  • 11
  • 14
  • 10
  • 28
  • 8
  • 123
  • 6
  • 57
  • 14
  • 13
  • 12
  • 120
  • 30
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 16
  • 14
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 10
  • 15
  • 28
  • 13
  • 19
  • 11
  • 6
  • 12
  • 6
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 10
  • 7
  • 7
  • 14
  • 6
  • 6
  • 6
  • 7
  • 12
  • 17
  • 6
  • 34
  • 11
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 8
  • 11
  • 11
  • 18
  • 8
  • 20
  • 40
  • 16
  • 9
  • 11
  • 10
  • 25
  • 10
  • 12
  • 10
  • 16
  • 12
  • 8
  • 12
  • 11
  • 8
  • 49
  • 9
  • 43
  • 7
  • 15
  • 10
  • 13
  • 9
  • 13
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 12
  • 12
  • 22
  • 8
  • 23
  • 34
  • 6
  • 9
  • 15
  • 29
  • 15
  • 18
  • 33
  • 71
  • 13
  • 21
  • 22
  • 10
  • 15
  • 8
  • 7
  • 8
  • 20
  • 23
  • 19
  • 6
  • 12
  • 9
  • 12
  • 74
  • 25
  • 15
  • 12
  • 9
  • 17
  • 19
  • 9
  • 10
  • 17
  • 8
  • 17
  • 14
  • 8
  • 6
  • 16
  • 17
  • 10
  • 12
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 19
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 15
  • 11
  • 6
  • 12
  • 42
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 12
  • 14
  • 27
  • 9
  • 8
  • 7
  • 6
  • 20
  • 8
  • 23
  • 8
  • 13
  • 8
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 8
  • 7
  • 33
  • 8
  • 17
  • 8
  • 13
  • 7
  • 7
  • 11
  • 8
  • 9
  • 7
  • 10
  • 7
  • 19
  • 13
  • 11
  • 6
  • 7
  • 21
  • 17
  • 6
  • 7
  • 6
  • 7
  • 17
  • 11
  • 30
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 29
  • 8
  • 12
  • 6
  • 9
  • 14
  • 9
  • 6
  • 9
  • 21
  • 7
  • 9
  • 6
  • 64
  • 14
  • 6
  • 10
  • 28
  • 7
  • 58
  • 20
  • 81
  • 6
  • 21
  • 6
  • 12
  • 8
  • 7
  • 9
  • 39
  • 9
  • 7
  • 23
  • 22
  • 21
  • 11
  • 10
  • 6
  • 15
  • 15
  • 6
  • 29
Verlag
  • 3
  • 11585
  • 36
  • 1566
  • 2
  • 14
  • 2
  • 3
  • 132
  • 1
  • 1
  • 39
Preis
  • 47
  • 489
  • 10566
  • 2282
Sprachen
  • 13376
  • 19
  • 15
Verfügbarkeit
  • 13375
  • 9
Eigenschaften
  • 25
Katalog
  • 13384
  • 550
13.384  Treffer  für „Lecture Notes in Computer Science“
    Dolev | Algorithmic Aspects of Wireless Sensor Networks | Buch | Sack Fachmedien

    Dolev Algorithmic Aspects of Wireless Sensor Networks

    5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05433-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sanità / Skutella | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Sanità / Skutella Approximation and Online Algorithms

    13th International Workshop, WAOA 2015, Patras, Greece, September 17-18, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28683-9
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raschke / Méry | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Raschke / Méry Rigorous State-Based Methods

    8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-77542-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krivine / Stefani | Reversible Computation | Buch | Sack Fachmedien

    Krivine / Stefani Reversible Computation

    7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20859-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pankratius / Philippsen | Multicore Software Engineering, Performance and Tools | Buch | Sack Fachmedien

    Pankratius / Philippsen Multicore Software Engineering, Performance and Tools

    International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31201-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Balke / Xu | Web-Age Information Management | Buch | Sack Fachmedien

    Chen / Balke / Xu Web-Age Information Management

    WAIM 2014 International Workshops: BigEM, HardBD, DaNoS, HRSUNE, BIDASYS, Macau, China, June 16-18, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11537-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonsson / Parrow | CONCUR '94: Concurrency Theory | Buch | Sack Fachmedien

    Jonsson / Parrow CONCUR '94: Concurrency Theory

    5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58329-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuzzocrea / Maabout | Model and Data Engineering | Buch | Sack Fachmedien

    Cuzzocrea / Maabout Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ata / Hong | Managing Next Generation Networks and Services | Buch | Sack Fachmedien

    Ata / Hong Managing Next Generation Networks and Services

    10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75475-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chmora / Wicker | Error Control, Cryptology, and Speech Compression | Buch | Sack Fachmedien

    Chmora / Wicker Error Control, Cryptology, and Speech Compression

    Workshop on Information Protection, Moscow, Russia, December 6 - 9, 1993. Selected Papers
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58265-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ge / Yung | Information Security and Cryptology | Buch | Sack Fachmedien

    Ge / Yung Information Security and Cryptology

    19th International Conference, Inscrypt 2023, Hangzhou, China, December 9-10, 2023, Revised Selected Papers, Part I
    2024
    Verlag: Springer
    ISBN: 978-981-97-0941-0
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-3-031-75106-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alzate / Pascolutti / Monreale | ECML PKDD 2018 Workshops | Buch | Sack Fachmedien

    Alzate / Pascolutti / Monreale ECML PKDD 2018 Workshops

    MIDAS 2018 and PAP 2018, Dublin, Ireland, September 10-14, 2018, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-13462-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gangemi / Gentile / Nuzzolese | The Semantic Web: ESWC 2018 Satellite Events | Buch | Sack Fachmedien

    Gangemi / Gentile / Nuzzolese The Semantic Web: ESWC 2018 Satellite Events

    ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-98191-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prevosto / Seceleanu | Tests and Proofs | Buch | Sack Fachmedien

    Prevosto / Seceleanu Tests and Proofs

    17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-38827-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    García-Sánchez / Hart / Thomson | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    García-Sánchez / Hart / Thomson Applications of Evolutionary Computation

    28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90064-8
    Medium: Buch
    85,59 € (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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12286-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Kubota / Zhu | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Liu / Kubota / Zhu Intelligent Robotics and Applications

    8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22875-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Weise | Testing Software and Systems | Buch | Sack Fachmedien

    Nielsen / Weise Testing Software and Systems

    24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34690-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Loulergue / Wotawa | Tests and Proofs | Buch | Sack Fachmedien

    Loulergue / Wotawa Tests and Proofs

    15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-79378-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsiang | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Hsiang Rewriting Techniques and Applications

    6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-59200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960788-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reynolds / Tasiran | Verified Software. Theories, Tools and Experiments | Buch | Sack Fachmedien

    Reynolds / Tasiran Verified Software. Theories, Tools and Experiments

    15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66063-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Kowalski | 5th Conference on Automated Deduction | Buch | Sack Fachmedien

    Bibel / Kowalski 5th Conference on Automated Deduction

    Les Arcs, France, July 8-11, 1980
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10009-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hamadi / Schoenauer | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Hamadi / Schoenauer Learning and Intelligent Optimization

    6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34412-1
    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