Languages
Baier, Christel.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Validation of stochastic systems = a guide to current research /
by:
SpringerLink (Online service); Baier, Christel.
(Language materials, printed)
Principles of model checking
by:
Baier, Christel.; Katoen, Joost-Pieter.; NetLibrary, Inc.
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Systems and Data Security.
Computer System Implementation.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
The Computing Profession.
Architecture, Computer.
Computer Science.
Logics and Meanings of Programs.
Algorithms.
Mathematical Logic and Formal Languages.
Stochastic analysis.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Electronic data processing
Computer systems
Computer system failures.
Computers.
Operating systems (Computers).
Software engineering
Discrete Mathematics in Computer Science.
Stochastic systems.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.
Computer software
Computation by Abstract Devices.
Software Engineering.
Stochastic processes.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
System Performance and Evaluation.