Machine theory.
概要
| 作品: | 67 作品在 18 項出版品 18 種語言 | |
|---|---|---|
書目資訊
The recursive universe : = cosmic complexity and the limits of scientific knowledge /
by:
(書目-語言資料,印刷品)
Automata theory and formal languages = fundamental notions, theorems, and techniques /
by:
(書目-電子資源)
Theory is forever = essays dedicated to Arto Salomaa on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning Models and Algorithms for Big Data Classification = Thinking with Examples for Effective Learning /
by:
(書目-電子資源)
Theory of computation simplified = simulate real-world computing machines and problems with strong principles of computation /
by:
(書目-電子資源)
State-of-the-art and innovations in mechanism and machine science = a tribute to Carlos López-Cajún /
by:
(書目-電子資源)
Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor /
by:
(書目-電子資源)
Programming-based formal languages and automata theory = design, implement, validate, and prove /
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:
(書目-語言資料,印刷品)
Automata for branching and layered temporal structures = an investigation into regularities of infinite transition systems /
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:
(書目-電子資源)
更多
較少的
主題