語系
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.
Computer Communication Networks.
Software engineering.
Information Systems Applications (incl.Internet)
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Operating Systems.
System Performance and Evaluation.
Microprogramming .
Computer communication systems.
Electronic data processing
Computer software
Computer organization.
Programming Techniques.
Fault-tolerant computing
Mathematical Logic and Formal Languages.
Data encryption (Computer science).
Computer architecture
Software engineering
Software Engineering.
Software Engineering/Programming and Operating Systems.
Control Structures and Microprogramming.
Computer systems
Industrial and Production Engineering.
Programming languages (Electronic computers).
Artificial intelligence.
Theory of Computation.
Logics and Meanings of Programs.
Algorithms.
Computer logic.
Systems engineering.
Computer Science.
Computer simulation.
Java (Computer program language)
Computer security.
Mathematical logic.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Railroads
The Computing Profession.
Multimedia Information Systems.
Cryptology.
Simulation and Modeling.
Optical data processing.