81![Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller](https://www.pdfsearch.io/img/8403df8845675ec7ed06c183a5b8e577.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:35
|
---|
82![«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun «Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun](https://www.pdfsearch.io/img/e8ba1db4be80faf616a19ce18442b4c2.jpg) | Add to Reading ListSource URL: www.exanic.chLanguage: German - Date: 2018-10-26 03:41:54
|
---|
83![qqqerreqqq >__RESTRAINTS__* Font Software Product License | iyyyyyyyyi | qqqerreqqq >__RESTRAINTS__* Font Software Product License | iyyyyyyyyi |](https://www.pdfsearch.io/img/0a69678bcf850f18fc09d497c4881cc7.jpg) | Add to Reading ListSource URL: tiro.comLanguage: English - Date: 2015-01-15 20:58:00
|
---|
84![Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan](https://www.pdfsearch.io/img/aa26009d0cacd7be73859547276dc369.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
85![Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/6af8974aa99ed4840006a1f738946667.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
86![Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)](https://www.pdfsearch.io/img/b95523fadbf41309595bd3d8ba0017b5.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
87![Designware: Software Development by Re
nement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract Designware: Software Development by Re
nement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract](https://www.pdfsearch.io/img/a6e8fad8b80fe4c707856178933b13e2.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-02 21:01:09
|
---|
88![Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1,
Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1,
Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung](https://www.pdfsearch.io/img/365f526db5eddec72091918be54860f2.jpg) | Add to Reading ListSource URL: legal.itemis.comLanguage: German - Date: 2018-08-08 08:21:49
|
---|
89![Numerical quality: an industrial case study on code_aster Numerical Software Veri
cation Numerical quality: an industrial case study on code_aster Numerical Software Veri
cation](https://www.pdfsearch.io/img/b34dd6fb7f97c780346fd9d42d002dff.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-27 09:38:49
|
---|
90![Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of](https://www.pdfsearch.io/img/92af37864d74706531e7eaaa9fccf898.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-03-15 10:13:22
|
---|