51![Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr](https://www.pdfsearch.io/img/490e105bd4bdc627d5d966145072f520.jpg) | Add to Reading ListSource URL: suncontract.orgLanguage: English - Date: 2018-10-19 08:31:23
|
---|
52![CS378, MA375T, PHY341 Homework 9 Homework 9 Introduction to Quantum Information Science CS378, MA375T, PHY341 Homework 9 Homework 9 Introduction to Quantum Information Science](https://www.pdfsearch.io/img/55f428e499bf1cc93ce3d752b3be677e.jpg) | Add to Reading ListSource URL: www.scottaaronson.comLanguage: English - Date: 2018-08-28 17:54:46
|
---|
53![An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science An Ode to Arrows Hai Liu Paul Hudak Department of Computer Science](https://www.pdfsearch.io/img/cfcb772109abbdc8e25e5f3a6ec8e97b.jpg) | Add to Reading ListSource URL: thev.netLanguage: English - Date: 2009-11-11 16:42:08
|
---|
54![Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan](https://www.pdfsearch.io/img/ee5d31fb3a55ee0116c5b69849e42c17.jpg) | Add to Reading ListSource URL: www.hyperelliptic.orgLanguage: English - Date: 2009-09-26 00:44:36
|
---|
55![Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue Science of Computer Programming, 14(2-3), 1990, ppAlgorithm Theories and Design Tactics Douglas R. Smith and Michael R. Lowry Kestrel Institute 3260 Hillview Avenue](https://www.pdfsearch.io/img/ac8fba9042abaa443b19378613882dea.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 21:04:29
|
---|
56![Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science](https://www.pdfsearch.io/img/09ceb095a5b7697ade2022d14f72c83d.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-07-01 05:37:09
|
---|
57![Tenure Standards in Political Science Departments: Results from a Survey of Department Chairs Tenure Standards in Political Science Departments: Results from a Survey of Department Chairs](https://www.pdfsearch.io/img/3ec45b40d19e3ebe015814b8d4caf6eb.jpg) | Add to Reading ListSource URL: www.saramitchell.orgLanguage: English - Date: 2011-11-10 11:40:34
|
---|
58![Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U](https://www.pdfsearch.io/img/4ce56aee227456c4b6daf899b3588632.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
59![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/7161a03948feb50f4955f33e78f31cdf.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:42
|
---|
60![Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2 Curriculum Vitae Stefan Ratschan Office address: Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod´arenskou vˇeˇz´ı 2](https://www.pdfsearch.io/img/8f8cbe36cbef3ab8bcb8e1ea340283ef.jpg) | Add to Reading ListSource URL: www2.cs.cas.czLanguage: English - Date: 2018-07-28 04:11:44
|
---|