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: Roger Germundsson 25 träffar

Titel Författare År Språk
1 Complex hybrid systems 1, A study of available tools and specification of planned work 1994 Engelska
2 All you ever wanted to know about Postscript in TEX Roger Germundsson 1991 Engelska
3 The local guide to fonts in TEX Roger Germundsson 1992 Engelska
4-6 Symbolic algebraic discrete systems - theory and computation (flera utgåvor) Roger Germundsson 1995- Engelska
7-8 Symbolic algebraic discrete systems P. 1 - applied to the JAS 39 fighter aircraft (flera utgåvor) Roger Germundsson 1995 Engelska
9-10 Symbolic algebraic discrete systems P. 2 - applied to the JAS 39 fighter aircraft (flera utgåvor) Roger Germundsson 1996 Engelska
11-12 Symbolic and algebraic methods for modeling, analysis, design and implementation of discrete systems - lecture notes for a seminar at ITM 14 May 1993 (flera utgåvor) Roger Germundsson 1993 Engelska
13 Symbolic systems - theory, computation and applications Roger Germundsson 1995 Engelska
14-15 A unified constructive study of linear, nonlinear and discrete event systems (flera utgåvor) Roger Germundsson 1995 Engelska
16-17 Verifying temporal properties in discrete event systems (flera utgåvor) Roger Germundsson 1995 Engelska
18-19 Dynamic verification of a large discrete system (flera utgåvor) Johan Gunnarsson 1996 Engelska
20 Verification of a large discret system using algebraic methods Johan Gunnarsson 1996 Engelska

1 2 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.