Your search returned 618 results.

Results
	601.	Scientific Engineering of Distributed Java Applications [electronic resource] : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers / edited by Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky. by Guelfi, Nicolas Reggio, Gianna Romanovsky, Alexander SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3409 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.758 G84 2005. Place hold Add to cart (remove)
	602.	Computational Science – ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III / edited by Vaidy S. Sunderam, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra. by Sunderam, Vaidy S Albada, Geert Dick Sloot, Peter M. A Dongarra, Jack SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3516 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 S86 2005. Place hold Add to cart (remove)
	603.	Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings / edited by Amy L. Murphy, Jan Vitek. by Murphy, Amy L Vitek, Jan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4467 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 M87 2007. Place hold Add to cart (remove)
	604.	Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Liu, Zhiming He, Jifeng SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4260 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 L58 2006. Place hold Add to cart (remove)
	605.	Embedded Software and Systems [electronic resource] : Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings / edited by Laurence T. Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin. by Yang, Laurence T Zhou, Xingshe Zhao, Wei Wu, Zhaohui Zhu, Yian Lin, Man SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3820 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 Y36 2005. Place hold Add to cart (remove)
	606.	Principles of Distributed Systems [electronic resource] : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings / edited by Eduardo Tovar, Philippas Tsigas, Hacène Fouchal. by Tovar, Eduardo Tsigas, Philippas Fouchal, Hacène SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4878 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.D5 T68 2007. Place hold Add to cart (remove)
	607.	Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers / edited by Welf Löwe, Mario Südholt. by Löwe, Welf Südholt, Mario SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4089 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C66 L69 2006. Place hold Add to cart (remove)
	608.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Bugliesi, Michele Preneel, Bart Sassone, Vladimiro Wegener, Ingo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4051 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 B84 2006. Place hold Add to cart (remove)
	609.	Embedded and Ubiquitous Computing – EUC 2005 [electronic resource] : International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings / edited by Laurence T. Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig. by Yang, Laurence T Amamiya, Makoto Liu, Zhen Guo, Minyi Rammig, Franz J SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3824 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7895.E42 Y36 2005. Place hold Add to cart (remove)
	610.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung. by Caires, Luís Italiano, Giuseppe F Monteiro, Luís Palamidessi, Catuscia Yung, Moti SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3580 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267 C35 2005. Place hold Add to cart (remove)
	611.	Human-Computer Interaction. HCI Applications and Services [electronic resource] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko. by Jacko, Julie A SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4553 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.H85 J35 2007. Place hold Add to cart (remove)
	612.	Mathematics of Program Construction [electronic resource] : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings / edited by Tarmo Uustalu. by Uustalu, Tarmo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4014 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 U97 2006. Place hold Add to cart (remove)
	613.	Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco Nicola, Davide Sangiorgi. by Nicola, Rocco Sangiorgi, Davide SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3705 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	614.	Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Rastislav Bodik. by Bodik, Rastislav SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3443 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.C65 B64 2005. Place hold Add to cart (remove)
	615.	Computational Science – ICCS 2005 [electronic resource] : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II / edited by Vaidy S. Sunderam, Geert Dick Albada, Peter M. A. Sloot, Jack J. Dongarra. by Sunderam, Vaidy S Albada, Geert Dick Sloot, Peter M. A Dongarra, Jack J SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3515 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 S86 2005. Place hold Add to cart (remove)
	616.	Active Networks [electronic resource] : IFIP TC6 6th International Working Conference, IWAN 2004, Lawrence, KS, USA, October 27-29, 2004. Revised Papers / edited by Gary J. Minden, Kenneth L. Calvert, Marcin Solarski, Miki Yamamoto. by Minden, Gary J Calvert, Kenneth L Solarski, Marcin Yamamoto, Miki SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3912 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2007 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK5105.5 M56 2007. Place hold Add to cart (remove)
	617.	Rapid Integration of Software Engineering Techniques [electronic resource] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers / edited by Nicolas Guelfi. by Guelfi, Nicolas SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3475 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: TK7874.78 G84 2005. Place hold Add to cart (remove)
	618.	Programming Languages and Systems [electronic resource] : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings / edited by G. Ramalingam. by Ramalingam, G SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5356 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.7 R36 2008. Place hold Add to cart (remove)

First
Previous
22
23
24
25
26
27
28
29
30
31

Powered by Koha