Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / ed. T. Sturm, C. Zengler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6301). - ISBN 978-3-642-21046-4 : Б. ц.

Рубрики: Computer science
   Logic design

   Computational complexity

   Artificial intelligence

   Computer graphics

   Discrete groups

   Computer science

   Artificial intelligence (incl. robotics)

   Computer graphics

   Mathematical logic and formal languages

   Logics and meanings of programs

   Discrete mathematics in computer science

   Convex and discrete geometry


См. : Текст издания

Доп.точки доступа:
Sturm, T. \ed.\; SpringerLink (Online service)
Свободных экз. нет



   
    Matroid theory and its applications [Electronic resource] / ed. A. Barlotti. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (C.I.M.E. summer schools ; 83). - ISBN 978-3-642-11110-5 : Б. ц.

Рубрики: Mathematics
   Discrete groups

   Mathematics

   Convex and discrete geometry


См. : Текст издания

Доп.точки доступа:
Barlotti, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет



   
    New paths towards quantum gravity [Electronic resource] / eds. B. Booss-Bavnbek [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in physics, ISSN 0075-8450 ; 807). - ISBN 978-3-642-11897-5 : Б. ц.

Рубрики: Physics
   Discrete groups

   Physics

   Classical and quantum gravitation, relativity theory

   Convex and discrete geometry


См. : Текст издания

Доп.точки доступа:
Booss-Bavnbek, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет



   
    Ramsey theory [Electronic resource] : yesterday, today, and tomorrow / ed. A. Soifer. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2011. - (Progress in mathematics ; 285). - ISBN 978-0-8176-8092-3 : Б. ц.

Рубрики: Mathematics
   Differentiable dynamical systems

   Combinatorics

   Discrete groups

   Mathematics

   Combinatorics

   Dynamical systems and ergodic theory

   Convex and discrete geometry


См. : Текст издания

Доп.точки доступа:
Soifer, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет