Refine your search

Your search returned 74 results. Subscribe to this search

|
1. New Computational Paradigms [Recurso electrónico] : Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

Cooper, S. Barry | Löwe, Benedikt | Sorbi, Andrea.

Material type: book Book; Format: print available online remote Publisher: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Texto completo (Springer Books). Restringido a usuarios UCM Availability: Items available for reference: 14. INTERNET [Call number: Recurso electrónico] (1). Location(s): Recurso electrónico.

Log in to add tags. Add to cart
2. Encyclopedia of algorithms [Recurso electrónico] / edited by M.Y. Kao.

Kao, Ming-Yang | Kao, M. Y [editor].

Material type: book Book; Format: electronic ; Literary form: Not fiction Publisher: New York ; London : Springer, 2008Online access: Texto completo Availability: Items available for loan: 14. INTERNET (1). Location(s): Recurso electrónico.

3. SOFSEM 2005: Theory and Practice of Computer Science [Recurso electrónico] / 31st Conference on Current Trends in Theory and Practice of Computer Science, LiptovskÃư Ján, Slovakia, January 22-28, 2005, Proceedings edited by Maria Bieliková, C

Bieliková, Maria | Charon-Bost | SÃưkora, Ondrej | Vojtás, Peter | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

4. Shared Memory Parallel Programming with Open MP [Recurso electrónico] / 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 edited by Barbara M. Chapman.

Chapman, Barbara M | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

5. STACS 2005 [Recurso electrónico] / 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2004, Proceedings edited by Volker Diekert, Bruno Durand.

Diekert, Volker | Durand, Bruno | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

6. High Performance Computing for Computational Science - VECPAR 2004 [Recurso electrónico] / 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers edited by Michel Daydé, Jack Dongarra, Vincente He

Daydé, Michel | Dongarra, Jack | Hernández, Vincente | Palma, José M.L.M | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

7. Computational Science and Its Applications - ICCSA 2005 (vol. # 3480) [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part I edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá e

Gavrilova, Marina L | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Lee, Heow Pueh | Mun, Youngsong | Tan, Chih Jeng Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

8. Computational Science and Its Applications - ICCSA 2005 Part II [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part II edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá et a

Gavrilova, Marina L | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Lee, Heow Pueh | Mun, Youngson | Tan, Chih Jeng Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

9. Computational Science and Its Applications - ICCSA 2005 (vol. # 3482) [Recurso electrónico] / International Conference, Singapore, May 9-12. 2005, Proceedings, Part III edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá

Gavrilova, Marina L | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Lee, Heow Pueh | Mun, Youngson | Tan, Chih Jeng Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

10. Computational Science and Its Applications - ICCSA 2005 (vol. # 3483) [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá

Gavrilova, Marina L | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Lee, Heow Pueh | Mun, Youngsong | Tan, Chih Jeng Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

11. Computational Science -- ICCS 2005 (vol. # 3514) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I edited by J. J. Dongarra, Peter M.A. Sloot, V.S. Sunderam, G. Dick van Albada.

Dongarra, J. J | Sloot, Peter M.A | Sunderam, V.S | van Albada, G. Dick | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

12. Computational Science -- ICCS 2005 (vol. # 3515) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II edited by G. Dick van Albada, Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam.

Albada, G. Dick van | Dongarra, Jack | Sloot, Peter M.A | Sunderam, V.S | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

13. Computational Science -- ICCS 2005 (vol. # 3516) [Recurso electrónico] / 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III edited by Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam, G. Dick van Albada.

Dongarra, Jack | Sloot, Peter M.A | Sunderam, V.S | van Albada, G. Dick | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

14. Applications and Theory of Petri Nets 2005 [Recurso electrónico] / 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings edited by Gianfranco Ciardo, Philippe Darondeau.

Ciardo, Gianfranco | Darondeau, Philippe | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

15. Automata, Languages and Programming (vol. # 3580) [Recurso electrónico] / 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi

Caires, Luis | Italiano, Guiseppe F | Monteiro, Luis | Palamidessi, Catuscia | Yung, Moti | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

16. Euro-Par 2005 Parallel Processing [Recurso electrónico] / 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings edited by José C. Cunha, Pedro D. Medeiros.

Cunha, José C | Medeiros, Pedro D | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

17. Computer and Information Sciences - ISCIS 2005 [Recurso electrónico] / 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings edited by Tunga GÃơngÃœr, Fikret GÃơrgen, Can Ãئzturan, Pinar Yolum.

GÃơngÃœr, Tunga | GÃơrgen, Fikret | Ãئzturan, Can | Yolum, Pinar | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

18. SOFSEM 2006: Theory and Practice of Computer Science [Recurso electrónico] / 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings edited by JirÃ{u037F} WiedermannGerard

Wiedermann, JirÃ{u037F} | Bieliková, Mária | PokornÃư, Jaroslav | Tel, Gerard | Stuller, Július | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

19. Theory and Applications of Models of Computation [Recurso electrónico] / Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings edited by Jin-Yi Cai, S. Barry Cooper, Angsheng Li.

Cai, Jin-Yi | Cooper, S. Barry | Li, Angsheng | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

20. Computational Science and Its Applications - ICCSA 2006 (vol. # 3980) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan

Gavrilova, Marina | Choo, Hyunseung | Gervasi, Osvaldo | Kumar, Vipin | Laganá, Antonio | Mun, Youngsong | Tan, C.J. Kenneth | Taniar, David | SpringerLink (Online service).

Source: Springer e-booksMaterial type: computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Powered by Koha