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

Titel Författare År Språk
1 Software Engineering and Formal Methods Eva Kühn Rocco De Nicola 2016 Engelska
2 Coordination, models and languages. - 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings Italy) Coordination 2004 (2004 : Pisa 2004 Engelska
3 Trustworthy Global Computing Rocco. De Nicola Engelska
4 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
5 Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 2016 Okänt
6 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
7 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
8 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
9 Concurrency, Graphs and Models Pierpaolo Degano 2008 Okänt
10 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
11 Coordination Models and Languages Rocco De Nicola 2013 Okänt
12 Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering 2015 Okänt

1

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.