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: Catuscia Palamidessi 23 träffar

Titel Författare År Språk
1 Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday Franck. Breugel 2014 Engelska
2 Automata, Languages and Programming - 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings Luís. Caires 2005 Engelska
3 CONCUR 2000 Concurrency Theory Catuscia Palamidessi uuuu-uuuu Okänt
4 Logic Programming: 19Th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : Proceedings (Lecture notes in computer science, 0302-9743 2916) Catuscia Palamidessi uuuu-uuuu Okänt
5 Theory of Security and Applications : Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers Catuscia Palamidessi 2012 Okänt
6 Trustworthy Global Computing Catuscia Palamidessi 2013 Okänt
7-8 Concurrency theory - proceedings (flera utgåvor) International Conference on Concurrency Theory 2000 : University Park) cop. 2000 Engelska
9 Formal Techniques for Distributed Objects, Components, and Systems Erika Ábrahám 2014 Okänt
10 Horizons of the Mind. A Tribute to Prakash Panangaden Franck van Breugel 2014 Okänt
11 Logic programming. - 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings India) ICLP 2003 (2003 : Mumbai 2002 Engelska
12 Automata, Languages and Programming: 32Nd International Colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : Proceedings (Lecture notes in computer science, 3580) Luis Caires 2005 Okänt
13 SOFSEM 2009: Theory and Practice of Computer Science Mogens Nielsen 2009 Okänt
14 The Science of Quantitative Information Flow Mário S. Alvim 2020 Okänt
15 Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers Sebastian. Mödersheim 2012 Engelska
16 SOFSEM 2009: Theory and Practice of Computer Science - 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings Mogens. Nielsen 2009 Engelska
17 "Concur 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000" Catuscia Palamidessi 2000 Okänt
18 Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers Catuscia. Palamidessi 2013 Engelska
19 Principles of Declarative Programming - 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings PLILP'98 PLILP'98 1998 Engelska
20 Principles of declarative programming - proceedings cop. 1998 Engelska

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.