Ergebnisse filtern
Fachgebiet
Medium
  • 10661
  • 2625
Erscheinungsjahr
  • 215
  • 1012
  • 1043
  • 795
  • 624
  • 393
  • 409
  • 439
  • 419
  • 427
  • 419
  • 435
  • 419
  • 430
  • 445
  • 385
  • 387
  • 272
  • 247
  • 276
  • 292
  • 227
  • 477
  • 582
  • 263
  • 252
  • 180
  • 177
  • 134
  • 135
  • 137
  • 121
  • 112
  • 98
  • 75
  • 84
  • 57
  • 60
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 5
  • 6
  • 7
  • 10
  • 5
  • 12
  • 12
  • 9
  • 6
  • 5
  • 5
  • 5
  • 9
  • 12
  • 12
  • 5
  • 20
  • 23
  • 7
  • 10
  • 6
  • 8
  • 11
  • 11
  • 5
  • 7
  • 5
  • 13
  • 6
  • 31
  • 52
  • 8
  • 49
  • 9
  • 7
  • 6
  • 6
  • 20
  • 20
  • 6
  • 12
  • 5
  • 5
  • 7
  • 46
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 13
  • 6
  • 20
  • 7
  • 5
  • 8
  • 5
  • 5
  • 9
  • 5
  • 7
  • 6
  • 7
  • 9
  • 13
  • 6
  • 7
  • 21
  • 5
  • 6
  • 8
  • 21
  • 5
  • 12
  • 6
  • 8
  • 5
  • 5
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 57
  • 5
  • 18
  • 13
  • 7
  • 12
  • 12
  • 11
  • 5
  • 7
  • 5
  • 8
  • 6
  • 8
  • 12
  • 5
  • 7
  • 5
  • 11
  • 15
  • 5
  • 11
  • 5
  • 18
  • 14
  • 18
  • 7
  • 8
  • 5
  • 46
  • 14
  • 8
  • 5
  • 8
  • 6
  • 7
  • 10
  • 19
  • 7
  • 11
  • 14
  • 13
  • 7
  • 7
  • 5
  • 16
  • 10
  • 9
  • 25
  • 5
  • 6
  • 15
  • 12
  • 5
  • 13
  • 6
  • 11
  • 5
  • 7
  • 5
  • 13
  • 5
  • 5
  • 7
  • 8
  • 49
  • 14
  • 5
  • 61
  • 7
  • 12
  • 11
  • 20
  • 20
  • 5
  • 11
  • 9
  • 5
  • 28
  • 9
  • 53
  • 5
  • 12
  • 15
  • 12
  • 9
  • 5
  • 11
  • 8
  • 17
  • 6
  • 9
  • 15
  • 6
  • 10
  • 11
  • 46
  • 5
  • 12
  • 9
  • 17
  • 6
  • 6
  • 9
  • 16
  • 12
  • 7
  • 7
  • 7
  • 8
  • 20
  • 13
  • 7
  • 16
  • 8
  • 8
  • 10
  • 6
  • 8
  • 17
  • 25
  • 8
  • 8
  • 6
  • 7
  • 9
  • 17
  • 25
  • 11
  • 9
  • 6
  • 11
  • 8
  • 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
  • 7
  • 33
  • 7
  • 18
  • 54
  • 14
  • 8
  • 7
  • 18
  • 9
  • 7
  • 9
  • 11
  • 12
  • 24
  • 9
  • 9
  • 9
  • 6
  • 11
  • 20
  • 13
  • 12
  • 6
  • 13
  • 11
  • 12
  • 12
  • 17
  • 71
  • 40
  • 7
  • 32
  • 13
  • 22
  • 34
  • 6
  • 113
  • 8
  • 14
  • 10
  • 8
  • 20
  • 10
  • 8
  • 23
  • 16
  • 9
  • 11
  • 7
  • 11
  • 21
  • 10
  • 12
  • 9
  • 8
  • 7
  • 6
  • 8
  • 7
  • 14
  • 7
  • 51
  • 13
  • 10
  • 11
  • 24
  • 12
  • 7
  • 10
  • 25
  • 46
  • 11
  • 8
  • 13
  • 19
  • 15
  • 8
  • 7
  • 9
  • 7
  • 9
  • 6
  • 17
  • 19
  • 8
  • 6
  • 6
  • 10
  • 12
  • 7
  • 90
  • 8
  • 13
  • 15
  • 8
  • 8
  • 10
  • 8
  • 7
  • 19
  • 9
  • 11
  • 7
  • 10
  • 9
  • 25
  • 6
  • 8
  • 14
  • 10
  • 6
  • 7
  • 15
  • 6
  • 22
  • 17
  • 7
  • 6
  • 11
  • 13
  • 6
  • 6
  • 7
  • 6
  • 19
  • 9
  • 9
  • 6
  • 14
  • 6
  • 20
  • 7
  • 6
  • 7
  • 7
  • 11
  • 12
  • 16
  • 10
  • 9
  • 9
  • 8
  • 6
  • 40
  • 8
  • 10
  • 13
  • 6
  • 9
  • 8
  • 32
  • 8
  • 10
  • 6
  • 19
  • 48
  • 7
  • 6
  • 7
  • 11
  • 11
  • 19
  • 6
  • 7
  • 36
  • 6
  • 15
  • 9
  • 6
  • 6
  • 10
  • 19
  • 6
  • 8
  • 18
  • 27
  • 44
  • 20
  • 10
  • 8
  • 28
  • 7
  • 14
  • 10
  • 8
  • 31
  • 17
  • 35
  • 46
  • 7
  • 8
  • 11
  • 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
  • 16
  • 6
  • 16
  • 6
  • 9
  • 8
  • 7
  • 10
  • 13
  • 15
  • 23
  • 7
  • 21
  • 6
  • 29
  • 6
  • 13
  • 8
  • 83
  • 10
  • 6
  • 23
  • 7
  • 9
  • 6
  • 16
  • 31
  • 9
  • 14
  • 6
  • 12
  • 9
  • 7
  • 10
  • 6
  • 21
  • 9
  • 6
  • 9
  • 30
  • 10
  • 6
  • 7
  • 14
  • 13
  • 19
  • 6
  • 19
  • 23
  • 20
  • 10
  • 23
  • 7
  • 7
  • 11
  • 9
  • 6
  • 12
  • 9
  • 14
  • 30
  • 8
  • 12
  • 44
  • 35
  • 8
  • 9
  • 6
  • 9
  • 10
  • 7
  • 21
  • 10
  • 6
  • 7
  • 6
  • 7
  • 10
  • 6
  • 10
  • 10
  • 9
  • 9
  • 6
  • 12
  • 9
  • 27
  • 8
  • 6
  • 6
  • 6
  • 11
  • 10
  • 12
  • 9
  • 15
  • 11
  • 7
  • 43
  • 13
  • 12
  • 8
  • 7
  • 8
  • 6
  • 20
  • 7
  • 6
  • 7
  • 15
  • 8
  • 7
  • 10
  • 7
  • 9
  • 11
  • 7
  • 104
  • 6
  • 17
  • 8
  • 8
  • 10
  • 7
  • 9
  • 20
  • 8
  • 7
  • 6
  • 7
  • 10
  • 12
  • 57
  • 23
  • 21
  • 7
  • 8
  • 16
  • 9
  • 12
  • 7
  • 6
  • 8
  • 10
  • 6
  • 8
  • 7
  • 10
  • 9
  • 6
  • 8
  • 7
  • 8
  • 6
  • 8
  • 8
  • 15
  • 61
  • 8
  • 8
  • 8
  • 20
  • 10
  • 9
  • 23
  • 16
  • 7
  • 6
  • 6
  • 13
  • 7
  • 16
  • 19
  • 19
  • 11
  • 18
  • 9
  • 8
  • 12
  • 28
  • 15
  • 9
  • 10
  • 16
  • 7
  • 10
  • 7
  • 25
  • 6
  • 13
  • 15
  • 16
  • 6
  • 13
  • 11
  • 9
  • 18
  • 8
  • 18
  • 8
  • 10
  • 20
  • 9
  • 25
  • 9
  • 10
  • 13
  • 6
  • 13
  • 7
  • 6
  • 16
  • 17
  • 12
  • 10
  • 7
  • 6
  • 7
  • 23
  • 6
  • 9
  • 8
  • 9
  • 6
  • 7
  • 13
  • 31
  • 7
  • 17
  • 8
  • 11
  • 25
  • 7
  • 11
  • 8
  • 11
  • 122
  • 11
  • 10
  • 7
  • 32
  • 9
  • 12
  • 24
  • 11
  • 9
  • 6
  • 12
  • 16
  • 11
  • 28
  • 8
  • 122
  • 6
  • 62
  • 13
  • 12
  • 11
  • 120
  • 29
  • 6
  • 19
  • 8
  • 14
  • 8
  • 14
  • 15
  • 20
  • 15
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 10
  • 120
  • 7
  • 9
  • 15
  • 27
  • 12
  • 16
  • 11
  • 6
  • 12
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 10
  • 31
  • 11
  • 7
  • 6
  • 13
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 35
  • 9
  • 6
  • 7
  • 6
  • 7
  • 9
  • 15
  • 10
  • 10
  • 8
  • 11
  • 13
  • 19
  • 44
  • 12
  • 9
  • 11
  • 7
  • 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
  • 32
  • 12
  • 18
  • 34
  • 71
  • 12
  • 20
  • 24
  • 9
  • 15
  • 8
  • 11
  • 20
  • 22
  • 17
  • 9
  • 9
  • 71
  • 25
  • 15
  • 10
  • 8
  • 16
  • 20
  • 12
  • 17
  • 9
  • 15
  • 14
  • 8
  • 6
  • 16
  • 15
  • 10
  • 9
  • 15
  • 6
  • 120
  • 6
  • 12
  • 6
  • 13
  • 20
  • 8
  • 8
  • 7
  • 6
  • 6
  • 6
  • 6
  • 17
  • 13
  • 6
  • 10
  • 41
  • 7
  • 11
  • 9
  • 7
  • 18
  • 9
  • 19
  • 21
  • 11
  • 15
  • 28
  • 9
  • 6
  • 21
  • 7
  • 25
  • 10
  • 15
  • 8
  • 8
  • 11
  • 9
  • 9
  • 9
  • 10
  • 9
  • 7
  • 32
  • 7
  • 18
  • 8
  • 12
  • 6
  • 10
  • 8
  • 10
  • 7
  • 10
  • 7
  • 15
  • 13
  • 10
  • 7
  • 23
  • 7
  • 14
  • 17
  • 7
  • 11
  • 32
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 7
  • 28
  • 8
  • 13
  • 6
  • 6
  • 13
  • 10
  • 9
  • 23
  • 7
  • 9
  • 7
  • 8
  • 59
  • 13
  • 7
  • 7
  • 7
  • 29
  • 60
  • 22
  • 78
  • 6
  • 21
  • 6
  • 6
  • 9
  • 9
  • 9
  • 6
  • 43
  • 9
  • 8
  • 23
  • 25
  • 21
  • 10
  • 13
  • 6
  • 14
  • 15
  • 7
  • 29
Verlag
  • 1
  • 11533
  • 40
  • 1512
  • 1
  • 14
  • 4
  • 3
  • 131
  • 1
  • 1
  • 2
  • 43
Preis
  • 47
  • 485
  • 10486
  • 2268
Sprachen
  • 13278
  • 20
  • 15
Verfügbarkeit
  • 13265
  • 21
Eigenschaften
  • 10
Katalog
  • 13286
  • 547
13.286  Treffer  für „Lecture Notes in Computer Science“
    Campos / Minea | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Campos / Minea Formal Methods: Foundations and Applications

    24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-92136-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bae | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Bae Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-12440-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malenfant / Moisan / Moreira | Object-Oriented Technology: ECOOP 2000 Workshop Reader | Buch | Sack Fachmedien

    Malenfant / Moisan / Moreira Object-Oriented Technology: ECOOP 2000 Workshop Reader

    ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41513-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bäck / Preuss / Deutz | Parallel Problem Solving from Nature - PPSN XVI | Buch | Sack Fachmedien

    Bäck / Preuss / Deutz Parallel Problem Solving from Nature - PPSN XVI

    16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58111-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nieuwenhuis Rewriting Techniques and Applications

    14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40254-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / Jiang / Luo | Edge Computing - EDGE 2023 | Buch | Sack Fachmedien

    Feng / Jiang / Luo Edge Computing - EDGE 2023

    7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51825-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Steinby | Automata, Languages and Programming | Buch | Sack Fachmedien

    Salomaa / Steinby Automata, Languages and Programming

    Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977
    1. Auflage 1977
    Verlag: Springer
    ISBN: 978-3-540-08342-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kavun / Pehl | Constructive Side-Channel Analysis and Secure Design | Buch | Sack Fachmedien

    Kavun / Pehl Constructive Side-Channel Analysis and Secure Design

    14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-29496-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aiello / Chakraborty / Gaito | Social Networks Analysis and Mining | Buch | Sack Fachmedien

    Aiello / Chakraborty / Gaito Social Networks Analysis and Mining

    16th International Conference, ASONAM 2024, Rende, Italy, September 2-5, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78540-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koutny / Desel / Kleijn | Transactions on Petri Nets and Other Models of Concurrency XI | Buch | Sack Fachmedien

    Koutny / Desel / Kleijn Transactions on Petri Nets and Other Models of Concurrency XI

    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53400-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Lan / Chen | Information Retrieval | Buch | Sack Fachmedien

    Li / Lan / Chen Information Retrieval

    31st China Conference, CCIR 2025, Shihezi, China, August 15-17, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-955636-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Saarinen / Smith-Tone | Post-Quantum Cryptography | Buch | Sack Fachmedien

    Saarinen / Smith-Tone Post-Quantum Cryptography

    15th International Workshop, PQCrypto 2024, Oxford, UK, June 12-14, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-62745-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertacco / Legay | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Bertacco / Legay Hardware and Software: Verification and Testing

    9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03076-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jamnik / Uesaka / Elzer Schwartz | Diagrammatic Representation and Inference | Buch | Sack Fachmedien

    Jamnik / Uesaka / Elzer Schwartz Diagrammatic Representation and Inference

    9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42332-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Vardi | Database Theory - ICDT '95 | Buch | Sack Fachmedien

    Gottlob / Vardi Database Theory - ICDT '95

    5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Del Bimbo / Cucchiara / Sclaroff | Pattern Recognition. ICPR International Workshops and Challenges | Buch | Sack Fachmedien

    Del Bimbo / Cucchiara / Sclaroff Pattern Recognition. ICPR International Workshops and Challenges

    Virtual Event, January 10-15, 2021, Proceedings, Part V
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-68820-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cleaveland | Tools and Algorithms for the Construction of Analysis of Systems | Buch | Sack Fachmedien

    Cleaveland Tools and Algorithms for the Construction of Analysis of Systems

    5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65703-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Küng / Wagner | Transactions on Large-Scale Data- and Knowledge-Centered Systems IX | Buch | Sack Fachmedien

    Hameurlain / Küng / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems IX

    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40068-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuck / Attie / Cortesi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Zuck / Attie / Cortesi Verification, Model Checking, and Abstract Interpretation

    4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00348-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gedeon / Wong / Lee | Neural Information Processing | Buch | Sack Fachmedien

    Gedeon / Wong / Lee Neural Information Processing

    26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12-15, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-36717-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghaffari / Nesterenko / Tixeuil | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Ghaffari / Nesterenko / Tixeuil Stabilization, Safety, and Security of Distributed Systems

    21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34991-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kraetzer / Shi / Dittmann | Digital Forensics and Watermarking | Buch | Sack Fachmedien

    Kraetzer / Shi / Dittmann Digital Forensics and Watermarking

    16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-64184-3
    Medium: Buch
    53,49 € (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

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34025-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cornuejols / Burkard / Woeginger | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Cornuejols / Burkard / Woeginger Integer Programming and Combinatorial Optimization

    7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66019-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knoop / Karl / Schulz | Architecture of Computing Systems - ARCS 2017 | Buch | Sack Fachmedien

    Knoop / Karl / Schulz Architecture of Computing Systems - ARCS 2017

    30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-54998-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