Beckmann, Arnold.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Crossroads of computability and logicinsights, inspirations, and innovations : 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025 : proceedings /
by:
(1998 :); Beckmann, Arnold.; Manea, Florin.; Oitavem, Isabel.; SpringerLink (Online service)
(書目-電子資源)
Evolving computability11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(1998 :); Beckmann, Arnold.; Mitrana, Victor.; Soskova, Mariya.; SpringerLink (Online service)
(書目-電子資源)
Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(1998 :); Beckmann, Arnold.; Dimitracopoulos, Costas.; Lowe, Benedikt.; SpringerLink (Online service)
(書目-電子資源)
Pursuit of the universal12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(1998 :); Beckmann, Arnold.; Bienvenu, Laurent.; Jonoska, Natasa.; SpringerLink (Online service)
(書目-電子資源)
Language, life, limits10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(1998 :); Beckmann, Arnold.; Csuhaj-Varju, Erzsebet.; Meer, Klaus.; SpringerLink (Online service)
(書目-電子資源)
Logical Approaches to Computational BarriersSecond Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /
by:
(1998 :); Beckmann, Arnold.; SpringerLink (Online service)
(書目-電子資源)
主題
Computing Methodologies.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Bioinformatics.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Algorithms
Computation by Abstract Devices.
Computable functions.
Algorithms.
Computable functions
Computational intelligence
Computer science
Formal Languages and Automata Theory.
Computer Science.
Logic, Symbolic and mathematical
Design and Analysis of Algorithms.
Computational Biology/Bioinformatics.