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

Titel Författare År Språk
1 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
2 Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
3 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
4 A handbook of new office technology John Derrick June 1982 Engelska
5 Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings John. Derrick 2012 Engelska
6 The surgeon's responsibility John R. Derrick cop. 1968 Engelska
7 Refinement - Semantics, Languages and Applications John. Derrick 2018 Engelska
8 Refinement in Z and Object-Z - Foundations and Advanced Applications John. Derrick 2014 Engelska
9 Refinement in Z and Object-Z: Foundations and Advanced Applications, Second Edition John Derrick 2014 Okänt
10 Refinement: Semantics, Languages and Applications John Derrick 2018 Okänt
11 Telecommunication - a businessman's guide John Derrick 1983 Engelska
12 Dextrans - current concepts of basic actions and clinical applications : the first International symposium on dextrans, Galveston, Texas, 1968 1971 Engelska
13 Ecosystems of the world 10, Temperate broad-leaved evergreen forests 1983 Engelska
14 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
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 Integrated Formal Methods John Derrick 2012 Okänt
17 Refinement in Z and Object-Z John Derrick 2001 Okänt
18 Woodlands John Derrick Ovington 1965 Engelska
19 Skogen - miljöskydd, råvara, rekreationskälla John Derrick Ovington 1969 Svenska

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.