Languages
Mayr, Ernst W.
Overview
Works: | 0 works in 1 publications in 1 languages |
---|
Titles
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)
(Electronic resources)
Lectures on proof verification and approximation algorithms
by:
Mayr, Ernst W.; Promel, Hans Jurgen.; SpringerLink (Online service); Steger, Angelika.
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
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.
(Electronic resources)
Subjects
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.