Results
|
941.
|
|
|
942.
|
|
|
943.
|
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.
|
|
944.
|
|
|
945.
|
|
|
946.
|
|
|
947.
|
|
|
948.
|
|
|
949.
|
|
|
950.
|
|
|
951.
|
|
|
952.
|
|
|
953.
|
|
|
954.
|
|
|
955.
|
|
|
956.
|
|
|
957.
|
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.
|
|
958.
|
|
|
959.
|
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.
|
|
960.
|
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.
|