Results
|
981.
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings / edited by Hai Jin, Omer F. Rana, Yi Pan, Viktor K. Prasanna. by Series: Lecture Notes in Computer Science ; 4494
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 J56 2007.
|
|
982.
|
|
|
983.
|
|
|
984.
|
|
|
985.
|
|
|
986.
|
|
|
987.
|
|
|
988.
|
|
|
989.
|
|
|
990.
|
|
|
991.
|
|
|
992.
|
|
|
993.
|
|
|
994.
|
|
|
995.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings / edited by E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture Notes in Computer Science ; 3855
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: No items available.
|
|
996.
|
|
|
997.
|
Advanced Concepts for Intelligent Vision Systems [electronic resource] : 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006. Proceedings / edited by Jacques Blanc-Talon, Wilfried Philips, Dan Popescu, Paul Scheunders. by Series: Lecture Notes in Computer Science ; 4179
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: TA1634 B53 2006.
|
|
998.
|
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies [electronic resource] : First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers / edited by Bo Chen, Mike Paterson, Guochuan Zhang. by Series: Lecture Notes in Computer Science ; 4614
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: QA164 C46 2007.
|
|
999.
|
Computational Science and Its Applications - ICCSA 2006 [electronic resource] : International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I / edited by Marina Gavrilova, Osvaldo Gervasi, Vipin Kumar, C. J. Kenneth Tan, David Taniar, Antonio Laganá, Youngsong Mun, Hyunseung Choo. by Series: Lecture Notes in Computer Science ; 3980
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA75.5 G38 2006.
|
|
1000.
|
|