Полное описание
Groote, J. F.
ГРНТИ УДК 55.51.37 621.878.44-047.58
Рубрики: Автопогрузчики -- Моделирование
Кл.слова (ненормированные): АВТОПОГРУЗЧИК
Доп. точки доступа: Pang, J.
Wouters, A.G.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17937/SEN-R0111)
Шифр в сводном ЭК: 80859a92739fad0ed911d452313231ab
Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Pang J. Analysis of a security protocol in uCRL / J. Pang, 2002. - 26 p. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. CONCUR'91 : материалы временных коллективов / Comp.: J. C.M. Baeten, J. F. Groote, 1991. - IX,540 p. p. - Текст : непосредственный. Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 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. - Текст : непосредственный. Groote J.F. Analysis of three hybrid systems in timed uCRL / J. F. Groote, 1998. - 24 p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Groote J.F. Analysis of a distributed system for lifting trucks / J.F.Groote,J.Pang,A.G.Wouters, 2001. - 36 p. - Текст : непосредственный. Groote J.F. Computer assisted manipulation of algebraic process specifications / J.F.Groote,B.Lisser, 2001. - 16 p. - Текст : непосредственный. Groote J.F. Process algebra with guards.Combining Hoare logic with process algebra / J.F.Groote,A.Ponse, 1990. - 56 p. - Текст : непосредственный. Bol R.N. meaning of negative premises in transition system specifications / R.N.Bol,J.F.Groote, 1990. - 44 p. - Текст : непосредственный. Groote J.F. Transition system specifications with negative premises / J.F.Groote, 1989. - 26 p. - Текст : непосредственный. Groote J.F. A correctness proof of the bakery protocol in mCRL / J.F.Groote,H.P.Korver, 1994. - 22 p. - Текст : непосредственный. Groote J.F. Linearization in parallel pCRL / J.F.Groote,A.Ponse,Y.S.Usenko, 2000. - 30 p. - Текст : непосредственный. Groote J.F. Equational binary decision diagrams / J.F.Groote,J.C.van de Pol, 2000. - 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. - Текст : непосредственный. Показать все результаты Совершенствование работы речных портов и отдельных элементов конструкций перегрузочных машин : сборник / Ред. И. П. Фадеев, 1991. - 148 с. - Текст : непосредственный. Гячев Л.В. Основы теории бункеров / Л. В. Гячев, 1992. - 310 с. - Текст : непосредственный. Радаев А.Е. Методика формирования структуры парка подъемно-транспортного оборудования складской системы / А. Е. Радаев, 2015. - 24 с. - Текст : непосредственный. Смирнов А.Н. Разработка и обоснование путей повышения эффективности гидроприводов одноковшовых фронтальных погрузчиков : специальность 05.05.04 "Дорожные, строительные и подъемно-транспортные машины" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. Н. Смирнов, 2003. - 21 с. - Текст : непосредственный. Бояркина И.В. Развитие механики рабочих процессов одноковшовых фронтальных погрузчиков : специальность 05.05.04 "Дорожные, строительные и подъемно-транспортные машины" : диссертация на соискание ученой степени д-ра техн. наук / И. В. Бояркина, 2013. - 32 с. - Текст : непосредственный. Лукин А.М. Методология проектирования ресурсосберегающих технологий рабочих процессов фронтальных погрузчиков : специальность 05.05.04 "Дорожные, строительные и подъемно-транспортные машины" : автореферат диссертации на соискание ученой степени д-ра техн. наук / А. М. Лукин, 2003. - 38 с. - Текст : непосредственный. Федоренко В.И. Специальные краны : учеб. пособие. Ч. 2 : Стреловые поворотные краны, 2008. - 262 с. - Текст : непосредственный. Большаков А.А. Оптимальная энергонасыщенность одноковшовых фронтальных погрузчиков : специальность 05.05.04 "Дорожные, строительные и подъемно-транспортные машины" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. А. Большаков, 1999. - 20 с. - Текст : непосредственный. Буренок В.Д. Техническая база перегрузочного процесса / В. Д. Буренок, 2004. - 127 с. - Текст : непосредственный. Hammer W. Untersuchungen zur Verbesserung des Lenkverhaltens von Gabelstaplern / W. Hammer, 1989. - 145 S. - Текст : непосредственный. Лесковец И.В. Обоснование и выбор основных параметров системы энергосбережения одноковшового фронтального пневмоколесного погрузчика : специальность 05.05.04 "Дорожные, строительные и подъемно-транспортные машины" : автореферат диссертации на соискание ученой степени канд. техн. наук / И. В. Лесковец, 1997. - 16 с. - Текст : непосредственный. Нормы технологического проектирования депо и участков по ремонту контейнеров : нормативно-технический материал / СССР. М-во путей сообщения, 1992. - 24 с. - Текст : непосредственный. Гришко Г.С. Рабочее оборудование универсальных малогабаритных погрузчиков. Исследования и анализ конструкции : учебное пособие / Г. С. Гришко, В. В. Минин, 2011. - 191 с. (Введено оглавление). - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
