語系
Romanovsky, Alexander.
概要
作品: | 1 作品在 6 項出版品 1 種語言 |
---|
書目資訊
Architecting Dependable Systems III
by:
Gacek, Cristina.; Lemos, Rogerio de.; Romanovsky, Alexander.; 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:
Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; 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:
RSSRail (Conference) (2019 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
Romanovsky, Alexander.; SpringerLink (Online service); SERENE (Workshop) (2017 :); Troubitsyna, Elena A.
(書目-電子資源)
Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings /
by:
Romanovsky, Alexander.; SpringerLink (Online service); Bitsch, Friedemann.; International Conference on Computer Safety, Reliability, and Security (2019 :); Troubitsyna, Elena.
(書目-電子資源)
Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings /
by:
Romanovsky, Alexander.; SpringerLink (Online service); International Conference on Computer Safety, Reliability, and Security (2019 :)
(書目-電子資源)
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:
Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service); RSSRail (Conference) (2017 :); Fantechi, Alessandro.
(書目-電子資源)
Scientific Engineering of Distributed Java Applications = 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
FIDJI 2004 ((2004 :); Guelfi, Nicolas.; Reggio, Gianna.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Computer systems- Reliability
Mathematical Logic and Formal Languages.
Software engineering
Theory of Computation.
Computer organization
Image Processing and Computer Vision.
Logics and Meanings of Programs.
Application software- Security measures
Software Engineering/Programming and Operating Systems.
Cryptology.
Java (Computer program language)
Software engineering- Congresses.
Programming Techniques.
Computer architecture- Congresses.
Fault-tolerant computing- Congresses.
Operating Systems.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Algorithm Analysis and Problem Complexity.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers)
Computer logic
Railroads- Safety measures
Electronic data processing- Distributed processing
Information Systems Applications (incl.Internet)
Multimedia Information Systems.
The Computing Profession.
Artificial Intelligence.
Computer security
Computer Science.
Computer Communication Networks.
Systems and Data Security.
Computer software- Reliability
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Simulation and Modeling.