語系
Furia, Carlo A.
概要
| 作品: | 6 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Objects, models, components, patterns50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(1998 :); Furia, Carlo A.; Nanz, Sebastian.; SpringerLink (Online service)
(書目-電子資源)
Modeling Time in Computing
by:
Furia, Carlo A.; Mandrioli, Dino.; Morzenti, Angelo.; Rossi, Matteo.; SpringerLink (Online service)
(書目-電子資源)
Integrated formal methods14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
(1998 :); Furia, Carlo A.; SpringerLink (Online service); Winter, Kirsten.
(書目-電子資源)
Tests and proofs10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(1998 :); Aichernig, Bernhard K.; Furia, Carlo A.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Computing Methodologies.
Software engineering
Model-driven software architecture
Logics and Meanings of Programs.
Mathematics of Computing.
Programming Techniques.
Computer software
Artificial Intelligence (incl. Robotics)
Object-oriented methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Formal methods (Computer science)
System design
Database management.
Computer Science.
Computer Communication Networks.
Computer Hardware.
Simulation and Modeling.
Object-oriented programming (Computer science)