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: Manna 136 träffar

Titel Författare År Språk
81 School's In: Federalism and the National Education Agenda Paul Manna uuuu-uuuu Okänt
82 Review of Physiology Soumen. Manna uuuu-uuuu Okänt
83-84 The Temporal Logic of Reactive and Concurrent Systems electronic resource : Specification / by Zohar Manna, Amir Pnueli (flera utgåvor) Zohar. author. Manna uuuu-uuuu Okänt
85 Lectures on the logic of computer programming Zohar Manna cop. 1980 Engelska
86 Lectures on the Logic of Computer Programming Zohar Manna 1980 Okänt
87 Lectures on the logic of computer programming / Zohar Manna Zohar. Manna uuuu-uuuu Okänt
88 The logical basis for computer programming Zohar Manna 1985-1990 Engelska
89 The logical basis for computer programming Vol. 1, Deductive reasoning Zohar Manna cop. 1985 Engelska
90 The logical basis for computer programming Vol. 2, Deductive systems Zohar Manna cop. 1990 Engelska
91 Mathematical theory of computation Zohar Manna cop. 1974 Engelska
92 Studies in automatic programming logic Zohar Manna cop. 1977 Engelska
93 The temporal logic of reactive and concurrent systems Zohar Manna 1992-9999 Engelska
94 The temporal logic of reactive and concurrent systems, Specification Zohar Manna Cop. 1992 Engelska
95 Temporal verification of reactive systems - safety Zohar Manna c1995 Engelska
96 Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli Zohar Manna uuuu-uuuu Okänt
97 Time for Verification - Essays in Memory of Amir Pnueli Zohar. Manna 2010 Engelska
98 Tahāwī al-Islām al-siyāsī - min al-Mawdūdī ilá Irdūghān Haytham Mannāʿ 2021 Arabiska
99 Many faces, many voices - multicultural literary experiences for youth : the Virginia Hamilton Conference 1992 Engelska
100 Marge fegyonoye dmardutho d'oromoye Falgutho 1 - al-Murūj al-nuz'hīyah fī ādāb al-lughah al-arāmīyah / Yaʿqūb Ujīn Mannā = Morceaux choisis de littérature araméenne / Jacques Eugène Manna 1977 Syriska (modern)

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