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; 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; 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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; Format:
electronic
available online
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; 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; 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; 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; Format:
electronic
available online
; 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; 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; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available.
|