語系
Mayr, Ernst W.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer Algebra in Scientific Computing : = 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings
by:
Ganzha, Victor G.; Mayr, Ernst W.; Vorozhtsov, Evgenii V.; SpringerLink (Online service); International Workshop on Computer Algebra in Scientific Computing (2005 :)
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers /
by:
Mayr, Ernst W.; SpringerLink (Online service)
(書目-電子資源)
Lectures on proof verification and approximation algorithms
by:
Mayr, Ernst W.; Promel, Hans Jurgen.; Steger, Angelika.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings /
by:
Ablayev, Farid.; Mayr, Ernst W.; SpringerLink (Online service); International Computer Science Symposium in Russia (2010 :)
(書目-語言資料,印刷品)
主題
Computer algorithms.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computation by Abstract Devices.
Data Structures.
Computer Graphics.
Algorithms.
Approximation theory.
Automatic theorem proving.
Information theory- Congresses.
Computer security
Computers- Access control
Computer science
Computer Science.
Discrete Mathematics in Computer Science.
Math Applications in Computer Science.
Graph theory- Data processing
Symbolic and Algebraic Manipulation.
Geometry.