Languages
Calinescu, Radu.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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 :)
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
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.