Пошуковий запит: (<.>U=З815$<.>) |
Загальна кількість знайдених документів : 194
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | ІВ219730
Aladjev, Victor Zakhar. Classical homogeneous structures: mathematical theory and applications [Text] / V. Z. Aladjev, D. S. Grinn, V. A. Vaganov ; Intern. acad. of Noosphere. - Kherson : Oldi-Plus, 2014. - 520 p. : fig., tab. - Рез.: рос. - Бібліогр.: с. 476-515. - ISBN 978-966-289-035-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | Глушков В.М./ІР15
Arbib, Michael A.. A common framework for automata theory and control theory [Text] / Michael A. Arbib. - [S. l.] : [s. n.], [1965]. - [15] p. - Бібліогр.: с. 222 Відбиток з : Control/ J.Siam. - 1965. - Ser. A, Vol. 3, No.2. - p. 206-222
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ІВ213720
Barkalov, A. A. Applied theory of digital automata [Text] / Barkalov A. A., Titarenko L. A. ; Donetsk nat. technical univ. - Donetsk : UNITECH, 2010. - 312 p. : fig., tab. - (Computer science and technologies). - 500 прим. - ISBN 978-966-8248-27-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | ІВ214056
Barkalov, A. A. Synthesis of operational and control automata [Text] / A. A. Barkalov, L. A. Titarenko ; Donetsk national technical university. - Donetsk : TechPark DonNTU UNITECH , 2009. - 254 p. : fig. - Бібліогр.: с. 247-252 . - 500 прим. - ISBN 966-8248-03-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ІВ211423
Barkalov, A. A.. Synthesis of operational and control automata [Text] / A. A. Barkalov, L. A. Titarenko ; Donetsk National Technical University. - Donetsk : UNITECH, 2009. - 256 p.: fig. - ISBN 966-8248-03-01
Рубрики:
Видання зберігається у :
| |
|
| | |
|
6. | Глушков В. М./ІР47 (конв. 1-2.1)
Brzozowski , J. A. On the linearity [Текст] / J. A. Brzozowski, W. A. Davis. - [S. l.] : [S. n.], [1964]. - [7] l. : fig. - Бібліогр. в кінці ст. Фотовідбиток з : IEEE transactions on electronic computers. - 1964. - P.673-679. - [Конв. 1]
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | Глушков В.М./ІВ73
Clingman, W. H. Algebraic analysis of goal-seeking system [Text] / W. H. Clingman ; Texas instruments incorporated. - [S. l.] : [s. n.], [19--?]. - 12 l. - Бібліогр.: с. 12
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | ІВ220814
Daciuk, Jan. Optimization of automata [Text] / Jan Daciuk ; University of technology (Gdańsk). - Gdańsk : Wydawnictwo Politechniki Gdańskiej, 2014. - 227 s. - Бібліогр.: с. 221-224. - ISBN 978-83-7348-564-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | Глушков В.М./ІВ72
Fogel, Lawrence. Toward inductive inference automata [Text] / Lawrence J. Fogel. - San Diego, California : [s. n.], [19--?]. - 12 l. ; [2] l. : fig. - Бібліогр.: с. 12
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
10. | Глушков В.М./ІВ49
Gill, Arthur. Introduction to the theory of finite-state machines [Text] / Arthur Gill. - New York[etc.] : McGraw-Hill Book Co., [1962]. - XI, 207 p. : fig., tab. - (MacGraw-Hill electronic sciences series). - Бібліогр.: с. 199-202 На обкл. зазнач. назва сер.
Видання зберігається у :
Основний фонд
| |
|
| | |
|
11. | Глушков В.М./ІР21
Gluskov, V. M. Az automaták absztrakt elmélete (II) [Text] / V. M. Gluskov. - [S. l.] : [s. n.], [1964]. - [40] o. Különlenyomat : A Magyar tudományos akadémia, III. (Matematikai és fizikai) osztályának közleményeiből. 1964.- Köt. 14, sz. 1. - o. 71-110. З дарчим написом
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | ІС13692
Größer, Marcus Thomas. Reduction methods for probabilistic model checking [Text] : diss. / M. T. Größer ; Technischen Universität Dresden. Fakultät Informatik. - Dresden : [б.в.], 2008. - VIII, 123 p.: fig. - Бібліогр.: p. 113-123
Рубрики:
Видання зберігається у :
| |
|
| | |
|
13. | В276985/Vol. A.2
Lisovyk, Leonid Petrovych The formal languages and transducers [Text] / L. P. Lisovyk. - Kiev : Phoenix, 2009 . Vol. A.2 : Algebra and automata. - 2009. - 464 p. - Бібліогр.: P.448-460. - ISBN 987-966-651-670-4. - ISBN 978-966-651-671-1 (Vol.A). - ISBN 978-966-651-672-8 (Book 2)
Рубрики:
Видання зберігається у :
| |
|
| | |
|
14. | ІВ223977
Logic synthesis for FPGA-based finite state machines [Text] : monogr. / O. O. Barkalov, L. O. Titarenko, R. M. Babakov, A. V. Baiev ; Vasyl' Stus Donetsk nat. univ. - Vinnitsya : DonNU Vasyl' Stus, 2016. - 194 p. : fig. - Бібліогр. в кінці глав. - 300 прим. - ISBN 978-966-924-431-4
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | Глушков В. М./ІВ54
Marcus, Solomon. Gramatici şi automate finite [Text] / Solomon Marcus. - [Bucureşti] : Ed. acad. Rep. Populare Romîne, 1964. - 255 с. : fig. - Бібліогр.: с. 237-255 З дарчим написом
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | Глушков В.М./ІР18
McCarthy, John. [Лист академику В. М. Глушкову] [Text] / John McCarthy. - [Stanford, California] : [Stanford univ.], [1966]. - [4] l. Лист акад. Глушкову : John McCarthy, professor of computer science / Stanford univ., Computer science dep. - Stanford, California. - March 24, 1966
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | Глушков В.М./ІВ26
Neumann, John (von). Theory of self-reproducing automata [Text] / John von Neumann ; ed. a. compl. by Arthur W. Burks. - Urbana ; London : Univ. of Illinois press, 1966. - XIX, 388 p. : fig. - Бібліогр.: с. 297-302
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | Глушков В.М./ІР44
Post, Emil L.. Recursive unsolvability of a problem of thue [Text] / Emil L. Post. - [S. l.] : [Association for symbolic logic], [1947]. - [8] l. - Бібліогр.: с. 11 Фотокопія відбитка з : The journal of symbolic logic / Assoc. for symbolic logic. - Vol. 12, nr 1. - March 1947. - p. 1-11
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | Глушков В.М./ІВ67
Salomaa, Arto. Theory of automata [Text] / Arto Salomaa. - Oxford[etc.] : Pergamon press, 1969. - XII, 263 p. : fig. - (International series of monographs in Pure and applied mathematics ; vol. 100). - Бібліогр.: с. 247-252
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | Глушков В.М./ІВ44
Sequential machines [Text] : selected papers / by Arthur W. Burks [et al.] ; ed. by Edward F. Moore. - Reading, Massachusetts[etc.] : Addison-Wesley publishing company, 1964. - V, 266 p. : fig., tab. - (Addison-Wesley series in computer science and information processing). - Бібліогр.: с. 242-244
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |