Refine your search

Your search returned 29 results.

|
1.
Systems, Control, Modeling and Optimization [Recurso electrónico] : Proceedings of the 22nd IFIP TC7 Conference held from July 18â€{u2CAC} 2005, in Turin, Italy / edited by F. Ceragioli, A. Dontchev, H. Furuta, K. Marti, L. Pandolfi.

by Ceragioli, F | Dontchev, A | Furuta, H | Marti, K | Pandolfi, L | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

2.
System Modeling and Optimization [Recurso electrónico] : Proceedings of the 22nd IFIP TC7 Conference held from July 18â€{u2CAC} 2005, in Turin, Italy / edited by F. Ceragioli, A. Dontchev, H. Futura, K. Marti, L. Pandolfi.

by Ceragioli, F | Dontchev, A | Futura, H | Marti, K | Pandolfi, L | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available

3.
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

by 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

4.
Logical Approaches to Computational Barriers [Recurso electrónico] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings edited by Arnold Beckmann, Ulrich Berger, Benedikt LÃœwe, John V. Tucke

by Beckmann, Arnold | Berger, Ulrich | LÃœwe, Benedikt | Tucker, John V | 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

5.
Computation and Logic in the Real World [Recurso electrónico] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings edited by S. Barry Cooper, Benedikt LÃœwe, Andrea Sorbi.

by Cooper, S. Barry | LÃœwe, Benedikt | Sorbi, Andrea | SpringerLink (Online service).

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

6.
Applied Parallel and Scientific Computing [Recurso electrónico] : 10th International Conference, PARA 2010, Reykjav©Æk̄, Iceland, June 6-9, 2010, Revised Selected Papers, Part II / edited by Kristj©Å{uE80A}©Ä{uE873}son.

by J婀{uE873}son, Kristj婁{uEB80}.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

7.
Applied Parallel Computing [Recurso electrónico] / State of the Art in Scientific Computing edited by Jack Dongarra, Kaj Madsen, Jerzy Wasniewski.

by Dongarra, Jack | Madsen, Kaj | Wasniewski, Jerzy | 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

8.
Applied Parallel Computing. State of the Art in Scientific Computing [Recurso electrónico] : 8th International Workshop, PARA 2006, UmeÃÆ, Sweden, June 18-21, 2006, Revised Selected Papers. Bo KÃÆgstrÃœm, Erik Elmroth, Jack Dongarra, Jerzy

by KÃÆgstrÃœm, Bo | Dongarra, Jack | Elmroth, Erik | Wasniewski, Jerzy | SpringerLink (Online service).

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

9.
Database Theory and Application, Bio-Science and Bio-Technology [Recurso electrónico] : International Conferences, DTA and BSBT 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Yanchun Zhang, Alfredo Cuzzocrea, Jianhua Ma, Kyo-il Chung, Tughrul Arslan, Xiaofeng Song.

by Zhang, Yanchun | Cuzzocrea, Alfredo | Ma, Jianhua | Chung, Kyo-il | Arslan, Tughrul | Song, Xiaofeng | SpringerLink (Online service).

Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available

10.
Biomedical Image Registration [Recurso electrónico] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings / edited by Benoît M. Dawant, Gary E. Christensen, J. Michael Fitzpatrick, Daniel Rueckert.

by Dawant, Benoît M | Christensen, Gary E | Fitzpatrick, J. Michael | Rueckert, Daniel.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

11.
High Performance Computing and Communications (vol. # 3726) [Recurso electrónico] / First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings edited by Beniamino Di Martino, Jack Dongarra, Omer F. Rana, L

by Di Martino, Beniamino | Dongarra, Jack | Rana, Omer F | Yang, Laurence T | 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.
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.

by 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

13.
Recent Trends in Algebraic Development Techniques [Recurso electrónico] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-JÃœrg Kreowski.

by Mossakowski, Till | Kreowski, Hans-JÃœrg.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

14.
High Performance Computing and Communications [Recurso electrónico] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings. Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mell

by Perrott, Ronald | Chapman, Barbara M | Mello, Rodrigo Fernandes | Subhlok, Jaspal | Yang, Laurence T | SpringerLink (Online service).

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

15.
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [Recurso electrónico] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / edited by Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang.

by Snoeyink, Jack | Lu, Pinyan | Su, Kaile | Wang, Lusheng.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

16.
Computer Science - Theory and Applications [Recurso electrónico] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings. Volker Diekert, Mikhail V. Volkov, Andrei

by Diekert, Volker | Volkov, Mikhail V | Voronkov, Andrei | SpringerLink (Online service).

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

17.
18.
Foundations of Information and Knowledge Systems [Recurso electrónico] : 7th International Symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings / edited by Thomas Lukasiewicz, Attila Sali.

by Lukasiewicz, Thomas | Sali, Attila.

Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

19.
Automated Reasoning [Recurso electrónico] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / edited by Bernhard Gramlich, Dale Miller, Uli Sattler.

by Gramlich, Bernhard | Miller, Dale | Sattler, Uli.

Material type: Text Text; Format: electronic ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available

20.
Computer Science -- Theory and Applications [Recurso electrónico] / First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings edited by Dima Grigoriev, John Harrison, Edward A.

by Grigoriev, Dima | Harrison, John | Hirsch, Edward A | 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