Electronic Documents Search

Documents found: 79

Creators	Shapiro Ehud Y.
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2004
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информатика; Вычислительные машины электронные персональные — Программы; MIT Press eBooks Library
UDC	004.422.8
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335

The configuration space method for kinematic design of mechanisms

Creators	Sacks Elisha; Joskowicz Leo
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2010
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Кинематика; Машиностроение; Информатика; Робототехнические системы; конфигурационное пространство; MIT Press eBooks Library
UDC	621; 004; 621.865.8
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267366

The AI business: the commercial uses of artificial intelligence

Other creators	Winston Patrick Henry; Prendergast Karen A.
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 1986
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Искусственный интеллект; Роботы; Информатика; MIT Press eBooks Library
UDC	004.8; 621.865.8
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267358

Современные технологии в теории и практике программирования: сборник материалов конференции, 24 апреля 2018 г.

Other creators	Дробинцев Павел Дмитриевич; Котляров Всеволод Павлович
Organization	"Современные технологии в теории и практике программирования", научно-практическая конференция (2018; Санкт-Петербург); Санкт-Петербургский политехнический университет Петра Великого; Санкт-Петербургский центр разработок Dell EMC; ЕPAМ
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2018
Collection	Конференции; Общая коллекция
Subjects	Информационные технологии; Информатика
UDC	004(063)
Document type	Other
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/i18-143
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 5.9 Mb

Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. — Т. 10, № 3. – 2017.

Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2017
Collection	Общая коллекция
Subjects	Информатика; Телекоммуникации; Автоматическое управление
UDC	621.391(051); 681.5(051); 004(051)
Document type	Other
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 13.1 Mb

Neural network learning and expert systems

Creators	Gallant Stephen I.
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press: A Bradford book, 1993
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информатика; Нейронные сети; MIT Press eBooks Library
UDC	004.032.26
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267393

Информатика и кибернетика (ComCon - 2017): сборник докладов студенческой научной конференции Института компьютерных наук и технологий, 3-8 апреля 2017 г.

Other creators	Заборовский Владимир Сергеевич; Вербова Наталья Михайловна; Черноруцкий Игорь Георгиевич; Устинов Сергей Михайлович
Organization	"Информатика и кибернетика (ComCon - 2017)", студенческая научная конференция Института компьютерных наук и технологий (2017; Санкт-Петербург); Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2017
Collection	Конференции; Общая коллекция
Subjects	Информатика; Кибернетика
UDC	004(063); 007(063)
LBC	74.484.7(2-2СПб)я431
Document type	Other
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/i17-393
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 19.7 Mb

The logic of knowledge bases

Creators	Levesque Hector J.; Lakemeyer Gerhard
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2001
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информации теория; Информатика; Математическая логика; MIT Press eBooks Library
UDC	621.391; 004
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409

Dynamic logic

Creators	Harel David; Kozen Dexter; Tiuryn Jerzy
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2000
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информатика; динамическая логика; MIT Press eBooks Library
UDC	004; 510.643.5
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400

Proof, language, and interaction: essays in honour of Robin Milner

Other creators	Plotkin Gordon; Stirling Colin P.; Tofte Mads
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2000
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Программирования языки; Информатика; MIT Press eBooks Library
UDC	004.438; 004
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426