Collart-Dutilleul, Simon.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Risks and security of internet and systems = 19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024 : proceedings /
by:
SpringerLink (Online service); Collart-Dutilleul, Simon.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
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 :); Milius, Birgit.; Collart-Dutilleul, Simon.; Lecomte, Thierry.; 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.; Collart-Dutilleul, Simon.; SpringerLink (Online service); Lecomte, Thierry.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Romanovsky, Alexander.; Collart-Dutilleul, Simon.; Lecomte, Thierry.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Operating Rules and Interoperability in Trans-National High-Speed Rail
by:
SpringerLink (Online service); Collart-Dutilleul, Simon.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer engineering.
Railroads
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Software engineering.
Signal processing.
Communications Engineering, Networks.
Telecommunication.
Algorithms.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer simulation.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Application software.
Internet
Artificial Intelligence.
Signal, Speech and Image Processing .
Simulation and Modeling.
Data and Information Security.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.