Ergebnisse filtern
Fachgebiet
Medium
  • 4346
Erscheinungsjahr
  • 40
  • 200
  • 237
  • 195
  • 129
  • 46
  • 26
  • 34
  • 57
  • 70
  • 44
  • 58
  • 70
  • 69
  • 76
  • 67
  • 66
  • 157
  • 138
  • 154
  • 195
  • 185
  • 153
  • 201
  • 218
  • 182
  • 181
  • 113
  • 119
  • 92
  • 103
  • 96
  • 80
  • 67
  • 66
  • 50
  • 70
  • 39
  • 40
  • 30
  • 31
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 8
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 4
  • 3
  • 4
  • 2
  • 3
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 10
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 6
  • 4
  • 4
  • 2
  • 6
  • 4
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 11
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 12
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 7
  • 4
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 10
  • 3
  • 9
  • 5
  • 3
  • 4
  • 3
  • 10
  • 3
  • 6
  • 6
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 38
  • 29
  • 3
  • 3
  • 4
  • 4
  • 11
  • 3
  • 5
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 16
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 6
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 9
  • 3
  • 3
  • 3
  • 8
  • 6
  • 25
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 5
  • 5
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 8
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 6
  • 8
  • 6
  • 4
  • 8
  • 5
  • 7
  • 4
  • 7
  • 3
  • 3
  • 8
  • 5
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 5
  • 4
  • 8
  • 4
  • 10
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 3
  • 12
  • 3
  • 4
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 8
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 4
  • 4
  • 3
  • 9
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 4
  • 14
  • 8
  • 3
  • 9
  • 3
  • 4
  • 4
  • 12
  • 25
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 9
  • 6
  • 3
  • 5
  • 5
  • 4
  • 5
  • 8
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 20
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 4
  • 22
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 6
  • 6
  • 6
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 4
  • 5
  • 3
  • 5
  • 6
  • 7
  • 9
  • 4
  • 3
  • 5
  • 4
  • 29
  • 5
  • 11
  • 4
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 10
  • 8
  • 5
  • 4
  • 4
  • 5
  • 4
  • 7
  • 12
  • 20
  • 7
  • 5
  • 6
  • 9
  • 6
  • 4
  • 3
  • 5
  • 3
  • 37
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 11
  • 22
  • 3
  • 8
  • 7
  • 4
  • 3
  • 15
  • 4
  • 3
  • 4
  • 5
  • 4
  • 12
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 3
  • 3
  • 4
  • 10
  • 6
  • 6
  • 10
  • 6
  • 13
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 21
  • 5
  • 10
  • 5
  • 4
  • 3
  • 3
Verlag
  • 2
  • 4302
  • 1
  • 1
  • 6
  • 8
  • 4
  • 7
  • 15
Preis
  • 13
  • 161
  • 3373
  • 799
Sprachen
  • 4346
  • 5
Verfügbarkeit
  • 4266
  • 80
Eigenschaften
  • 4
Katalog
  • 4346
  • 244
4.346  Treffer  für „Lecture Notes in Computer Science“
    Nardini / Pisanti / Venturini | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Nardini / Pisanti / Venturini String Processing and Information Retrieval

    30th International Symposium, SPIRE 2023, Pisa, Italy, September 26-28, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43979-7
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    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
    Torra | Scala: From a Functional Programming Perspective | Buch | Sack Fachmedien

    Torra Scala: From a Functional Programming Perspective

    An Introduction to the Programming Language
    1. Auflage 2016
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-319-46480-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 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
    Han / Xiang / Cheng | Information and Communications Security | Buch | Sack Fachmedien

    Han / Xiang / Cheng Information and Communications Security

    27th International Conference, ICICS 2025, Nanjing, China, October 29-31, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-953542-2
    Medium: Buch
    62,05 € (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
    Erdem / Vidal | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Erdem / Vidal Practical Aspects of Declarative Languages

    27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-84923-7
    Medium: Buch
    69,54 € (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
    Wang | Computing and Combinatorics | Buch | Sack Fachmedien

    Wang Computing and Combinatorics

    7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42494-9
    Medium: Buch
    106,99 € (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
    Matwin / Sammut | Inductive Logic Programming | Buch | Sack Fachmedien

    Matwin / Sammut Inductive Logic Programming

    12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00567-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Data Hiding and Multimedia Security I | Buch | Sack Fachmedien

    Transactions on Data Hiding and Multimedia Security I

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49071-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frank / Kuhn | Spatial Information Theory: A Theoretical Basis for GIS | Buch | Sack Fachmedien

    Frank / Kuhn Spatial Information Theory: A Theoretical Basis for GIS

    A Thoretical Basis for GIS. International Conference, COSIT '95, Semmering, Austria, September 21-23, 1995, Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60392-4
    Medium: Buch
    106,99 € (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
    Jeffay / Stoica / Wehrle | Quality of Service - IWQoS 2003 | Buch | Sack Fachmedien

    Jeffay / Stoica / Wehrle Quality of Service - IWQoS 2003

    11th International Workshop, Berkeley, CA, USA, June 2-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40281-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hong / Iwata | Fast Software Encryption | Buch | Sack Fachmedien

    Hong / Iwata Fast Software Encryption

    17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010 Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13857-7
    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
    Armando / Baumgartner / Dowek | Automated Reasoning | Buch | Sack Fachmedien

    Armando / Baumgartner / Dowek Automated Reasoning

    4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-71069-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albert / Sekerinski | Integrated Formal Methods | Buch | Sack Fachmedien

    Albert / Sekerinski Integrated Formal Methods

    11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10180-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Schreye | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    De Schreye Logic-Based Program Synthesis and Transformation

    19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12591-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