Results for "Turing Award" Showing 1 - 7 results of 7 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Turing+Award%22&type=AllFields&lng=en 7 0 50 From Object-Orientation to Formal Methods Essays in Memory of Ole-Johan Dahl / Thu, 01 Jan 2004 04:38:25 +0200 https://find.library.upatras.gr/Record/978-3-540-39993-3 https://find.library.upatras.gr/Record/978-3-540-39993-3 Electronic eBook 2004 0 An Introduction to Kolmogorov Complexity and Its Applications Tue, 01 Jan 2019 04:38:25 +0200 https://find.library.upatras.gr/Record/978-3-030-11298-1 https://find.library.upatras.gr/Record/978-3-030-11298-1 Li, Ming Electronic eBook 2019 Li, Ming 0 25 Years of Model Checking History, Achievements, Perspectives / Tue, 01 Jan 2008 04:38:25 +0200 https://find.library.upatras.gr/Record/978-3-540-69850-0 https://find.library.upatras.gr/Record/978-3-540-69850-0 Electronic eBook 2008 0 Coders at Work Reflections on the Craft of Programming / Thu, 01 Jan 2009 04:38:25 +0200 https://find.library.upatras.gr/Record/978-1-4302-1949-1 https://find.library.upatras.gr/Record/978-1-4302-1949-1 Seibel, Peter Electronic eBook 2009 Seibel, Peter 0 An Introduction to Kolmogorov Complexity and Its Applications Tue, 01 Jan 2008 04:38:25 +0200 https://find.library.upatras.gr/Record/978-0-387-49820-1 https://find.library.upatras.gr/Record/978-0-387-49820-1 Li, Ming Electronic eBook 2008 Li, Ming 0 Ranking under near decomposability Fri, 01 Jan 2016 04:38:25 +0200 https://find.library.upatras.gr/Record/nemertes-10889-9576 https://find.library.upatras.gr/Record/nemertes-10889-9576 Νικολακόπουλος, Αθανάσιος Ν. Thesis 2016 Νικολακόπουλος, Αθανάσιος Ν. 0 ACM Turing Award Lectures The First Twenty Years 1966-1985 Thu, 01 Jan 1987 04:38:25 +0200 https://find.library.upatras.gr/Record/82704 https://find.library.upatras.gr/Record/82704 Book 1987 0