Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-8 of 8 (Search time: 0.0040 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2018An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specificationШкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль
2018Генезис інтегральних мікросхем з оптичним зв'язком на мікропотужних оптронах і їх елементахПроскурін, Микола Петрович; Proskurin, Nikolay P.; Проскурин, Николай Петрович
2018Децентралізована система підтримки обчисленьКиричек, Галина Григорівна; Рудьковський, Олексій Русланович; Тимошенко, Володимир Сергійович; Kirichek, Galina G.; Rudkovskyi, Oleksyi R.; Tymoshenko, Volodymyr S.; Киричек, Галина Григорьевна; Рудьковский, Алексей Русланович; Тимошенко, Владимир Сергеевич
2018Визначення об'єктів з використанням дерева квадрантівКиричек, Галина Григорівна; Курай, Вячеслав Іванович; Kirichek, Galina G.; Kurai, Viacheslav I.; Киричек, Галина Григорьевна; Курай, Вячеслав Иванович
2018Развитие оптических связей, микромощных оптронов и их компонентов для интерфейсов цифровых интегральных схемПроскурін, Микола Петрович; Proskurin, Nikolay P.; Проскурин, Николай Петрович
2018Тези. Генезис інтегральних схем з оптичним зв`язкомПроскурін, Микола Петрович; Proskurin, Nikolay P.; Проскурин, Николай Петрович
2018Тенденции развития облачных технологийСирота, Анатолій Васильович; Sirota, Anatoliy V.; Сирота, Анатолий Васильевич
2018Система підтримки обчислень у децентралізованих мережахКиричек, Галина Григорівна; Рудьковський, Олексій Русланович; Тимошенко, Володимир Сергійович; Kirichek, Galina G.; Rudkovskyi, Oleksyi R.; Tymoshenko, Volodymyr S.; Киричек, Галина Григорьевна; Рудьковский, Алексей Русланович; Тимошенко, Владимир Сергеевич