Results
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures / edited by Marco Bernardo, Jane Hillston. by Series: Lecture Notes in Computer Science ; 4486
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.9.F67 B4763 2007.
|
|
|
184.
|
Multi-Agent Systems and Applications III [electronic resource] : 9th ECCAI Advanced Course, ACAI 2001 and Agent Link’s 3rd European Agent Systems Summer School, EASSS 2001 Prague, Czech Republic, July 2–13, 2001 Selected Tutorial Papers / edited by Michael Luck, Vladimír Mařík, Olga Štěpánková, Robert Trappl. by Series: Lecture Notes in Computer Science ; 2086
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.76.I58 L83 2006.
|
|
|
185.
|
Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller. by Series: Lecture Notes in Computer Science ; 3382
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 O34 2005.
|
|
|
186.
|
|
|
|
187.
|
|
|
|
188.
|
Frontiers of High Performance Computing and Networking ISPA 2007 Workshops [electronic resource] : ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN Niagara Falls, Canada, August 28-September 1, 2007 Proceedings / edited by Parimala Thulasiraman, Xubin He, Tony Li Xu, Mieso K. Denko, Ruppa K. Thulasiram, Laurence T. Yang. by Series: Lecture Notes in Computer Science ; 4743
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.88 T48 2007.
|
|
|
189.
|
|
|
|
190.
|
Programming Multi-Agent Systems [electronic resource] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah Seghrouchni. by Series: Lecture Notes in Computer Science ; 4411
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.76.I58 B67 2007.
|
|
|
191.
|
|
|
|
192.
|
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 II / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Series: Lecture Notes in Computer Science ; 4806
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.9.D3 M447 2007.
|
|
|
193.
|
Multi-Agent Systems and Applications V [electronic resource] : 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007. Proceedings / edited by Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga. by Series: Lecture Notes in Computer Science ; 4696
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.76.I58 B87 2007.
|
|
|
194.
|
Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings / edited by Ian Gorton, George T. Heineman, Ivica Crnković, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau. by Series: Lecture Notes in Computer Science ; 4063
Edition: 1a ed.
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.76.C66 G67 2006.
|
|
|
195.
|
Emerging Directions in Embedded and Ubiquitous Computing [electronic resource] : EUC 2007 Workshops: TRUST, WSOC, NCUS, UUWSN, USN, ESO, and SECUBIQ, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Mieso K. Denko, Chi-sheng Shih, Kuan-Ching Li, Shiao-Li Tsao, Qing-An Zeng, Soo Hyun Park, Young-Bae Ko, Shih-Hao Hung, Jong Hyuk Park. by Series: Lecture Notes in Computer Science ; 4809
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: TK7895.E42 D46 2007.
|
|
|
196.
|
Embedded and Ubiquitous Computing [electronic resource] : International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings / edited by Edwin Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-Hae Kim, Laurence T. Yang, Bin Xiao. by Series: Lecture Notes in Computer Science ; 4096
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: TK7895.E42 S53 2006.
|
|
|
197.
|
Software Engineering Research and Applications [electronic resource] : Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers / edited by Walter Dosch, Roger Y. Lee, Chisu Wu. by Series: Lecture Notes in Computer Science ; 3647
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.758 D47 2006.
|
|
|
198.
|
|
|
|
199.
|
|
|
|
200.
|
Broadband Satellite Comunication Systems and the Challenges of Mobility [electronic resource] : IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Thierry Gayraud, Michel Mazzella, Fernando Boavida, Edmundo Monteiro, João Orvalho. by Series: IFIP International Federation for Information Processing ; 169
Material type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : International Federation for Information Processing, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5104 .I222 2005.
|