Languages
Droste, Manfred.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Algebraic Informatics = 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings /
by:
Droste, Manfred.; Pin, Jean-Éric.; Ćirić, Miroslav.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Groups, modules, and model theory - surveys and recent developments = in memory of Rudiger Gobel /
by:
SpringerLink (Online service); Droste, Manfred.
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Handbook of weighted automata
by:
SpringerLink (Online service); Vogler, Heiko.; Kuich, Werner.; Droste, Manfred.
(Language materials, printed)
Subjects
Computer science—Mathematics.
Computer logic.
Algorithm Analysis and Problem Complexity.
Numerical analysis.
Artificial intelligence.
Information theory.
Coding and Information Theory.
Computer Communication Networks.
Software engineering.
Group theory.
Logic in AI.
Data Structures.
Mathematics of Computing.
Data structures (Computer science).
Computer Science.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Algorithms.
Logics and Meanings of Programs.
Special purpose computers.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Mathematics.
Group Theory and Generalizations.
Coding theory.
Special Purpose and Application-Based Systems.
Discrete Mathematics in Computer Science.
Machine theory
Numeric Computing.
Computation by Abstract Devices.
Modules (Algebra)
Software Engineering.