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: Wright 10063 träffar

Titel Författare År Språk
3201 Modeling component environments and interactive programs using iterative choice Ralph-Johan Back 1998 Engelska
3202 Products in the refinement calculus Ralph-Johan Back 1999 Engelska
3203 Encoding, decoding and data refinement Ralph-Johan Back 1999 Engelska
3204 Structured derivations - a method for doing high-school mathematics carefully Ralph-Johan Back 1999 Engelska
3205 A metatool for exploring program algebras Joakim von Wright 1999 Engelska
3206 Functional procedures in higher-order logic Linas Laibinis 1999 Engelska
3207 Annual report 1998 Åbo Akademi 1999 Engelska
3208 Musik, sång, fest 1891-1991 - de finlandssvenska sångfesterna som kulturföreteelse och impulsgivare 1991 Svenska
3209 Bauhaus futures 2019 Engelska
3210 Hyvä päivä, paha päivä Kathryn White 2000 Finska
3211 Jesse Jänis ja punaiset korvat Gary Oliver 1998 Finska
3212 Hannes Hirvi ja entäjossit Gary Oliver 1998 Finska
3213 Otso Onninen hymy hukassa Gary Oliver 1998 Finska
3214 Peten ja Paten rohkeus löytyy Gary Oliver 1998 Finska
3215 Lapsen tunteet Norman Wright 1998 Finska
3216 Kanaruoat Jeni Wright 2000 Finska
3217 ABC 80 som hjälpmedel i pedagogisk forskning Ole Björkqvist 1983 Svenska
3218 Supplementary proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics - TPHOLs'96 International Conference on Theorem Proving in Higher Order Logics 1996 : Turku) 1996 Engelska
3219 Interpreting nondeterminism in the refinement calculus Ralph-Johan Back 1996 Engelska
3220 Refining reactive systems in HOL using action systems T. Långbacka 1997 Engelska

Förra sidan 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 Nästa sida

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.