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

Titel Författare År Språk
1 Automata, languages and programming Languages and Programming 1997 : Bologna) International Colloquium on Algorithms cop. 1997 Engelska
2-3 Automata, Languages and Programming (flera utgåvor) And Programming Languages International Colloquium on Automata 1997 Engelska
4 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
5 "Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997: Proceedings" Pierpaolo Degano 1997 Okänt
6 Computational Methods in Systems Biology - 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings Pierpaolo. Degano 2009 Engelska
7 Concurrency, Graphs and Models electronic resource - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Pierpaolo. Degano 2008 Engelska
8 "Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday" Pierpaolo Degano 2008 Okänt
9-10 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
11 "Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers" Pierpaolo Degano 2009 Okänt
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 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
14 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
15 Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers 2011 Okänt
16 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
17 Formal Methods for Computational Systems Biology Marco Bernardo 2008 Okänt
18 Computational Methods in Systems Biology Pierpaolo Degano 2009 Okänt
19 Concurrency, Graphs and Models Pierpaolo Degano 2008 Okänt
20 Formal Aspects in Security and Trust Pierpaolo Degano 2009 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.