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
1-2 Planning in polynomial time - the SAS-PUBS class (flera utgåvor) Christer Bäckström 1992 Engelska
3-4 Parallel non-binary planning in polynomial time - the SAS-PUS class (flera utgåvor) Christer Bäckström 1992 Engelska
5 On the planning problem in sequential control Christer Bäckström 1991 Engelska
6-7 Tractable planning for an assembly line (flera utgåvor) Inger Klein 1995 Engelska
8 Tractable correct planning for an assembly line Inger Klein 1995 Engelska
9 Automatic synthesis of control programs for an assembly line Inger Klein 1995 Engelska
10 Hybrid and discrete systems in automatic control - some new (Linköping) approaches 1996 Engelska
11 Automatic synthesis of control programs in polynomial time for an assembly line Inger Klein 1996 Engelska
12 The Cohsy project - complex heterogeneous systems 1996 Engelska
13 On the planning problem in sequential control Inger Klein 1991 Engelska
14 Model-checking based fault isolation using automatic abstraction Dan Lawesson 2004 Engelska
15-16 The need for fault isolation in object-oriented control systems (flera utgåvor) 1999 Engelska
17 Planning for a class of sequential control problems Inger Klein 1990 Engelska
18 Automatic synthesis of sequential control schemes Inger Klein 1993 Engelska
19 Efficient planning for a minature assembly line Inger Klein 2000 Engelska
20 Fault isolation using process algebra models Dan Lawesson 2002 Engelska

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.