Results
|
741.
|
Computer Safety, Reliability, and Security [electronic resource] : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings / by Series: Programming and Software Engineering ; 7612
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
742.
|
Pervasive Computing for Quality of Life Enhancement [electronic resource] : 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4541
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.
|
|
743.
|
|
|
744.
|
|
|
745.
|
Human-Computer Interaction. User Interface Design, Development and Multimodality [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10271
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
746.
|
|
|
747.
|
|
|
748.
|
|
|
749.
|
|
|
750.
|
|
|
751.
|
|
|
752.
|
Universal Access in Human-Computer Interaction. Applications and Services [electronic resource] : 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5616
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.
|
|
753.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / by Series: Programming and Software Engineering ; 3965
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
754.
|
|
|
755.
|
|
|
756.
|
|
|
757.
|
|
|
758.
|
|
|
759.
|
Image and Signal Processing [electronic resource] : 6th International Conference, ICISP 2014, Cherbourg, France, June 20 -- July 2, 2014, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8509
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
760.
|
Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings / by Series: Programming and Software Engineering ; 4680
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.
|