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: Inger Klein 53 träffar

Titel Författare År Språk
21 Automatic synthesis of control programs in polynomial time for an assembly line Inger Klein 1996 Engelska
22 Automatic synthesis of sequential control schemes Inger Klein 1993 Engelska
23 Efficient planning for a minature assembly line Inger Klein 2000 Engelska
24 Efficient planning for a miniature assembly line Inger Klein 2000 Engelska
25 On the planning problem in sequential control Inger Klein 1991 Engelska
26 Planning for a class of sequential control problems Inger Klein 1990 Engelska
27-28 Tractable correct planning for an assembly line (flera utgåvor) Inger Klein 1995 Engelska
29-31 Tractable planning for an assembly line (flera utgåvor) Inger Klein 1995 Engelska
32 An approach to diagnosability analysis for interacting finite state systems Dan Lawesson 2005 Engelska
33-34 Fault isolation in discrete event systems by observational abstraction (flera utgåvor) Dan Lawesson 2005 Engelska
35-36 Fault isolation using process algebra models (flera utgåvor) Dan Lawesson 2002 Engelska
37-38 Model-checking based fault isolation in UML (flera utgåvor) Dan Lawesson 2001 Engelska
39-40 Model-checking based fault isolation using automatic abstraction (flera utgåvor) Dan Lawesson 2004 Engelska

Förra sidan 1 2 3 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.