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 = 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 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 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.
Information Systems Applications (incl. Internet).
Computer Science.
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.
Probability and Statistics in Computer Science.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Application software.
Mathematical statistics.
Database management.
Artificial Intelligence.
Computing Milieux.
Computer science.
Information Storage and Retrieval.
Computers.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.
Computer software
Computation by Abstract Devices.
Database Management.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
System Performance and Evaluation.