Data Structures, Near Neighbor Searches and Methodology

1 299,-

Interconnection Networks and Mapping and Scheduling Parallel Computations

1 299,-

Specification of Parallel Algorithms

1 349,-

Formal Power Series and Algebraic Combinatorics

799,-

Parallel Algorithms

799,-

Global Minimization of Nonconvex Energy Functions

1 129,-

Descriptive Complexity and Finite Models

949,-

Logic and Random Structures

519,-

Partial Order Methods in Verification

1 419,-

The SPIN Verification System

869,-

A Course on the Web Graph

1 229,-

Hydrodynamic Limits and Related Topics

819,-

Proceedings of the St. Petersburg Mathematical Society, Volume 14

2 069,-

Jacob Steiner''s Gesammelte Werke

819,-

Higher Franz-Reidemeister Torsion

1 299,-

Random Walk Intersections

1 529,-

The Book of Involutions

1 229,-

Selected Works of Lipman Bers

2 069,-

Hecke Algebras with Unequal Parameters

1 349,-

Theta Functions, Part 2

1 629,-

Data Structures, Near Neighbor Searches and Methodology

1 299,-

Interconnection Networks and Mapping and Scheduling Parallel Computations

1 299,-

Specification of Parallel Algorithms

1 349,-

Formal Power Series and Algebraic Combinatorics

799,-

Parallel Algorithms

799,-

Global Minimization of Nonconvex Energy Functions

1 129,-

Descriptive Complexity and Finite Models

949,-

Logic and Random Structures

519,-

Partial Order Methods in Verification

1 419,-

The SPIN Verification System

869,-

A Course on the Web Graph

1 229,-

Hydrodynamic Limits and Related Topics

819,-

Proceedings of the St. Petersburg Mathematical Society, Volume 14

2 069,-

Jacob Steiner''s Gesammelte Werke

819,-

Higher Franz-Reidemeister Torsion

1 299,-

Random Walk Intersections

1 529,-

The Book of Involutions

1 229,-

Selected Works of Lipman Bers

2 069,-

Hecke Algebras with Unequal Parameters

1 349,-

Theta Functions, Part 2

1 629,-