Language: English

Login

Languages

English (5)

Covers

Jump To : Overview | Titles | Subjects

Huisman, Marieke.

Overview

Works:	4 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 II / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Beyer, Dirk.; Huisman, Marieke.; SpringerLink (Online service) (Language materials, printed)

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. (Language materials, printed)

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. (Language materials, printed) , [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. (Language materials, printed)

Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by: SpringerLink (Online service); Ábrahám, Erika.; Huisman, Marieke. (Language materials, printed) , [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. (Language materials, printed) , [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. (Language materials, printed) , [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. (Language materials, printed) , [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) (Language materials, printed) , [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) (Language materials, printed)

Show more

Subjects

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).

Change password

Login