Ergebnisse filtern
Fachgebiet
Medium
  • 11211
Erscheinungsjahr
  • 114
  • 783
  • 791
  • 836
  • 614
  • 474
  • 281
  • 301
  • 318
  • 300
  • 298
  • 319
  • 311
  • 297
  • 316
  • 276
  • 300
  • 260
  • 256
  • 235
  • 254
  • 258
  • 222
  • 356
  • 299
  • 248
  • 252
  • 174
  • 178
  • 126
  • 143
  • 137
  • 113
  • 109
  • 90
  • 71
  • 85
  • 56
  • 55
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 15
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 9
  • 4
  • 12
  • 4
  • 25
  • 8
  • 7
  • 4
  • 5
  • 5
  • 4
  • 7
  • 7
  • 8
  • 6
  • 7
  • 16
  • 8
  • 4
  • 20
  • 5
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 13
  • 4
  • 31
  • 36
  • 5
  • 39
  • 7
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 5
  • 7
  • 5
  • 16
  • 7
  • 21
  • 4
  • 13
  • 5
  • 7
  • 4
  • 6
  • 5
  • 8
  • 7
  • 39
  • 12
  • 5
  • 5
  • 5
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 9
  • 4
  • 9
  • 4
  • 46
  • 5
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 7
  • 23
  • 5
  • 7
  • 10
  • 10
  • 8
  • 9
  • 7
  • 12
  • 5
  • 7
  • 19
  • 6
  • 7
  • 5
  • 17
  • 5
  • 7
  • 5
  • 7
  • 10
  • 8
  • 8
  • 21
  • 5
  • 12
  • 7
  • 5
  • 6
  • 40
  • 7
  • 19
  • 18
  • 5
  • 7
  • 6
  • 8
  • 8
  • 5
  • 5
  • 9
  • 6
  • 7
  • 8
  • 6
  • 9
  • 12
  • 11
  • 8
  • 14
  • 9
  • 6
  • 15
  • 8
  • 5
  • 5
  • 7
  • 39
  • 17
  • 5
  • 6
  • 5
  • 7
  • 5
  • 15
  • 10
  • 11
  • 11
  • 7
  • 8
  • 12
  • 5
  • 5
  • 8
  • 23
  • 13
  • 7
  • 6
  • 14
  • 5
  • 8
  • 5
  • 5
  • 8
  • 5
  • 34
  • 15
  • 41
  • 11
  • 8
  • 15
  • 18
  • 8
  • 44
  • 12
  • 39
  • 9
  • 14
  • 6
  • 12
  • 6
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 11
  • 12
  • 6
  • 7
  • 6
  • 5
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 7
  • 16
  • 5
  • 6
  • 12
  • 6
  • 5
  • 9
  • 10
  • 6
  • 5
  • 8
  • 26
  • 23
  • 15
  • 25
  • 8
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 6
  • 14
  • 9
  • 23
  • 6
  • 5
  • 8
  • 6
  • 8
  • 11
  • 5
  • 8
  • 6
  • 22
  • 10
  • 6
  • 12
  • 10
  • 6
  • 5
  • 45
  • 43
  • 9
  • 41
  • 12
  • 9
  • 12
  • 5
  • 6
  • 29
  • 13
  • 5
  • 5
  • 18
  • 9
  • 6
  • 10
  • 26
  • 15
  • 43
  • 78
  • 10
  • 7
  • 14
  • 10
  • 6
  • 6
  • 7
  • 11
  • 17
  • 6
  • 9
  • 7
  • 5
  • 6
  • 8
  • 7
  • 7
  • 5
  • 5
  • 7
  • 19
  • 17
  • 8
  • 6
  • 7
  • 10
  • 9
  • 5
  • 13
  • 19
  • 67
  • 32
  • 9
  • 6
  • 19
  • 9
  • 16
  • 24
  • 5
  • 104
  • 5
  • 11
  • 6
  • 5
  • 14
  • 5
  • 6
  • 8
  • 6
  • 18
  • 16
  • 6
  • 6
  • 9
  • 6
  • 6
  • 17
  • 6
  • 6
  • 6
  • 6
  • 10
  • 5
  • 39
  • 10
  • 9
  • 7
  • 9
  • 15
  • 7
  • 7
  • 7
  • 23
  • 39
  • 8
  • 18
  • 9
  • 10
  • 5
  • 5
  • 5
  • 7
  • 15
  • 10
  • 9
  • 15
  • 5
  • 5
  • 5
  • 10
  • 8
  • 95
  • 8
  • 9
  • 5
  • 5
  • 5
  • 10
  • 5
  • 6
  • 6
  • 15
  • 8
  • 13
  • 5
  • 11
  • 5
  • 18
  • 9
  • 13
  • 7
  • 5
  • 5
  • 6
  • 7
  • 19
  • 13
  • 8
  • 5
  • 12
  • 7
  • 13
  • 6
  • 10
  • 5
  • 16
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 5
  • 10
  • 5
  • 15
  • 6
  • 8
  • 7
  • 9
  • 41
  • 10
  • 6
  • 8
  • 6
  • 26
  • 6
  • 18
  • 39
  • 5
  • 10
  • 15
  • 12
  • 32
  • 6
  • 10
  • 7
  • 12
  • 17
  • 6
  • 14
  • 5
  • 18
  • 35
  • 7
  • 17
  • 8
  • 11
  • 5
  • 14
  • 6
  • 26
  • 78
  • 14
  • 26
  • 45
  • 8
  • 5
  • 7
  • 9
  • 6
  • 8
  • 5
  • 12
  • 6
  • 6
  • 7
  • 7
  • 8
  • 14
  • 7
  • 6
  • 5
  • 17
  • 91
  • 13
  • 6
  • 44
  • 6
  • 6
  • 13
  • 7
  • 8
  • 5
  • 14
  • 14
  • 10
  • 12
  • 7
  • 34
  • 7
  • 6
  • 7
  • 5
  • 7
  • 17
  • 18
  • 5
  • 20
  • 6
  • 6
  • 28
  • 6
  • 5
  • 6
  • 77
  • 11
  • 5
  • 15
  • 6
  • 5
  • 12
  • 22
  • 5
  • 9
  • 6
  • 8
  • 6
  • 7
  • 30
  • 6
  • 5
  • 6
  • 24
  • 6
  • 5
  • 13
  • 16
  • 13
  • 7
  • 14
  • 16
  • 15
  • 11
  • 23
  • 8
  • 78
  • 11
  • 5
  • 10
  • 11
  • 5
  • 29
  • 5
  • 27
  • 31
  • 5
  • 7
  • 7
  • 5
  • 7
  • 6
  • 13
  • 5
  • 20
  • 9
  • 6
  • 7
  • 7
  • 9
  • 13
  • 6
  • 21
  • 6
  • 9
  • 11
  • 8
  • 9
  • 8
  • 15
  • 6
  • 5
  • 34
  • 14
  • 8
  • 9
  • 5
  • 6
  • 7
  • 7
  • 5
  • 7
  • 22
  • 7
  • 9
  • 8
  • 7
  • 9
  • 6
  • 95
  • 8
  • 6
  • 5
  • 5
  • 12
  • 9
  • 8
  • 6
  • 5
  • 8
  • 5
  • 12
  • 35
  • 5
  • 16
  • 8
  • 5
  • 5
  • 9
  • 5
  • 5
  • 12
  • 21
  • 25
  • 7
  • 5
  • 5
  • 6
  • 9
  • 13
  • 6
  • 6
  • 5
  • 10
  • 6
  • 8
  • 10
  • 6
  • 9
  • 48
  • 17
  • 6
  • 38
  • 10
  • 9
  • 11
  • 5
  • 12
  • 20
  • 13
  • 14
  • 15
  • 14
  • 6
  • 7
  • 8
  • 27
  • 10
  • 5
  • 11
  • 7
  • 6
  • 5
  • 19
  • 6
  • 9
  • 5
  • 12
  • 14
  • 9
  • 5
  • 8
  • 6
  • 16
  • 7
  • 13
  • 8
  • 5
  • 9
  • 7
  • 9
  • 23
  • 6
  • 7
  • 5
  • 11
  • 10
  • 8
  • 8
  • 37
  • 12
  • 9
  • 8
  • 6
  • 7
  • 5
  • 14
  • 8
  • 5
  • 10
  • 10
  • 29
  • 6
  • 16
  • 7
  • 36
  • 8
  • 10
  • 8
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 5
  • 7
  • 6
  • 31
  • 15
  • 5
  • 5
  • 8
  • 78
  • 5
  • 17
  • 8
  • 8
  • 6
  • 13
  • 11
  • 19
  • 18
  • 6
  • 9
  • 92
  • 6
  • 46
  • 5
  • 11
  • 9
  • 9
  • 89
  • 22
  • 7
  • 20
  • 7
  • 10
  • 6
  • 9
  • 12
  • 18
  • 10
  • 6
  • 6
  • 6
  • 5
  • 8
  • 7
  • 90
  • 7
  • 6
  • 5
  • 5
  • 6
  • 21
  • 8
  • 13
  • 6
  • 82
  • 11
  • 5
  • 18
  • 13
  • 15
  • 11
  • 5
  • 10
  • 13
  • 5
  • 5
  • 22
  • 14
  • 6
  • 8
  • 6
  • 7
  • 7
  • 14
  • 6
  • 22
  • 8
  • 6
  • 5
  • 6
  • 7
  • 6
  • 5
  • 7
  • 14
  • 9
  • 7
  • 8
  • 6
  • 14
  • 8
  • 14
  • 23
  • 29
  • 7
  • 6
  • 5
  • 5
  • 16
  • 6
  • 5
  • 8
  • 13
  • 8
  • 6
  • 33
  • 15
  • 5
  • 6
  • 5
  • 10
  • 10
  • 5
  • 8
  • 6
  • 43
  • 6
  • 49
  • 10
  • 6
  • 9
  • 6
  • 11
  • 12
  • 6
  • 14
  • 24
  • 5
  • 5
  • 16
  • 8
  • 16
  • 5
  • 17
  • 23
  • 5
  • 5
  • 9
  • 7
  • 8
  • 25
  • 15
  • 22
  • 61
  • 10
  • 14
  • 20
  • 8
  • 9
  • 5
  • 5
  • 22
  • 18
  • 17
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 57
  • 81
  • 23
  • 12
  • 8
  • 10
  • 15
  • 5
  • 6
  • 5
  • 12
  • 17
  • 5
  • 12
  • 5
  • 6
  • 14
  • 9
  • 7
  • 13
  • 8
  • 6
  • 8
  • 5
  • 89
  • 11
  • 17
  • 15
  • 10
  • 6
  • 8
  • 5
  • 6
  • 13
  • 5
  • 5
  • 10
  • 7
  • 33
  • 5
  • 11
  • 9
  • 11
  • 5
  • 6
  • 13
  • 18
  • 37
  • 6
  • 5
  • 8
  • 14
  • 5
  • 8
  • 19
  • 14
  • 5
  • 7
  • 5
  • 10
  • 6
  • 9
  • 6
  • 23
  • 6
  • 13
  • 10
  • 6
  • 9
  • 5
  • 6
  • 6
  • 7
  • 6
  • 14
  • 11
  • 9
  • 5
  • 18
  • 5
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 14
  • 14
  • 23
  • 7
  • 19
  • 5
  • 11
  • 5
  • 11
  • 8
  • 18
  • 6
  • 6
  • 6
  • 52
  • 6
  • 12
  • 5
  • 35
  • 7
  • 5
  • 21
  • 6
  • 46
  • 37
  • 58
  • 40
  • 7
  • 12
  • 5
  • 11
  • 21
  • 5
  • 32
  • 7
  • 27
  • 15
  • 20
  • 6
  • 5
  • 13
  • 5
  • 8
  • 9
  • 6
  • 6
  • 21
Verlag
  • 7
  • 11074
  • 3
  • 10
  • 2
  • 19
  • 46
  • 5
  • 1
  • 14
  • 30
Preis
  • 42
  • 411
  • 8517
  • 2241
Sprachen
  • 11206
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10953
  • 258
Eigenschaften
  • 2
Katalog
  • 11211
  • 596
11.211  Treffer  für „Lecture Notes in Computer Science“
    Liu / Araki | Theoretical Aspects of Computing - ICTAC 2004 | Buch | Sack Fachmedien

    Liu / Araki Theoretical Aspects of Computing - ICTAC 2004

    First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25304-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Fett / Hinchey | ZUM '98: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Fett / Hinchey ZUM '98: The Z Formal Specification Notation

    11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guarracino / Vivien / Traff | Euro-Par 2010, Parallel Processing Workshops | Buch | Sack Fachmedien

    Guarracino / Vivien / Traff Euro-Par 2010, Parallel Processing Workshops

    HeteroPAR, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21877-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Association Rule Mining | Buch | Sack Fachmedien

    Zhang Association Rule Mining

    Models and Algorithms
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43533-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Korb / Randall / Hendtlass | Artificial Life: Borrowing from Biology | Buch | Sack Fachmedien

    Korb / Randall / Hendtlass Artificial Life: Borrowing from Biology

    4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10426-8
    Medium: Buch
    53,49 € (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
    Kozen / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Kozen / de Queiroz Logic, Language, Information, and Computation

    31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99535-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst / Rozier | Model Checking Software | Buch | Sack Fachmedien

    Ernst / Rozier Model Checking Software

    31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06846-0
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusácek / Corbalán / Rodrigo | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Klusácek / Corbalán / Rodrigo Job Scheduling Strategies for Parallel Processing

    28th International Workshop, JSSPP 2025, Milan, Italy, June 3-4, 2025, Revised Selected Papers
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-10506-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Métais / Meziane / Saraee | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Métais / Meziane / Saraee Natural Language Processing and Information Systems

    21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41753-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Park / Lee | Information Security and Cryptology - ICISC 2024 | Buch | Sack Fachmedien

    Kim / Park / Lee Information Security and Cryptology - ICISC 2024

    27th International Conference, Seoul, South Korea, November 20-22, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-965565-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartmann / Küng / Kotsis | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Hartmann / Küng / Kotsis Database and Expert Systems Applications

    31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59002-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Berg / Meyer | Algorithms -- ESA 2010, Part II | Buch | Sack Fachmedien

    de Berg / Meyer Algorithms -- ESA 2010, Part II

    18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15780-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Qian / Chapman | Network and Parallel Computing | Buch | Sack Fachmedien

    Gao / Qian / Chapman Network and Parallel Computing

    13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47098-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dixon / Finger | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Dixon / Finger Frontiers of Combining Systems

    11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-66166-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Squillero / Sim | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Squillero / Sim Applications of Evolutionary Computation

    20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-55848-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Squillero / Burelli | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Squillero / Burelli Applications of Evolutionary Computation

    19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31203-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cosenza / Zeinalipour / Fornaciari | Euro-Par 2026: Parallel Processing Workshops | Buch | Sack Fachmedien

    Cosenza / Zeinalipour / Fornaciari Euro-Par 2026: Parallel Processing Workshops

    Euro-Par 2026 International Workshops, Pisa, Italy, August 24–28, 2026, Revised Selected Papers, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-42410-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Hao / Velásquez / Li | Behavioural and Social Computing | Buch | Sack Fachmedien

    Hao / Velásquez / Li Behavioural and Social Computing

    12th International Conference, BESC 2025, Hong Kong SAR, China, October 16-18, 2025, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-957137-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bramer / Stahl | Artificial Intelligence XLIII | Buch | Sack Fachmedien

    Bramer / Stahl Artificial Intelligence XLIII

    46th SGAI International Conference on Artificial Intelligence, AI 2026, Cambridge, UK, December 15–17, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-45235-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Dachman-Soled / Wichs | Theory of Cryptography | Buch | Sack Fachmedien

    Dachman-Soled / Wichs Theory of Cryptography

    24th International Conference, TCC 2026, New York City, NY, USA, November 10–13, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-43616-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Semenov / Singh / Yang | Computational Data and Social Networks | Buch | Sack Fachmedien

    Semenov / Singh / Yang Computational Data and Social Networks

    14th International Conference, CSoNet 2025, Danang, Vietnam, December 14-16, 2025, Proceedings Part II
    Erscheinungsjahr 2027
    Verlag: Springer Verlag, Singapore
    ISBN: 978-981-9246-45-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Havelund / Holzmann / Joshi | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Holzmann / Joshi NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enokido / Yan / Xiao | EUC 2005 Workshops | Buch | Sack Fachmedien

    Enokido / Yan / Xiao EUC 2005 Workshops

    EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005
    Erscheinungsjahr 2005
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-30803-4
    Medium: Buch
    167,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palmirani / Sottara | Rule-Based Modeling and Computing on the Semantic Web | Buch | Sack Fachmedien

    Palmirani / Sottara Rule-Based Modeling and Computing on the Semantic Web

    5th International Symposium, RuleML 2011 - America, Ft. Lauderdale, FL, USA, November 3-5, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24907-5
    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