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“
    Dal Lago / Peña | Foundational and Practical Aspects of Resource Analysis | eBook | Sack Fachmedien
    E-Book

    Dal Lago / Peña Foundational and Practical Aspects of Resource Analysis

    Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12466-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    42,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    ter Beek / Gnesi / Knapp | Critical Systems: Formal Methods and Automated Verification | eBook | Sack Fachmedien
    E-Book

    ter Beek / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification

    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45943-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. HCI Applications and Services | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. HCI Applications and Services

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73109-2
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Jajodia / Wang | Theory and Models for Cyber Situation Awareness | Buch | Sack Fachmedien

    Liu / Jajodia / Wang Theory and Models for Cyber Situation Awareness

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61151-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersson / Yi | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Pettersson / Yi Formal Modeling and Analysis of Timed Systems

    Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30946-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morisio | Reuse of Off-the-Shelf Components | eBook | Sack Fachmedien
    E-Book

    Morisio Reuse of Off-the-Shelf Components

    9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-34607-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Albert / Lanese | Formal Techniques for Distributed Objects, Components, and Systems | eBook | Sack Fachmedien
    E-Book

    Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems

    36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39570-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Casimiro / Ortmeier / Schoitsch | Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops | eBook | Sack Fachmedien
    E-Book

    Casimiro / Ortmeier / Schoitsch Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops

    DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-55583-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Julliand / Kouchnarenko | B 2007: Formal Specification and Development in B | eBook | Sack Fachmedien
    E-Book

    Julliand / Kouchnarenko B 2007: Formal Specification and Development in B

    7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-68761-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Baier / Caires | Formal Techniques for Distributed Objects, Components, and Systems | eBook | Sack Fachmedien
    E-Book

    Baier / Caires Formal Techniques for Distributed Objects, Components, and Systems

    38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92612-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Morisio | Reuse of Off-the-Shelf Components | Buch | Sack Fachmedien

    Morisio Reuse of Off-the-Shelf Components

    9th International Conference on Software Reuse, ICSR 2006, Torino, Italy, June 12-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34606-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. Interaction Platforms and Techniques | Buch | Sack Fachmedien

    Jacko Human-Computer Interaction. Interaction Platforms and Techniques

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73106-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettersson / Yi | Formal Modeling and Analysis of Timed Systems | eBook | Sack Fachmedien
    E-Book

    Pettersson / Yi Formal Modeling and Analysis of Timed Systems

    Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
    2005
    Verlag: Springer
    ISBN: 978-3-540-31616-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jacko | Human-Computer Interaction. Interaction Platforms and Techniques | eBook | Sack Fachmedien
    E-Book

    Jacko Human-Computer Interaction. Interaction Platforms and Techniques

    12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II
    2007
    Verlag: Springer
    ISBN: 978-3-540-73107-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    van Eekelen / Shkaravska | Foundational and Practical Aspects of Resource Analysis | Buch | Sack Fachmedien

    van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis

    First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15330-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Evaluation and Benchmarking for the Analytics Era | Buch | Sack Fachmedien

    Nambiar / Poess Performance Evaluation and Benchmarking for the Analytics Era

    9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-72400-3
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baier / Caires | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Baier / Caires Formal Techniques for Distributed Objects, Components, and Systems

    38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92611-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Palamidessi | Formal Techniques for Distributed Objects, Components, and Systems | eBook | Sack Fachmedien
    E-Book

    Ábrahám / Palamidessi Formal Techniques for Distributed Objects, Components, and Systems

    34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-43613-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bassiliades / Governatori / Paschke | Rule Representation, Interchange and Reasoning on the Web | eBook | Sack Fachmedien
    E-Book

    Bassiliades / Governatori / Paschke Rule Representation, Interchange and Reasoning on the Web

    International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-88808-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Winckler / Johnson / Palanque | Task Models and Diagrams for User Interface Design | eBook | Sack Fachmedien
    E-Book

    Winckler / Johnson / Palanque Task Models and Diagrams for User Interface Design

    6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
    2007
    Verlag: Springer
    ISBN: 978-3-540-77222-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bouajjani / Silva | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Bouajjani / Silva Formal Techniques for Distributed Objects, Components, and Systems

    37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coninx / Luyten / Schneider | Task Models and Diagrams for Users Interface Design | Buch | Sack Fachmedien

    Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design

    5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70815-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolpers / Kirschner / Scheffel | Sustaining TEL: From Innovation to Learning and Practice | Buch | Sack Fachmedien

    Wolpers / Kirschner / Scheffel Sustaining TEL: From Innovation to Learning and Practice

    5th European Conference on Technology Enhanced Learning, EC-TEL 2010, Barcelona, Spain, September 28 - October 1, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-16019-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nambiar / Poess | Performance Characterization and Benchmarking. Traditional to Big Data | eBook | Sack Fachmedien
    E-Book

    Nambiar / Poess Performance Characterization and Benchmarking. Traditional to Big Data

    6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers
    Erscheinungsjahr 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15350-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    42,79 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    England / Palanque / Vanderdonckt | Task Models and Diagrams for User Interface Design | Buch | Sack Fachmedien

    England / Palanque / Vanderdonckt Task Models and Diagrams for User Interface Design

    8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11796-1
    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