Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Luke Ong 15 träffar

Titel Författare År Språk
1-2 Computer Science Logic - 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings (flera utgåvor) Luke. Ong 2005 Engelska
3 Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 electronic resource G. (Giorgio) Ausiello 2008 Engelska
4 Foundations of Software Science and Computational Structures - 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings Luke. Ong 2010 Engelska
5 Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Luke. Ong 2011 Engelska
6 Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings Luke. Ong 2012 Engelska
7 Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday Bob. Coecke 2013 Engelska
8 Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 2017 Engelska
9 Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Bob Coecke 2013 Okänt
10 Logic, Language, Information and Computation Luke Ong 2012 Okänt
11 Computer Science Logic: 19Th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 Proceedings (Lecture notes in computer science, 3634) Luke Ong 2005 Okänt
12 Foundations of Software Science and Computational Structures Luke Ong 2010 Okänt
13 Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 Giorgio Ausiello 2008 Engelska
14 Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings 2011 Okänt
15 Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008 2008 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.