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: Pierpaolo. Degano 20 träffar

Titel Författare År Språk
1 Integrated interactive computing systems - proceedings of the European conference on integrated interactive computing systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 European Conference on Integrated Interactive Computing Systems 1982) (Stresa : 1983 Engelska
2 Automata, languages and programming Languages and Programming 1997 : Bologna) International Colloquium on Algorithms cop. 1997 Engelska
3-4 Programming languages and systems - 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings (flera utgåvor) Poland) European Symposium on Programming 2003 : Warsaw cop. 2003 Engelska
5 Concurrency, Graphs and Models electronic resource - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Pierpaolo. Degano 2008 Engelska
6-7 Formal Aspects in Security and Trust - 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers (flera utgåvor) Pierpaolo. Degano 2010 Engelska
8 Automata, Languages and Programming And Programming Languages International Colloquium on Automata 1997 Engelska
9 Formal Methods for Computational Systems Biology electronic resource - 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures Marco. Bernardo 2008 Engelska
10 Computational Methods in Systems Biology - 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Pierpaolo. Degano 2009 Engelska
11 Foundations and Applications of Security Analysis - Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers Pierpaolo. Degano 2009 Engelska
12 Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Pierpaolo. Degano 2011 Engelska
13 Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings Pierpaolo. Degano 2012 Engelska
14 Computational Methods in Systems Biology Pierpaolo Degano 2009 Okänt
15 Automata, Languages and Programming: 24th International Colloquium, ICALP '97 Bologna, Italy, July 7-11, 1997 Proceedings Pierpaolo Degano uuuu-uuuu Okänt
16 Concurrency, Graphs and Models Pierpaolo Degano 2008 Okänt
17 Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings Pierpaolo Degano uuuu-uuuu Okänt
18 Formal Methods for Computational Systems Biology Marco Bernardo 2008 Okänt
19 Foundations and Applications of Security Analysis Pierpaolo Degano 2009 Okänt
20 Formal Aspects in Security and Trust Pierpaolo Degano 2009 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.