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]

主題

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.