Noch Fragen? 0800 / 33 82 637

Erweiterte Suche

Ihre Suche ergab 857 Treffer.


Formal Methods for Executable Software Models

14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 343 Seiten

Erscheinungsdatum: 21.05.2014

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Service-Oriented Computing

16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 891 Seiten

Erscheinungsdatum: 07.11.2018

106,99 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Dependable Software Engineering. Theories, Tools, and Applications

6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 203 Seiten

Erscheinungsdatum: 09.11.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Accelerator Programming Using Directives

5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 137 Seiten

Erscheinungsdatum: 24.01.2019

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

OpenMP: Heterogenous Execution and Data Movements

11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 274 Seiten

Erscheinungsdatum: 20.10.2015

51,36 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Model-Based Safety and Assessment

4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 209 Seiten

Erscheinungsdatum: 02.10.2014

51,36 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Coordination Models and Languages

22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 403 Seiten

Erscheinungsdatum: 10.06.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Challenges and Opportunity with Big Data

19th Monterey Workshop 2016, Beijing, China, October 8-11, 2016. Revised Selected Papers

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 209 Seiten

Erscheinungsdatum: 04.08.2017

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Computer Safety, Reliability, and Security

SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 456 Seiten

Erscheinungsdatum: 23.09.2014

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel

Formal Aspects of Component Software

16th International Symposium, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Verlag: Springer International Publishing, Auflage 1, 261 Seiten

Erscheinungsdatum: 13.02.2020

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zum Artikel