Programming and Software Engineering

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Software Engineering and Formal Methods

Ankündigung

De Nicola / Calinescu / Rumpe

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

1st ed. 20152016BuchSpringerISBN 978-3-319-28468-2

1st ed. 2015

59,92 €

Auf die Merkliste setzen Nachricht, wenn verfügbar

vorbestellbar, wir liefern bei Erscheinen

Accelerator Programming Using Directives

Bhalachandra / Daley / Melesse Vergara

8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings

2022eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-97759-7

58,84 €

sofort lieferbar!

Formal Techniques for Distributed Objects, Components, and Systems

Peters / Willemse

41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-78089-0

53,49 €

sofort lieferbar!

Loulergue / Wotawa

Tests and Proofs

15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-79379-1

53,49 €

sofort lieferbar!

Fogli / Tetteroo / Barricelli / Borsci / Markopoulos / Papadopoulos

End-User Development

8th International Symposium, IS-EUD 2021, Virtual Event, July 6-8, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-79840-6

53,49 €

sofort lieferbar!

Yamashita / Yokoyama

Reversible Computation

13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-79837-6

53,49 €

sofort lieferbar!

Intelligent Tutoring Systems

Cristea / Troussas

17th International Conference, ITS 2021, Virtual Event, June 7-11, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-80421-3

53,49 €

sofort lieferbar!

Biffl / Navarro / Löwe / Sirjani / Mirandola / Weyns

Software Architecture

15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-86044-8

90,94 €

sofort lieferbar!

Automated Technology for Verification and Analysis

Hou / Ganesh

19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-88885-5

80,24 €

sofort lieferbar!

Dragoi / Mukherjee / Namjoshi

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-88806-0

85,59 €

sofort lieferbar!

Logic, Computation and Rigorous Methods

Raschke / Riccobene / Schewe

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-76020-5

53,49 €

sofort lieferbar!

Model and Data Engineering

Attiogbé / Ben Yahia

10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-78428-7

53,49 €

sofort lieferbar!

Dutle / Moscato / Titolo / Muñoz / Perez

NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-76384-8

90,94 €

sofort lieferbar!

Service-Oriented Computing - ICSOC 2020 Workshops

Hacid / Outay / Paik / Alloum / Petrocchi / Bouadjenek / Beheshti / Liu / Maaradji

AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-76352-7

53,49 €

sofort lieferbar!

Coordination Models and Languages

Damiani / Dardha

23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-78142-2

53,49 €

sofort lieferbar!

Formal Methods for Industrial Critical Systems

Lluch Lafuente / Mavridou

26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-85248-1

53,49 €

sofort lieferbar!

Advances in Conceptual Modeling

Reinhartz-Berger / Sadiq

ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18-21, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-88358-4

58,84 €

sofort lieferbar!

Programming Languages and Systems

Oh

19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-89051-3

80,24 €

sofort lieferbar!

OpenMP: Enabling Massive Node-Level Parallelism

McIntosh-Smith / De Supinski / Klinkenberg

17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings

2021eBook (PDF mit Wasserzeichen)Springer International PublishingISBN 978-3-030-85262-7

74,89 €

sofort lieferbar!