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: Henrik Eriksson 176 träffar

Titel Författare År Språk
121 Finitary partial inductive definitions and general logic Lars-Henrik Eriksson 1993 Engelska
122 A finitary version of the calculus of partial inductive definitions Lars-Henrik Eriksson 1992 Engelska
123 Formal specification and validation of a cache-coherence protocol Lars-Henrik Eriksson 1995 Engelska
124-125 Synthesis of a unification algorithm in a logic programming calculus (flera utgåvor) Lars-Henrik Eriksson 1984 Engelska
126 Using Formal Methods in a Retrospective Safety Case Germany Potsdam SAFECOMP September 21-24 2004 and Security: 23rd International Conference Reliability Computer Safety Lars-Henrik Eriksson 2004 Engelska
127 Extensions of logic programming - proceedings International Workshop on Extensions of Logic Programming 1991) Stockholm : cop. 1992 Engelska
128 Extensions of Logic Programming 1992 Engelska
129-130 FME 2002 - formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings (flera utgåvor) International Symposium of Formal Methods Europe 2002 : Copenhagen) cop. 2002 Engelska
131-133 Genusperspektiv på vård och omvårdnad (flera utgåvor) 2017 Svenska
134 Exploring C2 Capability and Effectiveness in Challenging Situations - Interorganizational Crisis Management, Military Operations and Cyber Defence Magdalena Granåsen 2019 Engelska
135 Sustainable fibre toolkit 2018 Annie Gullingsrud 2018 Engelska
136 Content ontology design patterns - qualities, methods, and tools Karl Hammar 2017 Engelska
137 Towards an Ontology Design Pattern Quality Model Karl Hammar 2013 Engelska
138 Kvalitetssäkring och datasäkerhet hos mätvärden - informationssäkerhet och risker Jaques Hérard 2006 Svenska
139 Creating & Enabling the Useful Service Discovery Experience - The Perfect Recommendation Does Not Exist Magnus Ingmarsson 2013 Engelska
140 Modula-3 för den som kan Pascal Viggo Kann 2001 Svenska

Förra sidan 1 2 3 4 5 6 7 8 9 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.