Perspectives on Soviet and Russian Computing First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006, Revised Selected Papers /
This book contains a collection of thoroughly refereed papers derived from the First IFIP WG 9.7 Conference on Soviet and Russian Computing, held in Petrozavodsk, Russia, in July 2006. The 32 revised papers were carefully selected from numerous submissions; many of them were translated from Russian....
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Impagliazzo, John (Editor ), Proydakov, Eduard (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2011.
|
Edición: | 1st ed. 2011. |
Colección: | IFIP Advances in Information and Communication Technology,
357 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
por: Herdt, Vladimir
Publicado: (2016) -
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
Publicado: (2007) -
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings /
Publicado: (2005) -
High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /
Publicado: (2007) -
High Assurance Services Computing
Publicado: (2009)