Showing
1 - 11
results of
11
for search '
Palamidessi, Catuscia
'
Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Author
Palamidessi, Catuscia
Showing
1 - 11
results of
11
for search '
Palamidessi, Catuscia
'
, query time: 0.05s
Narrow Search
Sort
Relevance
Newest
Oldest
Call Number
Author
Title
Select all entries on the page
Email
Export
Print
Save
Select result number 1
1
The science of quantitative information flow Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
by
Alvim, Mário S., 1982-
,
Chatzikokolakis, Konstantinos, 1980-
,
McIver, Annabelle
,
Morgan, Carroll, 1952-
,
Palamidessi, Catuscia
,
Smith, Geoffrey
Published 2020
Click for online access
eBook
Save to List
Saved in:
Select result number 2
2
Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings edited by Catuscia Palamidessi.
Published 2003
Other Authors:
“…
Palamidessi, Catuscia
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 3
3
CONCUR 2000 - Concurrency Theory 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings edited by Catuscia Palamidessi.
Published 2000
Other Authors:
“…
Palamidessi, Catuscia
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 4
4
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... edited by Erika Ábrahám, Catuscia Palamidessi.
Published 2014
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 5
5
Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers edited by Sebastian Moedersheim, Catuscia Palamidessi.
Published 2012
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 6
6
Trustworthy Global Computing 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers edited by Catuscia Palamidessi, Mark D. Ryan.
Published 2013
Other Authors:
“…
Palamidessi, Catuscia
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 7
7
Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedin... edited by Catuscia Palamidessi, Hugh Glaser, Karl Meinke.
Published 1998
Other Authors:
“…
Palamidessi, Catuscia
…”
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 8
8
Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
Published 2014
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 9
9
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis Caires, Guiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung.
Published 2005
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 10
10
SOFSEM 2009: Theory and Practice of Computer Science 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2... edited by Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia.
Published 2009
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select result number 11
11
Computational Logic — CL 2000 First International Conference London, UK, July 24–28, 2000 Proceedings edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Published 2000
Other Authors:
Call Number:
Loading…
Located:
Loading…
Click to view e-book
eBook
Save to List
Saved in:
Select all entries on the page
Email
Export
Print
Save
Search Tools:
Get RSS Feed
Email this Search
Related Subjects
Electronic resources (E-books)
Computer logic
Mathematical logic
Software engineering
Computer programming
Computers
Programming languages (Electronic computers)
Artificial intelligence
Computer communication systems
Algorithms
Architecture, Computer
Computer science
Data encryption (Computer science)
Coding theory
Computer system failures
Computers and civilization
Data mining
Data protection
Data structures (Computer science)
Database management
Information storage and retrieval
Information theory
Management information systems
Mathematical statistics