語系
Romanovsky, Alexander.
概要
| 作品: | 7 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Architecting Dependable Systems III
by:
Gacek, Cristina.; SpringerLink (Online service); Romanovsky, Alexander.; Lemos, Rogerio de.
(書目-語言資料,印刷品)
Reliable software technologies = Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
SpringerLink (Online service); Vardanega, Tullio.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Romanovsky, Alexander.; SpringerLink (Online service); Troubitsyna, Elena A.
(書目-語言資料,印刷品)
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]
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)
(書目-語言資料,印刷品)
Software engineering for resilient systems = 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013 : proceedings /
by:
Gorbenko, Anatoliy.; SpringerLink (Online service); Kharchenko, Vyacheslav.; Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Industrial deployment of system engineering methods
by:
Romanovsky, Alexander.; Thomas, Martyn.; 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]
Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
Romanovsky, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Guelfi, Nicolas.; Reggio, Gianna.
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings /
by:
Romanovsky, Alexander.; Gashi, Ilir.; Troubitsyna, Elena.; Schoitsch, Erwin.; SpringerLink (Online service); Bitsch, Friedemann.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
Reggio, Gianna.; Guelfi, Nicolas.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Romanovsky, Alexander.
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings /
by:
Romanovsky, Alexander.; Troubitsyna, Elena.; Bitsch, Friedemann.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
更多
較少的
主題
Image Processing and Computer Vision.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet)
Algorithms.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Systems engineering.
System Performance and Evaluation.
Computer Science.
Microprogramming .
Computer simulation.
Computer communication systems.
Electronic data processing
Java (Computer program language)
Computer security.
Computer software
Mathematical logic.
Computer organization.
Systems and Data Security.
Programming Techniques.
Fault-tolerant computing
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Data encryption (Computer science).
Computer architecture
Information Storage and Retrieval.
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Railroads
The Computing Profession.
Multimedia Information Systems.
Cryptology.
Control Structures and Microprogramming.
Simulation and Modeling.
Computer systems
Optical data processing.
Industrial and Production Engineering.
Programming languages (Electronic computers).