N. Shankar, C. J. van Rijsbergen

Metamathematics, Machines and Godel's Proof (Cambridge Tracts in Theoretical Computer Science)


The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Godel's first incompleteness theorem showed that no computer program could automatically prove certain true theorems ...


Bernard Chazelle

The Discrepancy Method: Randomness and Complexity


The discrepancy method has produced the most fruitful line of attack on a pivotal computer science question: What is the computational power of random bits? It has also played a major role in recent developments in complexity theory. This book tells ...

Patricia Diamond Fletcher, Patricia Diamond Fletcher

World Libraries on the Information Superhighway: Preparing for the Challenges of the Next Millennium


Currently, little is known about library experience and success in providing Internet-based services to library patrons. Some studies conducted in the United States indicate that this is an area of great uncertainty, into which libraries are ...

Course Technology

Course ILT: Microsoft Access 2000: Basic


An affordable, easily scannable one-day training guide designed for use in instructor-led training courses. ...


<<<  Jen deHaan, Glen Rhodes. ActionScript Zero to Hero             Kelleigh Wing, Paul Whitehead, Ruth Maran. ... >>>




На главную

Находка, Благовещенск, Железнодорожный, Златоуст, Арзамас, Северск, Канск, Новошахтинск, Нефтеюганск, Ростов-на-Дону, Москва , Ленинск-Кузнецкий, Муром, Щёлково, Орехово-Зуево, Нижний Тагил, Москва , Петропавловск-Камчатский, Новотроицк, Комсомольск-на-Амуре, Северск, Хасавюрт, Владикавказ, Елец, Копейск,
Мистические триллеры| Информатика| Драмы| Мультфильмы для взрослых| Молодым родителям. Ваш малыш| Программы о психологии и человеке| Информатика. Вычислительная техника| Танец. Хореография| Аэробика| Вторая мировая война| Остросюжетные сериалы| Политические детективы| Отечественная фантастика| Постановки балета| Конструкторы| Видеоигры и консоли| Справочники| Информационные технологии в предпринимательстве| Электронный бизнес| Современные культы и секты| Экранизации современной прозы| Религия. Оккультизм. Эзотерика| Теория и методика воспитани| Организационный и производственный менеджмент| Хоккей| Внутренние болезни| Маркетинг. Реклама| Общие работы по всемирной истории| Фильмы Александра Роу, Александра Птушко| Фольклор| Общественные и гуманитарные науки| Популярная и нетрадиционная медицина| Право. Юридические науки| Реклама, PR, брендинг, имиджелогия| Киноарт, фестивали и награды| Психология в бизнесе. Деловое общение и этикет| Управленческие решения| Общее языкознание| Теоретическая физика| ASP, Perl, CGI, Python для разработки Web-сайтов| Танец. Хореография| 3D MAX, Maya, Bryce... Трехмерная графика, анимация и дизайн| Детективы. Боевики. Триллеры| Промышленность| Теория киноискусства, премии, фильмы| Русский язык и литература| Естественные науки|
фантастика, книжный магазин книги, книги через интернет, фантастика, художественная литература, интернет магазин книги, рассказы, техническая библиотека, учебное пособие, учебная литература, рассказ, книжные магазины москва, kniga, том, книга, kniga,


Хостинг от uCoz