Приложение
для AndroidПолное описание
Kifer, M. Introduction to operating system design and implementation : the OSP 2 Approach / M. Kifer, S. Smolka ; SpringerLink (Online service). - London : Springer-Verlag, 2007. - on-line. - (Undergraduate topics in computer science). - URL: http://dx.doi.org/10.1007/1-84628-843-6. - ISBN 978-1-846-28843-2
| ГРНТИ | УДК | |
| 50.41.15 | 004.451 |
Рубрики:
Операционные системы
Доп. точки доступа:
Smolka, S.
SpringerLink (Online service)
http://dx.doi.org/10.1007/1-84628-843-6
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004.451/K43-796221)
Шифр в сводном ЭК: 16381ceff85ed65409fbf46251530872
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Hazzan O. Agile software engineering / O. Hazzan, Y. Dubinsky, 2008 r=on-line. - Текст : электронный.Gabbrielli M. Programming languages: principles and paradigms / M. Gabbrielli, S. Martini, 2010 r=on-line. - Текст : электронный.Burger W. Principles of digital image processing : fundamental techniques / W. Burger, M. J. Burge, 2009 r=on-line.Rigorous Software Development : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa., 2011 r=on-line (Введено оглавление). - Текст : электронный.Dowek G. Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek., 2011 r=on-line. - Текст : электронный.Mirkin B. Core Concepts in Data Analysis: Summarization, Correlation and Visualization : монография / by Boris Mirkin., 2011 r=on-line. - Текст : электронный.Ertel W. Introduction to Artificial Intelligence : монография / by Wolfgang Ertel., 2011 r=on-line (Введено оглавление). - Текст : электронный.Oberguggenberger M. Analysis for Computer Scientists : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann., 2011 r=on-line (Введено оглавление). - Текст : электронный.Murty M.N. Pattern Recognition : An Algorithmic Approach / by M. Narasimha Murty, V. Susheela Devi., 2011 r=on-line (Введено оглавление). - Текст : электронный.Mogensen T.E. Introduction to Compiler Design : монография / by Torben Egidius Mogensen., 2011 r=on-line. - Текст : электронный.Chalmers D. Sensing and Systems in Pervasive Computing : Engineering Context Aware Systems / by Dan Chalmers., 2011 r=on-line. - Текст : электронный.Dowek G. Principles of programming languages / G. Dowek, 2009 r=on-line. - Текст : электронный.Nielsen F. A concise and practical introduction to programming algorithms in Java / F. Nielsen, 2009 r=on-line. - Текст : электронный.Models of computation : an introduction to computability theory / M. Fernandez, 2009 r=on-line. - Текст : электронный.Jalote P. A concise introduction to software engineering / P. Jalote, 2008 r=on-line. - Текст : электронный.Vince J.A. Mathematics for computer graphics / J. A. Vince, 2010 r=on-line. - Текст : электронный.Salomon D. Elements of computer security / D. Salomon, 2010 r=on-line. - Текст : электронный.Nielson H. Semantics with applications: an appetizer / H. Nielson, F. Nielson, 2007 r=on-line. - Текст : электронный.Kifer M. Introduction to operating system design and implementation : the OSP 2 Approach / M. Kifer, S. Smolka, 2007 r=on-lineCraig I. Object-oriented programming languages: interpretation / I. Craig, 2007 r=on-line
Показать все результатыGreiner W. Quantum electrodynamics / W. Greiner, J. Reinhardt, 2009. - XVI, 447 p. - Текст : непосредственный.Computer vision and graphics / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный.Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный.Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Catalysis by metal complexes / ed.: B. James , P. W. N. M. van Leeuwen. Vol. 28 : Heterocycles from transition metal catalysis : formation and functionalization / A. Kotschy, G. Timari, 2005. - XII, 199 p. - Текст : непосредственный.Catalysis by metal complexes / ed.: B. James, P. W. N. M. van Leeuwen. Vol. 29 : Metal catalysed reactions in ionic liquids / P. J. Dyson, T. J. Geldbach, 2005. - X, 246 p. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Artificial neural networks - ICANN 2008 / SpringerLink (Online service), 2008 r=on-line.Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Comparative genomics / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Research in cryptology / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Post-quantum cryptography / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Hybrid metaheuristics / SpringerLink (Online service), 2008 r=on-line.Wireless algorithms, systems, and applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.
Показать все результатыОбслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный.Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный.MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный.Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный.Минько А.А. Microsoft Windows Vista : монография / А. А. Минько, Е. У. Минько, 2007. - 358 с. - Текст : непосредственный.Моляков А.С. Исследование неявных механизмов модификации динамического пространства процессов ОС Windows / А. С. Моляков, 2007. - 66 с. - Текст : непосредственный.Экслер, Алексей Борисович. Windows Vista, или Самый полный и понятный самоучитель / Алекс Экслер, 2008. - 427 с. - Текст : непосредственный.Колисниченко Д.Н. Программирование для Android / Д. Н. Колисниченко, 2013. - 264 с. - Текст : непосредственный.Фаныгина В.В. Основные сведения по ОС РВ / В. В. Фаныгина, 1988. - 12 с. - Текст : непосредственный.Грибанов В.П. Операционные системы : монография / В. П. Грибанов, С. В. Дробин, В. Д. Медведев, 1990. - 239 c. - Текст : непосредственный.Таллоч М. Windows Server 2008 Server Core / М. Таллоч, 2010. - 384 с. - Текст : непосредственный.Потапкин А.В. Операционная система WINDOWS 95: руководство к действию / А. В. Потапкин, 1996. - 431 c. - Текст : непосредственный.Фултон Д. OS/2 Warp : монография / Д. Фултон, 1996. - 336 c. - Текст : непосредственный.Станек У. Windows Server 2003 / У. Станек, 2007. - 1 электрон. опт. диск (CD-ROM). - Текст : электронный.Реймер С. Active Directory для Microsoft Windows Server 2003 / С. Реймер, М. Малкер, 2004. - 511 с. - Текст : непосредственный.Евсеев Г.А. Windows 98 / Г. А. Евсеев, С. В. Симонович, 2003. - 495 с. - Текст : непосредственный.Кузнецов А. Windows 98 / А. Кузнецов, А. Морозов, 2003. - 316 с. - Текст : непосредственный.Мусумеси Д.-П.Д. Настройка производительности UNIX-систем : монография / Д.-П.Д. Мусумеси, М. Лукидес, 2003. - 406 с. - Текст : непосредственный.
Показать все результатыГрибанов В.П. Операционные системы : монография / В. П. Грибанов, С. В. Дробин, В. Д. Медведев, 1990. - 239 c. - Текст : непосредственный.Применение интернет-технологий и средств операционной системы : учебное пособие / И. И. Каширская, Н. Д. Писаренко, Г. В. Абрамов, О. А. Лукинова, 2006. - 207 с. - Текст : непосредственный.Вильямс М. Программирование в Windows 2000 : монография / М. Вильямс, 2000. - 627 c. - Текст : непосредственный.Durant D. Programmer's guide to windows / D. Durant, G. Carlson, P. Yao, 1987. - XXIV,704 p. p. - Текст : непосредственный.Приходькова И.В. Операционные системы : учеб. пособие : в 2 ч. Ч. 1 : Конспект лекций, 2016. - 63 с. - Текст : непосредственный.Денисов А.Р. Операционные системы : учеб. пособие. Ч. 1 : Базовый курс, 2004. - 47 с. - Текст : непосредственный.Таненбаум Э. Современные операционные системы / Э. Таненбаум, 2014. - 1115 с. - Текст : непосредственный.Воркман А. Новый способ установить 20 операционных систем на одном компьютере / А. Воркман, 2005. - 363 с. - Текст : непосредственный.Гаскин Д.Е. NetWare 5 : Полное руководство:В 2-х т. Т. 2, 2000. - 655 с. - Текст : непосредственный.Petzold C. Programming the OS/2 presentation manager / C. Petzold, 1989. - XI, 845 p. 845 p. - Текст : непосредственный.Хлудова М.В. Операционные системы. Планирование и диспетчеризация процессов : учебное пособие / М. В. Хлудова, 2010. - 83 с. - Текст : непосредственный.Microsoft developer network. Development platform-U.S. Disc 2 : 16-bit Operating systems,SDKs and tools, 1997. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Microsoft developer network. Development platform-INTL. Disc 2 : 16-bit Operating systems and tools, 1997. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Таненбаум Э. Операционные системы. Разработка и реализация : монография / Э. Таненбаум, А. В. Вудхалл, 2007. - 703 с. - Текст : непосредственный.Синицын С. В. Операционные системы : выставочные материалы / С. В. Синицын, А. В. Батаев, Н. Ю. Налютин, 2013. - 297 с. - Текст : непосредственный.Храпский С.Ф. Операционные системы, среды и оболочки. Основные теоретические сведения / С. Ф. Храпский, 2005. - 267 с. - Текст : непосредственный.Системное программное обеспечение : Учеб. пособие. В 4 ч. / В.В. Ермишин. Ч. 1 : Операционные системы локального компьютера, 2003. - 136 с. - Текст : непосредственный.Операционные системы популярных персональных ЭВМ / "Квант", кооператив (Харьков), 1991. - 55 с. - Текст : непосредственный.Строчные меню. Гл.7. - 47 c. - Текст : непосредственный.Шабалин А.М. Сетевые операционные системы. Сетевые и транспортные протоколы : учебное пособие / А. М. Шабалин, 2008. - 159 с. - Текст : непосредственный.
Показать все результатыОбслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный.Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный.MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный.Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный.Минько А.А. Microsoft Windows Vista : монография / А. А. Минько, Е. У. Минько, 2007. - 358 с. - Текст : непосредственный.Моляков А.С. Исследование неявных механизмов модификации динамического пространства процессов ОС Windows / А. С. Моляков, 2007. - 66 с. - Текст : непосредственный.Экслер, Алексей Борисович. Windows Vista, или Самый полный и понятный самоучитель / Алекс Экслер, 2008. - 427 с. - Текст : непосредственный.Колисниченко Д.Н. Программирование для Android / Д. Н. Колисниченко, 2013. - 264 с. - Текст : непосредственный.Фаныгина В.В. Основные сведения по ОС РВ / В. В. Фаныгина, 1988. - 12 с. - Текст : непосредственный.Грибанов В.П. Операционные системы : монография / В. П. Грибанов, С. В. Дробин, В. Д. Медведев, 1990. - 239 c. - Текст : непосредственный.Таллоч М. Windows Server 2008 Server Core / М. Таллоч, 2010. - 384 с. - Текст : непосредственный.Потапкин А.В. Операционная система WINDOWS 95: руководство к действию / А. В. Потапкин, 1996. - 431 c. - Текст : непосредственный.Фултон Д. OS/2 Warp : монография / Д. Фултон, 1996. - 336 c. - Текст : непосредственный.Станек У. Windows Server 2003 / У. Станек, 2007. - 1 электрон. опт. диск (CD-ROM). - Текст : электронный.Реймер С. Active Directory для Microsoft Windows Server 2003 / С. Реймер, М. Малкер, 2004. - 511 с. - Текст : непосредственный.Евсеев Г.А. Windows 98 / Г. А. Евсеев, С. В. Симонович, 2003. - 495 с. - Текст : непосредственный.Кузнецов А. Windows 98 / А. Кузнецов, А. Морозов, 2003. - 316 с. - Текст : непосредственный.Мусумеси Д.-П.Д. Настройка производительности UNIX-систем : монография / Д.-П.Д. Мусумеси, М. Лукидес, 2003. - 406 с. - Текст : непосредственный.
Показать все результатыПросмотр издания