Your search returned 29 results.

Sort
Results
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).

Series: IFIP International Federation for Information Processing ; 202Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available.

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

Series: IFIP International Federation for Information Processing ; 199Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Boston, MA : International Federation for Information Processing, 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3402Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3988Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 4497Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 4649Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3959Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3967Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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.

by Chapman, Barbara M | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3349Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Algebra, Meaning, and Computation [Recurso electrónico] / Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer.

by Futatsugi, Kokichi | Jouannaud, Jean-Pierre | Meseguer, José | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4060Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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.

Series: Lecture Notes in Computer Science ; 7359Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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

Series: Communications in Computer and Information Science ; 118Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available.

Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John | Fitzgerald, John | Gnesi, Stefania | Khurshid, Sarfraz | Leuschel, Michael | Reeves, Steve | Riccobene, Elvinia.

Series: Lecture Notes in Computer Science ; 7316Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 7134Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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.

Series: Lecture Notes in Computer Science ; 7364Material type: Text Text; Format: electronic ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 4699Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

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

Series: Lecture Notes in Computer Science ; 3732Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Computation, Physics and Beyond [Recurso electrónico] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers / edited by Michael J. Dinneen, Bakhadyr Khoussainov, André Nies.

by Dinneen, Michael J | Khoussainov, Bakhadyr | Nies, André.

Series: Lecture Notes in Computer Science ; 7160Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

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

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

Series: Lecture Notes in Computer Science ; 7133Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [Recurso electrónico] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings / edited by Yanwen Wu, Qi Luo.

by Wu, Yanwen | Luo, Qi | SpringerLink (Online service).

Series: Communications in Computer and Information Science ; 66Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available.

Pages

Powered by Koha