СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ БИБЛИОТЕК БЕЛАРУСИ	История поисков

=LDR  00000cx\\a2200217\\\45\\
=001  BY-NLB-ar5221406
=005  20120615165025.5
=100  \\$a20120522arusy50\\\\\\ca0
=101  \\$arus
=102  \\$aRU
=120  \\$aba
=152  \\$apsbo$bBY-auth
=106  \\$a0
=200  \1$aВельдер$bС. Э.$gСергей Эдуардович$cпрограммист$fрод. 1984
=340  \\$aРоссийский специалист в области компьютерных технологий. Магистр прикладной математики и информатики.
=801  \0$aBY$bBY-HM0000$c20120522
=810  \\$aВерификация автоматных программ / С. Э. Вельдер [и др.]. — Санкт-Петербург, 2011.
=856  4\$uhttp://blog.savethebest.ru/wp-content/uploads/2010/08/Spravka.pdf$zСайт "Искусственный интеллект и робототехника".
=856  4\$uhttp://elibrary.ru/item.asp?id=13004137$zСайт: "elibrary.ru".
=999  \\$f3447 NLB-NDARD$t20120522
=999  \\$h3426 NLB-NDARD$t20120615