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 16 träffar

Titel Författare År Språk
1 Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 electronic resource G. (Giorgio) Ausiello 2008 Engelska
2 Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 Giorgio Ausiello 2008 Engelska
3 Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Bob Coecke 2013 Okänt
4 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
5 Fifth Ifip International Conference On Theoretical Computer Science - Tcs 2008 2008 Okänt
6 Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings 2017 Engelska
7 Formal Methods and Software Engineering 2017 Okänt
8 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
9 Foundations of Software Science and Computational Structures Luke Ong 2010 Okänt
10 Logic, Language, Information and Computation Luke Ong 2012 Okänt
11-12 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
13 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
14 Logic, Language, Information and Computation - 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings Luke. Ong 2012 Engelska
15 Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Luke. Ong 2011 Engelska
16 Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings 2011 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.