Groote, Jan Friso.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
Logic Gates, Circuits, Processors, Compilers and Computers
by:
SpringerLink (Online service); Watkins, Adam.; Schmaltz, Julien.; Groote, Jan Friso.; Morel, Rolf.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
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 = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I /
by:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I /
by:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(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 = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II /
by:
Groote, Jan Friso.; Larsen, Kim Guldstrand.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II /
by:
SpringerLink (Online service); Larsen, Kim Guldstrand.; Groote, Jan Friso.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Computer organization.
Computer engineering.
Formal methods (Computer science)
Computer logic.
Computer networks .
Artificial intelligence.
Software engineering.
Theory of Computation.
Logic in AI.
Microprogramming .
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Compilers (Computer programs).
Computer Engineering and Networks.
Computer and Information Systems Applications.
Application software.
Information Systems and Communication Service.
Logic programming.
Artificial Intelligence.
Control Structures and Microprogramming.
Computer science.
Computers.
Software engineering
Computer hardware.
Computer Hardware.