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: Roberto. Gorrieri 25 träffar

Titel Författare År Språk
1-2 Foundations of security analysis and design - tutorial lectures (flera utgåvor) cop. 2002 Engelska
3-4 Foundations of Security Analysis and Design III - FOSAD 2004/2005 Tutorial Lectures (flera utgåvor) Alessandro. Aldini 2005 Engelska
5 Foundations of security analysis and design II. - FOSAD 2001/2002 turorial lectures 2004 Engelska
6-7 Formal Methods for Open Object-Based Distributed Systems (flera utgåvor) Roberto. Gorrieri 2006 Engelska
8-9 Automata, Languages and Programming (flera utgåvor) And Programming Languages International Colloquium on Automata 1997 Engelska
10 Foundations of Security Analysis and Design IV - FOSAD 2006/2007 Tutorial Lectures Alessandro. Aldini 2007 Engelska
11 Foundations of Security Analysis and Design V - FOSAD 2007/2008/2009 Tutorial Lectures Alessandro. Aldini 2009 Engelska
12 Computational Methods in Systems Biology - 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Pierpaolo. Degano 2009 Engelska
13 Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures Alessandro. Aldini 2011 Engelska
14 Foundations of Security Analysis and Design V Alessandro Aldini 2009 Okänt
15 Computational Methods in Systems Biology Pierpaolo Degano 2009 Okänt
16 Process Algebras for Petri Nets - The Alphabetization of Distributed Systems Roberto. Gorrieri 2017 Engelska
17 Introduction to Concurrency Theory - Transition Systems and CCS Roberto. Gorrieri 2015 Engelska
18 Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures (Lecture notes in computer science. Tutorial) Riccardo Focardi 2004 Okänt
19 Introduction to Concurrency Theory electronic resource : Transition Systems and CCS / by Roberto Gorrieri, Cristian Versari Roberto. author. Gorrieri uuuu-uuuu Okänt
20 Foundations of Security Analysis and Design III Alessandro Aldini 2005 Okänt

1 2 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.