Ergebnisse filtern
Fachgebiet
Medium
  • 10604
Erscheinungsjahr
  • 293
  • 808
  • 847
  • 621
  • 480
  • 273
  • 302
  • 309
  • 306
  • 273
  • 292
  • 271
  • 316
  • 306
  • 291
  • 269
  • 273
  • 272
  • 239
  • 254
  • 260
  • 219
  • 371
  • 304
  • 256
  • 256
  • 172
  • 173
  • 128
  • 141
  • 137
  • 115
  • 105
  • 93
  • 72
  • 84
  • 59
  • 57
  • 46
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 7
  • 4
  • 9
  • 4
  • 12
  • 8
  • 12
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 10
  • 9
  • 5
  • 4
  • 5
  • 8
  • 17
  • 4
  • 15
  • 4
  • 8
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 9
  • 8
  • 5
  • 4
  • 6
  • 4
  • 4
  • 6
  • 6
  • 14
  • 4
  • 26
  • 36
  • 8
  • 4
  • 32
  • 4
  • 7
  • 4
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 12
  • 4
  • 4
  • 15
  • 11
  • 4
  • 4
  • 4
  • 4
  • 8
  • 39
  • 9
  • 6
  • 4
  • 6
  • 5
  • 5
  • 5
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 5
  • 15
  • 9
  • 7
  • 5
  • 4
  • 6
  • 4
  • 6
  • 5
  • 8
  • 4
  • 8
  • 4
  • 4
  • 9
  • 5
  • 6
  • 11
  • 8
  • 6
  • 4
  • 11
  • 7
  • 4
  • 4
  • 6
  • 4
  • 19
  • 7
  • 6
  • 4
  • 11
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 12
  • 9
  • 5
  • 7
  • 25
  • 4
  • 4
  • 12
  • 4
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 22
  • 17
  • 6
  • 4
  • 8
  • 4
  • 6
  • 9
  • 4
  • 5
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 8
  • 8
  • 5
  • 4
  • 13
  • 8
  • 4
  • 11
  • 12
  • 16
  • 5
  • 7
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 10
  • 5
  • 39
  • 17
  • 9
  • 6
  • 4
  • 4
  • 9
  • 5
  • 5
  • 4
  • 8
  • 7
  • 4
  • 16
  • 4
  • 8
  • 9
  • 4
  • 5
  • 14
  • 6
  • 5
  • 5
  • 13
  • 8
  • 5
  • 4
  • 8
  • 4
  • 5
  • 24
  • 4
  • 16
  • 4
  • 4
  • 4
  • 8
  • 4
  • 11
  • 4
  • 9
  • 6
  • 5
  • 4
  • 4
  • 34
  • 12
  • 41
  • 13
  • 8
  • 13
  • 13
  • 8
  • 4
  • 20
  • 11
  • 38
  • 4
  • 8
  • 14
  • 13
  • 12
  • 6
  • 6
  • 14
  • 10
  • 9
  • 4
  • 39
  • 5
  • 4
  • 4
  • 5
  • 4
  • 10
  • 8
  • 8
  • 4
  • 4
  • 4
  • 5
  • 10
  • 9
  • 6
  • 5
  • 7
  • 5
  • 4
  • 16
  • 8
  • 6
  • 15
  • 6
  • 4
  • 5
  • 4
  • 7
  • 5
  • 7
  • 15
  • 19
  • 7
  • 5
  • 9
  • 9
  • 6
  • 10
  • 11
  • 24
  • 6
  • 4
  • 7
  • 8
  • 6
  • 6
  • 7
  • 4
  • 7
  • 4
  • 9
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 15
  • 10
  • 4
  • 9
  • 10
  • 5
  • 47
  • 40
  • 6
  • 23
  • 6
  • 4
  • 15
  • 4
  • 27
  • 11
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 4
  • 6
  • 9
  • 6
  • 4
  • 27
  • 11
  • 41
  • 7
  • 7
  • 4
  • 14
  • 8
  • 9
  • 5
  • 6
  • 13
  • 17
  • 8
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 18
  • 4
  • 4
  • 7
  • 4
  • 10
  • 4
  • 5
  • 4
  • 4
  • 10
  • 10
  • 5
  • 5
  • 4
  • 16
  • 4
  • 55
  • 31
  • 6
  • 19
  • 9
  • 16
  • 23
  • 83
  • 4
  • 5
  • 11
  • 4
  • 7
  • 5
  • 16
  • 4
  • 5
  • 4
  • 6
  • 19
  • 14
  • 5
  • 12
  • 4
  • 5
  • 4
  • 15
  • 5
  • 7
  • 6
  • 6
  • 8
  • 5
  • 11
  • 5
  • 41
  • 6
  • 11
  • 9
  • 5
  • 8
  • 16
  • 7
  • 5
  • 7
  • 19
  • 39
  • 7
  • 18
  • 5
  • 8
  • 6
  • 6
  • 5
  • 5
  • 9
  • 15
  • 5
  • 9
  • 5
  • 74
  • 7
  • 7
  • 11
  • 6
  • 6
  • 8
  • 6
  • 6
  • 15
  • 12
  • 9
  • 7
  • 20
  • 6
  • 9
  • 5
  • 7
  • 6
  • 6
  • 5
  • 20
  • 6
  • 9
  • 8
  • 13
  • 5
  • 5
  • 5
  • 13
  • 7
  • 9
  • 5
  • 16
  • 5
  • 5
  • 6
  • 10
  • 10
  • 10
  • 5
  • 7
  • 8
  • 7
  • 8
  • 6
  • 30
  • 12
  • 5
  • 8
  • 23
  • 6
  • 14
  • 33
  • 5
  • 9
  • 15
  • 31
  • 6
  • 6
  • 12
  • 6
  • 5
  • 5
  • 11
  • 6
  • 10
  • 5
  • 18
  • 28
  • 17
  • 8
  • 8
  • 17
  • 15
  • 6
  • 27
  • 5
  • 14
  • 25
  • 37
  • 6
  • 6
  • 5
  • 8
  • 9
  • 12
  • 6
  • 7
  • 5
  • 9
  • 7
  • 6
  • 6
  • 14
  • 59
  • 34
  • 12
  • 5
  • 17
  • 5
  • 12
  • 7
  • 7
  • 14
  • 13
  • 9
  • 6
  • 6
  • 5
  • 8
  • 13
  • 8
  • 18
  • 5
  • 20
  • 24
  • 6
  • 5
  • 60
  • 17
  • 6
  • 6
  • 12
  • 20
  • 5
  • 5
  • 5
  • 11
  • 5
  • 12
  • 12
  • 6
  • 5
  • 8
  • 25
  • 6
  • 9
  • 10
  • 13
  • 6
  • 16
  • 13
  • 13
  • 11
  • 18
  • 5
  • 11
  • 9
  • 5
  • 5
  • 23
  • 5
  • 34
  • 25
  • 5
  • 6
  • 9
  • 6
  • 11
  • 9
  • 5
  • 25
  • 7
  • 9
  • 6
  • 8
  • 6
  • 20
  • 8
  • 7
  • 5
  • 8
  • 8
  • 11
  • 7
  • 5
  • 28
  • 10
  • 10
  • 5
  • 5
  • 8
  • 8
  • 5
  • 8
  • 16
  • 5
  • 5
  • 9
  • 8
  • 7
  • 6
  • 5
  • 8
  • 6
  • 77
  • 9
  • 5
  • 7
  • 13
  • 8
  • 5
  • 10
  • 7
  • 43
  • 8
  • 5
  • 12
  • 7
  • 11
  • 5
  • 10
  • 6
  • 9
  • 6
  • 6
  • 8
  • 10
  • 6
  • 7
  • 5
  • 9
  • 7
  • 5
  • 9
  • 44
  • 5
  • 6
  • 19
  • 8
  • 18
  • 14
  • 5
  • 5
  • 13
  • 5
  • 11
  • 12
  • 15
  • 10
  • 7
  • 6
  • 8
  • 23
  • 15
  • 6
  • 17
  • 6
  • 16
  • 7
  • 9
  • 5
  • 17
  • 7
  • 9
  • 7
  • 16
  • 5
  • 10
  • 6
  • 5
  • 5
  • 15
  • 7
  • 24
  • 6
  • 6
  • 7
  • 6
  • 7
  • 12
  • 14
  • 11
  • 7
  • 6
  • 5
  • 7
  • 9
  • 8
  • 8
  • 28
  • 6
  • 13
  • 7
  • 20
  • 7
  • 6
  • 10
  • 89
  • 6
  • 6
  • 6
  • 6
  • 21
  • 7
  • 7
  • 7
  • 22
  • 11
  • 8
  • 5
  • 14
  • 6
  • 21
  • 6
  • 5
  • 91
  • 6
  • 54
  • 5
  • 11
  • 10
  • 7
  • 89
  • 22
  • 5
  • 14
  • 12
  • 10
  • 5
  • 7
  • 9
  • 20
  • 15
  • 5
  • 5
  • 9
  • 5
  • 5
  • 5
  • 8
  • 6
  • 11
  • 89
  • 6
  • 5
  • 7
  • 21
  • 7
  • 9
  • 6
  • 12
  • 17
  • 16
  • 7
  • 11
  • 8
  • 5
  • 11
  • 5
  • 7
  • 22
  • 5
  • 15
  • 6
  • 11
  • 13
  • 6
  • 26
  • 5
  • 6
  • 5
  • 5
  • 14
  • 8
  • 8
  • 5
  • 17
  • 14
  • 22
  • 27
  • 6
  • 17
  • 7
  • 11
  • 13
  • 13
  • 7
  • 5
  • 5
  • 5
  • 8
  • 8
  • 36
  • 6
  • 41
  • 18
  • 9
  • 10
  • 10
  • 22
  • 5
  • 7
  • 15
  • 9
  • 14
  • 16
  • 23
  • 6
  • 6
  • 5
  • 9
  • 22
  • 8
  • 26
  • 49
  • 10
  • 10
  • 20
  • 8
  • 9
  • 5
  • 5
  • 18
  • 21
  • 12
  • 7
  • 5
  • 9
  • 51
  • 24
  • 12
  • 9
  • 5
  • 14
  • 6
  • 8
  • 5
  • 12
  • 5
  • 17
  • 5
  • 11
  • 8
  • 14
  • 10
  • 7
  • 5
  • 12
  • 10
  • 5
  • 89
  • 10
  • 16
  • 9
  • 15
  • 6
  • 13
  • 6
  • 5
  • 29
  • 5
  • 11
  • 6
  • 10
  • 6
  • 16
  • 6
  • 13
  • 18
  • 10
  • 9
  • 20
  • 6
  • 5
  • 6
  • 6
  • 16
  • 7
  • 20
  • 11
  • 5
  • 6
  • 6
  • 7
  • 5
  • 24
  • 7
  • 13
  • 10
  • 8
  • 6
  • 6
  • 5
  • 9
  • 14
  • 12
  • 6
  • 5
  • 5
  • 18
  • 5
  • 9
  • 5
  • 9
  • 6
  • 5
  • 8
  • 5
  • 5
  • 29
  • 14
  • 14
  • 5
  • 16
  • 11
  • 5
  • 6
  • 10
  • 6
  • 9
  • 18
  • 7
  • 6
  • 6
  • 47
  • 6
  • 6
  • 6
  • 5
  • 5
  • 20
  • 6
  • 8
  • 44
  • 13
  • 69
  • 16
  • 8
  • 10
  • 5
  • 5
  • 31
  • 7
  • 9
  • 23
  • 22
  • 18
  • 5
  • 6
  • 8
  • 5
  • 13
  • 5
  • 12
  • 7
  • 5
  • 5
  • 7
  • 22
Verlag
  • 2
  • 10554
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 36
Preis
  • 42
  • 385
  • 8120
  • 2057
Sprachen
  • 10599
  • 15
  • 13
Verfügbarkeit
  • 10595
  • 9
Eigenschaften
  • 13
Katalog
  • 10604
  • 575
10.604  Treffer  für „Lecture Notes in Computer Science“
    Ronzhin / Rigoll / Meshcheryakov | Interactive Collaborative Robotics | Buch | Sack Fachmedien

    Ronzhin / Rigoll / Meshcheryakov Interactive Collaborative Robotics

    6th International Conference, ICR 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87724-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Sadigov / Meshcheryakov | Interactive Collaborative Robotics | Buch | Sack Fachmedien

    Ronzhin / Sadigov / Meshcheryakov Interactive Collaborative Robotics

    8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43110-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jung / Wang / Toyoda | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Jung / Wang / Toyoda Database Systems for Advanced Applications

    31st International Conference, DASFAA 2026, Jeju, South Korea, April 27-30, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9203-62-8
    Medium: Buch
    104,85 € (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

    10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-89158-9
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tison | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Tison Rewriting Techniques and Applications

    13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43916-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Khanna / Rolim | Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques | Buch | Sack Fachmedien

    Jansen / Khanna / Rolim Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

    7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004 and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA August 22-24, 2004 , Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22894-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurková / Manolopoulos / Hammer | Artificial Neural Networks and Machine Learning - ICANN 2018 | Buch | Sack Fachmedien

    Kurková / Manolopoulos / Hammer Artificial Neural Networks and Machine Learning - ICANN 2018

    27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-01423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sampaio / Stoelinga | Formal Methods | Buch | Sack Fachmedien

    Sampaio / Stoelinga Formal Methods

    27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26203-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coustaty / Fornés | Document Analysis and Recognition - ICDAR 2023 Workshops | Buch | Sack Fachmedien

    Coustaty / Fornés Document Analysis and Recognition - ICDAR 2023 Workshops

    San José, CA, USA, August 24-26, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41497-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doulkeridis / Vouros / Qu | Mobility Analytics for Spatio-Temporal and Social Data | Buch | Sack Fachmedien

    Doulkeridis / Vouros / Qu Mobility Analytics for Spatio-Temporal and Social Data

    First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-73520-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lanzi / Stolzmann / Wilson | Learning Classifier Systems | Buch | Sack Fachmedien

    Lanzi / Stolzmann / Wilson Learning Classifier Systems

    From Foundations to Applications
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67729-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bussler | Artificial Intelligence: Methodology, Systems, and Applications | Buch | Sack Fachmedien

    Bussler Artificial Intelligence: Methodology, Systems, and Applications

    11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22959-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zohar / Eyal / Teague | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Zohar / Eyal / Teague Financial Cryptography and Data Security

    FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58819-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Wagner / Hartmann | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII | Buch | Sack Fachmedien

    Hameurlain / Wagner / Hartmann Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII

    Special Issue on Database- and Expert-Systems Applications
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-58383-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bermond / Raynal | Distributed Algorithms | Buch | Sack Fachmedien

    Bermond / Raynal Distributed Algorithms

    3rd International Workshop, Nice, France, September 26-28, 1989. Proceedings
    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51687-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vygen / Byrka | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Vygen / Byrka Integer Programming and Combinatorial Optimization

    25th International Conference, IPCO 2024, Wroclaw, Poland, July 3-5, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-59834-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prencipe / Zaks | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Prencipe / Zaks Structural Information and Communication Complexity

    14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72918-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gierlichs / Poschmann | Cryptographic Hardware and Embedded Systems - CHES 2016 | Buch | Sack Fachmedien

    Gierlichs / Poschmann Cryptographic Hardware and Embedded Systems - CHES 2016

    18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53139-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jurdzinski / Nickovic | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Jurdzinski / Nickovic Formal Modeling and Analysis of Timed Systems

    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33364-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mao / Ren / Yang | Natural Language Processing and Chinese Computing | Buch | Sack Fachmedien

    Mao / Ren / Yang Natural Language Processing and Chinese Computing

    14th National CCF Conference, NLPCC 2025, Urumqi, China, August 7-9, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953348-0
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yoshikawa / Meng | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Wang / Yoshikawa / Meng Advanced Data Mining and Applications

    21st International Conference, ADMA 2025, Kyoto, Japan, October 22-24, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953452-4
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knudsen | Fast Software Encryption | Buch | Sack Fachmedien

    Knudsen Fast Software Encryption

    6th International Workshop, FSE'99 Rome, Italy, March 24-26, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66226-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rattray / Maharaj | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Rattray / Maharaj Algebraic Methodology and Software Technology

    10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McMillan / Rival | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    McMillan / Rival Verification, Model Checking, and Abstract Interpretation

    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54012-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Potanin | Programming Languages and Systems | Buch | Sack Fachmedien

    Potanin Programming Languages and Systems

    23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953584-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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