語系
Baier, Christel.
概要
| 作品: | 0 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal Techniques for Distributed Objects, Components, and Systems38th 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:
(1998 :); Baier, Christel.; Caires, Luis.; SpringerLink (Online service)
(書目-電子資源)
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
(書目-語言資料,印刷品)
Foundations of software science and computation structures21st 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:
(1998 :); Baier, Christel.; Dal Lago, Ugo.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems21st 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:
(1998 :); Baier, Christel.; SpringerLink (Online service); Tinelli, Cesare.
(書目-電子資源)
Validation of stochastic systemsa guide to current research /
by:
Baier, Christel.; SpringerLink (Online service)
(書目-電子資源)
CONCUR 2006 - Concurrency Theory17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 /
by:
(1998 :); Baier, Christel.; Hermanns, Holger.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Logics and Meanings of Programs.
Stochastic analysis.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Computation by Abstract Devices.
Programming Techniques.
Computer systems
Computer software
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Programming Languages, Compilers, Interpreters.
System design
Formal methods (Computer science)
Stochastic systems.
The Computing Profession.
Parallel processing (Electronic computers)
Computer Science.
Computer Communication Networks.
Stochastic processes.
System Performance and Evaluation.
Discrete Mathematics in Computer Science.
Systems and Data Security.
Computer System Implementation.
System analysis