Ergebnisse filtern
Fachgebiet
Medium
  • 4119
Erscheinungsjahr
  • 24
  • 236
  • 195
  • 130
  • 46
  • 25
  • 36
  • 41
  • 73
  • 45
  • 68
  • 77
  • 70
  • 79
  • 67
  • 78
  • 160
  • 131
  • 146
  • 194
  • 184
  • 127
  • 208
  • 212
  • 184
  • 178
  • 125
  • 121
  • 88
  • 103
  • 97
  • 80
  • 69
  • 66
  • 49
  • 65
  • 39
  • 40
  • 30
  • 32
  • 20
  • 13
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 4
  • 2
  • 5
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 18
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 4
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 4
  • 6
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 10
  • 4
  • 9
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 9
  • 2
  • 5
  • 2
  • 2
  • 3
  • 11
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 34
  • 27
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 14
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 4
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 11
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 3
  • 2
  • 5
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 7
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 6
  • 3
  • 27
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 4
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 6
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 5
  • 14
  • 3
  • 5
  • 6
  • 6
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 14
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 9
  • 4
  • 6
  • 9
  • 5
  • 5
  • 5
  • 3
  • 4
  • 4
  • 6
  • 6
  • 7
  • 3
  • 3
  • 12
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 5
  • 9
  • 8
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 10
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 12
  • 3
  • 3
  • 8
  • 4
  • 5
  • 5
  • 11
  • 20
  • 6
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 8
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 14
  • 5
  • 5
  • 5
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 22
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 7
  • 7
  • 5
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 4
  • 3
  • 6
  • 4
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 9
  • 4
  • 6
  • 18
  • 3
  • 3
  • 7
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 3
  • 10
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 8
  • 9
  • 5
  • 4
  • 29
  • 3
  • 10
  • 3
  • 9
  • 8
  • 5
  • 3
  • 3
  • 5
  • 4
  • 8
  • 3
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 26
  • 4
  • 10
  • 5
  • 3
  • 9
  • 3
  • 31
  • 4
  • 6
  • 4
  • 3
  • 3
  • 6
  • 23
  • 4
  • 7
  • 9
  • 4
  • 3
  • 13
  • 6
  • 3
  • 5
  • 3
  • 4
  • 13
  • 3
  • 4
  • 5
  • 18
  • 10
  • 11
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 5
  • 4
  • 4
  • 22
  • 5
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
Verlag
  • 4094
  • 1
  • 3
  • 21
Preis
  • 13
  • 132
  • 3201
  • 773
Sprachen
  • 4119
  • 5
  • 1
Verfügbarkeit
  • 4115
  • 4
Katalog
  • 4119
  • 247
4.119  Treffer  für „Lecture Notes in Computer Science“
    Schmid / Kitzelmann | Approaches and Applications of Inductive Programming | Buch | Sack Fachmedien

    Schmid / Kitzelmann Approaches and Applications of Inductive Programming

    Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11930-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Programming Languages and Systems | Buch | Sack Fachmedien

    Gordon Programming Languages and Systems

    19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11956-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eisenbrand / Shepherd | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Eisenbrand / Shepherd Integer Programming and Combinatorial Optimization

    14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13035-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olivetti | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Olivetti Automated Reasoning with Analytic Tableaux and Related Methods

    16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73098-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Gibbons | Integrated Formal Methods | Buch | Sack Fachmedien

    Davies / Gibbons Integrated Formal Methods

    6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73209-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Fomin | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Chen / Fomin Parameterized and Exact Computation

    4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11268-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le / Swiatek / Nguyen | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Le / Swiatek / Nguyen Intelligent Information and Database Systems

    Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part I
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12144-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krishnamurthy / Plattner | Passive and Active Measurement | Buch | Sack Fachmedien

    Krishnamurthy / Plattner Passive and Active Measurement

    11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12333-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí / Benedí / Mendonça | Pattern Recognition and Image Analysis | Buch | Sack Fachmedien

    Martí / Benedí / Mendonça Pattern Recognition and Image Analysis

    Third Iberian Conference, IbPRIA 2007, Girona, Spain, June 6-8, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72848-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Veanes / Tretmans / Grieskamp | Testing of Software and Communicating Systems | Buch | Sack Fachmedien

    Veanes / Tretmans / Grieskamp Testing of Software and Communicating Systems

    19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73065-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Zeh | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Zeh Algorithms and Data Structures

    10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73948-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winter / Duckham / Kulik | Spatial Information Theory | Buch | Sack Fachmedien

    Winter / Duckham / Kulik Spatial Information Theory

    8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74786-4
    Medium: Buch
    53,49 € (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
    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
    de Berg / Meyer | Algorithms -- ESA 2010, Part II | Buch | Sack Fachmedien

    de Berg / Meyer Algorithms -- ESA 2010, Part II

    18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15780-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frachtenberg / Schwiegelshohn | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Frachtenberg / Schwiegelshohn Job Scheduling Strategies for Parallel Processing

    15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16504-7
    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
    Clarke / Agha | Coordination Models and Languages | Buch | Sack Fachmedien

    Clarke / Agha Coordination Models and Languages

    12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13413-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese | Architecting Critical Systems | Buch | Sack Fachmedien

    Giese Architecting Critical Systems

    First International Symposium, Prague, Czech Republic, June 23-25, 2010
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-13555-2
    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
    Stiller / Hoßfeld / Stamoulis | Incentives, Overlays, and Economic Traffic Control | Buch | Sack Fachmedien

    Stiller / Hoßfeld / Stamoulis Incentives, Overlays, and Economic Traffic Control

    Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15484-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Karsai / Lee | Model-Based Engineering of Embedded Real-Time Systems | Buch | Sack Fachmedien

    Giese / Karsai / Lee Model-Based Engineering of Embedded Real-Time Systems

    International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erlingsson / Wieringa / Zannone | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Erlingsson / Wieringa / Zannone Engineering Secure Software and Systems

    Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19124-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barner / Harris / Kroening | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Barner / Harris / Kroening Hardware and Software: Verification and Testing

    6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19582-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giannakopoulou / Orejas | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Giannakopoulou / Orejas Fundamental Approaches to Software Engineering

    14th International Conference, FASE 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-19810-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