Programming and Software Engineering

250 Treffer
Auswahl verfeinern: Filtern Sortieren nach:
neu

Huisman / Pasareanu / Zhan

Formal Methods

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

1st ed. 2021

104,85 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Qin / Woodcock / Zhang

Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

1st ed. 2021

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Hacid / Kao / Mecella / Moha / Paik

Service-Oriented Computing

Service-Oriented Computing

19th International Conference, ICSOC 2021, Virtual Event, November 22–25, 2021, Proceedings

1st ed. 2021

113,41 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Ardito / Jedlitschka / Morisio / Torchiano

Product-Focused Software Process Improvement

Product-Focused Software Process Improvement

22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

1st ed. 2021

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Salaün / Wijs

Formal Aspects of Component Software

Formal Aspects of Component Software

17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings

1st ed. 2021

48,14 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Ballarini / Castel / Dimitriou / Iacono / Phung-Duc / Walraevens

Performance Engineering and Stochastic Modeling

Performance Engineering and Stochastic Modeling

17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings

1st ed. 2021

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Campos / Minea

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Hojjat / Massink

Fundamentals of Software Engineering

Fundamentals of Software Engineering

9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers

1st ed. 2021

69,54 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Dragoi / Mukherjee / Namjoshi

Static Analysis

Static Analysis

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

1st ed. 2021

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Hou / Ganesh

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

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

1st ed. 2021

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Reinhartz-Berger / Sadiq

Advances in Conceptual Modeling

Advances in Conceptual Modeling

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

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Oh

Programming Languages and Systems

Programming Languages and Systems

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

1st ed. 2021

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Feng / Fisman

Runtime Verification

Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

1st ed. 2021

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

O'Reilly / Devroey

Search-Based Software Engineering

Search-Based Software Engineering

13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Bartocci / Falcone / Leucker

Formal Methods in Outer Space

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Moschoyiannis / Peñaloza / Vanthienen / Soylu / Roman

Rules and Reasoning

Rules and Reasoning

5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings

1st ed. 2021

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

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

Software Architecture

Software Architecture

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

1st ed. 2021

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

McIntosh-Smith / de Supinski / Klinkenberg

OpenMP: Enabling Massive Node-Level Parallelism

OpenMP: Enabling Massive Node-Level Parallelism

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

1st ed. 2021

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Lluch Lafuente / Mavridou

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

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

1st ed. 2021

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Habli / Sujan / Bitsch

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security

40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings

1st ed. 2021

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

nach oben

Ihre Daten werden geladen ...