Ergebnisse filtern
Fachgebiet
Medium
  • 2041
Erscheinungsjahr
  • 11
  • 152
  • 142
  • 107
  • 40
  • 18
  • 22
  • 30
  • 31
  • 24
  • 37
  • 48
  • 39
  • 50
  • 41
  • 34
  • 67
  • 62
  • 64
  • 78
  • 66
  • 61
  • 117
  • 104
  • 94
  • 73
  • 59
  • 52
  • 37
  • 29
  • 36
  • 33
  • 27
  • 32
  • 17
  • 32
  • 16
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 6
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 4
  • 3
  • 4
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 16
  • 3
  • 3
  • 4
  • 2
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 6
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 6
  • 2
  • 3
  • 2
  • 4
  • 12
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 14
  • 23
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 4
  • 4
  • 8
  • 4
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 25
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 4
  • 2
  • 5
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 5
  • 2
  • 4
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 7
  • 12
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 9
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 11
  • 20
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 5
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 20
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 6
  • 18
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 9
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 11
  • 5
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 23
  • 4
  • 2
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 30
  • 2
  • 3
  • 3
  • 4
  • 2
  • 7
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 6
  • 21
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 18
  • 4
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
Verlag
  • 2034
  • 1
  • 6
Preis
  • 4
  • 84
  • 1643
  • 310
Sprachen
  • 2041
Verfügbarkeit
  • 2040
  • 1
Katalog
  • 2041
  • 135
2.041  Treffer  für „Lecture Notes in Computer Science“
    Taibi / Smite | Software Engineering and Advanced Applications | Buch | Sack Fachmedien

    Taibi / Smite Software Engineering and Advanced Applications

    51st Euromicro Conference, SEAA 2025, Salerno, Italy, September 10-12, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04189-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bianculli / Navarro / Sartaj | Software Architecture. ECSA 2025 Tracks and Workshops | Buch | Sack Fachmedien

    Bianculli / Navarro / Sartaj Software Architecture. ECSA 2025 Tracks and Workshops

    Limassol, Cyprus, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-04402-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekinerdogan / Hamid / Li | Internet of Things - ICIOT 2025 | Buch | Sack Fachmedien

    Tekinerdogan / Hamid / Li Internet of Things - ICIOT 2025

    10th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06169-0
    Medium: Buch
    53,49 € (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
    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
    Achilleos / Fuentes / Papadopoulos | Reuse and Software Quality | Buch | Sack Fachmedien

    Achilleos / Fuentes / Papadopoulos Reuse and Software Quality

    21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66458-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Paoli / Schulte / Broch Johnsen | Service-Oriented and Cloud Computing | Buch | Sack Fachmedien

    De Paoli / Schulte / Broch Johnsen Service-Oriented and Cloud Computing

    6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67261-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anjorin / Espinoza | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Anjorin / Espinoza Modelling Foundations and Applications

    13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61481-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Luo / Weng | Biomedical Data Management and Graph Online Querying | Buch | Sack Fachmedien

    Wang / Luo / Weng Biomedical Data Management and Graph Online Querying

    VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 - September 4, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-41575-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weyns / Mirandola / Crnkovic | Software Architecture | Buch | Sack Fachmedien

    Weyns / Mirandola / Crnkovic Software Architecture

    9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23726-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellatreche / Manolopoulos | Model and Data Engineering | Buch | Sack Fachmedien

    Bellatreche / Manolopoulos Model and Data Engineering

    5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23780-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Müller / Nunes | Engineering Multi-Agent Systems | Buch | Sack Fachmedien

    Baldoni / Müller / Nunes Engineering Multi-Agent Systems

    4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-50982-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | Deductive Software Verification - The KeY Book | Buch | Sack Fachmedien

    Ahrendt / Beckert / Bubel Deductive Software Verification - The KeY Book

    From Theory to Practice
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49811-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cellary / Mokbel / Wang | Web Information Systems Engineering - WISE 2016 | Buch | Sack Fachmedien

    Cellary / Mokbel / Wang Web Information Systems Engineering - WISE 2016

    17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48739-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barrett / Davies / Kahsai | NASA Formal Methods | Buch | Sack Fachmedien

    Barrett / Davies / Kahsai NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57287-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Díaz / Pipek / Ardito | End-User Development | Buch | Sack Fachmedien

    Díaz / Pipek / Ardito End-User Development

    5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-18424-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bošnacki / Bošnacki / Wijs | Model Checking Software | Buch | Sack Fachmedien

    Bošnacki / Bošnacki / Wijs Model Checking Software

    23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-32581-1
    Medium: Buch
    53,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Liu / Yi | Dependable Software Engineering: Theories, Tools, and Applications | Buch | Sack Fachmedien

    Li / Liu / Yi Dependable Software Engineering: Theories, Tools, and Applications

    First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25941-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El-Fakih / Barlas / Yevtushenko | Testing Software and Systems | Buch | Sack Fachmedien

    El-Fakih / Barlas / Yevtushenko Testing Software and Systems

    27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25944-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapitsaki / Santana de Almeida | Software Reuse: Bridging with Social-Awareness | Buch | Sack Fachmedien

    Kapitsaki / Santana de Almeida Software Reuse: Bridging with Social-Awareness

    15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-35121-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bassiliades / Gottlob / Sadri | Rule Technologies: Foundations, Tools, and Applications | Buch | Sack Fachmedien

    Bassiliades / Gottlob / Sadri Rule Technologies: Foundations, Tools, and Applications

    9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21541-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dustdar / Leymann / Villari | Service Oriented and Cloud Computing | Buch | Sack Fachmedien

    Dustdar / Leymann / Villari Service Oriented and Cloud Computing

    4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24071-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe / Hermenegildo | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Barthe / Hermenegildo Verification, Model Checking, and Abstract Interpretation

    11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11318-5
    Medium: Buch
    53,49 € (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
    Davies / Silva / Simao | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Davies / Silva / Simao Formal Methods: Foundations and Applications

    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19828-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