Ergebnisse filtern
Fachgebiet
Medium
  • 11163
Erscheinungsjahr
  • 7
  • 745
  • 798
  • 841
  • 622
  • 480
  • 285
  • 317
  • 311
  • 314
  • 280
  • 318
  • 306
  • 301
  • 297
  • 296
  • 285
  • 288
  • 256
  • 211
  • 261
  • 270
  • 230
  • 359
  • 307
  • 255
  • 254
  • 177
  • 177
  • 134
  • 137
  • 133
  • 117
  • 106
  • 93
  • 73
  • 88
  • 59
  • 59
  • 45
  • 46
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 9
  • 5
  • 12
  • 25
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 4
  • 5
  • 8
  • 10
  • 4
  • 4
  • 5
  • 8
  • 17
  • 6
  • 13
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 6
  • 4
  • 5
  • 5
  • 4
  • 6
  • 6
  • 14
  • 4
  • 33
  • 36
  • 7
  • 41
  • 5
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 8
  • 4
  • 13
  • 4
  • 21
  • 13
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 7
  • 4
  • 39
  • 13
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 7
  • 5
  • 7
  • 4
  • 4
  • 4
  • 11
  • 4
  • 7
  • 17
  • 9
  • 6
  • 4
  • 4
  • 5
  • 6
  • 4
  • 6
  • 6
  • 8
  • 24
  • 4
  • 8
  • 10
  • 10
  • 11
  • 7
  • 6
  • 4
  • 12
  • 6
  • 4
  • 4
  • 5
  • 4
  • 19
  • 5
  • 6
  • 14
  • 6
  • 12
  • 5
  • 5
  • 5
  • 9
  • 8
  • 4
  • 4
  • 8
  • 26
  • 4
  • 4
  • 4
  • 10
  • 5
  • 11
  • 5
  • 6
  • 40
  • 4
  • 5
  • 4
  • 4
  • 8
  • 5
  • 20
  • 18
  • 6
  • 4
  • 4
  • 4
  • 8
  • 6
  • 11
  • 10
  • 4
  • 4
  • 5
  • 4
  • 5
  • 11
  • 4
  • 5
  • 4
  • 7
  • 10
  • 4
  • 4
  • 4
  • 7
  • 8
  • 12
  • 12
  • 9
  • 4
  • 12
  • 8
  • 8
  • 16
  • 4
  • 7
  • 5
  • 4
  • 4
  • 6
  • 10
  • 39
  • 18
  • 7
  • 6
  • 4
  • 8
  • 5
  • 7
  • 7
  • 16
  • 4
  • 5
  • 9
  • 4
  • 15
  • 7
  • 5
  • 13
  • 4
  • 4
  • 6
  • 24
  • 4
  • 15
  • 10
  • 4
  • 4
  • 11
  • 4
  • 4
  • 10
  • 6
  • 6
  • 8
  • 4
  • 7
  • 34
  • 4
  • 17
  • 41
  • 13
  • 8
  • 17
  • 19
  • 4
  • 11
  • 4
  • 45
  • 4
  • 8
  • 38
  • 4
  • 9
  • 14
  • 12
  • 4
  • 12
  • 6
  • 11
  • 10
  • 6
  • 4
  • 5
  • 39
  • 5
  • 11
  • 9
  • 12
  • 4
  • 4
  • 4
  • 4
  • 12
  • 13
  • 6
  • 5
  • 4
  • 15
  • 6
  • 14
  • 6
  • 8
  • 4
  • 6
  • 5
  • 23
  • 26
  • 15
  • 27
  • 9
  • 9
  • 5
  • 8
  • 6
  • 5
  • 7
  • 6
  • 5
  • 16
  • 13
  • 24
  • 6
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 9
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 15
  • 10
  • 4
  • 10
  • 10
  • 4
  • 4
  • 5
  • 50
  • 41
  • 8
  • 39
  • 4
  • 8
  • 16
  • 7
  • 8
  • 34
  • 13
  • 4
  • 7
  • 19
  • 8
  • 6
  • 5
  • 10
  • 26
  • 12
  • 43
  • 76
  • 9
  • 7
  • 15
  • 10
  • 8
  • 5
  • 6
  • 10
  • 15
  • 5
  • 8
  • 8
  • 6
  • 6
  • 6
  • 8
  • 6
  • 5
  • 5
  • 5
  • 5
  • 20
  • 17
  • 11
  • 6
  • 9
  • 8
  • 5
  • 5
  • 12
  • 6
  • 22
  • 67
  • 34
  • 8
  • 23
  • 17
  • 23
  • 106
  • 5
  • 11
  • 6
  • 8
  • 15
  • 11
  • 6
  • 7
  • 19
  • 15
  • 5
  • 11
  • 8
  • 6
  • 16
  • 7
  • 5
  • 6
  • 5
  • 13
  • 44
  • 6
  • 10
  • 8
  • 6
  • 9
  • 16
  • 6
  • 7
  • 8
  • 23
  • 39
  • 17
  • 8
  • 10
  • 5
  • 15
  • 5
  • 14
  • 15
  • 6
  • 5
  • 7
  • 94
  • 5
  • 10
  • 5
  • 8
  • 6
  • 5
  • 7
  • 15
  • 5
  • 14
  • 6
  • 8
  • 5
  • 19
  • 13
  • 7
  • 5
  • 8
  • 6
  • 11
  • 17
  • 16
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 7
  • 10
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 5
  • 6
  • 10
  • 6
  • 8
  • 11
  • 5
  • 15
  • 8
  • 7
  • 10
  • 42
  • 12
  • 5
  • 7
  • 24
  • 6
  • 19
  • 41
  • 6
  • 5
  • 12
  • 15
  • 9
  • 33
  • 6
  • 7
  • 6
  • 9
  • 5
  • 18
  • 6
  • 7
  • 11
  • 6
  • 17
  • 38
  • 22
  • 8
  • 10
  • 6
  • 17
  • 25
  • 5
  • 76
  • 14
  • 25
  • 44
  • 5
  • 6
  • 10
  • 7
  • 5
  • 5
  • 11
  • 6
  • 5
  • 12
  • 6
  • 7
  • 7
  • 5
  • 9
  • 7
  • 6
  • 5
  • 16
  • 90
  • 13
  • 44
  • 7
  • 12
  • 6
  • 8
  • 5
  • 8
  • 14
  • 10
  • 11
  • 5
  • 5
  • 5
  • 9
  • 10
  • 18
  • 19
  • 8
  • 27
  • 5
  • 6
  • 6
  • 80
  • 5
  • 17
  • 6
  • 7
  • 10
  • 21
  • 5
  • 6
  • 8
  • 5
  • 6
  • 6
  • 32
  • 6
  • 9
  • 25
  • 6
  • 5
  • 5
  • 13
  • 12
  • 13
  • 14
  • 11
  • 15
  • 13
  • 16
  • 76
  • 11
  • 9
  • 6
  • 28
  • 35
  • 31
  • 5
  • 5
  • 10
  • 8
  • 11
  • 5
  • 18
  • 7
  • 6
  • 7
  • 9
  • 11
  • 5
  • 10
  • 20
  • 9
  • 9
  • 8
  • 10
  • 9
  • 7
  • 15
  • 7
  • 5
  • 35
  • 12
  • 9
  • 7
  • 10
  • 7
  • 6
  • 20
  • 7
  • 9
  • 13
  • 7
  • 8
  • 11
  • 96
  • 5
  • 7
  • 7
  • 5
  • 9
  • 11
  • 5
  • 7
  • 5
  • 7
  • 7
  • 11
  • 37
  • 7
  • 5
  • 16
  • 9
  • 5
  • 9
  • 6
  • 5
  • 14
  • 5
  • 21
  • 25
  • 5
  • 9
  • 5
  • 6
  • 8
  • 6
  • 8
  • 12
  • 6
  • 7
  • 5
  • 9
  • 7
  • 7
  • 5
  • 8
  • 48
  • 8
  • 23
  • 5
  • 6
  • 41
  • 14
  • 8
  • 9
  • 15
  • 18
  • 15
  • 18
  • 15
  • 6
  • 11
  • 5
  • 9
  • 28
  • 12
  • 12
  • 7
  • 6
  • 5
  • 20
  • 5
  • 10
  • 8
  • 15
  • 11
  • 6
  • 5
  • 6
  • 13
  • 7
  • 11
  • 6
  • 5
  • 12
  • 5
  • 8
  • 24
  • 7
  • 6
  • 38
  • 9
  • 8
  • 9
  • 6
  • 5
  • 17
  • 8
  • 6
  • 8
  • 7
  • 30
  • 6
  • 14
  • 6
  • 7
  • 36
  • 8
  • 7
  • 6
  • 9
  • 10
  • 5
  • 90
  • 7
  • 6
  • 5
  • 9
  • 5
  • 6
  • 33
  • 15
  • 8
  • 76
  • 20
  • 12
  • 8
  • 13
  • 13
  • 19
  • 18
  • 9
  • 9
  • 93
  • 6
  • 48
  • 5
  • 11
  • 11
  • 8
  • 6
  • 89
  • 17
  • 20
  • 12
  • 8
  • 9
  • 16
  • 12
  • 6
  • 5
  • 9
  • 5
  • 5
  • 8
  • 90
  • 5
  • 5
  • 6
  • 17
  • 8
  • 7
  • 79
  • 12
  • 16
  • 16
  • 11
  • 9
  • 8
  • 10
  • 13
  • 5
  • 7
  • 7
  • 22
  • 18
  • 8
  • 5
  • 6
  • 15
  • 7
  • 27
  • 5
  • 7
  • 8
  • 5
  • 6
  • 5
  • 5
  • 14
  • 8
  • 6
  • 9
  • 7
  • 16
  • 7
  • 12
  • 23
  • 31
  • 6
  • 6
  • 6
  • 19
  • 9
  • 6
  • 13
  • 12
  • 31
  • 10
  • 5
  • 13
  • 10
  • 42
  • 8
  • 51
  • 11
  • 9
  • 6
  • 11
  • 12
  • 5
  • 22
  • 18
  • 17
  • 18
  • 19
  • 5
  • 6
  • 24
  • 14
  • 28
  • 63
  • 10
  • 16
  • 19
  • 8
  • 9
  • 7
  • 24
  • 6
  • 19
  • 16
  • 7
  • 6
  • 6
  • 17
  • 10
  • 61
  • 6
  • 79
  • 24
  • 12
  • 6
  • 13
  • 15
  • 7
  • 7
  • 7
  • 12
  • 15
  • 5
  • 12
  • 7
  • 15
  • 13
  • 7
  • 6
  • 10
  • 10
  • 89
  • 11
  • 5
  • 18
  • 16
  • 5
  • 6
  • 6
  • 5
  • 7
  • 16
  • 8
  • 8
  • 8
  • 34
  • 5
  • 11
  • 9
  • 5
  • 8
  • 12
  • 13
  • 21
  • 5
  • 10
  • 6
  • 36
  • 6
  • 5
  • 6
  • 14
  • 19
  • 14
  • 10
  • 6
  • 6
  • 8
  • 8
  • 6
  • 5
  • 25
  • 7
  • 16
  • 10
  • 6
  • 6
  • 9
  • 6
  • 6
  • 5
  • 6
  • 14
  • 13
  • 9
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 5
  • 12
  • 6
  • 5
  • 9
  • 5
  • 17
  • 25
  • 13
  • 6
  • 14
  • 5
  • 19
  • 18
  • 5
  • 7
  • 5
  • 5
  • 12
  • 6
  • 10
  • 18
  • 10
  • 6
  • 43
  • 6
  • 8
  • 6
  • 6
  • 5
  • 23
  • 6
  • 48
  • 40
  • 66
  • 41
  • 16
  • 6
  • 11
  • 6
  • 18
  • 32
  • 7
  • 26
  • 21
  • 20
  • 9
  • 6
  • 5
  • 10
  • 7
  • 7
  • 6
  • 20
Verlag
  • 9
  • 10992
  • 3
  • 5
  • 1
  • 99
  • 4
  • 1
  • 12
  • 37
Preis
  • 47
  • 410
  • 8463
  • 2243
Sprachen
  • 11157
  • 17
  • 13
Verfügbarkeit
  • 10897
  • 266
Eigenschaften
  • 1
Katalog
  • 11163
  • 588
11.163  Treffer  für „Lecture Notes in Computer Science“
    Holzinger / Kieseberg / Tjoa | Machine Learning and Knowledge Extraction | Buch | Sack Fachmedien

    Holzinger / Kieseberg / Tjoa Machine Learning and Knowledge Extraction

    Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26-29, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-29725-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kari / Kutrib / Malcher | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Kari / Kutrib / Malcher Cellular Automata and Discrete Complex Systems

    19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40866-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Pihlajasaari / Sun | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avgeriou / Zdun | Software Architecture | Buch | Sack Fachmedien

    Avgeriou / Zdun Software Architecture

    8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bondavalli / Bouchenak / Kopetz | Cyber-Physical Systems of Systems | Buch | Sack Fachmedien

    Bondavalli / Bouchenak / Kopetz Cyber-Physical Systems of Systems

    Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-47589-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guns | Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Buch | Sack Fachmedien

    Guns Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    23rd International Conference, CPAIOR 2026, Rabat, Morocco, May 26-29, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-27241-6
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosmatov / Kovács | Integrated Formal Methods | Buch | Sack Fachmedien

    Kosmatov / Kovács Integrated Formal Methods

    19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-76553-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Julian / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2024 | Buch | Sack Fachmedien

    Julian / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2024

    25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-77730-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anutariya / Bonsangue | Theoretical Aspects of Computing - ICTAC 2024 | Buch | Sack Fachmedien

    Anutariya / Bonsangue Theoretical Aspects of Computing - ICTAC 2024

    21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77018-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endrullis / Tichy | Graph Transformation | Buch | Sack Fachmedien

    Endrullis / Tichy Graph Transformation

    18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94705-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Deelman | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Deelman Parallel Processing and Applied Mathematics

    15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8-11, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-85699-0
    Medium: Buch
    96,29 € (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
    Liu / Woodcock / Zhu | Theoretical Aspects of Computing -- ICTAC 2013 | Buch | Sack Fachmedien

    Liu / Woodcock / Zhu Theoretical Aspects of Computing -- ICTAC 2013

    10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39717-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frachtenberg / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16504-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Agha | Coordination Models and Languages | Buch | Sack Fachmedien

    Clarke / Agha Coordination Models and Languages

    12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13413-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tempesti / Tyrrell / Miller | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Tempesti / Tyrrell / Miller Evolvable Systems: From Biology to Hardware

    9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15322-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandurangan / Kumar / Ming | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Pandurangan / Kumar / Ming Wireless Algorithms, Systems, and Applications

    5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Liu / Deng | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Chen / Liu / Deng Database Systems for Advanced Applications

    DASFAA 2009 International Workshops: BenchmaX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20-23, 2009
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04204-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Bestavros / Du | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Liu / Bestavros / Du Wireless Algorithms, Systems, and Applications

    4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03416-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Kermarrec | Reliable Software Technologies - Ada-Europe 2009 | Buch | Sack Fachmedien

    Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009

    14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01923-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cremers / Rosenhahn / Yuille | Statistical and Geometrical Approaches to Visual Motion Analysis | Buch | Sack Fachmedien

    Cremers / Rosenhahn / Yuille Statistical and Geometrical Approaches to Visual Motion Analysis

    International Dagstuhl Seminar, Dagstuhl Castle, July 13-18, 2008, Revised Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03060-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Dershowitz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75558-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Programming Languages and Systems | Buch | Sack Fachmedien

    Gordon Programming Languages and Systems

    19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11956-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Rosu | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Giese / Rosu Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30792-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    France / Kuester / Bordbar | Modelling -- Foundation and Applications | Buch | Sack Fachmedien

    France / Kuester / Bordbar Modelling -- Foundation and Applications

    7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21469-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