551 |
|
Камерон П., ван Линт Д. |
Теория графов. Теория кодирования и блок-схемы |
1980 | •• |
550 |
|
Dodge C.W. |
Sets, logic & numbers |
1970 | •• |
548 |
|
Girard J.-Y., Taylor P., Lafont Y. |
Proofs and Types |
1989 | •• |
547 |
|
Зыков А.А. |
Основы теории графов |
1987 | •• |
546 |
|
Коротков М.А., Степанов Е.О. |
Основы теории алгоритмов |
2003 | •• |
545 |
|
Люстерник Л.А., Соболев В.И. |
Элементы функционального анализа |
1965 • | •• |
544 |
|
Глазман И.М., Любич Ю.И. |
Конечномерный линейный анализ в задачах |
1969 | •• |
543 |
|
Коротков М.А., Степанов Е.О. |
Основы формальных логических языков |
2003 | •• |
542 |
|
Kisacanin B. |
Mathematical problems and proofs. Combinatorics, Number theory, and Geometry |
2002 | •• |
541 |
|
Simpson S.G. |
Mathematical Logic |
2000 | •• |
540 |
|
Яковлев А.В. |
Математическая логика |
n/a | •• |
537 |
|
Круглов В.В., Дли М.И., Голунов Р.Ю. |
Нечеткая логика и искусственные нейронные сети |
2001 | •• |
535 |
|
Wolff P. |
Breakthroughs in mathematics |
1963 | •• |
534 |
|
Расёва Е., Сикорский Р. |
Математика метаматематики |
1972 | •• |
533 |
|
Зиновьев А.А. |
Логическая Физика |
1972 | •• |
532 |
|
Bilaniuk S. |
A Problem Course in Mathematical Logic (vol. 2) |
1997 • | •• |
531 |
|
Bilaniuk S. |
A Problem Course in Mathematical Logic (vol. 1) |
1999 • | •• |
530 |
|
Barwise J., Etchemendy J., Allwein G. |
Language, Proof and Logic |
1999 | •• |
529 |
|
Кук Д., Бейз Г. |
Компьютерная математика |
1990 | •• |
528 |
|
Рейнгольд Э., Нивергельт Ю., Део Н. |
Комбинаторные алгоритмы: теория и практика |
1980 | •• |
527 |
|
Айгнер М. |
Комбинаторная теория |
1982 | •• |
526 |
|
Яковлев А.В. |
Комбинаторика |
n/a | •• |
525 |
|
Колмогоров А.Н., Драгалин А.Г. |
Введение в математическую логику |
1982 | •• |
524 |
|
Оре О. |
Графы и их применение |
1965 | •• |
523 |
|
Свами М., Тхуласираман К. |
Графы, сети и алгоритмы |
1984 | •• |
522 |
|
Гельфанд И.М., Фомин С.В. |
Вариационное исчисление |
1961 | •• |
521 |
|
Ferguson T.S. |
Game Theory |
n/a | •• |
520 |
|
Новиков Ф.А. |
Дискретная математика для программистов |
2000 | •• |
519 |
|
Асанов М.О., Баранский В.А., Расин В.В. |
Дискретная математика: графы, матроиды, алгоритмы |
2001 | •• |
518 |
|
Алексеев В.Б. |
Дискретная математика |
2002 | •• |
517 |
|
Lovasz L., Vesztergombi K. |
Discrete Mathematics |
1999 | •• |
516 |
|
Saxl Dr.J. |
Discrete Mathematics |
1995 | •• |
515 |
|
Майника Э. |
Алгоритмы оптимизации на сетях и графах |
1981 | •• |
514 |
|
Petkovsek M., Wilf H.S., Zeilberger D. |
A=B |
1997 | •• |
513 |
|
Китаев А., Шень А., Вялый М. |
Классические и квантовые вычисления |
1999 | •• |
512 |
|
Кристофидес Н. |
Теория графов. Алгоритмический подход. |
1978 | •• |
511 |
|
Diestel R. |
Graph Theory |
2000 • | •• |
509 |
|
Ерусалимский Я.М. |
Дискретная математики: теория, задачи, приложения |
2000 • | •• |
508 |
|
Arrowsmith D.K., Place C.M. |
Dynamical systems. Differential equations, maps and chaotic behaviour |
1992 | •• |
507 |
|
Becker K.H., Dörfler M. |
Dynamical Systems and Fractals : Computer Graphics Experiments with Pascal |
1990 | •• |
506 |
|
Birkhoff G.D. |
Dynamical Systems |
1966 | •• |
505 |
|
Биркгоф Г. |
Гидродинамика |
1963 • | •• |
504 |
|
Рюэль Д. |
Термодинамический формализм |
2002 | •• |
503 |
|
Заславский Г.М., Сагдеев Р.З., Усиков Д.А. |
Слабый хаос и квазирегулярные структуры |
1991 | •• |
502 |
|
Williams G.P. |
Chaos theory tamed |
1997 | •• |
500 |
|
Пригожин И., Стенгерс И. |
Порядок из хаоса |
1986 | •• |
499 |
|
Кузнецов С.П. |
Динамический хаос |
2001 | •• |
498 |
|
Лоскутов А.Ю., Михайлов А.С. |
Введение в синергетику |
1990 | •• |
497 |
|
Эфрос А.Л. |
Физика и геометрия беспорядка |
1982 | •• |
496 |
|
Dorfman J.R. |
Introduction to Chaos in Nonequilibrium Statistical Mechanics |
1999 | •• |