Beyer, Dirk.
概要
| 作品: | 2 作品在 7 項出版品 1 種語言 | |
|---|---|---|
書目資訊
TOOLympics challenge 2023updates, results, successes of the formal-methods competitions /
by:
(1998 :); Beyer, Dirk.; Hartmanns, Arnd.; Kordon, Fabrice.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems24th 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:
(1998 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems24th 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:
(1998 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service)
(書目-電子資源)
Fundamental approaches to software engineering27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings /
by:
(1998 :); Beyer, Dirk.; Cavalcanti, Ana.; SpringerLink (Online service)
(書目-電子資源)
Tests and proofs13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings /
by:
(1998 :); Beyer, Dirk.; Keller, Chantal.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract interpretation21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings /
by:
(1998 :); Beyer, Dirk.; SpringerLink (Online service); Zufferey, Damien.
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part III /
by:
(1998 :); Beyer, Dirk.; SpringerLink (Online service)
(書目-電子資源)
主題
Operations Research/Decision Theory.
Inventories.
Data Structures, Cryptology and Information Theory.
Computing Methodologies.
Mathematical Logic and Formal Languages.
Software engineering
Software Engineering.
Theory of Computation.
Natural Language Processing (NLP)
Probability Theory and Stochastic Processes.
Markov processes.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Production/Logistics.
Computer software
Computing Milieux.
Data Structures.
Operating Systems.
Control Structures and Microprogramming.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Computer Science Logic and Foundations of Programming.
Engineering Economics, Organization, Logistics, Marketing.
Inventory control
The Computing Profession.
Economics/Management Science.
Mathematical Modeling and Industrial Mathematics.
Computer Science.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Simulation and Modeling.
Computer System Implementation.
Industrial and Production Engineering.
System analysis