語系
Damiani, Ferruccio.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Types for proofs and programs = international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Coppo, Mario, (1947-); SpringerLink (Online service); Berardi, Stefano.; Damiani, Ferruccio.
(書目-語言資料,印刷品)
Formal verification of object-oriented software = international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers /
by:
Beckert, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gurov, Dilian.; Damiani, Ferruccio.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
SpringerLink (Online service); Damiani, Ferruccio.; Dardha, Ornela.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings /
by:
Dardha, Ornela.; SpringerLink (Online service); Damiani, Ferruccio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer networks .
Artificial intelligence.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
Object-oriented programming (Computer science)
Natural language processing (Computer science).
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer programming
Logics and Meanings of Programs.
Computer software
Database Management.
Computer and Information Systems Applications.
Management of Computing and Information Systems.
Computer communication systems.
Application software.
Database management.
Artificial Intelligence.
Computer Applications.
Natural Language Processing (NLP).