Ergebnisse filtern
Fachgebiet
Medium
  • 503
  • 483
Erscheinungsjahr
  • 7
  • 36
  • 42
  • 43
  • 60
  • 48
  • 60
  • 54
  • 65
  • 72
  • 62
  • 58
  • 68
  • 57
  • 68
  • 63
  • 57
  • 66
Autoren
  • 2
  • 3
  • 2
  • 6
  • 3
  • 1
  • 4
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 6
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 7
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 15
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 3
  • 2
  • 1
  • 1
  • 2
  • 9
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 8
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 6
  • 1
  • 3
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 7
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 3
  • 6
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 2
  • 3
  • 1
  • 2
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 4
  • 1
  • 1
  • 5
  • 1
  • 2
  • 2
  • 5
  • 3
  • 6
  • 7
  • 2
  • 1
  • 1
  • 2
  • 7
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 9
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 4
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 6
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 5
  • 3
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 3
  • 5
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 4
  • 1
  • 2
  • 2
  • 4
  • 4
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 6
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 5
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 4
  • 2
  • 3
  • 2
  • 9
  • 4
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 9
  • 3
  • 2
  • 5
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 11
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 9
  • 3
  • 2
  • 2
  • 6
  • 2
  • 16
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 5
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 16
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 10
  • 2
  • 3
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 7
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
Verlag
  • 805
  • 177
  • 4
Preis
  • 72
  • 867
  • 47
Sprachen
  • 986
Verfügbarkeit
  • 986
Katalog
  • 986
  • 25
986  Treffer  für „Programming and Software Engineering“
    Steffen / Zavattaro | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Majumdar | Runtime Verification | Buch | Sack Fachmedien

    Bartocci / Majumdar Runtime Verification

    6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23819-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gill / Swift | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Gill / Swift Practical Aspects of Declarative Languages

    11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92994-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Pasareanu / Pasareanu | Formal Methods | Buch | Sack Fachmedien

    Huisman / Pasareanu / Pasareanu Formal Methods

    24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-90869-0
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Howar / Barnat | Formal Methods for Industrial Critical Systems | eBook | Sack Fachmedien
    E-Book

    Howar / Barnat Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00244-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Thomsen / Soeken | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Thomsen / Soeken Reversible Computation

    11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21500-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    60,98 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Agha / Danvy / Meseguer | Formal Modeling: Actors; Open Systems, Biological Systems | eBook | Sack Fachmedien
    E-Book

    Agha / Danvy / Meseguer Formal Modeling: Actors; Open Systems, Biological Systems

    Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
    2011
    Verlag: Springer
    ISBN: 978-3-642-24933-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Costabile / Dittrich / Fischer | End-User Development | eBook | Sack Fachmedien
    E-Book

    Costabile / Dittrich / Fischer End-User Development

    Third International Symposium, IS-EUD 2011, Torre Canne, Italy, June 7-10, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-21530-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Reinhartz-Berger / Sadiq | Advances in Conceptual Modeling | eBook | Sack Fachmedien
    E-Book

    Reinhartz-Berger / Sadiq Advances in Conceptual Modeling

    ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-88358-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kowalewski / Roveri | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Kowalewski / Roveri Formal Methods for Industrial Critical Systems

    15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15897-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Combemale / Cheng / France | Globalizing Domain-Specific Languages | Buch | Sack Fachmedien

    Combemale / Cheng / France Globalizing Domain-Specific Languages

    International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26171-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller / Gabriel / Dongarra | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Keller / Gabriel / Dongarra Recent Advances in the Message Passing Interface

    17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15645-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Schulte | FM 2011: Formal Methods | Buch | Sack Fachmedien

    Butler / Schulte FM 2011: Formal Methods

    17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21436-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dragoi / Dragoi / Mukherjee | Static Analysis | Buch | Sack Fachmedien

    Dragoi / Dragoi / Mukherjee Static Analysis

    28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88805-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Podelski | Static Analysis | Buch | Sack Fachmedien

    Podelski Static Analysis

    25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-99724-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bobaru / Havelund / Holzmann | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Bobaru / Havelund / Holzmann NASA Formal Methods

    Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
    2011
    Verlag: Springer
    ISBN: 978-3-642-20398-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dittrich / Burnett / Morch | End-User Development | eBook | Sack Fachmedien
    E-Book

    Dittrich / Burnett / Morch End-User Development

    4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38706-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Micarelli / Stamper / Panourgia | Intelligent Tutoring Systems | eBook | Sack Fachmedien
    E-Book

    Micarelli / Stamper / Panourgia Intelligent Tutoring Systems

    13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39583-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Miller / Stroulia / Lee | Web Services - ICWS 2019 | eBook | Sack Fachmedien
    E-Book

    Miller / Stroulia / Lee Web Services - ICWS 2019

    26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-23499-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Franch / Ghose / Lewis | Service-Oriented Computing | eBook | Sack Fachmedien
    E-Book

    Franch / Ghose / Lewis Service-Oriented Computing

    12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-45391-9
    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
    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
    Eyers / Schwan | Middleware 2013 | eBook | Sack Fachmedien
    E-Book

    Eyers / Schwan Middleware 2013

    ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-45065-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Feuerlicht / Lamersdorf | Service-Oriented Computing - ICSOC 2008 Workshops | eBook | Sack Fachmedien
    E-Book

    Feuerlicht / Lamersdorf Service-Oriented Computing - ICSOC 2008 Workshops

    ICSOC 2008, International Workshops, Sydney, Australia, December 1st, 2008. Revised Selected Papers.
    2009
    Verlag: Springer
    ISBN: 978-3-642-01247-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Palsberg / Su | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Palsberg / Su Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03237-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hankin / Siveroni | Static Analysis | Buch | Sack Fachmedien

    Hankin / Siveroni Static Analysis

    12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28584-7
    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