Ergebnisse filtern
Fachgebiet
Medium
  • 4177
Erscheinungsjahr
  • 52
  • 243
  • 184
  • 128
  • 47
  • 20
  • 38
  • 49
  • 66
  • 56
  • 60
  • 80
  • 69
  • 80
  • 84
  • 62
  • 142
  • 141
  • 146
  • 207
  • 193
  • 136
  • 211
  • 222
  • 184
  • 180
  • 120
  • 120
  • 85
  • 100
  • 95
  • 83
  • 68
  • 66
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 8
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 4
  • 5
  • 4
  • 6
  • 4
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 34
  • 27
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 22
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 7
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 4
  • 3
  • 5
  • 3
  • 6
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 5
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 6
  • 8
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 5
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 11
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 12
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 5
  • 3
  • 4
  • 10
  • 22
  • 7
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 4
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 5
  • 3
  • 5
  • 17
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 7
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 5
  • 3
  • 7
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 7
  • 4
  • 6
  • 3
  • 6
  • 5
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 6
  • 6
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 10
  • 9
  • 7
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 3
  • 12
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 5
  • 4
  • 4
  • 3
  • 6
  • 20
  • 8
  • 6
  • 3
  • 9
  • 3
  • 5
  • 33
  • 3
  • 5
  • 5
  • 4
  • 3
  • 8
  • 8
  • 18
  • 8
  • 7
  • 3
  • 6
  • 3
  • 9
  • 4
  • 6
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 3
  • 20
  • 6
  • 3
  • 5
  • 12
  • 6
  • 5
  • 4
  • 3
  • 10
  • 3
  • 5
  • 7
  • 3
  • 4
  • 4
  • 20
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 6
  • 3
Verlag
  • 4150
  • 1
  • 3
  • 23
Preis
  • 13
  • 144
  • 3245
  • 775
Sprachen
  • 4177
  • 5
Verfügbarkeit
  • 4173
  • 4
Katalog
  • 4177
  • 237
4.177  Treffer  für „Lecture Notes in Computer Science“
    Hojjat / Massink | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Hojjat / Massink Fundamentals of Software Engineering

    9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-89246-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmid | Inductive Synthesis of Functional Programs | Buch | Sack Fachmedien

    Schmid Inductive Synthesis of Functional Programs

    Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40174-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feitelson / Rudolph | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Feitelson / Rudolph Job Scheduling Strategies for Parallel Processing

    IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64825-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Schobbens | Formal Models of Agents | Buch | Sack Fachmedien

    Meyer / Schobbens Formal Models of Agents

    ESPRIT Project ModelAge Final Report Selected Papers
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67027-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dittmann / Katzenbeisser / Uhl | Communications and Multimedia Security | Buch | Sack Fachmedien

    Dittmann / Katzenbeisser / Uhl Communications and Multimedia Security

    9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28791-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fotakis / Pagourtzis / Paschos | Algorithms and Complexity | Buch | Sack Fachmedien

    Fotakis / Pagourtzis / Paschos Algorithms and Complexity

    10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevens / Wasowski / Wasowski | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Stevens / Wasowski / Wasowski Fundamental Approaches to Software Engineering

    19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49664-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Lau Logic Based Program Synthesis and Transformation

    10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42127-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosen / Strohmeier | Reliable Software Technologies -- Ada-Europe 2003 | Buch | Sack Fachmedien

    Rosen / Strohmeier Reliable Software Technologies -- Ada-Europe 2003

    8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40376-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strohmeier | Reliable Software Technologies - Ada Europe 96 | Buch | Sack Fachmedien

    Strohmeier Reliable Software Technologies - Ada Europe 96

    1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61317-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vallecillo / Tolvanen / Kindler | Modelling Foundations and Applications | Buch | Sack Fachmedien

    Vallecillo / Tolvanen / Kindler Modelling Foundations and Applications

    8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31490-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Legay / Margaria | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Legay / Margaria Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouyssounouse / Sifakis | Embedded Systems Design | Buch | Sack Fachmedien

    Bouyssounouse / Sifakis Embedded Systems Design

    The ARTIST Roadmap for Research and Development
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25107-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rozier / Pradella | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-71161-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangiorgi / Simone | CONCUR '98 Concurrency Theory | Buch | Sack Fachmedien

    Sangiorgi / Simone CONCUR '98 Concurrency Theory

    9th International Conference, Nice, France, September 8-11, 1998, Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64896-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boujemaa / Detyniecki / Nürnberger | Adaptive Multimedia Retrieval: Retrieval, User, and Semantics | Buch | Sack Fachmedien

    Boujemaa / Detyniecki / Nürnberger Adaptive Multimedia Retrieval: Retrieval, User, and Semantics

    5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79859-0
    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
    Montanari / Sassone | CONCUR '96: Concurrency Theory | Buch | Sack Fachmedien

    Montanari / Sassone CONCUR '96: Concurrency Theory

    7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61604-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biffl / Navarro / Löwe | Software Architecture | Buch | Sack Fachmedien

    Biffl / Navarro / Löwe Software Architecture

    15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-86043-1
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diamantaras / Duch / Iliadis | Artificial Neural Networks - ICANN 2010 | Buch | Sack Fachmedien

    Diamantaras / Duch / Iliadis Artificial Neural Networks - ICANN 2010

    20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15818-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oquendo / Warboys / Morrison | Software Architecture | Buch | Sack Fachmedien

    Oquendo / Warboys / Morrison Software Architecture

    First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22000-8
    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
    Steffen / Levi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Steffen / Levi Verification, Model Checking, and Abstract Interpretation

    5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20803-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Huisman | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Groote / Huisman Formal Methods for Industrial Critical Systems

    27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-15007-4
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Rough Sets V | Buch | Sack Fachmedien

    Transactions on Rough Sets V

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-39382-5
    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