Groote, Jan Friso.

概要

作品:	0 作品在 1 項出版品 1 種語言

書目資訊

Logic Gates, Circuits, Processors, Compilers and Computers by: SpringerLink (Online service); Watkins, Adam.; Schmaltz, Julien.; Groote, Jan Friso.; Morel, Rolf. (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品)

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) (書目-語言資料,印刷品) , [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 = 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) (書目-語言資料,印刷品) , [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. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題

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