Ergebnisse filtern
Medium
  • 3321
Erscheinungsjahr
  • 242
  • 316
  • 291
  • 242
  • 214
  • 204
  • 179
  • 182
  • 193
  • 162
  • 186
  • 161
  • 139
  • 151
  • 153
  • 178
  • 114
  • 3
  • 11
Autoren
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 5
  • 9
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 19
  • 8
  • 3
  • 24
  • 4
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 2
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 9
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 8
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 6
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 9
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 8
  • 2
  • 3
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 12
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 5
  • 3
  • 4
  • 3
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 8
  • 4
  • 4
  • 6
  • 2
  • 2
  • 3
  • 9
  • 9
  • 3
  • 3
  • 2
  • 2
  • 8
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 12
  • 3
  • 24
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 7
  • 2
  • 5
  • 21
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 6
  • 3
  • 12
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 11
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 3
  • 25
  • 3
  • 4
  • 11
  • 3
  • 7
  • 3
  • 3
  • 45
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 7
  • 5
  • 11
  • 8
  • 4
  • 8
  • 9
  • 3
  • 3
  • 4
  • 5
  • 9
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 31
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 13
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 17
  • 3
  • 7
  • 3
  • 11
  • 11
  • 3
  • 3
  • 11
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 5
  • 3
  • 5
  • 4
  • 3
  • 10
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 10
  • 24
  • 5
  • 5
  • 3
  • 13
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 6
  • 26
  • 4
  • 3
  • 3
  • 3
  • 15
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 4
  • 19
  • 3
  • 5
  • 3
  • 9
  • 3
  • 4
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 11
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 11
  • 3
  • 10
  • 10
  • 3
  • 24
  • 3
  • 4
  • 3
  • 7
  • 3
  • 13
  • 3
  • 12
  • 8
  • 6
  • 3
  • 3
  • 5
  • 3
  • 6
  • 8
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 8
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
  • 5
  • 3
  • 21
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 42
  • 6
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 15
  • 3
  • 3
  • 5
  • 3
  • 3
  • 12
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 12
  • 5
  • 3
  • 11
  • 5
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 5
  • 5
  • 3
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 5
  • 6
  • 5
  • 3
  • 11
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 25
  • 3
  • 4
  • 10
  • 6
  • 6
  • 6
  • 24
  • 5
  • 7
  • 4
  • 5
  • 28
  • 3
  • 3
  • 25
  • 3
  • 3
  • 8
  • 3
  • 25
  • 3
  • 3
  • 24
  • 5
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 5
  • 5
  • 9
  • 3
  • 5
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 23
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 28
  • 5
  • 3
  • 5
  • 5
  • 4
  • 13
  • 24
  • 5
  • 7
  • 7
  • 9
  • 4
  • 3
  • 5
  • 3
  • 25
  • 3
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 11
  • 6
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 8
  • 7
  • 11
  • 11
  • 4
  • 19
  • 11
  • 4
  • 3
  • 7
  • 6
  • 3
  • 3
Verlag
  • 651
  • 1
  • 2327
  • 338
  • 1
  • 3
Preis
  • 103
  • 2857
  • 361
Sprachen
  • 3321
Verfügbarkeit
  • 3321
Eigenschaften
  • 51
Katalog
  • 3321
3.321  Treffer  für „Springer Nature Proceedings Computer Science“
    Rival | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Rival Static Analysis

    23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53413-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Machado / McDermott / Carballal | Evolutionary and Biologically Inspired Music, Sound, Art and Design | eBook | Sack Fachmedien
    E-Book

    Machado / McDermott / Carballal Evolutionary and Biologically Inspired Music, Sound, Art and Design

    Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-36955-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Calude / da Costa / Freund | Unconventional Computation | eBook | Sack Fachmedien
    E-Book

    Calude / da Costa / Freund Unconventional Computation

    7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85194-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    74,89 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Al-Begain / Fiems / Knottenbelt | Analytical and Stochastic Modeling Techniques and Applications | eBook | Sack Fachmedien
    E-Book

    Al-Begain / Fiems / Knottenbelt Analytical and Stochastic Modeling Techniques and Applications

    17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13568-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Derrick / Gnesi / Latella | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Derrick / Gnesi / Latella Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-30729-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kontogiannis / Koutsoupias / Spirakis | Algorithmic Game Theory | eBook | Sack Fachmedien
    E-Book

    Kontogiannis / Koutsoupias / Spirakis Algorithmic Game Theory

    Third International Symposium, SAGT 2010, Athens, Greece, October 18-20, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16170-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fisher / van der Torre / Dastani | Computational Logic in Multi-Agent Systems | eBook | Sack Fachmedien
    E-Book

    Fisher / van der Torre / Dastani Computational Logic in Multi-Agent Systems

    13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32897-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Finkel / Leroux / Potapov | Reachability Problems | eBook | Sack Fachmedien
    E-Book

    Finkel / Leroux / Potapov Reachability Problems

    6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-33512-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hameurlain / Tjoa | Data Management in Grid and Peer-to-Peer Systems | eBook | Sack Fachmedien
    E-Book

    Hameurlain / Tjoa Data Management in Grid and Peer-to-Peer Systems

    4th International Conference, Globe 2011, Toulouse, France, September 1-2, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-22947-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hameurlain / Hussain / Morvan | Data Mangement in Cloud, Grid and P2P Systems | eBook | Sack Fachmedien
    E-Book

    Hameurlain / Hussain / Morvan Data Mangement in Cloud, Grid and P2P Systems

    5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32344-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Fahrenberg / Tripakis | Formal Modeling and Analysis of Timed Systems | eBook | Sack Fachmedien
    E-Book

    Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems

    9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24310-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Diaz / Calamoneri | Algorithms and Complexity | eBook | Sack Fachmedien
    E-Book

    Diaz / Calamoneri Algorithms and Complexity

    7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-13073-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ma / Fradinho Oliveira / Baalsrud Hauge | Serious Games Development and Applications | eBook | Sack Fachmedien
    E-Book

    Ma / Fradinho Oliveira / Baalsrud Hauge Serious Games Development and Applications

    Third International Conference, SGDA 2012, Bremen, Germany, September 26-29, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-33687-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Tinelli / Sofronie-Stokkermans | Frontiers of Combining Systems | eBook | Sack Fachmedien
    E-Book

    Tinelli / Sofronie-Stokkermans Frontiers of Combining Systems

    8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24364-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Christiansen / de Tre / Yazici | Flexible Query Answering Systems | eBook | Sack Fachmedien
    E-Book

    Christiansen / de Tre / Yazici Flexible Query Answering Systems

    9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-24764-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jurdzinski / Nickovic | Formal Modeling and Analysis of Timed Systems | eBook | Sack Fachmedien
    E-Book

    Jurdzinski / Nickovic Formal Modeling and Analysis of Timed Systems

    10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-33365-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chang / Kim / Peng | Security-Enriched Urban Computing and Smart Grid | eBook | Sack Fachmedien
    E-Book

    Chang / Kim / Peng Security-Enriched Urban Computing and Smart Grid

    Second International Conference, SUComS 2011, Hualien, Taiwan, September 21-23, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-23948-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Pahl / Reiners / Voß | Network Optimization | eBook | Sack Fachmedien
    E-Book

    Pahl / Reiners / Voß Network Optimization

    5th International Conference, INOC 2011, Hamburg, Germany, June 13-16, 2011, Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-21527-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chau / Wang / Yue | Intelligence and Security Informatics | eBook | Sack Fachmedien
    E-Book

    Chau / Wang / Yue Intelligence and Security Informatics

    Pacific Asia Workshop, PAISI 2012, Kuala Lumpur, Malaysia, May 29, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-30428-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Atallah / Hopper | Privacy Enhancing Technologies | eBook | Sack Fachmedien
    E-Book

    Atallah / Hopper Privacy Enhancing Technologies

    10th International Symposium, PETS 2010, July 21-23, 2010, Berlin, Germany, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-14527-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | eBook | Sack Fachmedien
    E-Book

    Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments

    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15057-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Xu / Bertino / Mu | Network and System Security | eBook | Sack Fachmedien
    E-Book

    Xu / Bertino / Mu Network and System Security

    6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-34601-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnsen / Petre | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Johnsen / Petre Integrated Formal Methods

    10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38613-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Vieira / Cunha | Dependable Computing | eBook | Sack Fachmedien
    E-Book

    Vieira / Cunha Dependable Computing

    14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-38789-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    De Paoli / Pimentel / Zavattaro | Service-Oriented and Cloud Computing | eBook | Sack Fachmedien
    E-Book

    De Paoli / Pimentel / Zavattaro Service-Oriented and Cloud Computing

    First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-33427-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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