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
21	Formal Methods for Open Object-based Distributed Systems: 8Th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : Proceedings (Lecture notes in computer science 4037)	Roberto Gorrieri	2006	Okänt
22	Foundations of Security Analysis and Design IV	Alessandro Aldini	2007	Okänt
23	Process algebras for Petri nets electronic resource : the alphabetization of distributed systems / by Roberto Gorrieri	Roberto. author. Gorrieri	uuuu-uuuu	Okänt
24	Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures		2011	Okänt
25	Introduction to Concurrency Theory: Transition Systems and CCS	Roberto Gorrieri	2015	Okänt

Förra sidan 1 2

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.