The National Library of Georgia Home - About Library - E-Resources 
NPLG Online Catalogs  | Help | Feedback |
 
English   Georgian 
Search Thematic Catalogue Search history  Change Database 
Thematic Catalogue   New Search Browse
Database:GFB - Books in foreign language Display Format 
Records:125,292

By Universal Decimal Classification (UDC)

Basic Subjects
Applied sciences.Medicine.Technology.  --  6*
Industries,crafts and trades for finished or assembled articles.  --  68*
Precision mechanisms and instruments.  --  681*
Automatic control technology. Smart technology.Incl. Control systems. Control techniques. Controlequipment. Cybernetic and automation technology.  --  681.5*
Records Found 5 records.
  1. Fractals, applied synergetics and structure design / Ed.: V. S. Ivanova, V. U. Novikov, A. A. Oksogoev ; [Contrib.: S. P. Buyakova, O. A. Chudnova, P. K. Galenko et al.]. - New York : Nova Science publ., [2005]. - xiii, 249 p. : tab. ; 25 cm.см.. - Bibliogr. after chapt.. - ISBN 1-59033-964-9[MFN: 11032]

    UDC: 007.2 + 681.511.4

    Ivanova, V. S. (ed.); 

    Subjects:
    - სინერგეტიკა; არაწრფივი სისტემები;

    E 19.085/4 - General Stock

     

    * Double: Fractals, applied synergetics and structure design

     

  1. Бакаев, А.А.

    Имитационные методы и модели исследования материальных потоков логистических систем / А.А. Бакаев, В.И. Гриценко, И.С. Сакунова. - Киев : Логос, 2009. - 21с. ; 20см.см.. - Библиогр.: с. 208-210. - ISBN 978-966-171-160-9[MFN: 25894]

    UDC: 510.63 + 681.51 + 330.342

    Гриценко, В.И. (авт.);  Сакунова, И.С. (авт.); 

    Subjects:
    - ლოგისტური სისტემები; რთული სისტემები; ეკონომიკური სისტემები;

    R 2.349.633/3 - General Stock

     

    * Double: Имитационные методы и модели исследования материальных потоков логистических систем

     

  1. Донецький Нац. Тех. Ун-т

    Науковi працi Донецького Нацiонального Технiчного Унiверситету / М-во Освiти i науки Украiни ; [Ред. кол. Е.О. Башков et al.]]. - Донецьк, 2002. - 248 p. ; 20 cm.см.. - (Проблеми моделювання та автоматизацii проектування динамiчних систем ; Вип. 52). - Bibliogr. after chap.. - ISBN 966-8248-03-1, 150 cop.[MFN: 26900]

    UDC: 681.51.033

    Аноприенко, А.Я. (авт.);  Kohler, R. (авт.);  Gilles E.D. (авт.);  Потапенко, В.А. (авт.);  Солонин, А.Н. (авт.);  Джон, С.Н. (авт.);  Павлыш, В.Р. (авт.);  Дацун, Н.Н. (авт.);  Поляков, С.А. (авт.);  Барашко, А.С. (авт. [et al.]);  Башков, Е.О. (гл. ред.); 
    М-во Освiти i науки Украiни

    Subjects:
    - დინამიური სისტემები;

    U 337 - General Stock

     

    * Double: Науковi працi Донецького Нацiонального Технiчного Унiверситету

     

  1. Старiш, О.

    Теорiя вiдкритих систем як парадигма процесiв глобального процесiв глобального розвитку / О. Старiш ; [За ред. I.Д. Пасiчника ; Перекл. з росiйськоi Л.А. Черухи] ; Нац. ун-т "Острозька Академiя". - Сiмферополь : Унiверсум, 2003. - 239 p. ; 20 cm.см.. - Bibliogr.: p. 221-237. - ISBN 966-8048-02-4, 500 cop.[MFN: 26922]

    UDC: 681.51.01 + 502.3 + 339.924

    Пасiчник, I.Д. (ред.);  Черухи, Л.А. (перекл.); 
    Нац. ун-т "Острозька Академiя"

    Subjects:
    - ღია სისტემების თეორია; ნოოსფეროს თეორია; გლობალიზაცია;

    U 353 - General Stock

     

    * Double: Теорiя вiдкритих систем як парадигма процесiв глобального процесiв глобального розвитку

     

  1. Logic-based program synthesis and transformation : 20th intern. symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 revised selected papers / ed. Maria Alpuente. - [Berlin ; Heidelberg] : Springer, [2011]. - x, 248 p. : fig. ; 24 cm.см.. - (Lecture notes in computer science (LNCS), ISSN 0302-9743 ; 6564). - Bibliogr. after chap. a. in the text notes. - ISBN 978-3-642-20550-7; ISBN 978-3-642-20551-4[MFN: 30302]

    Content: Three syntactic theories for combinatory graph reduction/Olivier Danvy a. Ian Zerny; Analysis of air traffic track data with the autoBayes synthesis system/Johann Schumann, Karen Cate, a. Alan Lee; Proving with ACL2 the correctness of simplicial sets in the Kenzo system/Jonathan Heras, Vico Pascual, a. Julio Rubio; Graph generation to statically represent CSP processes/Marisa Llorens, Javier Oliver, Josep Silva, a. Salvador Tamarit; Verification of the Schorr-Waite algorithm - from trees to graphs/Mathieu Giorgino, Martin Strecker, Ralph Matthes, a. Marc Pantel [et al.]

    UDC: 004 + 004.312 + 681.51 + 519.1 + 519.6

    Alpuente, Maria (ed.);  Kutsia, Temur (conference chair); 

    Subjects:
    - ინფორმაციული ტექნოლოგიები; კომპიუტერული პროგრამები; ლოგიკური პროგრამები; კომბინატორული ანალიზი; ალგორითმები;

    E 27.166/4 - General Stock
    E 27.167/4 - General Stock

     

    * Double: Logic-based program synthesis and transformation