Finkbeiner, Bernd.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
by:
Pu, Geguang.; Zhang, Lijun.; Workshop on the Preservation of Stability under Discretization ((2001 :); Finkbeiner, Bernd.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /
by:
Cégielski, Patrick.; Finkbeiner, Bernd.; Droste, Manfred.; Blass, Andreas.; SpringerLink (Online service); Dershowitz, Nachum.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
SpringerLink (Online service); Finkbeiner, Bernd.; Zhang, Lijun.; Pu, Geguang.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings /
by:
Wies, Thomas.; SpringerLink (Online service); Finkbeiner, Bernd.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
SpringerLink (Online service); Mariani, Leonardo.; Finkbeiner, Bernd.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Fields of Logic and Computation II = Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
SpringerLink (Online service); Beklemishev, Lev D.; Blass, Andreas.; Dershowitz, Nachum.; Finkbeiner, Bernd.; Schulte, Wolfram.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Automatic theorem proving
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Logic in AI.
Theory of Computation.
Data Structures.
Data structures (Computer science).
Computer Science.
Computer programming.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Mathematical Logic and Foundations.
Special purpose computers.
Computer communication systems.
Artificial intelligence
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer science.
Computer system failures.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.