語系
Furia, Carlo A.
概要
| 作品: | 3 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
by:
Winter, Kirsten.; SpringerLink (Online service); Furia, Carlo A.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
SpringerLink (Online service); Aichernig, Bernhard K.; Furia, Carlo A.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
Nanz, Sebastian.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Furia, Carlo A.
(書目-語言資料,印刷品)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
SpringerLink (Online service); Winter, Kirsten.; Furia, Carlo A.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Furia, Carlo A.; SpringerLink (Online service); Aichernig, Bernhard K.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Object-oriented methods (Computer science)
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Model-driven software architecture
Software engineering.
Object-oriented programming (Computer science)
Software engineering
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Computer simulation.
System design
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Simulation and Modeling.