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 22 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-9 Automata, Languages and Programming (flera utgåvor) And Programming Languages International Colloquium on Automata 1997 Engelska
10 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
11 Computational Methods in Systems Biology - 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Pierpaolo. Degano 2009 Engelska
12 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
13 Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers Pierpaolo. Degano 2011 Engelska
14 Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers 2011 Okänt
15 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
16 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 2012 Okänt
17 Computational Methods in Systems Biology Pierpaolo Degano 2009 Okänt
18 Concurrency, Graphs and Models Pierpaolo Degano 2008 Okänt
19 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
20 Formal Methods for Computational Systems Biology Marco Bernardo 2008 Okänt

1 2 Nästa sida

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.