語系
Romanovsky, Alexander.
概要
作品: | 1 作品在 7 項出版品 1 種語言 |
---|
書目資訊
Computer safety, reliability, and securitySAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings /
by:
(1998 :); Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
Software engineering for resilient systems9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
by:
(1998 :); Romanovsky, Alexander.; SpringerLink (Online service); Troubitsyna, Elena A.
(書目-電子資源)
Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings /
by:
(1998 :); Collart-Dutilleul, Simon.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings /
by:
(1998 :); Bitsch, Friedemann.; Romanovsky, Alexander.; SpringerLink (Online service); Troubitsyna, Elena.
(書目-電子資源)
Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings /
by:
(1998 :); Fantechi, Alessandro.; Lecomte, Thierry.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
Architecting Dependable Systems III
by:
Gacek, Cristina.; Lemos, Rogerio de.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
Reliable software technologiesAda-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies, Edinburgh, UK, June 20-24, 2011 : proceedings /
by:
(1998 :); Romanovsky, Alexander.; SpringerLink (Online service); Vardanega, Tullio.
(書目-電子資源)
Reliability, safety, and security of railway systemsmodelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings /
by:
(1998 :); Lecomte, Thierry.; Pinger, Ralf.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
Scientific Engineering of Distributed Java Applications4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
(1998 :); Guelfi, Nicolas.; Reggio, Gianna.; Romanovsky, Alexander.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Computer organization
Image Processing and Computer Vision.
Electronic data processing
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Cryptology.
Java (Computer program language)
Programming Techniques.
Computer systems
Operating Systems.
Computer software
Railroads
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
Information Systems Applications (incl.Internet)
Multimedia Information Systems.
Computer architecture
The Computing Profession.
Artificial Intelligence.
Computer security
Computer Science.
Computer Communication Networks.
Fault-tolerant computing
Systems and Data Security.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Application software
Simulation and Modeling.