語系
Calinescu, Radu.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
Calinescu, Radu.; Păsăreanu, Corina S.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
SpringerLink (Online service); Calinescu, Radu.; Rumpe, Bernhard.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings /
by:
Păsăreanu, Corina S.; SpringerLink (Online service); Calinescu, Radu.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering for Resilient Systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /
by:
Di Giandomenico, Felicita.; Calinescu, Radu.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers /
by:
SpringerLink (Online service); Bianculli, Domenico.; Rumpe, Bernhard.; Calinescu, Radu.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers /
by:
Jackson, Ethan.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Calinescu, Radu.
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
SpringerLink (Online service); Rumpe, Bernhard.; Calinescu, Radu.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering and formal methods = SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
Bianculli, Domenico.; Rumpe, Bernhard.; Calinescu, Radu.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Systems and Data Security.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Information Storage and Retrieval.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Database Management.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.
Information Systems Applications (incl. Internet).
Computer Science.
Probability and Statistics in Computer Science.
Computer communication systems.
Mathematical statistics.
Database management.
Computing Milieux.
Computer science.
Programming languages (Electronic computers).
Computer security.
Computer software
Computation by Abstract Devices.