語系
Palamidessi, Catuscia.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic programming = 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings /
by:
Palamidessi, Catuscia.; SpringerLink (Online service); International conference on logic programming (2003 Dec :); Computing science (Asian conference) (2003 Dec))
(書目-語言資料,印刷品)
Concur 2000 = concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 :proceedings /
by:
Palamidessi, Catuscia.; SpringerLink (Online service); International Conference on Concurrency Theory (2000 :)
(書目-語言資料,印刷品)
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/
by:
Glaser, Hugh.; Palamidessi, Catuscia.; SpringerLink (Online service); Meinke, Karl.; PLILP'98 ((1998 :); International Conference on Algebraic and Logic Programming (1998 :)
(書目-語言資料,印刷品)
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
Palamidessi, Catuscia.; SpringerLink (Online service); Modersheim, Sebastian.
(書目-電子資源)
Logic programming = 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings /
by:
Palamidessi, Catuscia.; NetLibrary, Inc.; International Conference on Logic Programming (2003 :)
(書目-語言資料,印刷品)
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 /
by:
Palamidessi, Catuscia.; SpringerLink (Online service); Abraham, Erika.
(書目-電子資源)
主題
Declarative programming
Software Engineering.
Computer network protocols
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Parallel processing (Electronic computers)- Congresses.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer multitasking
Computer networks- Security measures
Computer security
Data Encryption.
Electronic data processing- Distributed processing
Computer Science.
Computer Communication Networks.
Computers and Society.