Ergebnisse filtern
Fachgebiet
Medium
  • 10420
Erscheinungsjahr
  • 710
  • 843
  • 632
  • 495
  • 276
  • 277
  • 334
  • 303
  • 292
  • 307
  • 283
  • 305
  • 332
  • 295
  • 289
  • 276
  • 257
  • 210
  • 263
  • 264
  • 249
  • 375
  • 311
  • 274
  • 256
  • 191
  • 180
  • 132
  • 146
  • 144
  • 119
  • 108
  • 96
  • 74
  • 84
  • 59
  • 61
  • 46
  • 46
  • 33
  • 27
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 5
  • 4
  • 4
  • 6
  • 7
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 4
  • 8
  • 4
  • 7
  • 7
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 11
  • 4
  • 6
  • 4
  • 8
  • 16
  • 6
  • 4
  • 9
  • 4
  • 8
  • 6
  • 5
  • 7
  • 5
  • 7
  • 8
  • 5
  • 7
  • 5
  • 7
  • 14
  • 4
  • 5
  • 25
  • 36
  • 6
  • 4
  • 42
  • 4
  • 6
  • 6
  • 4
  • 5
  • 4
  • 6
  • 6
  • 15
  • 16
  • 4
  • 4
  • 10
  • 5
  • 5
  • 4
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 6
  • 6
  • 11
  • 4
  • 4
  • 6
  • 10
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 4
  • 6
  • 6
  • 7
  • 5
  • 7
  • 7
  • 6
  • 6
  • 7
  • 8
  • 4
  • 11
  • 6
  • 4
  • 5
  • 17
  • 5
  • 4
  • 4
  • 4
  • 4
  • 16
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 4
  • 7
  • 7
  • 4
  • 9
  • 18
  • 4
  • 4
  • 9
  • 7
  • 6
  • 8
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 6
  • 4
  • 4
  • 20
  • 14
  • 7
  • 5
  • 5
  • 11
  • 6
  • 8
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 8
  • 6
  • 4
  • 9
  • 11
  • 4
  • 6
  • 4
  • 10
  • 12
  • 7
  • 4
  • 12
  • 8
  • 4
  • 15
  • 8
  • 16
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 4
  • 39
  • 16
  • 11
  • 5
  • 4
  • 4
  • 9
  • 5
  • 10
  • 6
  • 6
  • 6
  • 4
  • 16
  • 6
  • 11
  • 10
  • 5
  • 12
  • 6
  • 5
  • 4
  • 11
  • 6
  • 4
  • 4
  • 4
  • 10
  • 4
  • 6
  • 24
  • 5
  • 10
  • 5
  • 10
  • 4
  • 4
  • 8
  • 6
  • 6
  • 8
  • 6
  • 4
  • 8
  • 6
  • 7
  • 5
  • 6
  • 34
  • 4
  • 9
  • 41
  • 4
  • 8
  • 7
  • 14
  • 11
  • 6
  • 6
  • 4
  • 22
  • 12
  • 16
  • 4
  • 10
  • 14
  • 4
  • 4
  • 5
  • 12
  • 4
  • 4
  • 4
  • 6
  • 11
  • 9
  • 9
  • 4
  • 39
  • 6
  • 5
  • 6
  • 9
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 8
  • 7
  • 12
  • 8
  • 4
  • 12
  • 6
  • 10
  • 6
  • 4
  • 5
  • 6
  • 15
  • 22
  • 7
  • 5
  • 11
  • 6
  • 6
  • 7
  • 6
  • 9
  • 11
  • 24
  • 6
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 4
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 10
  • 4
  • 10
  • 9
  • 4
  • 45
  • 39
  • 4
  • 22
  • 4
  • 10
  • 4
  • 4
  • 24
  • 12
  • 6
  • 5
  • 5
  • 8
  • 21
  • 5
  • 6
  • 5
  • 4
  • 7
  • 4
  • 4
  • 27
  • 4
  • 12
  • 41
  • 7
  • 7
  • 4
  • 14
  • 5
  • 10
  • 13
  • 4
  • 15
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 6
  • 8
  • 4
  • 5
  • 4
  • 5
  • 12
  • 16
  • 5
  • 4
  • 4
  • 6
  • 7
  • 4
  • 6
  • 10
  • 5
  • 4
  • 5
  • 13
  • 6
  • 15
  • 4
  • 58
  • 29
  • 4
  • 4
  • 5
  • 20
  • 10
  • 18
  • 20
  • 4
  • 4
  • 93
  • 5
  • 11
  • 4
  • 8
  • 4
  • 17
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 19
  • 15
  • 4
  • 4
  • 9
  • 7
  • 5
  • 10
  • 17
  • 7
  • 11
  • 6
  • 5
  • 5
  • 5
  • 6
  • 5
  • 4
  • 11
  • 5
  • 39
  • 4
  • 4
  • 8
  • 6
  • 6
  • 7
  • 5
  • 8
  • 16
  • 8
  • 18
  • 39
  • 5
  • 4
  • 10
  • 14
  • 4
  • 12
  • 4
  • 4
  • 6
  • 5
  • 8
  • 5
  • 12
  • 15
  • 8
  • 5
  • 6
  • 4
  • 8
  • 64
  • 4
  • 4
  • 5
  • 4
  • 7
  • 4
  • 6
  • 5
  • 4
  • 5
  • 4
  • 15
  • 7
  • 15
  • 5
  • 7
  • 11
  • 20
  • 4
  • 9
  • 6
  • 5
  • 6
  • 5
  • 17
  • 10
  • 8
  • 13
  • 10
  • 13
  • 6
  • 7
  • 9
  • 5
  • 9
  • 6
  • 13
  • 8
  • 6
  • 8
  • 7
  • 13
  • 5
  • 5
  • 6
  • 32
  • 5
  • 12
  • 5
  • 8
  • 6
  • 6
  • 23
  • 13
  • 32
  • 5
  • 7
  • 15
  • 6
  • 5
  • 5
  • 9
  • 6
  • 8
  • 6
  • 5
  • 14
  • 6
  • 5
  • 15
  • 12
  • 29
  • 16
  • 6
  • 7
  • 12
  • 5
  • 6
  • 6
  • 11
  • 6
  • 9
  • 24
  • 14
  • 23
  • 40
  • 10
  • 5
  • 5
  • 5
  • 8
  • 6
  • 15
  • 6
  • 5
  • 12
  • 5
  • 6
  • 6
  • 6
  • 8
  • 7
  • 6
  • 13
  • 88
  • 5
  • 14
  • 17
  • 8
  • 15
  • 6
  • 5
  • 13
  • 6
  • 8
  • 6
  • 6
  • 7
  • 11
  • 13
  • 6
  • 14
  • 22
  • 6
  • 5
  • 57
  • 6
  • 18
  • 7
  • 8
  • 21
  • 7
  • 10
  • 9
  • 7
  • 5
  • 6
  • 6
  • 5
  • 12
  • 13
  • 7
  • 13
  • 16
  • 11
  • 15
  • 8
  • 12
  • 6
  • 11
  • 10
  • 6
  • 5
  • 27
  • 6
  • 32
  • 27
  • 10
  • 7
  • 18
  • 5
  • 6
  • 10
  • 5
  • 6
  • 7
  • 17
  • 5
  • 10
  • 5
  • 8
  • 7
  • 8
  • 12
  • 6
  • 9
  • 37
  • 6
  • 10
  • 7
  • 6
  • 5
  • 8
  • 5
  • 5
  • 17
  • 9
  • 9
  • 5
  • 6
  • 8
  • 84
  • 9
  • 7
  • 5
  • 6
  • 9
  • 13
  • 5
  • 7
  • 5
  • 10
  • 38
  • 7
  • 5
  • 12
  • 8
  • 6
  • 5
  • 9
  • 6
  • 9
  • 6
  • 7
  • 5
  • 9
  • 7
  • 7
  • 5
  • 6
  • 8
  • 5
  • 5
  • 7
  • 8
  • 43
  • 5
  • 6
  • 17
  • 20
  • 10
  • 5
  • 8
  • 8
  • 13
  • 6
  • 11
  • 17
  • 15
  • 15
  • 7
  • 6
  • 24
  • 13
  • 6
  • 6
  • 6
  • 5
  • 21
  • 6
  • 13
  • 8
  • 16
  • 6
  • 11
  • 5
  • 9
  • 6
  • 6
  • 12
  • 5
  • 12
  • 6
  • 5
  • 13
  • 7
  • 24
  • 7
  • 5
  • 9
  • 6
  • 7
  • 12
  • 14
  • 10
  • 7
  • 6
  • 12
  • 6
  • 7
  • 6
  • 12
  • 25
  • 12
  • 7
  • 7
  • 17
  • 9
  • 5
  • 8
  • 91
  • 6
  • 5
  • 7
  • 27
  • 11
  • 9
  • 21
  • 6
  • 9
  • 5
  • 9
  • 12
  • 21
  • 8
  • 94
  • 6
  • 50
  • 11
  • 89
  • 15
  • 14
  • 12
  • 9
  • 9
  • 15
  • 11
  • 7
  • 5
  • 5
  • 5
  • 8
  • 5
  • 90
  • 5
  • 5
  • 5
  • 7
  • 14
  • 8
  • 9
  • 7
  • 12
  • 5
  • 18
  • 14
  • 6
  • 14
  • 7
  • 6
  • 12
  • 5
  • 5
  • 6
  • 22
  • 13
  • 6
  • 5
  • 7
  • 7
  • 10
  • 8
  • 18
  • 6
  • 7
  • 5
  • 6
  • 14
  • 5
  • 5
  • 16
  • 5
  • 13
  • 42
  • 5
  • 10
  • 5
  • 18
  • 13
  • 12
  • 8
  • 14
  • 9
  • 8
  • 5
  • 12
  • 11
  • 5
  • 34
  • 7
  • 43
  • 11
  • 8
  • 5
  • 6
  • 8
  • 22
  • 9
  • 7
  • 15
  • 5
  • 18
  • 17
  • 5
  • 12
  • 11
  • 12
  • 9
  • 18
  • 60
  • 10
  • 16
  • 22
  • 8
  • 9
  • 7
  • 20
  • 18
  • 12
  • 5
  • 6
  • 6
  • 52
  • 6
  • 24
  • 12
  • 8
  • 7
  • 9
  • 18
  • 9
  • 6
  • 12
  • 16
  • 20
  • 9
  • 5
  • 8
  • 15
  • 9
  • 7
  • 12
  • 13
  • 89
  • 9
  • 6
  • 16
  • 15
  • 5
  • 5
  • 5
  • 7
  • 15
  • 7
  • 10
  • 5
  • 6
  • 32
  • 11
  • 12
  • 11
  • 7
  • 13
  • 15
  • 6
  • 7
  • 16
  • 6
  • 5
  • 13
  • 6
  • 19
  • 9
  • 5
  • 10
  • 9
  • 6
  • 6
  • 5
  • 5
  • 9
  • 20
  • 7
  • 15
  • 10
  • 8
  • 7
  • 6
  • 6
  • 7
  • 16
  • 5
  • 7
  • 11
  • 5
  • 15
  • 14
  • 5
  • 6
  • 20
  • 10
  • 5
  • 7
  • 6
  • 7
  • 6
  • 6
  • 35
  • 9
  • 26
  • 5
  • 43
  • 14
  • 62
  • 19
  • 6
  • 10
  • 5
  • 5
  • 5
  • 5
  • 6
  • 14
  • 7
  • 8
  • 20
  • 16
  • 17
  • 9
  • 5
  • 7
  • 7
  • 7
  • 17
Verlag
  • 3
  • 9
  • 3966
  • 3320
  • 1831
  • 1
  • 162
  • 1090
  • 1
  • 37
Preis
  • 47
  • 373
  • 7992
  • 2008
Sprachen
  • 10414
  • 17
  • 13
Verfügbarkeit
  • 10404
  • 16
Eigenschaften
  • 5
Katalog
  • 10420
  • 577
10.420  Treffer  für „Lecture Notes in Computer Science“
    Andreoni | Applied Cryptography and Network Security Workshops | Buch | Sack Fachmedien

    Andreoni Applied Cryptography and Network Security Workshops

    ACNS 2024 Satellite Workshops, AIBlock, AIHWS, AIoTS, SCI, AAC, SiMLA, LLE, and CIMSS, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-61485-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Serwe / Haxthausen | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Serwe / Haxthausen Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-68149-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coppens / Volckaert / Naessens | Availability, Reliability and Security | Buch | Sack Fachmedien

    Coppens / Volckaert / Naessens Availability, Reliability and Security

    ARES 2025 International Workshops, Ghent, Belgium, August 11-14, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00637-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Monti / Plebani / Moha | Service-Oriented Computing - ICSOC 2023 Workshops | Buch | Sack Fachmedien

    Monti / Plebani / Moha Service-Oriented Computing - ICSOC 2023 Workshops

    AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-981-97-0988-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Figueroa / Di Iorio / Cuevas Rodriguez | Entertainment Computing - ICEC 2024 | Buch | Sack Fachmedien

    Figueroa / Di Iorio / Cuevas Rodriguez Entertainment Computing - ICEC 2024

    23rd IFIP TC 14 International Conference, ICEC 2024, Manaus, Brazil, September 30 - October 3, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-74352-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duenas-Cid / Roenne / Volkamer | Electronic Voting | Buch | Sack Fachmedien

    Duenas-Cid / Roenne / Volkamer Electronic Voting

    9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings
    2025
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-72243-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tammets / Sosnovsky / Ferreira Mello | Two Decades of TEL. From Lessons Learnt to Challenges Ahead | Buch | Sack Fachmedien

    Tammets / Sosnovsky / Ferreira Mello Two Decades of TEL. From Lessons Learnt to Challenges Ahead

    20th European Conference on Technology Enhanced Learning, EC-TEL 2025, Newcastle upon Tyne and Durham, UK, September 15-19, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03869-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorla / Giacobazzi | Static Analysis | Buch | Sack Fachmedien

    Gorla / Giacobazzi Static Analysis

    31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-74775-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goeuriot / Di Nunzio / Mulhem | Experimental IR Meets Multilinguality, Multimodality, and Interaction | Buch | Sack Fachmedien

    Goeuriot / Di Nunzio / Mulhem Experimental IR Meets Multilinguality, Multimodality, and Interaction

    15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9-12, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71735-2
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beun / Bunt | Cooperative Multimodal Communication | Buch | Sack Fachmedien

    Beun / Bunt Cooperative Multimodal Communication

    Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998. Selected Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42806-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mernik / Eftimov / Crepinšek | Bioinspired Optimization Methods and Their Applications | Buch | Sack Fachmedien

    Mernik / Eftimov / Crepinšek Bioinspired Optimization Methods and Their Applications

    10th International Conference, BIOMA 2022, Maribor, Slovenia, November 17-18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-21093-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Yakovlev / Haddad | Transactions on Petri Nets and Other Models of Concurrency IX | Buch | Sack Fachmedien

    Koutny / Yakovlev / Haddad Transactions on Petri Nets and Other Models of Concurrency IX

    2014
    Verlag: Springer
    ISBN: 978-3-662-45729-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nikiforakis / Mouha | Information Security | Buch | Sack Fachmedien

    Nikiforakis / Mouha Information Security

    27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part II
    2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-75763-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Søndergaard / Bowles | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Søndergaard / Bowles Logic-Based Program Synthesis and Transformation

    34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71293-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Þór Jónsson / Gurrin / Tran | MultiMedia Modeling | Buch | Sack Fachmedien

    Þór Jónsson / Gurrin / Tran MultiMedia Modeling

    28th International Conference, MMM 2022, Phu Quoc, Vietnam, June 6-10, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-98354-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thórisson / Sheikhlar / Isaev | Artificial General Intelligence | Buch | Sack Fachmedien

    Thórisson / Sheikhlar / Isaev Artificial General Intelligence

    17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-65571-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Zou / Takabi | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Zou / Takabi Wireless Artificial Intelligent Computing Systems and Applications

    18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part III
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71469-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Lingras / Slezak | Rough Sets and Knowledge Technology | Buch | Sack Fachmedien

    Yao / Lingras / Slezak Rough Sets and Knowledge Technology

    Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72457-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fossorier / Poli / Hoeholdt | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Fossorier / Poli / Hoeholdt Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40111-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Hartmanns / Kordon | TOOLympics Challenge 2023 | Buch | Sack Fachmedien

    Beyer / Hartmanns / Kordon TOOLympics Challenge 2023

    Updates, Results, Successes of the Formal-Methods Competitions
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-67694-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolf / Steinmetz / Hutchison | Quality of Service - IWQoS 2001 | Buch | Sack Fachmedien

    Wolf / Steinmetz / Hutchison Quality of Service - IWQoS 2001

    9th International Workshop Karlsruhe, Germany, June 6-8, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42217-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Wenzel / Paulson | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Wenzel / Paulson Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43376-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholz / Fahringer | Advanced Symbolic Analysis for Compilers | Buch | Sack Fachmedien

    Scholz / Fahringer Advanced Symbolic Analysis for Compilers

    New Techniques and Algorithms for Symbolic Program Analysis and Optimization
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-01185-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ouaknine / Worrell / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Ouaknine / Worrell / Potapov Reachability Problems

    8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11438-5
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demri / Weidenbach / Kapur | Automated Reasoning | Buch | Sack Fachmedien

    Demri / Weidenbach / Kapur Automated Reasoning

    7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08586-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