語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Computable functions - Congresses.
概要
作品:
25 作品在 14 項出版品 14 種語言
書目資訊
Computability and complexity in analysis :4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings /
by:
(書目-電子資源)
Theory and Applications of Models of ComputationThird International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings /
by:
(書目-電子資源)
Logic and Theory of Algorithms4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings /
by:
(書目-電子資源)
New Computational ParadigmsFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings /
by:
(書目-電子資源)
Mathematical Foundations of Computer Science 200833rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008. Proceedings /
by:
(書目-電子資源)
Theory and applications of models of computation6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-電子資源)
Mathematical theory and computational practice5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings /
by:
(書目-電子資源)
Mathematical foundations of computer science 200934th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings /
by:
(書目-電子資源)
Computability and complexity in analysis4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers /
by:
(書目-電子資源)
Programs, proofs, processes6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings /
by:
(書目-電子資源)
Models of computation in context7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 : proceedings /
by:
(書目-電子資源)
How the world computesTuring Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
(書目-電子資源)
Language, life, limits10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014 : proceedings /
by:
(書目-電子資源)
Evolving computability11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
by:
(書目-電子資源)
Pursuit of the universal12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(書目-電子資源)
Sailing routes in the world of computation14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018 : proceedings /
by:
(書目-電子資源)
Unveiling dynamics and complexity13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(書目-電子資源)
Beyond the horizon of computability16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020 : proceedings /
by:
(書目-電子資源)
Computing with foresight and industry15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019 : proceedings /
by:
(書目-電子資源)
Handbook of computability and complexity in analysis
by:
(書目-電子資源)
Connecting with computability17th Conference on Computability in Europe, CiE 2021, virtual event, Ghent, July 5-9, 2021 : proceedings /
by:
(書目-電子資源)
Revolutions and revelations in computability18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022 : proceedings /
by:
(書目-電子資源)
Unity of logic and computation19th Conference on Computability in Europe, CIE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings /
by:
(書目-電子資源)
Twenty years of theoretical and practical synergies20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8-12, 2024 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題
Mathematical analysis
Computing Methodologies.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Data Structures and Information Theory.
Mathematics of Computing.
Bioinformatics.
Machine theory
Logics and Meanings of Programs.
Logic, Symbolic and mathematical.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Algorithms
Data Structures.
Artificial Intelligence (incl. Robotics)
Management of Computing and Information Systems.
Computers.
Pattern perception.
Computable functions
Computational complexity
Algorithms.
Computer programming
Numeric Computing.
Computational intelligence
Computer science
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Discrete Mathematics in Computer Science.
Simulation and Modeling.
Math Applications in Computer Science.
Biology
Computer science.
Computational Biology/Bioinformatics.
Symbolic and Algebraic Manipulation.
Information theory
Artificial intelligence.
處理中
...
變更密碼
登入