Ergebnisse filtern
Fachgebiet
Medium
  • 2097
Erscheinungsjahr
  • 50
  • 147
  • 136
  • 111
  • 39
  • 17
  • 26
  • 31
  • 30
  • 26
  • 48
  • 42
  • 33
  • 54
  • 38
  • 37
  • 76
  • 63
  • 59
  • 76
  • 70
  • 61
  • 119
  • 105
  • 93
  • 79
  • 59
  • 50
  • 39
  • 29
  • 36
  • 34
  • 27
  • 31
  • 19
  • 31
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 10
  • 5
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 5
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 3
  • 3
  • 2
  • 5
  • 12
  • 5
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 25
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 2
  • 3
  • 3
  • 2
  • 8
  • 4
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 22
  • 3
  • 3
  • 3
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 6
  • 5
  • 2
  • 4
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 7
  • 2
  • 12
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 4
  • 6
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 10
  • 24
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 16
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 22
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 8
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 11
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 13
  • 17
  • 2
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 34
  • 3
  • 2
  • 5
  • 4
  • 6
  • 2
  • 4
  • 3
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 11
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 5
  • 5
  • 6
  • 4
  • 4
  • 3
  • 4
  • 6
  • 4
  • 17
  • 4
  • 10
  • 4
  • 3
  • 3
  • 5
Verlag
  • 2089
  • 2
  • 6
Preis
  • 4
  • 91
  • 1669
  • 333
Sprachen
  • 2097
Verfügbarkeit
  • 2096
  • 1
Eigenschaften
  • 2
Katalog
  • 2097
  • 133
2.097  Treffer  für „Lecture Notes in Computer Science“
    Czekster / Milazzo | From Data to Models and Back | Buch | Sack Fachmedien

    Czekster / Milazzo From Data to Models and Back

    12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87907-4
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahl / Gonzalez Huerta / Klünder | Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers | Buch | Sack Fachmedien

    Pfahl / Gonzalez Huerta / Klünder Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers

    25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78391-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Antonov / Nikitenko | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Antonov / Nikitenko Supercomputing

    10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78458-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Antonov / Nikitenko | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Antonov / Nikitenko Supercomputing

    10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78461-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang | Internet of Things - ICIOT 2024 | Buch | Sack Fachmedien

    Zhang Internet of Things - ICIOT 2024

    9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77002-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Paulson / Wenzel | Isabelle/HOL | Buch | Sack Fachmedien

    Nipkow / Paulson / Wenzel Isabelle/HOL

    A Proof Assistant for Higher-Order Logic
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43376-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haxthausen / Serwe | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Haxthausen / Serwe Formal Methods for Industrial Critical Systems

    29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68149-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balandin / Dunaytsev / Koucheryavy | Smart Spaces and Next Generation Wired/Wireless Networking | Buch | Sack Fachmedien

    Balandin / Dunaytsev / Koucheryavy Smart Spaces and Next Generation Wired/Wireless Networking

    Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14890-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer / Falcone / Finkbeiner | Runtime Verification | Buch | Sack Fachmedien

    Barringer / Falcone / Finkbeiner Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16611-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Wooldridge | Model Checking and Artificial Intelligence | Buch | Sack Fachmedien

    Peled / Wooldridge Model Checking and Artificial Intelligence

    5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00430-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dovier / Pontelli | A 25-Year Perspective on Logic Programming | Buch | Sack Fachmedien

    Dovier / Pontelli A 25-Year Perspective on Logic Programming

    Achievements of the Italian Association for Logic Programming, GULP
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14308-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot / Martel | Static Analysis | Buch | Sack Fachmedien

    Cousot / Martel Static Analysis

    17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15768-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rensink / Sánchez Cuadrado | Theory and Practice of Model Transformation | Buch | Sack Fachmedien

    Rensink / Sánchez Cuadrado Theory and Practice of Model Transformation

    11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93316-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertossi / Hunter / Schaub | Inconsistency Tolerance | Buch | Sack Fachmedien

    Bertossi / Hunter / Schaub Inconsistency Tolerance

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24260-4
    Medium: Buch
    53,49 € (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
    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
    Hanus / Igarashi | Functional and Logic Programming | Buch | Sack Fachmedien

    Hanus / Igarashi Functional and Logic Programming

    16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99460-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Kaiser | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Kaiser Service Availability

    First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24420-2
    Medium: Buch
    53,49 € (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
    Murphy / Vitek | Coordination Models and Languages | Buch | Sack Fachmedien

    Murphy / Vitek Coordination Models and Languages

    9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72793-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Reitenspieß / Moorsel | Service Availability | Buch | Sack Fachmedien

    Malek / Reitenspieß / Moorsel Service Availability

    4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72735-4
    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
    Kagström / Dongarra / Elmroth | Applied Parallel Computing. Large Scale Scientific and Industrial Problems | Buch | Sack Fachmedien

    Kagström / Dongarra / Elmroth Applied Parallel Computing. Large Scale Scientific and Industrial Problems

    4th International Workshop, PARA'98, Umea, Sweden, June 14-17, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-65414-8
    Medium: Buch
    106,99 € (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

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