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é 12 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 The Inverse Method: Parametric Verification of Real-time Embedded Systems (Focus Series in Computer Engineering and IT) Étienne André 2013 Okänt
4-5 Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I (flera utgåvor) 2023 Engelska
6 Inverse Method: Parametric Verification of Real-time Embedded Systems Etienne André 2013 Okänt
7 De la nécessité d'une correspondance régulière et sans cesse active entre tous les amis des sciences et de l'industrie .. - discours prononcé à la séance annelle de la Société créée pour la propagation des connaissances scientifiques et industrielles, le 1er mai, 1829 André-Etienne-Just-Pascal-Joseph-François d'Audebard Férussac, baron de 1829 Franska
8 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
9 Cornelius Nepos De vita excellentium imperatorum Cornelius Nepos 1745 Latin
10 Phaedri Augusti liberti Fabulae. Ad manuscriptos codices & optimam quamque editionem emendavit Steph. And. Philippe Accesserunt notae ad calcem Phaedrus 1754 Latin
11 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
12 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.