語系
Droste, Manfred.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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]
Handbook of weighted automata
by:
SpringerLink (Online service); Vogler, Heiko.; Kuich, Werner.; Droste, Manfred.
(書目-語言資料,印刷品)
主題
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.