Software Engineering for Resilient Systems: Fourth International Workshop, Serene 2012, Pisa, Italy, September 27-28, 2012, Proceedings Software Engineering for Resilient Systems: Fourth International Workshop, Serene 2012, Pisa, Italy, September 27-28, 2012, Proceedings
Coalgebraic Methods in Computer Science: 11th International Workshop, Cmcs 2012, Colocated with Etaps 2012, Tallinn, Estonia, March 31 -- April 1, 201 Coalgebraic Methods in Computer Science: 11th International Workshop, Cmcs 2012, Colocated with Etaps 2012, Tallinn, Estonia, March 31 -- April 1, 201
Privacy in Statistical Databases: UNESCO Chair in Data Privacy, International Conference, Psd 2012, Palermo, Italy, September 26-28, 2012, Proceedings Privacy in Statistical Databases: UNESCO Chair in Data Privacy, International Conference, Psd 2012, Palermo, Italy, September 26-28, 2012, Proceedings
Cryptology and Network Security: 11th International Conference, Cans 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings Cryptology and Network Security: 11th International Conference, Cans 2012, Darmstadt, Germany, December 12-14, 2012. Proceedings
Mesh Processing in Medical Image Analysis 2012: Miccai 2012 International Workshop, Meshmed 2012, Nice, France, October 1, 2012, Proceedings Mesh Processing in Medical Image Analysis 2012: Miccai 2012 International Workshop, Meshmed 2012, Nice, France, October 1, 2012, Proceedings
Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings Datalog in Academia and Industry: Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012, Proceedings
Trust, Privacy and Security in Digital Business: 9th International Conference, Trustbus 2012, Vienna, Austria, September 3-7, 2012, Proceedings Trust, Privacy and Security in Digital Business: 9th International Conference, Trustbus 2012, Vienna, Austria, September 3-7, 2012, Proceedings
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings
Computer Safety, Reliability, and Security: 31st International Conference, Safecomp 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings Computer Safety, Reliability, and Security: 31st International Conference, Safecomp 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
Secure Data Management: 9th Vldb Workshop, Sdm 2012, Istanbul, Turkey, August 27, 2012, Proceedings Secure Data Management: 9th Vldb Workshop, Sdm 2012, Istanbul, Turkey, August 27, 2012, Proceedings
Theoretical Aspects of Computing - Ictac 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings Theoretical Aspects of Computing - Ictac 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings