Results
|
|
461.
|
|
|
|
462.
|
|
|
|
463.
|
|
|
|
464.
|
NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications [electronic resource] : Second International IFIP-TC6 Networking Conference Pisa, Italy, May 19–24, 2002 Proceedings / edited by Enrico Gregori, Marco Conti, Andrew T. Campbell, Guy Omidyar, Moshe Zukerman. by Series: Lecture Notes in Computer Science ; 2345
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 G74 2006.
|
|
|
465.
|
Advances in Multimedia Modeling [electronic resource] : 13th International Multimedia Modeling Conference, MMM 2007, Singapore, January 9-12, 2007. Proceedings, Part I / edited by Tat-Jen Cham, Jianfei Cai, Chitra Dorai, Deepu Rajan, Tat-Seng Chua, Liang-Tien Chia. by Series: Lecture Notes in Computer Science ; 4351
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.575 C36 2006.
|
|
|
466.
|
Advances in Neural Networks – ISNN 2007 [electronic resource] : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007, Proceedings, Part III / edited by Derong Liu, Shumin Fei, Zengguang Hou, Huaguang Zhang, Changyin Sun. by Series: Lecture Notes in Computer Science ; 4493
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.87 L58 2007.
|
|
|
467.
|
|
|
|
468.
|
|
|
|
469.
|
|
|
|
470.
|
|
|
|
471.
|
|
|
|
472.
|
|
|
|
473.
|
|
|
|
474.
|
|
|
|
475.
|
|
|
|
476.
|
|
|
|
477.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings / edited by Holger Hermanns, Jens Palsberg. by Series: Lecture Notes in Computer Science ; 3920
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 N47 2006.
|
|
|
478.
|
|
|
|
479.
|
From Web to Social Web: Discovering and Deploying User and Content Profiles [electronic resource] : Workshop on Web Mining, WebMine 2006, Berlin, Germany, September 18, 2006. Revised Selected and Invited Papers / edited by Bettina Berendt, Andreas Hotho, Dunja Mladenic, Giovanni Semeraro. by Series: Lecture Notes in Computer Science ; 4737
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: ZA4235 B47 2007.
|
|
|
480.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti. by Series: Lecture Notes in Computer Science ; 3965
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B476 2006.
|