Foundations and applications of security analysis: Joint Workshop on Automated Reasoning for Securit…
by Degano, Pierpaolo, Viganò, Luca, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS, York, UK)
fromLecture Notes in Computer Science
Mathematical foundations of computer science 2009: 34th International Symposium, MFCS 2009, Novy Smo…
by Královič, Rastislav, Niwiński, Damian, International Symposium on Mathematical Foundations of Computer Science, MFCS, Novy Smokovec, High Tatras, Slovakia)
fromLecture Notes in Computer Science
Knowledge and data management in GRIDs
by Talia, Domenico, Bilas, Angelos, Dikaiakos, Marios D.
fromCoreGrid
Theoretical and mathematical foundations of computer science: second International Conference, ICTMF 2011, Sing…
by Zhou, Qihai, International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF, Singapore), International Conference on High Performance Networking, Computing, and Communication Systems, Singapore)
fromCommunications in computer and information science
Approximation, randomization, and combinatorial optimization: algorithms and techniques : 14th international wo…
by Goldberg, Leslie Ann, International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX, Princeton, N.J.), International Workshop on Randomization and Computation, RANDOM, Princeton, N.J.)
fromLecture Notes in Computer Science
Mathematical morphology and its application to signal and image processing: 10th international symposium, ISMM 2011, Verbania…
by Soille, Pierre, Pesaresi, Martino, Ouzounis, Georgios K., International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing, ISMM, Verbania-Intra, Italy)
fromLecture Notes in Computer Science
Languages and compilers for parallel computing: 23rd international workshop, LCPC 2010, Houston, …
by Cooper, Keith, Mellor-Crummey, John, Sarkar, Vivek, International Workshop on Languages and Compilers for Parallel Computing, LCPC, Houston, TX, USA)
fromLecture Notes in Computer Science