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: Rocco. De Nicola 9 träffar

	Titel	Författare	År	Språk
1	Coordination, models and languages. - 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings	Italy) Coordination 2004 (2004 : Pisa	2004	Engelska
2	Trustworthy Global Computing	Rocco. De Nicola		Engelska
3	Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005 : Revised Selected Papers (Lecture notes in computer science 3705)	Rocco De Nicola	2005	Okänt
4	Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings		2016	Engelska
5	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures		2016	Engelska
6	Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings	Rocco De Nicola	2007	Okänt
7	Concurrency, Graphs and Models	Pierpaolo Degano	2008	Okänt
8	Coordination Models and Languages: 6Th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : Proceedings (Lecture notes in computer science, 0302-9743 2949)	Rocco De Nicola	uuuu-uuuu	Okänt
9	Coordination Models and Languages	Rocco De Nicola	2013	Okänt

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.