語系
Beyer, Dirk.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); Huisman, Marieke.; Beyer, Dirk.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal techniques for distributed systems = Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
by:
SpringerLink (Online service); Boreale, Michele.; Beyer, Dirk.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
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:
Huisman, Marieke.; Beyer, Dirk.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
Huisman, Marieke.; Beyer, Dirk.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
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.; Huisman, Marieke.; Kordon, Fabrice.; Steffen, Bernhard.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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:
SpringerLink (Online service); Keller, Chantal.; Beyer, Dirk.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings /
by:
Beyer, Dirk.; Zufferey, Damien.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Artificial intelligence.
Software engineering.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Data Structures, Cryptology and Information Theory.
Computers.
Computing Methodologies.
System analysis
Programming Languages, Compilers, Interpreters.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Computer logic.
System Performance and Evaluation.
Logic in AI.
The Computing Profession.
Data Structures.
Data structures (Computer science).
Computer Science.
Computer simulation.
System design
Electronic data processing
Simulation and Modeling.
Computing Milieux.
Computer system failures.
Computer Hardware.
Computer hardware.
Programming languages (Electronic computers).
Computation by Abstract Devices.
Computer software