語系
Palamidessi, Catuscia.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal techniques for distributed objects, components, and systems34th 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:
(1998 :); Abraham, Erika.; Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
Concur 2000concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 :proceedings /
by:
(1998 :); Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
Principles of declarative programming10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
by:
(1998 :); Glaser, Hugh.; Meinke, Karl.; Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
Logic programming19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings /
by:
(1998 :); Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
Theory of security and applicationsJoint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
(1998 :); Modersheim, Sebastian.; Palamidessi, Catuscia.; SpringerLink (Online service)
(書目-電子資源)
主題
Declarative programming
Software Engineering.
Computer network protocols
Mathematical Logic and Formal Languages.
Electronic data processing
Logics and Meanings of Programs.
Logic programming
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer multitasking
Computer security
Data Encryption.
Parallel processing (Electronic computers)
Computer networks
Computer Science.
Computer Communication Networks.
Computers and Society.