Lecomte, Thierry.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
Lecomte, Thierry.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ribeiro, Leila.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings /
by:
Haxthausen, Anne E.; Lecomte, Thierry.; Collart-Dutilleul, Simon.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Lecomte, Thierry.; Milius, Birgit.; Collart-Dutilleul, Simon.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings /
by:
SpringerLink (Online service); Pinger, Ralf.; Lecomte, Thierry.; Romanovsky, Alexander.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
Lecomte, Thierry.; SpringerLink (Online service); Ribeiro, Leila.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Romanovsky, Alexander.; Lecomte, Thierry.; Pinger, Ralf.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings /
by:
Collart-Dutilleul, Simon.; SpringerLink (Online service); Romanovsky, Alexander.; Lecomte, Thierry.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
SpringerLink (Online service); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Computer engineering.
Systems and Data Security.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Computer and Information Systems Applications.
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Railroads
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Computer Science.
Computer simulation.
Computer Engineering and Networks.
Management of Computing and Information Systems.
Computer communication systems.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer science.
Management information systems.
Computer security.
Programming languages (Electronic computers).