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: John Derrick 20 träffar

Titel Författare År Språk
1 Dextrans - current concepts of basic actions and clinical applications : the first International symposium on dextrans, Galveston, Texas, 1968 1971 Engelska
2 Ecosystems of the world 10, Temperate broad-leaved evergreen forests 1983 Engelska
3 Skogen - miljöskydd, råvara, rekreationskälla John Derrick Ovington 1969 Svenska
4 The surgeon's responsibility John R. Derrick cop. 1968 Engelska
5 A handbook of new office technology John Derrick June 1982 Engelska
6 Telecommunication - a businessman's guide John Derrick 1983 Engelska
7 Woodlands John Derrick Ovington 1965 Engelska
8 Integrated formal methods - 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004, proceedings IFM 2004 . 2004 . Canterbury 2004
9 Formal Techniques for Networked and Distributed Systems – FORTE 2007 electronic resource - 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings John. Derrick 2007 Engelska
10 Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
11 Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
12 Refinement in Z and Object-Z - Foundations and Advanced Applications John. Derrick 2014 Engelska
13 Refinement - Semantics, Languages and Applications John. Derrick 2018 Engelska
14 Refinement in Z and Object-Z John Derrick 2001 Okänt
15 Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings John Derrick 2007 Okänt
16 Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John Derrick 2012 Okänt
17 Integrated Formal Methods John Derrick 2012 Okänt
18 Refinement in Z and Object-Z electronic resource : Foundations and Advanced Applications / by John Derrick, Eerke A. Boiten John. author. Derrick uuuu-uuuu Okänt
19 Refinement in Z and Object-Z: Foundations and Advanced Applications, Second Edition John Derrick 2014 Okänt
20 Refinement: Semantics, Languages and Applications John Derrick 2018 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.