Ergebnisse filtern
Fachgebiet
Medium
  • 521
  • 515
Erscheinungsjahr
  • 8
  • 42
  • 59
  • 49
  • 68
  • 63
  • 68
  • 54
  • 60
  • 78
  • 67
  • 59
  • 57
  • 59
  • 63
  • 79
  • 53
  • 50
Autoren
  • 2
  • 2
  • 2
  • 2
  • 4
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 10
  • 9
  • 2
  • 2
  • 2
  • 2
  • 4
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 6
  • 2
  • 1
  • 8
  • 2
  • 2
  • 1
  • 2
  • 1
  • 5
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 13
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 16
  • 2
  • 2
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 2
  • 11
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 6
  • 1
  • 3
  • 1
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 3
  • 1
  • 2
  • 6
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 7
  • 2
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 4
  • 4
  • 3
  • 1
  • 1
  • 4
  • 3
  • 2
  • 2
  • 1
  • 9
  • 1
  • 2
  • 1
  • 3
  • 3
  • 5
  • 8
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 9
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 7
  • 5
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 4
  • 1
  • 6
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 2
  • 4
  • 4
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 7
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 5
  • 1
  • 2
  • 1
  • 4
  • 1
  • 3
  • 1
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 5
  • 3
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 2
  • 2
  • 6
  • 1
  • 2
  • 4
  • 1
  • 2
  • 4
  • 3
  • 7
  • 1
  • 3
  • 4
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 6
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 3
  • 6
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 8
  • 4
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 9
  • 3
  • 2
  • 4
  • 3
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 16
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 16
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 10
  • 20
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 11
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 12
  • 4
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 8
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
Verlag
  • 474
  • 97
  • 447
  • 17
  • 1
Preis
  • 71
  • 915
  • 50
Sprachen
  • 1036
Verfügbarkeit
  • 1035
  • 1
Katalog
  • 1036
  • 22
1.036  Treffer  für „Programming and Software Engineering“
    Dearle / Eisenbach | Component Deployment | Buch | Sack Fachmedien

    Dearle / Eisenbach Component Deployment

    Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30517-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panetto / Debruyne / Hepp | On the Move to Meaningful Internet Systems: OTM 2019 Conferences | eBook | Sack Fachmedien
    E-Book

    Panetto / Debruyne / Hepp On the Move to Meaningful Internet Systems: OTM 2019 Conferences

    Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-33246-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yi | Static Analysis | Buch | Sack Fachmedien

    Yi Static Analysis

    13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37756-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ikeda / Ashlay / Chan | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Ikeda / Ashlay / Chan Intelligent Tutoring Systems

    8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35159-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Micarelli / Panourgia / Stamper | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Micarelli / Panourgia / Stamper 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-39582-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Troussas / Cristea | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Troussas / Cristea Intelligent Tutoring Systems

    17th International Conference, ITS 2021, Virtual Event, June 7-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-80420-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fogli / Tetteroo / Papadopoulos | End-User Development | Buch | Sack Fachmedien

    Fogli / Tetteroo / Papadopoulos 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-79839-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sadiq / Reinhartz-Berger | Advances in Conceptual Modeling | Buch | Sack Fachmedien

    Sadiq / Reinhartz-Berger 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-88357-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ranzato | Static Analysis | Buch | Sack Fachmedien

    Ranzato Static Analysis

    24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66705-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dean / Hall / Rotolo | Semantic Web Rules | Buch | Sack Fachmedien

    Dean / Hall / Rotolo Semantic Web Rules

    International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16288-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Treharne / Gnesi | Integrated Formal Methods | Buch | Sack Fachmedien

    Derrick / Treharne / Gnesi Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30728-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hernández-Leo / Harrer / Ley | Scaling up Learning for Sustained Impact | Buch | Sack Fachmedien

    Hernández-Leo / Harrer / Ley Scaling up Learning for Sustained Impact

    8th European Conference on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40813-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Supinski / Eigenmann | OpenMP in a New Era of Parallelism | Buch | Sack Fachmedien

    de Supinski / Eigenmann OpenMP in a New Era of Parallelism

    4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79560-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stephanidis | Universal Access in Human-Computer Interaction. Ambient Interaction | Buch | Sack Fachmedien

    Stephanidis Universal Access in Human-Computer Interaction. Ambient Interaction

    4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing,China, July 22-27, 2007, Proceedings, Part II
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73280-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Su / Palsberg | Static Analysis | Buch | Sack Fachmedien

    Su / Palsberg Static Analysis

    16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03236-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bjørner | FM 2015: Formal Methods | Buch | Sack Fachmedien

    de Boer / Bjørner FM 2015: Formal Methods

    20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19248-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Casimiro / de Lemos / Gacek | Architecting Dependable Systems VII | eBook | Sack Fachmedien
    E-Book

    Casimiro / de Lemos / Gacek Architecting Dependable Systems VII

    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-17245-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barringer / Falcone / Finkbeiner | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Barringer / Falcone / Finkbeiner Runtime Verification

    First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16612-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Méry / Merz | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Méry / Merz Integrated Formal Methods

    8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
    Erscheinungsjahr 2010
    Verlag: Springer
    ISBN: 978-3-642-16265-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Yahav | Static Analysis | eBook | Sack Fachmedien
    E-Book

    Yahav Static Analysis

    18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
    Erscheinungsjahr 2011
    Verlag: Springer
    ISBN: 978-3-642-23702-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Giannakopoulou / Mery | FM 2012: Formal Methods | eBook | Sack Fachmedien
    E-Book

    Giannakopoulou / Mery FM 2012: Formal Methods

    18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-32759-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    ter Beek / Oliveira / McIver | Formal Methods - The Next 30 Years | Buch | Sack Fachmedien

    ter Beek / Oliveira / McIver Formal Methods - The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-30941-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malizia / Valtolina / Stratton | End-User Development | Buch | Sack Fachmedien

    Malizia / Valtolina / Stratton End-User Development

    7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-24780-5
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Romijn / Smith / van de Pol | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Romijn / Smith / van de Pol Integrated Formal Methods

    5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-32240-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Phillips / Rahaman | Reversible Computation | eBook | Sack Fachmedien
    E-Book

    Phillips / Rahaman Reversible Computation

    9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-59936-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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