Koha online

Your cart is empty.

Cart
Lists
- Your lists
- Log in to create your own lists

Log in to your account
Search history Clear

Search

Advanced search
Authority search
Tag cloud
Libraries

Log in to your account

Login: Password:

Home ›
Results of search for 'ccl=su:"Engineering" and su-to:Mathematics and su-to:Software engineering'

Refine your search

Availability
- Limit to currently available items.
Authors
Holding libraries
- Biblioteca Digital
Item types
- Libro Electrónico
Locations
- Colección Digital
Series
- Lecture Notes in Com...
Topics

Your search returned 16 results.

Unhighlight Highlight

| |

	1.	Applications and Theory of Petri Nets [electronic resource] : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings / edited by Kees M. Hee, Rüdiger Valk. by Hee, Kees M \| Valk, Rüdiger \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 H44 2008 (1). Place hold Add to cart (remove)
	2.	Applied Parallel Computing. State of the Art in Scientific Computing [electronic resource] : 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers / edited by Bo Kågström, Erik Elmroth, Jack Dongarra, Jerzy Waśniewski. by Kågström, Bo \| Elmroth, Erik \| Dongarra, Jack \| Waśniewski, Jerzy \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.58 K34 2007 (1). Place hold Add to cart (remove)
	3.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca \| Damgård, Ivan \| Goldberg, Leslie Ann \| Halldórsson, Magnús M \| Ingólfsdóttir, Anna \| Walukiewicz, Igor \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 A24 2008 (1). Place hold Add to cart (remove)
	4.	Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings / edited by Michael J. Maher. by Maher, Michael J \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75.5 M34 2005 (1). Place hold Add to cart (remove)
	5.	High Performance Computing for Computational Science - VECPAR 2004 [electronic resource] : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / edited by Michel Daydé, Jack Dongarra, Vicente Hernández, José M. L. M. Palma. by Daydé, Michel \| Dongarra, Jack \| Hernández, Vicente \| Palma, José M. L. M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.88 D39 2005 (1). Place hold Add to cart (remove)
	6.	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II / edited by Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener. by Bugliesi, Michele \| Preneel, Bart \| Sassone, Vladimiro \| Wegener, Ingo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 B84 2006 (1). Place hold Add to cart (remove)
	7.	Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz. by Aceto, Luca \| Damgård, Ivan \| Goldberg, Leslie Ann \| Halldórsson, Magnús M \| Ingólfsdóttir, Anna \| Walukiewicz, Igor \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 A24 2008 (1). Place hold Add to cart (remove)
	8.	Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau. by Ciardo, Gianfranco \| Darondeau, Philippe \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 C53 2005 (1). Place hold Add to cart (remove)
	9.	High Performance Computing for Computational Science - VECPAR 2008 [electronic resource] : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers / edited by José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes. by Palma, José M. Laginha M \| Amestoy, Patrick R \| Daydé, Michel \| Mattoso, Marta \| Lopes, João Correia \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.88 P35 2008 (1). Place hold Add to cart (remove)
	10.	Shared Memory Parallel Programming with Open MP [electronic resource] : 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers / edited by Barbara M. Chapman. by Chapman, Barbara M \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.642 C43 2005 (1). Place hold Add to cart (remove)
	11.	SOFSEM 2005: Theory and Practice of Computer Science [electronic resource] : 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings / edited by Peter Vojtáš, Mária Bieliková, Bernadette Charron-Bost, Ondrej Sýkora. by Vojtáš, Peter \| Bieliková, Mária \| Charron-Bost, Bernadette \| Sýkora, Ondrej \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.751 V65 2005 (1). Place hold Add to cart (remove)
	12.	Computational and Information Science [electronic resource] : First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings / edited by Jun Zhang, Ji-Huan He, Yuxi Fu. by Zhang, Jun \| He, Ji-Huan \| Fu, Yuxi \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA75,5 Z43 2005 (1). Place hold Add to cart (remove)
	13.	Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings / edited by Lars Arge, Christian Cachin, Tomasz Jurdziński, Andrzej Tarlecki. by Arge, Lars \| Cachin, Christian \| Jurdziński, Tomasz \| Tarlecki, Andrzej \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 A74 2007 (1). Place hold Add to cart (remove)
	14.	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). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.88 D39 2007 (1). Place hold Add to cart (remove)
	15.	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). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 B84 2006 (1). Place hold Add to cart (remove)
	16.	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). Source: Springer eBooksMaterial type: Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA267 C35 2005 (1). Place hold Add to cart (remove)

Powered by Koha