Machine theory.
概要
| 作品: | 81 作品在 20 項出版品 20 種語言 | |
|---|---|---|
書目資訊
Theory of computation simplified = simulate real-world computing machines and problems with strong principles of computation /
by:
(書目-語言資料,印刷品)
Rewriting Logic and Its Applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2022 Satellite Events = Hersonissos, Crete, Greece, May 29 – June 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Open Semantic Technologies for Intelligent Systems = 11th International Conference, OSTIS 2021, Minsk, Belarus, September 16–18, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 22nd Workshop, CLSW 2021, Nanjing, China, May 15–16, 2021, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Exploring Formalisation = A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology /
by:
(書目-語言資料,印刷品)
Knowledge Engineering and Knowledge Management = 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26–29, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(書目-語言資料,印刷品)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Formal languages, automata and numeration systems. DUP_1. 1,. Introduction to combinatorics on words
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 26th International Conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 30th International Conference, ILP 2021, Virtual Event, October 25–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 14th International Conference, AGI 2021, Palo Alto, CA, USA, October 15–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Metadata and Semantic Research = 15th International Conference, MTSR 2021, Virtual Event, November 29 – December 3, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language, Logic, and Computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automata Theory and Formal Languages = Fundamental Notions, Theorems, and Techniques /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Formal languages, automata and numeration systems. DUP_1. 2,. Applications to recognizability and decidability
by:
(書目-語言資料,印刷品)
Formal languages, automata and numeration systems.. 1,. Introduction to combinatorics on words
by:
(書目-語言資料,印刷品)
Formal languages, automata and numeration systems.. 2,. Applications to recognizability and decidability
by:
(書目-語言資料,印刷品)
Machine Learning Models and Algorithms for Big Data Classification = Thinking with Examples for Effective Learning /
by:
(書目-語言資料,印刷品)
更多
較少的
主題