1
Complexity Theory [E-Book] : Exploring the Limits of Efficient Algorithms /
2
Computer Safety, Reliability and Security [E-Book] : 17th International Conference, SAFECOMP’98 Heidelberg, Germany, October 5–7, 1998 Proceedings /
3
Computer Safety, Reliability and Security [E-Book] : 21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings /
4
Computer Safety, Reliability, and Security [E-Book] : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings /
5
Computer Safety, Reliability, and Security [E-Book] : 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings /
6
Computer Safety, Reliability, and Security [E-Book] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings /
7
Computer Safety, Reliability, and Security (vol. # 3688) [E-Book] / 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
8
Computer Safety, Reliability, and Security (vol. # 4166) [E-Book] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
9
Computer Science Logic [E-Book] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
10
Computer Science - Theory and Applications [E-Book] : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings /
11
Dependable Computing [E-Book] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
12
Dependable Computing [E-Book] : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings /
13
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [E-Book] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /