Browsing by Contributors
Showing results 2321 to 2340 of 7224
< previous
more >
- International Conference on Software Engineering and Formal Methods ; (15th : ; 2017 : ; Trento, Italy) ; 1
- International Conference on the Quantitative Evaluation of Systems ; (14th : ; 2017 : ; Berlin, Germany) ; 1
- International Conference on the Theory and Application of Cryptology and Information Security ; (23rd : ; 2017 : ; Hong Kong, China) ; 3
- International Conference on Theoretical Computer Science and Discrete Mathematics ; (1st : ; 2016 : ; Krishnankoil, India) ; 1
- International Conference on Very Large Data Bases ; (43rd : ; 2017 : ; Munich, Germany), ; jointly held conference ; 1
- International Conference on Very Large Scale Integration ; (24th : ; 2016 : ; Tallinn, Estonia) ; 1
- International Conference Speech and Computer ; (19th : ; 2017 : ; Hatfield, England) ; 1
- International Cross Domain Conference for Machine Learning and Knowledge Extraction ; (1st : ; 2017 : ; Reggio, Italy) ; 1
- International EURO-PAR Conference ; (23rd : ; 2017 : ; Santiago de Compostela, Spain) ; 1
- International Haifa Verification Conference ; (13th : ; 2017 : ; Haifa, Israel) ; 1
- International Monetary Institute. ; 1
- International Static Analysis Symposium ; (24th : ; 2017 : ; New York, N.Y.) ; 1
- International Symposium on Cyberspace Safety and Security ; (9th : ; 2017 : ; Xi'an Shi, China) ; 1
- International Symposium on Knowledge and Systems Sciences ; (18th : ; 2017 : ; Bangkok, Thailand) ; 1
- International Symposium on Parallel Architectures, Algorithms and Programming ; (8th : ; 2017 : ; Haikou Shi, China) ; 1
- International Visual Informatics Conference ; (5th : ; 2017 : ; Bangi, Selangor, Malaysia) ; 1
- International Workshop on Assurance Cases for Software-Intensive Systems ; (4th : ; 2017 : ; Trento, Italy), ; jointly held conference ; 1
- International Workshop on Automated Verification of Critical Systems ; (17th : ; 2017 : ; Turin, Italy), ; jointly he 1
- International Workshop on Computer Algebra in Scientific Computing ; (19th : ; 2017 : ; Beijing, China) ; 1
- International Workshop on Formal Methods for Industrial Critical Systems ; (22nd : ; 2017 : ; Turin, Italy), ; jointly held conference ; 1