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: Bart. Jacobs 15 träffar

Titel Författare År Språk
1 Categorical Logic and Type Theory (Studies in logic and the foundations of mathematics v. 141) Bart. Jacobs 1998 Okänt
2 Formal Methods for Open Object-Based Distributed Systems V Arend Rensink 2002 Okänt
3-4 Introduction to Coalgebra: Towards Mathematics of States and Observation (flera utgåvor) Bart Jacobs uuuu-uuuu Okänt
5 Origins of a Creole: The History of Papiamentu and Its African Ties (Language Contact and Bilingualism) Bart Jacobs 2012 Okänt
6 Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 Engelska
7 Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016 Okänt
8-9 Categorical logic and type theory (flera utgåvor) Bart Jacobs 1999 Engelska
10 Categorical logic and type theory electronic resource / Bart Jacobs Bart. Jacobs uuuu-uuuu Okänt
11 Introduction to Coalgebra - towards mathematics of states and observation Bart Jacobs 2017 Engelska
12 Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs. electronic resource Bart Jacobs uuuu-uuuu Okänt
13 Origins of a Creole - the history of Papiamentu and its African ties Bart Jacobs 2012 Engelska
14 Origins of a Creole electronic resource : the history of Papiamentu and its African ties / by Bart Jacobs Bart Jacobs uuuu-uuuu Okänt
15 Origins of a Creole : the history of Papiamentu and its African ties / by Bart Jacobs Bart Jacobs uuuu-uuuu 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.