Results
|
|
361.
|
|
|
|
362.
|
|
|
|
363.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings / by Franz Baader, Andrei Voronkov. by Series: Lecture Notes in Computer Science ; 3452
Edition: 1a ed.
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.63 B33 2005.
|
|
|
364.
|
|
|
|
365.
|
|
|
|
366.
|
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 II / edited by Robert Meersman, Zahir Tari, Pilar Herrero. by Series: Lecture Notes in Computer Science ; 4278
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.9.D3 M447 2006.
|
|
|
367.
|
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers / edited by Gianluca Moro, Sonia Bergamaschi, Sam Joseph, Jean-Henry Morin, Aris M. Ouksel. by Series: Lecture Notes in Computer Science ; 4125
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: QA75 M67 2007 .
|
|
|
368.
|
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings / edited by Fernando Boavida, Thomas Plagemann, Burkhard Stiller, Cedric Westphal, Edmundo Monteiro. by Series: Lecture Notes in Computer Science ; 3976
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: TK5105.5 B63 2006.
|
|
|
369.
|
Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / edited by Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók. by Series: Lecture Notes in Computer Science ; 5161
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.62 H67 2008.
|
|
|
370.
|
|
|
|
371.
|
Information Security Applications [electronic resource] : 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers / edited by Joo-Seok Song, Taekyoung Kwon, Moti Yung. by Series: Lecture Notes in Computer Science ; 3786
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.9.A25 S66 2006.
|
|
|
372.
|
|
|
|
373.
|
|
|
|
374.
|
|
|
|
375.
|
UML Modeling Languages and Applications [electronic resource] : < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers / edited by Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, Ambrosio Toval Alvarez. by Series: Lecture Notes in Computer Science ; 3297
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: No items available.
|
|
|
376.
|
Autonomic and Trusted Computing [electronic resource] : Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings / edited by Laurence T. Yang, Hai Jin, Jianhua Ma, Theo Ungerer. by Series: Lecture Notes in Computer Science ; 4158
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.9.A97 Y36 2006.
|
|
|
377.
|
Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings / edited by Ralf Reussner, Johannes Mayer, Judith A. Stafford, Sven Overhage, Steffen Becker, Patrick J. Schroeder. by Series: Lecture Notes in Computer Science ; 3712
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.76.Q35 R48 2005 .
|
|
|
378.
|
Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings / edited by Ivan Stojmenovic, Ruppa K. Thulasiram, Laurence T. Yang, Weijia Jia, Minyi Guo, Rodrigo Fernandes Mello. by Series: Lecture Notes in Computer Science ; 4742
Edition: 1a ed.
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.58 S76 2007.
|
|
|
379.
|
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [electronic resource] : ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings / edited by Guihai Chen, Yi Pan, Minyi Guo, Jian Lu. by Series: Lecture Notes in Computer Science ; 3759
Edition: 1a ed.
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.58 C44 2005.
|
|
|
380.
|
Ubiquitous Convergence Technology [electronic resource] : First International Conference, ICUCT 2006, Jeju Island, Korea, December 5-6, 2006, Revised Selected Papers / edited by Frank Stajano, Hyoung Joong Kim, Jong-Suk Chae, Seong-Dong Kim. by Series: Lecture Notes in Computer Science ; 4412
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: No items available.
|