Results
|
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 Series: Lecture Notes in Computer Science ; 5311
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.A96 C3 2008.
|
|
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
Material type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D3 V37 2005.
|
|
5.
|
|
|
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 Series: Lecture Notes in Computer Science ; 3982
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: QA75.5 G38 2006.
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo. by Series: Lecture Notes in Computer Science ; 3980
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: QA75.5 G38 2006.
|
|
16.
|
|
|
17.
|
Towards Sustainable Society on Ubiquitous Networks [electronic resource] : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan / edited by Makoto Oya, Ryuya Uda, Chizuko Yasunobu. by Series: IFIP – The International Federation for Information Processing ; 286
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Boston, MA : Springer-Verlag US, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 O39 2008.
|
|
18.
|
|
|
19.
|
|
|
20.
|
|