|
|
161.
|
Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings / edited by Aiko Pras, Marten Sinderen. by Pras, Aiko | Sinderen, Marten | SpringerLink (Online service). Edition: 1a ed.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: TK5105.875.I57 P73 2007 (1).
|
|
|
162.
|
Task Models and Diagrams for User Interface Design [electronic resource] : 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings / edited by Marco Winckler, Hilary Johnson, Philippe Palanque. by Winckler, Marco | Johnson, Hilary | Palanque, Philippe | 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.H85 W56 2007 (1).
|
|
|
163.
|
|
|
|
164.
|
|
|
|
165.
|
Engineering Environment-Mediated Multi-Agent Systems [electronic resource] : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / edited by Danny Weyns, Sven A. Brueckner, Yves Demazeau. by Weyns, Danny | Brueckner, Sven A | Demazeau, Yves | 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.76.I58 W49 2008 (1).
|
|
|
166.
|
Wired/Wireless Internet Communications [electronic resource] : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings / edited by Jarmo Harju, Geert Heijenk, Peter Langendörfer, Vasilios A. Siris. by Harju, Jarmo | Heijenk, Geert | Langendörfer, Peter | Siris, Vasilios A | 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: TK5103.4885 H37 2008 (1).
|
|
|
167.
|
Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers / edited by Sven Overhage, Clemens A. Szyperski, Ralf Reussner, Judith A. Stafford. by Overhage, Sven | Szyperski, Clemens A | Reussner, Ralf | Stafford, Judith A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.Q35 O94 2007 (1).
|
|
|
168.
|
Software Engineering for Multi-Agent Systems IV [electronic resource] : Research Issues and Practical Applications / edited by Alessandro Garcia, Ricardo Choren, Carlos Lucena, Paolo Giorgini, Tom Holvoet, Alexander Romanovsky. by Garcia, Alessandro | Choren, Ricardo | Lucena, Carlos | Giorgini, Paolo | Holvoet, Tom | Romanovsky, Alexander | 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.758 G37 2006 (1).
|
|
|
169.
|
Information Security Applications [electronic resource] : 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / edited by Chae Hoon Lim, Moti Yung. by Lim, Chae Hoon | Yung, Moti | 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: QA76.9.A25 L56 2005 (1).
|
|
|
170.
|
On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, 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, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.D3 M447 2007 (1).
|
|
|
171.
|
SOFSEM 2006: Theory and Practice of Computer Science [electronic resource] : 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings / edited by Jiří Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Július Štuller. by Wiedermann, Jiří | Tel, Gerard | Pokorný, Jaroslav | Bieliková, Mária | Štuller, Július | 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.751 W54 2006 (1).
|
|
|
172.
|
|
|
|
173.
|
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 Gregori, Enrico | Conti, Marco | Campbell, Andrew T | Omidyar, Guy | Zukerman, Moshe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.5 G74 2006 (1).
|
|
|
174.
|
|
|
|
175.
|
Technologies for Advanced Heterogeneous Networks [electronic resource] : First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings / edited by Kenjiro Cho, Philippe Jacquet. by Cho, Kenjiro | Jacquet, Philippe | 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: TK5105.5 C6 2005 (1).
|
|
|
176.
|
Advances in Grid and Pervasive Computing [electronic resource] : First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings / edited by Yeh-Ching Chung, José E. Moreira. by Chung, Yeh-Ching | Moreira, José E | 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.C58 C86 2006 (1).
|
|
|
177.
|
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 Hermanns, Holger | Palsberg, Jens | 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.S88 N47 2006 (1).
|
|
|
178.
|
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 Bernardo, Marco | Cimatti, Alessandro | 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.F67 B476 2006 (1).
|
|
|
179.
|
Service-Oriented Computing – ICSOC 2006 [electronic resource] : 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings / edited by Asit Dan, Winfried Lamersdorf. by Dan, Asit | Lamersdorf, Winfried | 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.D5 D36 2006 (1).
|
|
|
180.
|
Ubiquitous Mobile Information and Collaboration Systems [electronic resource] : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers / edited by Luciano Baresi, Schahram Dustdar, Harald C. Gall, Maristella Matera. by Baresi, Luciano | Dustdar, Schahram | Gall, Harald C | Matera, Maristella | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
|
