Ergebnisse filtern
Fachgebiet
Medium
  • 491
  • 332
Erscheinungsjahr
  • 4
  • 18
  • 35
  • 37
  • 50
  • 33
  • 42
  • 37
  • 46
  • 56
  • 51
  • 41
  • 53
  • 65
  • 72
  • 67
  • 54
  • 62
Autoren
  • 1
  • 2
  • 1
  • 2
  • 7
  • 1
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 7
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 5
  • 4
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 13
  • 3
  • 1
  • 2
  • 2
  • 2
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 12
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 6
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 8
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 6
  • 2
  • 3
  • 6
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 5
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 3
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 4
  • 1
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 5
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 5
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 7
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 4
  • 8
  • 3
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 5
  • 1
  • 2
  • 6
  • 1
  • 1
  • 1
  • 2
  • 2
  • 7
  • 1
  • 2
  • 3
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 8
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 5
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 6
  • 2
  • 2
  • 2
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 2
  • 5
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 2
  • 5
  • 9
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 6
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 17
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 726
  • 1
  • 90
  • 6
Preis
  • 51
  • 730
  • 42
Sprachen
  • 823
Verfügbarkeit
  • 823
Katalog
  • 823
  • 24
823  Treffer  für „Programming and Software Engineering“
    Fogli / Tetteroo / Barricelli | End-User Development | eBook | Sack Fachmedien
    E-Book

    Fogli / Tetteroo / Barricelli End-User Development

    8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-79840-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Hudak / Warren | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hudak / Warren Practical Aspects of Declarative Languages

    10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77441-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Phillips / Rahaman | Reversible Computation | Buch | Sack Fachmedien

    Phillips / Rahaman Reversible Computation

    9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-59935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Howar / Barnat | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Howar / Barnat Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-00243-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Riis Nielson / Filé | Static Analysis | Buch | Sack Fachmedien

    Riis Nielson / Filé Static Analysis

    14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74060-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fan / de Supinski / Sinnen | OpenMP: Conquering the Full Hardware Spectrum | Buch | Sack Fachmedien

    Fan / de Supinski / Sinnen OpenMP: Conquering the Full Hardware Spectrum

    15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-28595-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kumar / Troussas | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Kumar / Troussas Intelligent Tutoring Systems

    16th International Conference, ITS 2020, Athens, Greece, June 8-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-49662-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichardie / Sighireanu | Static Analysis | Buch | Sack Fachmedien

    Pichardie / Sighireanu Static Analysis

    27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-65473-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel / Wehrheim | Integrated Formal Methods | Buch | Sack Fachmedien

    Leuschel / Wehrheim Integrated Formal Methods

    7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-00254-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Musaev / Zhang | Services Computing - SCC 2019 | Buch | Sack Fachmedien

    Ferreira / Musaev / Zhang Services Computing - SCC 2019

    16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23553-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narasimhan / Triantafillou | Middleware 2012 | Buch | Sack Fachmedien

    Narasimhan / Triantafillou Middleware 2012

    ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, Canada, December 3-7, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35169-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Träff / Benkner / Dongarra | Recent Advances in the Message Passing Interface | Buch | Sack Fachmedien

    Träff / Benkner / Dongarra Recent Advances in the Message Passing Interface

    19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33517-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hirschfeld / Rose | Self-Sustaining Systems | eBook | Sack Fachmedien
    E-Book

    Hirschfeld / Rose Self-Sustaining Systems

    First Workshop, S3 2008 Potsdam, Germany, May 15-16, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-89275-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ikeda / Ashlay / Chan | Intelligent Tutoring Systems | eBook | Sack Fachmedien
    E-Book

    Ikeda / Ashlay / Chan Intelligent Tutoring Systems

    8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-35160-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Georgakopoulos / Ritter / Benatallah | Service-Oriented Computing ICSOC 2006 | eBook | Sack Fachmedien
    E-Book

    Georgakopoulos / Ritter / Benatallah Service-Oriented Computing ICSOC 2006

    4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-75492-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kari / Ulidowski | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Kari / Ulidowski Reversible Computation

    10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-99498-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cousot / Martel | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Cousot / Martel Static Analysis

    17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-15769-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barnes | Ada 2012 Rationale | eBook | Sack Fachmedien
    E-Book

    Barnes Ada 2012 Rationale

    The Language -- The Standard Libraries
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45210-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    48,14 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ripeanu | Service-Oriented Computing - ICSOC 2007 Workshops | Buch | Sack Fachmedien

    Ripeanu Service-Oriented Computing - ICSOC 2007 Workshops

    ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-540-93850-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vieira / Cunha | Dependable Computing | Buch | Sack Fachmedien

    Vieira / Cunha Dependable Computing

    14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38788-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lahiri / Reger | Runtime Verification | Buch | Sack Fachmedien

    Lahiri / Reger Runtime Verification

    17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67530-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lalanne / Kohlas | Human Machine Interaction | eBook | Sack Fachmedien
    E-Book

    Lalanne / Kohlas Human Machine Interaction

    Research Results of the MMI Program
    2009
    Verlag: Springer
    ISBN: 978-3-642-00437-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ripeanu | Service-Oriented Computing - ICSOC 2007 Workshops | eBook | Sack Fachmedien
    E-Book

    Ripeanu Service-Oriented Computing - ICSOC 2007 Workshops

    ICSOC 2007 International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-540-93851-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Grumberg / Kaminski / Katz | Languages: From Formal to Natural | eBook | Sack Fachmedien
    E-Book

    Grumberg / Kaminski / Katz Languages: From Formal to Natural

    Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
    2009
    Verlag: Springer
    ISBN: 978-3-642-01748-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mine / Schmidt | Static Analysis | Buch | Sack Fachmedien

    Mine / Schmidt Static Analysis

    19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33124-4
    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