Results
|
|
1081.
|
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10202
Edition: 1st ed. 2017.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1082.
|
Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5502
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1083.
|
|
|
|
1084.
|
|
|
|
1085.
|
Distributed Applications and Interoperable Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4531
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1086.
|
|
|
|
1087.
|
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance [electronic resource] : 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings / by Series: Programming and Software Engineering ; 5987
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1088.
|
|
|
|
1089.
|
|
|
|
1090.
|
|
|
|
1091.
|
Universal Acess in Human Computer Interaction. Coping with Diversity [electronic resource] : Coping with Diversity, 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCi International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / by Series: Programming and Software Engineering ; 4554
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1092.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9636
Edition: 1st ed. 2016.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
In:
Springer Nature eBook
Availability: No items available.
|
|
|
1093.
|
|
|
|
1094.
|
|
|
|
1095.
|
|
|
|
1096.
|
|
|
|
1097.
|
|
|
|
1098.
|
|
|
|
1099.
|
|
|
|
1100.
|
|
