Ergebnisse filtern
Fachgebiet
Medium
  • 2213
Erscheinungsjahr
  • 26
  • 123
  • 149
  • 138
  • 107
  • 40
  • 21
  • 22
  • 36
  • 38
  • 24
  • 31
  • 47
  • 41
  • 48
  • 41
  • 28
  • 74
  • 58
  • 73
  • 82
  • 72
  • 73
  • 116
  • 105
  • 95
  • 77
  • 56
  • 51
  • 38
  • 29
  • 34
  • 33
  • 27
  • 32
  • 19
  • 33
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 10
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 3
  • 4
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 10
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 4
  • 4
  • 2
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 12
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 17
  • 25
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 23
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 7
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 7
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 8
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 12
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 6
  • 2
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 4
  • 8
  • 2
  • 3
  • 2
  • 12
  • 25
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 6
  • 4
  • 18
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 4
  • 22
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 3
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 9
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 13
  • 16
  • 3
  • 9
  • 3
  • 3
  • 6
  • 6
  • 3
  • 36
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 5
  • 6
  • 11
  • 21
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 8
  • 6
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 6
  • 4
  • 5
  • 6
  • 5
  • 4
  • 18
  • 3
  • 10
  • 3
  • 3
  • 4
  • 4
Verlag
  • 1
  • 2197
  • 1
  • 7
  • 2
  • 5
Preis
  • 4
  • 106
  • 1763
  • 340
Sprachen
  • 2213
Verfügbarkeit
  • 2169
  • 44
Katalog
  • 2213
  • 133
2.213  Treffer  für „Lecture Notes in Computer Science“
    Porkoláb / Zsók | Composability, Comprehensibility and Correctness of Working Software | Buch | Sack Fachmedien

    Porkoláb / Zsók Composability, Comprehensibility and Correctness of Working Software

    8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42832-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammer / Alirezaie / Strannegård | Artificial General Intelligence | Buch | Sack Fachmedien

    Hammer / Alirezaie / Strannegård Artificial General Intelligence

    16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33468-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-46001-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benzmüller / Heule / Schmidt | Automated Reasoning | Buch | Sack Fachmedien

    Benzmüller / Heule / Schmidt Automated Reasoning

    12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-63500-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duan / Liu / Tian | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Duan / Liu / Tian Structured Object-Oriented Formal Language and Method

    8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-13650-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stefanidis / Systä / Matera | Web Engineering | Buch | Sack Fachmedien

    Stefanidis / Systä / Matera Web Engineering

    24th International Conference, ICWE 2024, Tampere, Finland, June 17-20, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-62361-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-01376-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bozzon / Verma / Mauri | Web Engineering | Buch | Sack Fachmedien

    Bozzon / Verma / Mauri Web Engineering

    25th International Conference, ICWE 2025, Delft, The Netherlands, June 30 - July 3, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97206-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90642-8
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haugen / Reed / Gotzhein | System Analysis and Modeling: Theory and Practice | Buch | Sack Fachmedien

    Haugen / Reed / Gotzhein System Analysis and Modeling: Theory and Practice

    7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36756-4
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jörges | Construction and Evolution of Code Generators | Buch | Sack Fachmedien

    Jörges Construction and Evolution of Code Generators

    A Model-Driven and Service-Oriented Approach
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36126-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Sokolsky | Composition of Embedded Systems. Scientific and Industrial Issues | Buch | Sack Fachmedien

    Kordon / Sokolsky Composition of Embedded Systems. Scientific and Industrial Issues

    13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77418-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / He | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Liu / He Formal Methods and Software Engineering

    8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-47460-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Programming Languages and Systems | Buch | Sack Fachmedien

    Barthe Programming Languages and Systems

    20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19717-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comuzzi / Grigori / Sellami | Cooperative Information Systems | Buch | Sack Fachmedien

    Comuzzi / Grigori / Sellami Cooperative Information Systems

    30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81374-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahl / Gonzalez Huerta / Klünder | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Pfahl / Gonzalez Huerta / Klünder Product-Focused Software Process Improvement

    25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78385-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calinescu / Rumpe | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Calinescu / Rumpe Software Engineering and Formal Methods

    13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-22968-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-61352-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Könighofer / Torfah | Runtime Verification | Buch | Sack Fachmedien

    Könighofer / Torfah Runtime Verification

    25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05434-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Capilla / Gallina / Cetina | New Opportunities for Software Reuse | Buch | Sack Fachmedien

    Capilla / Gallina / Cetina New Opportunities for Software Reuse

    17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90420-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Fournet | Trustworthy Global Computing | Buch | Sack Fachmedien

    Barthe / Fournet Trustworthy Global Computing

    Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78662-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malek / Nett / Suri | Service Availability | Buch | Sack Fachmedien

    Malek / Nett / Suri Service Availability

    Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29103-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strichman / Szeider | Theory and Applications of Satisfiability Testing - SAT 2010 | Buch | Sack Fachmedien

    Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010

    13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14185-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calvanese / Lausen | Web Reasoning and Rule Systems | Buch | Sack Fachmedien

    Calvanese / Lausen Web Reasoning and Rule Systems

    Second International Conference, RR 2008, Karlsruhe, Germany, October 31 - November 1, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Bergstra | Algebraic Methods: Theory, Tools and Applications | Buch | Sack Fachmedien

    Wirsing / Bergstra Algebraic Methods: Theory, Tools and Applications

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51698-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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