Programming and Software Engineering

395 Treffer
Auswahl verfeinern: Filtern Sortieren nach:
Ankündigung

De Nicola / Calinescu / Rumpe

Software Engineering and Formal Methods

Software Engineering and Formal Methods

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

1st ed. 2015

59,92 €

vorbestellbar, wir liefern bei Erscheinen

Oh

Programming Languages and Systems

Programming Languages and Systems

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

80,24 €

sofort lieferbar!

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

58,84 €

sofort lieferbar!

Huisman / Pasareanu / Zhan

Formal Methods

Formal Methods

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

106,99 €

sofort lieferbar!

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

78,10 €

sofort lieferbar!

Feng / Fisman

Runtime Verification

Runtime Verification

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

80,24 €

sofort lieferbar!

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

58,84 €

sofort lieferbar!

O'Reilly / Devroey

Search-Based Software Engineering

Search-Based Software Engineering

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

58,84 €

sofort lieferbar!

Hacid / Kao / Mecella / Moha / Paik

Service-Oriented Computing

Service-Oriented Computing

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

128,39 €

sofort lieferbar!

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

80,24 €

sofort lieferbar!

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

48,14 €

sofort lieferbar!

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

69,54 €

sofort lieferbar!

Campos / Minea

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

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

58,84 €

sofort lieferbar!

Nambiar / Poess

Performance Evaluation and Benchmarking

Performance Evaluation and Benchmarking

13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers

58,84 €

sofort lieferbar!

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

69,54 €

sofort lieferbar!

Xu / Xia / Zhang

Web Services - ICWS 2021

Web Services - ICWS 2021

28th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10-14, 2021, Proceedings

58,84 €

sofort lieferbar!

Hojjat / Massink

Fundamentals of Software Engineering

Fundamentals of Software Engineering

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

74,89 €

sofort lieferbar!

Dragoi / Mukherjee / Namjoshi

Static Analysis

Static Analysis

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

85,59 €

sofort lieferbar!

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

80,24 €

sofort lieferbar!

Cheney / Perri

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings

69,54 €

sofort lieferbar!

Autorinnen/Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...