|
|
21.
|
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).
|
|
|
22.
|
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Meersman, Robert | Tari, Zahir | Herrero, Pilar | 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: QA76.9.D3 M447 2006 (1).
|
|
|
23.
|
|
|
|
24.
|
Middleware 2007 [electronic resource] : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings / edited by Renato Cerqueira, Roy H. Campbell. by Cerqueira, Renato | Campbell, Roy H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.M54 C47 2007 (1).
|
|
|
25.
|
Multi-Agent-Based Simulation VI [electronic resource] : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers / edited by Jaime S. Sichman, Luis Antunes. by Sichman, Jaime S | Antunes, Luis | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 S53 2006 (1).
|
|
|
26.
|
|
|
|
27.
|
Engineering Societies in the Agents World VII [electronic resource] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers / edited by Gregory M. P. O’Hare, Alessandro Ricci, Michael J. O’Grady, Oğuz Dikenelli. by O’Hare, Gregory M. P | Ricci, Alessandro | O’Grady, Michael J | Dikenelli, Oğuz | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 O43 2007 (1).
|
|
|
28.
|
Applied Cryptography and Network Security [electronic resource] : 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007. Proceedings / edited by Jonathan Katz, Moti Yung. by Katz, Jonathan | Yung, Moti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5102.94 K38 2007 (1).
|
|
|
29.
|
Ambient Intelligence [electronic resource] : European Conference, AmI 2008, Nuremberg, Germany, November 19-22, 2008. Proceedings / edited by Emile Aarts, James L. Crowley, Boris Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert. by Aarts, Emile | Crowley, James L | Ruyter, Boris | Gerhäuser, Heinz | Pflaum, Alexander | Schmidt, Janina | Wichert, Reiner | 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.A48 A17 2008 (1).
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings / edited by Minyi Guo, Laurence T. Yang, Beniamino Martino, Hans P. Zima, Jack Dongarra, Feilong Tang. by Guo, Minyi | Yang, Laurence T | Martino, Beniamino | Zima, Hans P | Dongarra, Jack | Tang, Feilong | SpringerLink (Online service). Edition: 1a ed.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: QA76.9.A43 G86 2006 (1).
|
|
|
33.
|
Cooperative Information Agents X [electronic resource] : 10th International Workshop, CIA 2006 Edinburgh, UK, September 11-13, 2006 Proceedings / edited by Matthias Klusch, Michael Rovatsos, Terry R. Payne. by Klusch, Matthias | Rovatsos, Michael | Payne, Terry R | 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: QA76.76.I58 K58 2006 (1).
|
|
|
34.
|
Information Security Practice and Experience [electronic resource] : Third International Conference, ISPEC 2007, Hong Kong, China, May 7-9, 2007. Proceedings / edited by Ed Dawson, Duncan S. Wong. by Dawson, Ed | Wong, Duncan S | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 D39 2007 (1).
|
|
|
35.
|
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers / edited by Wee Siong Ng, Beng-Chin Ooi, Aris M. Ouksel, Claudio Sartori. by Ng, Wee Siong | Ooi, Beng-Chin | Ouksel, Aris M | Sartori, Claudio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D3 N49 2005 (1).
|
|
|
36.
|
Architecture of Computing Systems - ARCS 2006 [electronic resource] : 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings / edited by Werner Grass, Bernhard Sick, Klaus Waldschmidt. by Grass, Werner | Sick, Bernhard | Waldschmidt, Klaus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A73 G73 2006 (1).
|
|
|
37.
|
Pattern Recognition and Machine Intelligence [electronic resource] : First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005. Proceedings / edited by Sankar K. Pal, Sanghamitra Bandyopadhyay, Sambhunath Biswas. by Pal, Sankar K | Bandyopadhyay, Sanghamitra | Biswas, Sambhunath | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: Q327 P35 2005 (1).
|
|
|
38.
|
Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. by Bernardo, Marco | Degano, Pierpaolo | Zavattaro, Gianluigi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F67 B47637 2008 (1).
|
|
|
39.
|
Service-Oriented Computing - ICSOC 2005 [electronic resource] : Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings / edited by Boualem Benatallah, Fabio Casati, Paolo Traverso. by Benatallah, Boualem | Casati, Fabio | Traverso, Paolo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D5 B46 2005 (1).
|
|
|
40.
|
Information Security [electronic resource] : 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / edited by Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee. by Wu, Tzong-Chen | Lei, Chin-Laung | Rijmen, Vincent | Lee, Der-Tsai | SpringerLink (Online service). Edition: 1a ed.Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.A25 W88 2008 (1).
|
