Results
|
3621.
|
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.
|
|
3622.
|
Human-Computer Interaction: Design and Development Approaches [electronic resource] : 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6761
Edition: 1st ed. 2011.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
In:
Springer Nature eBook
Availability: No items available.
|
|
3623.
|
|
|
3624.
|
|
|
3625.
|
|
|
3626.
|
|
|
3627.
|
|
|
3628.
|
|
|
3629.
|
|
|
3630.
|
|
|
3631.
|
|
|
3632.
|
|
|
3633.
|
Information and Communication Technology [electronic resource] : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7804
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.
|
|
3634.
|
|
|
3635.
|
|
|
3636.
|
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2006, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4125
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.
|
|
3637.
|
|
|
3638.
|
Social Informatics [electronic resource] : 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7710
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.
|
|
3639.
|
|
|
3640.
|
|