Results
|
121.
|
|
|
122.
|
|
|
123.
|
|
|
124.
|
|
|
125.
|
|
|
126.
|
|
|
127.
|
|
|
128.
|
|
|
129.
|
|
|
130.
|
|
|
131.
|
Computer Safety, Reliability, and Security [electronic resource] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings / by Series: Programming and Software Engineering ; 8153
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
132.
|
Formal Methods for the Design of Real-Time Systems [electronic resource] : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures / by Series: Lecture Notes in Computer Science ; 3185
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
133.
|
|
|
134.
|
|
|
135.
|
Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by Series: Programming and Software Engineering ; 3465
Edition: 1st ed. 2005.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005
In:
Springer Nature eBook
Availability: No items available.
|
|
136.
|
|
|
137.
|
|
|
138.
|
|
|
139.
|
Design, User Experience, and Usability: Designing Interactions [electronic resource] : 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10919
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
140.
|
Design, User Experience, and Usability: Theory and Practice [electronic resource] : 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10918
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|