Huisman, Marieke.
概要
| 作品: | 4 作品在 5 項出版品 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)
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022 : proceedings /
by:
Huisman, Marieke.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Groote, Jan Friso.
(書目-語言資料,印刷品)
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]
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
SpringerLink (Online service); Huisman, Marieke.; Workshop on the Preservation of Stability under Discretization ((2001 :); Abraham, Erika.
(書目-語言資料,印刷品)
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
SpringerLink (Online service); Ábrahám, Erika.; Huisman, Marieke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
Zhan, Naijun.; Huisman, Marieke.; SpringerLink (Online service); Păsăreanu, Corina.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings /
by:
Păsăreanu, Corina.; SpringerLink (Online service); Zhan, Naijun.; Huisman, Marieke.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods for Industrial Critical Systems = 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings /
by:
Huisman, Marieke.; SpringerLink (Online service); Groote, Jan Friso.
(書目-語言資料,印刷品)
, [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 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)
(書目-語言資料,印刷品)
Formal techniques for distributed objects, components, and systems = 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
by:
Huisman, Marieke.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Ravara, Antonio.
(書目-語言資料,印刷品)
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]
更多
較少的
主題
Artificial intelligence.
Computer network protocols
Software engineering.
Theory of Computation.
Logics and Meanings of Programs.
Computer and Information Systems Applications.
Application software.
Data Structures, Cryptology and Information Theory.
Computers.
Computing Methodologies.
Data Structures and Information Theory.
Computer logic.
Computer networks .
System Performance and Evaluation.
Computers, Special purpose.
Data structures (Computer science).
Computer Science.
Computer simulation.
Special purpose computers.
Special Purpose and Application-Based Systems.
Electronic data processing
Computing Milieux.
Computer science.
Computer software
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer engineering.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Software engineering
Programming Languages, Compilers, Interpreters.
System analysis
Compilers (Computer programs).
Software Engineering.
Software Engineering/Programming and Operating Systems.
The Computing Profession.
Compilers and Interpreters.
Computer Engineering and Networks.
System design
Simulation and Modeling.
Computer system failures.
Computer Hardware.
Computer hardware.
Programming languages (Electronic computers).