Your search returned 539 results.

Results
	521.	Generative Programming and Component Engineering [electronic resource] : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings / edited by Robert Glück, Michael Lowry. by Glück, Robert Lowry, Michael SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3676 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 G58 2005. Place hold Add to cart (remove)
	522.	High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes. by Daydé, Michel Palma, José M. L. M Coutinho, Álvaro L. G. A Pacitti, Esther Lopes, João Correia SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4395 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.88 D39 2007. Place hold Add to cart (remove)
	523.	Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring. by Audebaud, Philippe Paulin-Mohring, Christine SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5133 Material type: Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.6 A93 2008. Place hold Add to cart (remove)
	524.	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)
	525.	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)
	526.	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)
	527.	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)
	528.	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)
	529.	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)
	530.	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)
	531.	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)
	532.	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)
	533.	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)
	534.	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)
	535.	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)
	536.	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)
	537.	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)
	538.	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)
	539.	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)

First
Previous
18
19
20
21
22
23
24
25
26
27

Powered by Koha