Start Over
You searched for: author_facet Palamidessi, Catuscia

Search Results

Cover image for 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

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

Location
Access Content Online
Cover image for Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Location
Access Content Online
Cover image for Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Location
Access Content Online
Cover image for Automata, Languages and Programming

Automata, Languages and Programming

Location
Access Content Online
Cover image for Logic Programming

Logic Programming

Location
Access Content Online
Cover image for Logic programming

Logic programming

Location
Access Content Online
Cover image for Concur 2000 - Concurrency Theory

Concur 2000 - Concurrency Theory

Location
Access Content Online
Cover image for Concur 2000

Concur 2000

Location Call # Status
Joyner - General Stacks QA76.58 .I53 2000 ✔ Available
Cover image for Principles of declarative programming

Principles of declarative programming

Location
Access Content Online
Cover image for Principles of declarative programming

Principles of declarative programming

Location Call # Status
Joyner - General Stacks QA76.615 .P55 1998 ✔ Available