Results
|
1.
|
Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Dae Young Kim, Young-Sik Jeong, Cheng-Zhong Xu. by
- Zhou, Xiaobo [editor.]
- Sokolsky, Oleg [editor.]
- Yan, Lu [editor.]
- Jung, Eun-Sun [editor.]
- Shao, Zili [editor.]
- Mu, Yi [editor.]
- Lee, Dong Chun [editor.]
- Kim, Dae Young [editor.]
- Jeong, Young-Sik [editor.]
- Xu, Cheng-Zhong [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 4097
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
Runtime Verification [electronic resource] : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings / edited by Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann. by Series: Lecture Notes in Computer Science ; 6418
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
In:
Springer eBooks
Availability: No items available.
|