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

Titel Författare År Språk
1 Recent trends in data type specification Workshop on Specification of Abstract Data Types 1987 : Gullane) cop. 1988 Engelska
2 Programming languages and systems - ESOP '94 European Symposium on Programming 1994) Edinburgh : cop. 1994 Engelska
3 Foundations of Algebraic Specification and Formal Software Development Donald Sannella 2012 Okänt
4 Foundations of Algebraic Specification and Formal Software Development Donald. Sannella 2012 Engelska
5 Foundations of algebraic specification and formal software development D. (Donald) Sannella 2011 Engelska
6 Trustworthy Global Computing - Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers Ugo. Montanari 2007 Engelska
7-8 Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II (flera utgåvor) 2015 Engelska
9 Programming Languages and Systems — ESOP '94 Donald Sannella uuuu-uuuu Okänt
10 Trustworthy Global Computing Ugo Montanari 2007 Okänt
11 Introduction to Computation Donald Sannella uuuu-uuuu Okänt
12 Introduction to computation : Haskell, logic and automata / Donald Sannella and three others Donald Sannella uuuu-uuuu Okänt
13 Introduction to Computation : Haskell, Logic and Automata / by Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler Donald Sannella uuuu-uuuu Okänt
14 Foundations of Algebraic Specification and Formal Software Development / by Donald Sannella, Andrzej Tarlecki Donald. author. Sannella uuuu-uuuu Okänt
15 Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I 2015 Okänt
16 Mathematical Foundations of Computer Science 2015: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II 2015 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.