1
Systems Modeling and Simulation [E-Book] : Theory and Applications, Asia Simulation Conference 2006 /
2
Functional and Constraint Logic Programming [E-Book] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
3
Virtual Realities [E-Book] : Dagstuhl Seminar 2008 /
4
Grid Computing [E-Book] : International Symposium on Grid Computing (ISGC 2007) /
5
Advances in Computer Science and Information Technology [E-Book] : First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I /
6
Advances in Computer Science and Engineering [E-Book] : 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers /
7
Computer Networks and Intelligent Computing [E-Book] : 5th International Conference on Information Processing, ICIP 2011, Bangalore, India, August 5-7, 2011. Proceedings /
8
Datalog Reloaded [E-Book]: First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers /
9
Bio-Inspired Computing and Applications [E-Book]: 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou,China, August 11-14. 2011, Revised Selected Papers /
10
Computer Performance Engineering [E-Book]: 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings /
11
Scale Space and Variational Methods in Computer Vision [E-Book]: Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 – June 2, 2011, Revised Selected Papers /
12
RFID. Security and Privacy [E-Book]: 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers /
13
SOFSEM 2012: Theory and Practice of Computer Science [E-Book]: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings /
14
Verified Software: Theories, Tools, Experiments [E-Book]: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
15
Foundations and Practice of Security [E-Book]: 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
16
Verification, Model Checking, and Abstract Interpretation [E-Book]: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
17
Membrane Computing [E-Book]: 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers /
18
Algebraic and Numeric Biology [E-Book]: 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers /
19
Financial Cryptography and Data Security [E-Book]: 15th International Conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011, Revised Selected Papers /
20
Open Problems in Network Security [E-Book]: IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers /