語系
Baier, Christel.
概要
作品: | 3 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
FOSSACS (Conference) (2018 :); Baier, Christel.; Dal Lago, Ugo.; SpringerLink (Online service); ETAPS (Conference) (2018 :)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings /
by:
Baier, Christel.; Tinelli, Cesare.; SpringerLink (Online service)
(書目-電子資源)
Principles of model checking
by:
Katoen, Joost-Pieter.; NetLibrary, Inc.; Baier, Christel.
(書目-語言資料,印刷品)
Validation of stochastic systems = a guide to current research /
by:
Baier, Christel.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
by:
Baier, Christel.; SpringerLink (Online service); Caires, Luis.; FORTE Conference (2018 :)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Stochastic analysis.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer software
Artificial Intelligence (incl. Robotics)
Operating Systems.
Computer software- Verification.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Stochastic systems.
The Computing Profession.
Electronic data processing- Distributed processing
Computer systems- Verification.
Stochastic processes.
Computer software- Verification
Computer Science.
System Performance and Evaluation.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer System Implementation.
System analysis