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 26 träffar

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

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.