Results
|
|
101.
|
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung. by Series: Lecture Notes in Computer Science ; 3786
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A25 S66 2006.
|
|
|
105.
|
|
|
|
106.
|
Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Series: Lecture Notes in Computer Science ; 4158
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A97 Y36 2006.
|
|
|
107.
|
Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings / edited by Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence T. Yang, Weijia Jia, Minyi Guo, Rodrigo Fernandes Mello. by Series: Lecture Notes in Computer Science ; 4742
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 S76 2007.
|
|
|
108.
|
|
|
|
109.
|
Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings / edited by Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence T. Yang, Sung Won Kim. by Series: Lecture Notes in Computer Science ; 4523
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 L44 2007.
|
|
|
110.
|
Parallel and Distributed Processing and Applications [electronic resource] : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings / edited by Jiannong Cao, Laurence T. Yang, Minyi Guo, Francis Lau. by Series: Lecture Notes in Computer Science ; 3358
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A73 C36 2005.
|
|
|
111.
|
Unifying Theories of Programming [electronic resource] : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers / edited by Steve Dunne, Bill Stoddart. by Series: Lecture Notes in Computer Science ; 4010
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
|
112.
|
|
|
|
113.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4171
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
|
114.
|
|
|
|
115.
|
|
|
|
116.
|
|
|
|
117.
|
|
|
|
118.
|
|
|
|
119.
|
|
|
|
120.
|
Formal Methods for Components and Objects [electronic resource] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 5382
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B64 2008.
|