Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology
Free Algorithms and Data Structure Books
Сложность вычислений.
Theory of Computational Complexity
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Теория алгоритмов
Companion to the Papers of Donald Knuth
Automata and Computability
Data Structures and Algorithms 1: Sorting and Searching
Fundamentals of Parameterized Complexity
Verification of Reactive Systems: Formal Methods and Algorithms
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
Машина Поста
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Applications of process algebra
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Free choice Petri nets
Построение и анализ вычислительных алгоритмов
Алгоритмы и рекурсивные функции
Алгоритмы и рекурсивные функции
Алгоритмы и рекурсивные функции
Mathematics for the Analysis of Algorithms
Error-Free Polynomial Matrix Computations
Verification of Reactive Systems: Formal Methods and Algorithms
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks
Structural Complexity I
Information and Randomness: An Algorithmic Perspective
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Kolmogorov Complexity and Computational Complexity
Verification of Sequential and Concurrent Programs
Parsing Theory. Volume 2: LR(k) and LL(k) Parsing
Structural Complexity II
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
Parsing Theory. Volume 1: Languages and Parsing
Structural Complexity I
Confluent String Rewriting
Computability
Products of Automata
Petri Nets: An Introduction
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
A Basis for Theoretical Computer Science
Verification of Sequential and Concurrent Programs
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms
Theory of Semi-Feasible Algorithms
Process Algebra with Timing
Randomized Algorithms: Approximation, Generation and Counting
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Petri Net Algebra
Parameterized Complexity
Syntax-Directed Semantics: Formal Models Based on Tree Transducers
Verification of Sequential and Concurrent Programs
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
Algorithmics for Hard Problems: Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Communication Complexity and Parallel Computing
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
The Complexity Theory Companion
Introduction to the Theory of Computation
Четыре алгоритмических лица случайности
The complexity theory companion
Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity
An Introduction to the Analysis of Algorithms
Computability and Complexity Theory
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
The Theory of Computation
Approximation Algorithms
Boolean Functions and Computation Models
Практикум по теории алгоритмов: Учебное пособие
Теория алгоритмов: [учеб. пособие для вузов]
Computability and Complexity Theory
Computability and Complexity Theory
Boolean functions and computation models
Algorithms and Data Structures: The Basic Toolbox
Computability and Complexity Theory
Boolean Functions and Computation Models
Вычислительные системы и программирование. Системы хранения данных
Encyclopedia of Algorithms
Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics
Information and Randomness: An Algorithmic Perspective
Lecture Notes on Algorithm Analysis and Computational Complexity (Fourth Edition)
Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics
A Recursive Introduction to the Theory of Computation
Geometric Fundamentals of Robotics
Fast algorithms: a multitape Turing machine implementation. With errata
The theory of computation
Automata and Computability
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Communication Complexity and Parallel Computing
Exact Exponential Algorithms
Algorithmic Randomness and Complexity
Algorithmic information theory
Querying XML, : XQuery, XPath, and SQL XML in context (The Morgan Kaufmann Series in Data Management Systems)
Beginning Databases with PostgreSQL: From Novice to Professional, Second Edition (Beginning from Novice to Professional)
Econometric Analysis of Cross Section and Panel Data, 2nd Edition (21 ch only)
Data Analysis and Research for Sport and Exercise Science: A Student Guide
SPSS Survival Manual: A Step by Step Guide to Data Analysis Using SPSS for Windows (Version 15)
Fixed Effects Regression Methods for Longitudinal Data Using SAS
Efficient Data Management in E-Business Transactions
Advanced SQL Database Programmers Handbook
Data Storage
The Complexity Theory Companion
2
3
4
5
6
Go to Page
GO
Technique
History
Math
Linguistics
Computers
Social Sciences
Psychology