Results
|
|
561.
|
|
|
|
562.
|
UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007. Proceedings / edited by John Krumm, Gregory D. Abowd, Aruna Seneviratne, Thomas Strang. by Series: Lecture Notes in Computer Science ; 4717
Material type:  Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|
|
|
563.
|
|
|
|
564.
|
|
|
|
565.
|
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.
|
|
|
566.
|
Architecture Description Languages [electronic resource] : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France / edited by Pierre Dissaux, Mamoun Filali-Amine, Pierre Michel, François Vernadat. by Series: IFIP The International Federation for Information Processing ; 176
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: QA76.9.A73 W655 2005.
|
|
|
567.
|
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.
|
|
|
568.
|
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.
|
|
|
569.
|
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.
|
|
|
570.
|
|
|
|
571.
|
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.
|
|
|
572.
|
|
|
|
573.
|
|
|
|
574.
|
|
|
|
575.
|
|
|
|
576.
|
|
|
|
577.
|
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.
|
|
|
578.
|
|
|
|
579.
|
|
|
|
580.
|
|