"Jean H. Gallier" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic for Computer Science: Foundations of Automatic Theorem Proving (REVISED ON-LINE VERSION (2003))

Jean H. Gallier

Категория: Компьютеры

6.99 Mb

#2

Discrete Mathematics

Категория: Математика

3.13 Mb

#3

Geometric Methods and Applications: For Computer Science and Engineering, 2nd Edition

Jean Gallier

5.44 Mb

#4

Logic for computer science: foundations of automatic theorem proving

Jean H. Gallier

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.85 Mb

#5

Geometric methods and applications. For computer science and engineering

Категория: Mathematics, Geometry and topology

6.42 Mb

#6

Geometric methods and applications for computer science and engineering

Категория: Computational geometry

7.06 Mb

#7

A Guide to the Classification Theorem for Compact Surfaces

Jean Gallier, Dianna Xu, 2013

Категория: Mathematics

2.14 Mb