Results
|
941.
|
|
|
942.
|
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.
|
|
943.
|
|
|
944.
|
|
|
945.
|
|
|
946.
|
|
|
947.
|
|
|
948.
|
|
|
949.
|
Ubiquitous Convergence Technology [electronic resource] : First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4412
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.
|
|
950.
|
Recent Advances in Intrusion Detection [electronic resource] : 9th International Symposium, RAID 2006, Hamburg, Germany, September 20-22, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4219
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.
|
|
951.
|
|
|
952.
|
|
|
953.
|
|
|
954.
|
|
|
955.
|
|
|
956.
|
|
|
957.
|
|
|
958.
|
|
|
959.
|
|
|
960.
|
|