Полное описание
Bauer, F. L. URL: http://dx.doi.org/10.1007/978-3-642-02992-9 . - ISBN 978-3-642-02992-9. - Текст : электронный.
ГРНТИ УДК 50.01.09 004(09)
Кл.слова (ненормированные): ВЫЧИСЛЕНИЯ -- НАЧАЛА -- ОСНОВЫ
Доп. точки доступа: SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-02992-9
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 004(09)/B31-666829)
Шифр в сводном ЭК: 54f0565132830194bfa9173bd3c51151
Бауэр Ф.Л. Информатика : Ввод.курс:В 2 ч. Ч. 1 / ред. А. П. Ершов, пер. М. К. Валиев, 1990. - 324,VШ с. с. - Текст : непосредственный. Logic and algebra of specification : сборник научных трудов / Ed. F. L. Bauer, 1993. - 442 p. - Текст : непосредственный. Foundations of secure computation : материалы временных коллективов / Ed.: F. L. Bauer, R. Steinbruggen, 2000. - IX,319 p. p. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный. Bauer F.L. Historische Notizen zur Informatik / F. L. Bauer, 2009 r=on-line. - Текст : электронный. Logic,algebra and computation : Proc.of the NATO advanced study inst.on logic,algebra and computation,Marktoberdorf,July 25-Aug.6 1989 / сост.ed. F. L. Bauer, 1991. - 485 p. - Текст : непосредственный. Bauer F.L. Origins and foundations of computing : in cooperation with heinz nixdorf museumsforum / F. L. Bauer, 2010 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. - Текст : электронный. Показать все результаты Баин А.М. История развития компьютерной техники : выставочные материалы / А. М. Баин, 2013. - 107 с. - Текст : непосредственный. Г.В. Щипанов и теория инвариантности : сборник / Сост. З. М. Лезина, 2004. - 427 с. - Текст : непосредственный. Ревич Ю.В. Информационные технологии в СССР. Создатели советской вычислительной техники / Ю. В. Ревич, Б. Н. Малиновский, Б. Н. Малиновский, 2014. - 333 с. - Текст : непосредственный. Факультету автоматики и вычислительной техники - 60 : сборник / Санкт-Петербургский гос. электротехнический ун-т, 1999. - 120 с. - Текст : непосредственный. Макарский Д.Д. История компьютерной эры / Д. Д. Макарский, А. В. Никоноров, 2017. - 254 с. - Текст : непосредственный. Смирнов Ю.П. История вычислительной техники. Становление и развитие / Ю. П. Смирнов, 1994. - 196 c. - Текст : непосредственный. Кто есть кто на компьютерном рынке России : Каталог. Весна-лето'98Т. 1, 1998. - 448 с. - Текст : непосредственный. Кто есть кто на компьютерном рынке России : Каталог. Весна-лето'98Т. 2, 1998. - 447 с. - Текст : непосредственный. Э.А. Лямин : монография / Сост. З. И. Вишневская, 2004. - 191 с. - Текст : непосредственный. Луховицкая Э.С. Ада и Бэббидж / Э. С. Луховицкая, 2016. - 15 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Институт автоматики и электрометрии.. : отчет о деятельности / Рос. акад. наук, Сиб. отд-ние. в 2016 г, 2017. - 197 с. - Текст : непосредственный. Афендикова Н.Г. О роли М. В. Келдыша в некоторые ключевые моменты становления отечественной вычислительной техники / Н. Г. Афендикова, 2017. - 12 с. - Текст : непосредственный. Показать все результаты Баин А.М. История развития компьютерной техники : выставочные материалы / А. М. Баин, 2013. - 107 с. - Текст : непосредственный. Макарский Д.Д. История компьютерной эры / Д. Д. Макарский, А. В. Никоноров, 2017. - 254 с. - Текст : непосредственный. Смирнов Ю.П. История вычислительной техники. Становление и развитие / Ю. П. Смирнов, 1994. - 196 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Гухман В.Б. Лекции по истории науки и техники (с приложениями в информатике) : учебное пособие / В. Б. Гухман, 2017. - 127 с. - Текст : непосредственный. History of nordic computing 2 : second IFIP WG 9.7 conference, HiNC2, Turku, Finland, Aug. 21-23, 2007: rev. sel. papers / ed. J. Impagliazzo, 2009 r=on-line. - Текст : электронный. Езерова Г.Н. К вопросу об истории информатики в России / Г. Н. Езерова, Э. С. Луховицкая, 2012. - 12 с. - Текст : непосредственный. Wierzbicki A.P. Technen : Elements of Recent History of Information Technologies with Epistemological Conclusions / A. P. Wierzbicki, 2015 r=on-line. - Текст : электронный. Эйнгорин М.Я. Как создавалась первая цифровая последовательная ЭВМ в СССР - машина ГИФТИ / М. Я. Эйнгорин, 2007. - 143 с. - Текст : непосредственный. Шилов В.В. Удивительная история информатики и автоматики / В. В. Шилов, 2013. - 215 с. - Текст : непосредственный. Очерки истории информатики в России / Ред.-сост.Д.А.Поспелов.Я.И.Фет, 1998. - 662 с. - Текст : непосредственный. Бирюков Б.В. Жар холодных числ и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики / Б.В.Бирюков,В.Н.Тростников, 2004. - 228 с. - Текст : непосредственный. Bauer F.L. Historische Notizen zur Informatik / F. L. Bauer, 2009 r=on-line. - Текст : электронный. Хрестоматия по истории информатики / Ин-т вычисл. математики и мат. геофизики, 2014. - 559 с. - Текст : непосредственный. Суханов А.П. От гусиного пера к компьютеру / А.П.Суханов,В.Г.Филоненко, 1999. - 334 с. - Текст : непосредственный. Страницы истории отечественных ИТ : [в 5 томах] / Виртуальный компьютерный музей, Аплана группа компаний ; [сост. Э. М. Пройдаков]. Т. 5, 2019. - 221, [1] с. - Текст : непосредственный. Фельдман Б.Я. От калькулятора к суперкомпьютеру / Б. Я. Фельдман, 2006. - 332 с. - Текст : непосредственный. History of nordic computing : IFIP WG9.7 first working conference on the history of nordic computing (HiNC1), June 16-18, 2003, Trondheim, Norway / ed. J. Bubenko, 2005 r=on-line. - Текст : электронный. Показать все результаты Просмотр издания
Приложение
для Android
