語系
Baier, Christel.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Baier, Christel.; Dal Lago, Ugo.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Validation of stochastic systems = a guide to current research /
by:
SpringerLink (Online service); Baier, Christel.
(書目-語言資料,印刷品)
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); Baier, Christel.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dal Lago, Ugo.
(書目-語言資料,印刷品)
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, Luís.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.; Workshop on the Preservation of Stability under Discretization ((2001 :); Caires, Luis.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Systems and Data Security.
Computer System Implementation.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Stochastic analysis.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computers.
Operating systems (Computers).
Software engineering
Programming Languages, Compilers, Interpreters.
Software Engineering.
Stochastic processes.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
System Performance and Evaluation.
The Computing Profession.
Architecture, Computer.
Computer Science.
Computer communication systems.
Electronic data processing
Computer systems
Computer system failures.
Discrete Mathematics in Computer Science.
Stochastic systems.
Programming languages (Electronic computers).
Computer security.
Computer software
Computation by Abstract Devices.