Languages
Beyer, Dirk.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part I /
by:
TACAS (Conference) (2018 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service); ETAPS (Conference) (2018 :)
(Electronic resources)
Tests and proofs = 13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
by:
Beyer, Dirk.; Keller, Chantal.; SpringerLink (Online service); TAP (Conference) (2019 :)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.. Part III /
by:
Beyer, Dirk.; SpringerLink (Online service); TACAS (Conference) (2019 :); ETAPS (Conference) (2019 :)
(Electronic resources)
Markovian demand inventory models
by:
Beyer, Dirk.; SpringerLink (Online service)
(Language materials, printed)
Verification, model checking, and abstract interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings /
by:
VMCAI (Conference) (2020 :); Beyer, Dirk.; Zufferey, Damien.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II /
by:
TACAS (Conference) (2018 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service); ETAPS (Conference) (2018 :)
(Electronic resources)
Subjects
Inventories.
Operations Research/Decision Theory.
Data Structures, Cryptology and Information Theory.
Computing Methodologies.
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Markov processes.
Probability Theory and Stochastic Processes.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Production/Logistics.
Computing Milieux.
Data Structures.
Inventory control- Mathematical models.
System design
Programming Languages, Compilers, Interpreters.
Computer software- Testing
Engineering Economics, Organization, Logistics, Marketing.
The Computing Profession.
Economics/Management Science.
Mathematical Modeling and Industrial Mathematics.
Computer software- Verification
Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Simulation and Modeling.
Industrial and Production Engineering.
System analysis