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. Nicola 18 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 Concurrency, Graphs and Models electronic resource - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Pierpaolo. Degano 2008 Engelska
5 Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 2016 Okänt
6 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
7 Coordination Models and Languages - 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings Rocco. Nicola 2013 Engelska
8 Programming Languages and Systems electronic resource - 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 Rocco. Nicola 2007 Engelska
9 Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering Rocco. Nicola 2015 Engelska
10 Trustworthy Global Computing - International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers Rocco. Nicola 2005 Engelska
11 Concurrency, Graphs and Models Pierpaolo Degano 2008 Okänt
12 Coordination Models and Languages Rocco De Nicola 2013 Okänt
13 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
14 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
15 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
16 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
17 Software Engineering and Formal Methods 2016 Okänt
18 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.