語系
Biere, Armin.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II /
by:
SpringerLink (Online service); Biere, Armin.; Parker, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Hardware and software = verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers /
by:
Nahir, Amir.; Vos, Tanja.; SpringerLink (Online service); Biere, Armin.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I /
by:
Biere, Armin.; SpringerLink (Online service); Parker, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer science—Mathematics.
Computer System Implementation.
Software Engineering/Programming and Operating Systems.
Software engineering.
Theory of Computation.
Mathematics of Computing.
Architecture, Computer.
Computer Science.
Microprogramming .
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Artificial Intelligence (incl. Robotics)
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computers.
Programming Languages, Compilers, Interpreters.
Software architecture