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]
主題
Mathematical logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer programming.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Mathematical Logic and Foundations.
Artificial intelligence
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Automatic theorem proving
System Performance and Evaluation.
Logic in AI.
Data Structures.
Data structures (Computer science).
Computer Science.
Special purpose computers.
Computer communication systems.
Special Purpose and Application-Based Systems.
Computer science.
Computer system failures.
Programming languages (Electronic computers).