Results
|
|
1.
|
|
|
|
2.
|
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings / edited by Daniel Leivant, Ruy Queiroz. by Series: Lecture Notes in Computer Science ; 4576
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.A1 L45 2007.
|
|
|
3.
|
High-Performance Computing [electronic resource] : 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / edited by Jesús Labarta, Kazuki Joe, Toshinori Sato. by Series: Lecture Notes in Computer Science ; 4759
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 L33 2008.
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
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 Series: Lecture Notes in Computer Science ; 4699
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 K34 2007.
|
|
|
7.
|
|
|
|
8.
|
A Practical Programming Model for the Multi-Core Era [electronic resource] : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / edited by Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguadé, Dongsheng Wang. by Series: Lecture Notes in Computer Science ; 4935
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.A63 C36 2008.
|
|
|
9.
|
|
|
|
10.
|
Parallel Processing and Applied Mathematics [electronic resource] : 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers / edited by Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Waśniewski. by Series: Lecture Notes in Computer Science ; 3911
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.58 W979 2006.
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
High Performance Computing and Communications [electronic resource] : First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings / edited by Laurence T. Yang, Omer F. Rana, Beniamino Martino, Jack Dongarra. by Series: Lecture Notes in Computer Science ; 3726
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 Y36 2005.
|
|
|
15.
|
|
|
|
16.
|
High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings / edited by Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang. by Series: Lecture Notes in Computer Science ; 4782
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.88 P47 2007.
|
|
|
17.
|
Logical Approaches to Computational Barriers [electronic resource] : 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. Tucker. by Series: Lecture Notes in Computer Science ; 3988
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.A1 B43 2006.
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
Theory and Applications of Models of Computation [electronic resource] : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. by Series: Lecture Notes in Computer Science ; 4978
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.7 A37 2008.
|