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]

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

Computer organization. Computer engineering. Formal methods (Computer science) Artificial intelligence. Software engineering. Theory of Computation. Computer Systems Organization and Communication Networks. Computer and Information Systems Applications. Application software. Artificial Intelligence. Computers. Software engineering Programming Languages, Compilers, Interpreters. Compilers (Computer programs). Software Engineering. Computer logic. Computer networks . Logic in AI. Microprogramming . Compilers and Interpreters. Computer Engineering and Networks. Information Systems and Communication Service. Logic programming. Control Structures and Microprogramming. Computer science. Computer hardware. Computer Hardware. Programming languages (Electronic computers).