Research in Attacks,Intrusions and Defenses : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings
Automated Technology for Verification and Analysis : 10th International Symposium,ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceeding
Understanding High-Dimensional Spaces
Computer Safety,Reliability, and Security : 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
Knowledge Engineering and Knowledge Management : 18th International Conference,EKAW 2012, Galway City, Ireland, October 8-12, 2012, Proceedings
Advances in Conceptual Modeling : ER 2012 Workshops CMS,ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proc
Parsing Theory: Volume I Languages and Parsing
Scientific Visualization : Techniques and Applications
Annotating,Extracting and Reasoning about Time and Events : International Seminar, Dagstuhl Castle, Germany, April 20-15, 2005, Revised Papers
Neural Network Models : Theory and Projects
AutoCAD Express NT : Covering Release 14
Key Java : Advanced Tips and Techniques
