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....
| Corporate Author: | SpringerLink (Online service) |
|---|---|
| Other Authors: | Impagliazzo, John (Editor), Proydakov, Eduard (Editor) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2011.
|
| Series: | IFIP Advances in Information and Communication Technology,
357 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
by: Herdt, Vladimir
Published: (2016) -
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings /
Published: (2005) -
Advanced Parallel Processing Technologies 7th International Symposium, APPT 2007 Guangzhou, China, November 22-23, 2007 Proceedings /
Published: (2007) -
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Published: (2012) -
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings /
Published: (2005)