Ölveczky, Peter Csaba.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
Artho, Cyrille.; SpringerLink (Online service); Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
by:
Ölveczky, Peter Csaba.; SpringerLink (Online service); Artho, Cyrille.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
Bae, Kyungmin.; SpringerLink (Online service); Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
Ölveczky, Peter Csaba.; SpringerLink (Online service); Artho, Cyrille.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings /
by:
Cerone, Antonio.; SpringerLink (Online service); Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
SpringerLink (Online service); Martí-Oliet, Narciso.; Ölveczky, Peter Csaba.; Talcott, Carolyn.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
SpringerLink (Online service); Ölveczky, Peter Csaba.; Braga, Christiano.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical Aspects of Computing – ICTAC 2021 = 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings /
by:
SpringerLink (Online service); Cerone, Antonio.; Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
SpringerLink (Online service); Salaün, Gwen.; Ölveczky, Peter Csaba.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Artificial intelligence.
Software engineering.
Theory of Computation.
Computer programming.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer and Information Systems Applications.
Application software.
Artificial Intelligence.
Computer Applications.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
System Performance and Evaluation.
Microprogramming .
Computer simulation.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer science.
Management information systems.
Computer system failures.
Input/Output and Data Communications.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Input-output equipment (Computers).
Computer Science Logic and Foundations of Programming.
Computer input-output equipment.