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: Laurent Fribourg 14 träffar

Titel Författare År Språk
1 A decision procedure for a subtheory of linear arithmetic with lista Laurent Fribourg 1991 Engelska
2 Direct, dual and contrapositive proofs by induction Laurent Fribourg 1994 Engelska
3 Logic program synthesis and transformation, meta-programming in logic - 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings International Workshop on Logic Program Synthesis and Transformation 1994) Pisa : cop. 1994 Engelska
4-5 Computer science logic - 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings (flera utgåvor) International Workshop on Computer Science Logic 2001 : Paris) cop. 2001 Engelska
6 Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics Laurent Fribourg 2013 Engelska
7 Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings Víctor. Braberman 2013 Engelska
8 Control of Switching Systems by Invariance Analysis Laurent. Fribourg uuuu-uuuu Okänt
9 Logic Program Synthesis and Transformation — Meta-Programming in Logic Laurent Fribourg uuuu-uuuu Okänt
10 Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 1013, 2001, Proceedings Laurent Fribourg uuuu-uuuu Okänt
11 Formal Modeling and Analysis of Timed Systems Víctor Braberman 2013 Okänt
12-13 Control of switching systems by invariance analysis electronic resource : application to power electronics / Laurent Fribourg, Romain Soulat (flera utgåvor) Laurent. Fribourg uuuu-uuuu Okänt
14 Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics Laurent Fribourg 2013 Okänt

1

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.