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

Titel Författare År Språk
1 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
2 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
3-4 Principles of declarative programming - proceedings (flera utgåvor) cop. 1998 Engelska
5-6 Concurrency theory - proceedings (flera utgåvor) International Conference on Concurrency Theory 2000 : University Park) cop. 2000 Engelska
7 Automata, Languages and Programming - 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings Luís. Caires 2005 Engelska
8 Logic programming. - 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings India) ICLP 2003 (2003 : Mumbai 2002 Engelska
9 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
10 Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings Erika. Ábrahám 2014 Engelska
11 Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers Catuscia. Palamidessi 2013 Engelska
12 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
13 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
14 CONCUR 2000 Concurrency Theory Catuscia Palamidessi uuuu-uuuu Okänt
15 Horizons of the Mind. A Tribute to Prakash Panangaden Franck van Breugel 2014 Okänt
16 Formal Techniques for Distributed Objects, Components, and Systems Erika Ábrahám 2014 Okänt
17 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
18 Trustworthy Global Computing Catuscia Palamidessi 2013 Okänt
19 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
20 SOFSEM 2009: Theory and Practice of Computer Science Mogens Nielsen 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.