Полное описание
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
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. - Текст : непосредственный.
Показать все результатыАрхитектура. Строительство. Транспорт. Технологии. Инновации : материалы Междунар. конгр. ФГБОУ ВПО "СибАДИ". Кн. 1, 2013. - 292 с. - Текст : непосредственный.Совершенствование работы Московско-Смоленского отделения - пути научно-технического прогресса : сборник / Всесоюзный заочный ин-т инженеров ж.-д. транспорта, 1990. - 110 с. - Текст : непосредственный.Перспективные задачи развития железнодорожного транспорта : сборник / Всероссийский НИИ ж.-д. транспорта (Москва), 2010. - 280 с. - Текст : непосредственный.Transport : pr. nauk. / Politechnika Warszawska. z. 105 : Analiza, modelowanie i symulacja systemów transportowych i ich elementów, 2015. - 113 s. - Текст : непосредственный.Вестник. N 1, 1994. - 144 с. - Текст : непосредственный.
Инновационное развитие транспортно-логистического комплекса Прикаспийского региона / Волжский государственный университет водного транспорта (Нижний Новгород), Каспийский институт морского и речного транспорта (филиал), 2016. - 248 с. - Текст : непосредственный.Развитие инновационной деятельности на автомобильном транспорте : монография / В. П. Бычков, С. С. Морковина, А. М. Букреев [и др.], 2018. - 307 с. - Текст : непосредственный.Модернизация и научные исследования в транспортном комплексе : материалы международной научно-практической конференции, г. Пермь, 8-9 ноября 2018 г. / Министерство науки и высшего образования Российской Федерации, Российская академия транспорта, Пермский национальный исследовательский политехнический университет, Автодорожный факультет, 2018. - 227 с. - Текст : непосредственный.Инновационное развитие транспорта : материалы IV Всероссийской научной конференции студентов, магистрантов и аспирантов, 29 апреля 2019 / Министерство образования и науки Российской Федерации, Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики, 2019. - 196 с. - Текст : непосредственный.Инновационное развитие транспорта : материалы II Всерос. науч. конф. студентов, магистрантов и аспирантов, 12 мая 2017 г. / С.-Петерб. нац. исслед. ун-т информ. технологий, механики и оптики [(Ун-т ИТМО)], 2017. - 174 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Власов А.А. Управление насыщенными транспортными потоками в городах / А. А. Власов, Н. А. Орлов, 2014. - 187 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. N 4(1998), 1998. - 40 с. - Текст : непосредственный.Боженюк А.В. Нахождение живучести нечетких транспортных сетей с применением геоинформационных систем / А. В. Боженюк, И. Н. Розенберг, Д. Н. Ястребинская, 2012. - 176 с. - Текст : непосредственный.Евроазиатские транспортные связи : монография / Евроазиатский транспортный союз, 2003. - 317 с. - Текст : непосредственный.Budownictwo:Prace naukowe. 146 : Walking as a mode transport - a planning and policy perspective / P. S. Olszewski, 2007. - 149 s. - Текст : непосредственный.Monografia / Politech. Krakowska im Tadeusza Kosciuszki. 347 : Funkcjonowanie skrzyzowan drogowych w warunkach zmiennosci ruchu / J. Chodur, 2007. - 205 s. - Текст : непосредственный.Колесниченко А.В. Вывод гидродинамических и квазигидродинамических уравнений для автотранспортных систем на основе статистики Тсаллиса / А. В. Колесниченко, Б. Н. Четверушкин, 2014. - 32 с. - Текст : непосредственный.Живоглядов В.Г. Теория движения транспортных и пешеходных потоков : монография / В. Г. Живоглядов, 2005. - 1082 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. № 2(1997), 1997. - 52 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. № 6(1997), 1997. - 51 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. № 1(1998), 1998. - 48 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. № 3(1997), 1997. - 64 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. № 4-5(1997), 1997. - 72 с. - Текст : непосредственный.Проблемы развития транспортных и инженерных коммуникаций. Проектирование, строительство, эксплуатация : Науч.-техн. альманах / Информ.-издат. центр "ТИМР. N 1(2002), 2002. - 65 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Гусев С.А. Системное исследование транспортных потоков улично-дорожной сети города : выставочные материалы / С. А. Гусев, В. Н. Басков, Е. С. Мартынова, 2017. - 136 с. - Текст : непосредственный.Traffic and granular flow'07 / SpringerLink (Online service), 2009 r=on-lineВласов А.А. Управление насыщенными транспортными потоками в городах / А. А. Власов, Н. А. Орлов, 2014. - 187 с. - Текст : непосредственный.Моделирование транспортных потоков : монография / С. В. Кущенко, А. И. Шутов, Л. Е. Кущенко, И. А. Новиков, 2016. - 77 с. - Текст : непосредственный.Врублевская С.С. Интеллектуальная система управления транспортными потоками на основе светофорных объектов : специальность 05.13.10 "Управление в социальных и экономических системах" : диссертация на соискание ученой степени канд. техн. наук / С. С. Врублевская, 2007. - 20 с. - Текст : непосредственный.Кокорева А.В. Гидродинамические модели автотранспортных потоков : специальность 01.02.05 "" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. В. Кокорева, 2008. - 16 с. - Текст : непосредственный.Koch N. Analytische und numerische Untersuchungen eines makroskopischen Modells des dynamischen Verkehrsflusses / N. Koch, 1996. - X,163 S. S. - Текст : непосредственный.Капитанов Д.В. Совершенствование локального модельного обеспечения компьютерных систем управления транспортными потоками : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / Д. В. Капитанов, 1999. - 19 с. - Текст : непосредственный.Боженюк А.В. Нахождение живучести нечетких транспортных сетей с применением геоинформационных систем / А. В. Боженюк, И. Н. Розенберг, Д. Н. Ястребинская, 2012. - 176 с. - Текст : непосредственный.Кочерга В.Г. Основы функционирования интеллектуальных транспортных систем в организации движения и перевозок : специальность 05.22.01 "Транспортные и транспортно-технологические системы страны, ее регионов и городов, организация производства на транспорте" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Г. Кочерга, 2001. - 36 с. - Текст : непосредственный.Monografia / Politech. Krakowska im Tadeusza Kosciuszki. 347 : Funkcjonowanie skrzyzowan drogowych w warunkach zmiennosci ruchu / J. Chodur, 2007. - 205 s. - Текст : непосредственный.Колесниченко А.В. Вывод гидродинамических и квазигидродинамических уравнений для автотранспортных систем на основе статистики Тсаллиса / А. В. Колесниченко, Б. Н. Четверушкин, 2014. - 32 с. - Текст : непосредственный.Живоглядов В.Г. Теория движения транспортных и пешеходных потоков : монография / В. Г. Живоглядов, 2005. - 1082 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽