Results
|
401.
|
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.
|
|
402.
|
Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Series: Lecture Notes in Computer Science ; 3629
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.9.M35 F53 2005.
|
|
403.
|
Principles and Practice of Semantic Web Reasoning [electronic resource] : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / edited by Jóse Júlio Alferes, James Bailey, Wolfgang May, Uta Schwertel. by Series: Lecture Notes in Computer Science ; 4187
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.A65 A44 2006.
|
|
404.
|
|
|
405.
|
|
|
406.
|
|
|
407.
|
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.
|
|
408.
|
|
|
409.
|
|
|
410.
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings / edited by Vassilis Paliouras, Johan Vounckx, Diederik Verkest. by Series: Lecture Notes in Computer Science ; 3728
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: TK7874.75 P35 2005.
|
|
411.
|
Computational Science and Its Applications – ICCSA 2005 [electronic resource] : International Conference, Singapore, May 9-12, 2005, Proceedings, Part III / edited by Osvaldo Gervasi, Marina L. Gavrilova, Vipin Kumar, Antonio Laganà, Heow Pueh Lee, Youngsong Mun, David Taniar, Chih Jeng Kenneth Tan. by Series: Lecture Notes in Computer Science ; 3482
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: QA75.5 G47 2005.
|
|
412.
|
|
|
413.
|
|
|
414.
|
|
|
415.
|
|
|
416.
|
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.
|
|
417.
|
|
|
418.
|
|
|
419.
|
|
|
420.
|
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.
|