| 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 | •• |
| 494 |
|
Cvitanovic P., Artuso R., Christiansen F. |
Classical and Quantum Chaos |
2000 • | •• |
| 493 |
|
Аргунов Б.И., Балк М.Б. |
Геометрические построения на плоскости |
1957 • | •• |
|
|
О проекте