Бази даних

Книжкові видання та компакт-диски - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Наукова електронна бібліотека (8)Автореферати дисертацій (11)Реферативна база даних (359)Журнали та продовжувані видання (10)
Пошуковий запит: (<.>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

Рубрики:




Видання зберігається у :
Основний фонд

...
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського