Programming and Software Engineering

1104 Treffer
Auswahl verfeinern: Filtern Sortieren nach:
neu

Dalpiaz / Spoletini

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings

1st ed. 2021

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Bhalachandra / Wienke / Chandrasekaran / Juckeland

Accelerator Programming Using Directives

Accelerator Programming Using Directives

7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung

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

Service-Oriented Computing - ICSOC 2020 Workshops

Service-Oriented Computing - ICSOC 2020 Workshops

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

1st ed. 2021

ca. 96,29 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Juni 2021)

Ankündigung

Dutle / Moscato / Titolo / Muñoz / Perez

NASA Formal Methods

NASA Formal Methods

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

1st ed. 2021

ca. 70,61 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. Juni 2021)

neu

Bowles / Broccia / Nanni

From Data to Models and Back

From Data to Models and Back

9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

1st ed. 2021

53,49 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ankündigung

Peters / Willemse

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

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

1st ed. 2021

ca. 68,48 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. August 2021)

Ankündigung

Damiani / Dardha

Coordination Models and Languages

Coordination Models and Languages

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

1st ed. 2021

ca. 68,48 €

vorbestellbar, wir liefern bei Erscheinen (Erscheint vsl. August 2021)

Lin / Hou / Mahony

Formal Methods and Software Engineering

Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

1st ed. 2020

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Cleophas / Massink

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers

1st ed. 2021

74,89 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Morales / Orchard

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings

1st ed. 2021

42,79 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

neu

Pichardie / Sighireanu

Static Analysis

Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

1st ed. 2020

64,19 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

ter Beek / Nickovic

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

1st ed. 2020

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Lee / Jha / Mavridou / Giannakopoulou

NASA Formal Methods

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings

1st ed. 2020

79,17 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Grossmann / Ram

Advances in Conceptual Modeling

Advances in Conceptual Modeling

ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings

1st ed. 2020

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ahrendt / Beckert / Bubel / Hähnle / Ulbrich

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives

Reflections on the Occasion of 20 Years of KeY

1st ed. 2020

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Kafeza / Benatallah / Martinelli / Hacid / Bouguettaya / Motahari

Service-Oriented Computing

Service-Oriented Computing

18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings

1st ed. 2020

87,73 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Christakis / Polikarpova / Duggirala / Schrammel

Software Verification

Software Verification

12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers

1st ed. 2020

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Ben Sassi / Ducasse / Mili

Reuse in Emerging Software Engineering Practices

Reuse in Emerging Software Engineering Practices

19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2-4, 2020, Proceedings

1st ed. 2020

62,05 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Bernhaupt / Ardito / Sauer

Human-Centered Software Engineering

Human-Centered Software Engineering

8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 - December 2, 2020, Proceedings

1st ed. 2020

69,54 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Oliveira

Programming Languages and Systems

Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

1st ed. 2020

70,61 €

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

zurück

Filter

nach oben

Ihre Daten werden geladen ...