Поисковый запрос: (<.>R=50.05$<.>) |
Общее количество найденных документов : 100
Показаны документы с 1 по 10 |
|
1. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-10892 - кх. 649.7 B 28
Barwise, Jon. The Language of first-order LOGIC: including the Macintosh version of TARSKI'S WORLD 4.0 / J. Barwise, J. Etchemendy. - 3 ed., Rev. & Expanded. - Stanford,California : [s. n.], 1993. - 313 c. + 1 эл. гиб. диск. - (Center for the Study of Language and Information. Lecture notes ; n 23). - ISBN 0-937073-99-7 : 150.00 р. Ind.: c. 304-313ББК 649.732-018.12я05 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ--ДИСКЕТЫ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
2. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12152 - кх. З97 B 92
Buckley, James J.. Simulating Fuzzy Systems : монография / J. J. Buckley. - [Berlin] : Springer, 2005. - XII, 208 с. : ил., табл. - (Studies in Fuzziness and Soft Computing ; vol. 171). - Библиогр. в конце глав. - Указ.: с. 205-208. - ISBN 3-540-24116-7 : 2743.00 р.ББК З973 Рубрики: РАДИОЭЛЕКТРОНИКА--ПРОГРАММИРОВАНИЕ--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
3. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12513 - кх. З97 C 77
Cooke, John (1947-). Constructing Correct Software : монография / J. Cooke. - Second Ed. - London : Springer, 2005. - XXI, 509 p. - Библиогр.: с. 501-502. - Указ.: с. 503-509. - Прил.: с. 473-499. - ISBN 1-85233-820-2 : 361.00 р.ББК З973.2 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--ЯЗЫКИ ПРОГРАММИРОВАНИЯ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
4. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12294 - кх. З97 E 56
Enhancing the Power of the Internet : научное издание / ed. M. Nikravesh [et al.]. - Berlin [et al.] : Springer, 2004. - VIII, 406 с. : ил., табл. - (Studies in Fuzziness and Soft Computing ; vol. 139). - Библиогр. в конце глав. - ISBN 3-540-20237-4 : 2161.00 р.ББК З971.35 Рубрики: РАДИОЭЛЕКТРОНИКА--ПРОГРАММИРОВАНИЕ--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--КОМПЬЮТЕРНЫЕ СЕТИ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
5. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12255 - кх. З97 G 88
Gross, Hans-Gerhard. Component-Based Software Testing with UML : научное издание / H. -G. Gross. - [Berlin] : Springer, 2005. - XVIII, 316 p. : ил. - Библиогр.: с. 297-305. - Указ.: с. 307-316. - ISBN 3-540-20864-X : 1870.00 р. Слов.: с. 285-295ББК З973 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
6. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12241 - кх. З97 H 25
Hardening Linux : научное издание / J. H. Terpstra [et al.]. - New York [et al.] : McGraw-Hill, 2004. - XXXII, 404 с. : ил. - Указ.: с. 391-404. - ISBN 0-07-225497-1 : 1195.00 р.ББК З972.11 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ--СИСТЕМНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
7. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12295 - кх. З97 I 64
Innovations in Intelligent Systems : научное издание / ed. A. Abraham [et al.]. - Berlin [et al.] : Springer, 2004. - XXV, 468 с. : ил., табл. - (Studies in Fuzziness and Soft Computing ; vol. 140). - Библиогр. в конце глав. - Указ.: с. 457-462. - ISBN 3-540-20265-X : 3908.00 р.ББК З97 Рубрики: РАДИОЭЛЕКТРОНИКА--ПРОГРАММИРОВАНИЕ--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
8. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-12528 - кх. З97 M 44
Mclver, Annabelle. Abstraction, Refinement and Proof for Probabilistic Systems : научное издание / A. Mclver, C. Morgan. - [New York] : Springer, 2005. - XIX, 383 p. : ил. - (Monographs in Computer Science). - Библиогр.: с. 345-355. - Указ.: с. 357-383. - Прил.: с. 313-344. - ISBN 0-387-40115-6 : 361.00 р.ББК З973 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
9. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: И-13126 - кх. З97 R 29
Raymer, Michael G.. The Silicon Web: Physics for the Internet Age : монография / M. G. Raymer. - New York ; London : Taylor & Francis, 2009. - XXV, 571 p. : il. - Указ.: с. 565-571. - ISBN 978-1-4398-0311-0 : 2064.00 р.ББК З97 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
10. ![](/WEBIRBIS/irbis64r_11/images/printer.jpg)
| Инвентарный номер: 215892 - кх. З97 U 55
Unix и Linux. Руководство системного администратора : переводное издание / Э. Немет [и др.]. - 4-е изд. - Москва ; Санкт-Петербург ; Киев : Издательский дом "Вильямс", 2012. - 923, [1] с. - Предм. указ.: с. 1291-1303. - Пер. изд. : Unix and Linux System administration handbook / E. Nemeth. - Fourth ed. - Boston [et al.], 2011. - ISBN 978-5-8459-1740-9 : 1454.09 р.ББК З97 Рубрики: РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--ПРОГРАММИРОВАНИЕ
Для заказа издания воспользуйтесь услугами МБА Найти похожие
|
|
|