|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Automated Technology for Verification and Analysis [electronic resource] : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings / edited by Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan. by Cha, Sungdeok (Steve) | Choi, Jin-Young | Kim, Moonzoo | Lee, Insup | Viswanathan, Mahesh | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A96 C3 2008 (1).
|
|
|
4.
|
Information Systems Development [electronic resource] : Advances in Theory, Practice, and Education / edited by Olegas Vasilecas, Wita Wojtkowski, Jože Zupančič, Albertas Caplinskas, W. Gregory Wojtkowski, Stanisław Wrycza. by Vasilecas, Olegas | Wojtkowski, Wita | Zupančič, Jože | Caplinskas, Albertas | Wojtkowski, W. Gregory | Wrycza, Stanisław | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
 Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D3 V37 2005 (1).
|
|
|
5.
|
Security and Privacy in the Age of Ubiquitous Computing [electronic resource] : IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan / edited by Ryoichi Sasaki, Sihan Qing, Eiji Okamoto, Hiroshi Yoshiura. by Sasaki, Ryoichi | Qing, Sihan | Okamoto, Eiji | Yoshiura, Hiroshi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publisher: Boston, MA : Springer-Verlag US, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 T38 2005 (1).
|
|
|
6.
|
|
|
|
7.
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo. by Gavrilova, Marina | Gervasi, Osvaldo | Kumar, Vipin | Tan, C. J. Kenneth | Taniar, David | Laganá, Antonio | Mun, Youngsong | Choo, Hyunseung | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 G38 2006 (1).
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
Intelligence in Communication Systems [electronic resource] : IFIP International Conference on Intelligence in Communication Systems, INTELLCOMM 2005 Montreal, Canada, October 17–19, 2005 / edited by Roch Glitho, Ahmed Karmouch, Samuel Pierre. by Glitho, Roch | Karmouch, Ahmed | Pierre, Samuel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Boston, MA : International Federation for Information Processing, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5101.A1 G55 2005 (1).
|
|
|
19.
|
|
|
|
20.
|
|
