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