Biere, Armin.
概要
| 作品: | 1 作品在 2 項出版品 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:
Biere, Armin.; SpringerLink (Online service); Parker, David.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
(Language materials, printed)
, [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.; Biere, Armin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Vos, Tanja.; SpringerLink (Online service)
(Language materials, printed)
Handbook of satisfiability
by:
Maaren, Hans van.; Heule, Marijn, (1979-); Biere, Armin.
(Language materials, printed)
Subjects
Software Engineering.
Computer algorithms
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer System Implementation.
Software engineering.
Decision making
Theory of Computation.
Architecture, Computer.
Mathematics of Computing.
Computer Science.
Microprogramming .
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Artificial Intelligence (incl. Robotics)
Propositional calculus
Special Purpose and Application-Based Systems.
Control Structures and Microprogramming.
Computers.
Programming Languages, Compilers, Interpreters.
Software architecture