Полное описание
Luttik, S. P.
ГРНТИ УДК 50.39.15 004.716
Рубрики: Вычислительные машины -- Линии связи
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R9706)
Шифр в сводном ЭК: b1d4e5fe52b510c8c39c20b727a70399
Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный. Luttik S.P. Cylindric process algebras with conditionals give substitutionless pCRL / S.P.Luttik, 1999. - 16 p. - Текст : непосредственный. Luttik S.P. Complete axiomatisations of weak-, delay- and n-bisimulation for process algebras with alternative quantification over data / S.P.Luttik, 1999. - 10 p. - Текст : непосредственный. Groote J.F. Undecidability and completeness results for process algebras with alternative quantification over data / J.F.Groote,S.P.Luttik, 1998. - 20 p. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Orzan S.M. Distributing requirements specifications on Basic Splice / S. M. Orzan, 2001. - 14 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Bragt D.D.B.van Equilibrium selection in alternating-offers bargaining models - the evolutionary computing approach / D. D.B.van Bragt, E. H. Gerding, J. A. La Poutre, 2000. - 25 p. - Текст : непосредственный. Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный. Deursen A. van Fature-based product line instantation using source-level packages / A. van Deursen, M. de Jonge, T. Kuipers, 2002. - 16 p. - Текст : непосредственный. Arbab F. coinductive calculus of component connectors / F. Arbab, J. J.M.M. Rutten, 2002. - 17 p. - Текст : непосредственный. Dinesh T.B. algebraic programming style for numerical software and its optimization / T. B. Dinesh, M. Haveraaen, J. Heering, 1998. - 19 p. - Текст : непосредственный. Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K. E. Shahroudi, 1997. - 14 p. - Текст : непосредственный. Zavattaro G. On the incomparability of Gamma and Linda / G. Zavattaro, 1998. - 12 p. - Текст : непосредственный. Arbab F. Coordination of heterogeneous distributed cooperative constraint solving / F. Arbab, E. Monfroy, 1998. - 25 p. - Текст : непосредственный. transition system semantics for the control-driven coordination language MANIFOLD / M. M. Bonsangue, F. Arbab, J.W. de Bakker, J. J.M.M. Ritten, 1998. - 38 p. - Текст : непосредственный. Groote J.F. complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data / J. F. Groote, S. P. Luttik, 1998. - 12 p. - Текст : непосредственный. Kemenade C.H.M.van Density-based unsupervised classification for remote sensing / C. H.M.van Kemenade, J. A. La Poutre, R. J. Mokken, 1998. - 21 p. - Текст : непосредственный. Deursen A.van Type inference for COBOL systems / A.van Deursen, L. Moonen, 1998. - 12 p. - Текст : непосредственный. Deursen A.van Identifying objects using cluster and concept analysis / A.van Deursen, T. Kuipers, 1998. - 19 p. - Текст : непосредственный. Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный. Mulder J.D. survey of computational steering environments / J. D. Mulder, J. J.van Wijk, R.van Liere, 1998. - 13 p. - Текст : непосредственный. Mulder J.D. Pixel masks for screen-door transparency / J. D. Mulder, F. C.A. Groen, J. J.van Wijk, 1998. - 15 p. - Текст : непосредственный. Mulder J.D. Computational steering in the CAVE / J. D. Mulder, R.van Liere, J. J.van Wijk, 1998. - 9 p. - Текст : непосредственный. Показать все результаты Денисов Д.В. Аппаратное обеспечение вычислительных систем : учебное пособие / Д. В. Денисов, В. В. Артюхин, М. Ф. Седненков, 2007. - 184 с. - Текст : непосредственный. Балберин В.В. Архитектура вычислительных систем и ассемблер / В. В. Балберин, Н. В. Кучин, 1993. - 50 c. - Текст : непосредственный. Заславская О.Ю. Архитектура компьютера и вычислительных систем : выставочные материалы / О. Ю. Заславская, О. Я. Кравец, Е. С. Подвальный, 2012. - 300 с. - Текст : непосредственный. Distributed systems / Ed. S. Millender, 1989. - XXII,458 p. p. - Текст : непосредственный. IEEE Personal Communications / Institute of Electrical and Electronics Engineers (New York,NY), Institute of Electrical and Electronics Engineers (New York,NY). - Журнал выходит с 1994г. - Текст : непосредственный. Databases, information systems, and peer-to-peer computing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Interactive distributed multimedia systems and services : материалы временных коллективов / Ed. B. Butscher, 1996. - XI,333 p. p. - Текст : непосредственный. Хорошевский В.Г. Архитектура вычислительных систем : учебное пособие / В. Г. Хорошевский, 2008. - 519 с. - Текст : непосредственный. Пульсирующие информационные решетки / В. И. Шмойлов, Б. П. Русын, М. Н. Кузьо, И. А. Заяц, 1999. - 68 с. - Текст : непосредственный. Макарук Р.В. Нечеткие модели и программный комплекс оценки характеристик сетевых структур (на примере вычислительной сети) / Р. В. Макарук, 2014. - 18 с. - Текст : непосредственный. Peer-to-peer systems III / SpringerLink (Online service), 2005 r=on-line Systems aspects in organic and pervasive computing - ARCS 2005 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Деева Н.В. Архитектура ЭВМ и систем / Н. В. Деева, 2002. - 90 с. - Текст : непосредственный. IEEE Personal Communications. - Журнал, 1995г. 2 № 5. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Фролушкин В.М. Адаптер РС-VME / В. М. Фролушкин, Д. А. Пустовойт, В. В. Смирнов, 1994. - 19 c. - Текст : непосредственный. Кипиани К.К. Аппаратура сопряжения магистралей МИСС и SCSI / К. К. Кипиани, В. В. Коштоев, М. Ю. Матвеев, 1994. - 10 c. - Текст : непосредственный. Маков С.В. Разработка и исследование эффективности методов построения таблиц фильтрации кадров в мостах и коммутаторах вычислительной техники : автореф. дис. .. канд. техн. наук: 05.13.05 / С. В. Маков, 2011. - 16 с. - Текст : непосредственный. Zieher M. Kopplung von Rechnernetzen : Techniken zu Planung, Entwurf, Vermessung und Leistungsoptimierung / M.Zieher, 1989. - XII, 218 S. 218 S. - Текст : непосредственный. Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный. Дианов С.В. Разработка алгоритмов анализа сигналов в соединителях вычислительных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / С. В. Дианов, 1996. - 25 с. - Текст : непосредственный. Connectivity, 1993. - pag. var. - Текст : непосредственный. Резаев В.Е. Интерфейс связи VME-KK009 для управления аппаратурой САМАС / В. Е. Резаев, А. П. Сиротин, А. В. Тишин, 1994. - 7 c. - Текст : непосредственный. Гальперович Д.Я. Высокоскоростные кабельные системы для компьютерных сетей / Д.Я.Гальперович,Ю.В.Яшнев, 1999. - 128 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
