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: Étienne André 13 träffar

Titel Författare År Språk
1 The inverse method : parametric verification of real-time embedded systems / Etienne André, Romain Soulat Etienne André uuuu-uuuu Okänt
2 The Inverse Method: Parametric Verification of Real-time Unbedded Systems Etienne André uuuu-uuuu Okänt
3 Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II Étienne. André 2023 Engelska
4 Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I Étienne. André 2023 Engelska
5 The Inverse Method: Parametric Verification of Real-time Embedded Systems (Focus Series in Computer Engineering and IT) Étienne André 2013 Okänt
6-7 Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (flera utgåvor) 2023 Engelska
8 Inverse Method: Parametric Verification of Real-time Embedded Systems Etienne André 2013 Okänt
9 Tableaux systématiques des animaux mollusques - classés en familles naturelles, dans lesquels on a établi la concordance de tous les systèmes; suivis d'un prodrome général pour tous les mollusques terrestres ou fluviatiles, vivantes ou fossiles André Étienne J.P.J.F. d'Audebard de Férussac 1822 Franska
10 Cornelius Nepos De vita excellentium imperatorum Cornelius Nepos 1745 Latin
11 Phaedri Augusti liberti Fabulae. Ad manuscriptos codices & optimam quamque editionem emendavit Steph. And. Philippe Accesserunt notae ad calcem Phaedrus 1754 Latin
12 Analyse chronologique de l'histoire universelle, depuis le commencement du monde, jusqu'a l'empire de Charlemagne inclusivement. A Paris chez Michel Lambert ... M.DCC.LII Etienne-André Philippe de Prétot 1752 Franska
13 Le recueil du Parnasse, ou Nouveau choix de pièces fugitives en prose, et en vers. Tome premier-tome second Etienne-André Philippe de Prétot 1743 Franska

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.