Parameterized and exact computation : 6th international symposium, IPEC 2011, Saarbrücken, Germany, September 6-8, 2011 : revised selected papers
edited by Daniel Marx, Peter Rossmanith
Springer-Verlag , 2012
 eBooks
Trustworthy global computing: 6th international symposium, TGC 2011, Aachen, Germany, June 9-10, 2011 : revised selected papers
edited by Roberto Bruni, Vladimiro Sassone
Springer-Verlag, 2012
 eBooks
International Symposium on Algorithms and Computaion
Algorithms and computation: 5th International Symposium, ISAAC 1994, Beijing, P.R. China, August 1994 proceedings
Springer-Verlag, 1994
 Buku Teks
Algorithmic Language: proceeding of The International Symposium on Algorithmic Language (Amsterdam, The Netherland: 26-29 October 1981)
Nort Hollland Publishing, 1981
 Buku Teks
Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings
edited by Gilles Barthe, Benjamin Livshits, Riccardo Scandariato
Springer-Verlag, 2012
 eBooks