Пловдивски университет "Паисий Хилендарски"

Къде желаете да търсите

Какво желаете да търсите

Търсене в

Подредба

Намерени са 1881 резултата.
Evolutionary Computing
44147
Каталог "Книги" | Книги .(02)
Evolutionary Computing
Selected Papers (1995)

Artifical Evolution
44145
Каталог "Книги" | Книги .(02)
Artifical Evolution
Selected Papers (1996)

STACS 92
44146
Каталог "Книги" | Книги .(02)
STACS 92
Proceedings (1992)

Axioms and Hulls
44144
Каталог "Книги" | Книги .(02)
Axioms and Hulls
(1992)
D. E. Knuth

Algebraic System Specification and Development
44143
Каталог "Книги" | Книги .(02)
Algebraic System Specification and Development
A Survey and Annotated Bibliography (1991)

Solving Irregularly Structured Problems in Parallel
44142
Каталог "Книги" | Книги .(02)
Solving Irregularly Structured Problems in Parallel
Proceedings (1997)

Higher-Order Algebra, Logic, and Term Rewriting
44141
Каталог "Книги" | Книги .(02)
Higher-Order Algebra, Logic, and Term Rewriting
Selected Papers (1996)

Algebraic Coding
44140
Каталог "Книги" | Книги .(02)
Algebraic Coding
Proceedings (1992)

A Connotational Theory of Program Structure
44139
Каталог "Книги" | Книги .(02)
A Connotational Theory of Program Structure
(1987)
James S. Royer

Algebraic and Logic Programming
44138
Каталог "Книги" | Книги .(02)
Algebraic and Logic Programming
Proceedings (1997)

Modular Programming Languages
44137
Каталог "Книги" | Книги .(02)
Modular Programming Languages
Proceedings (1997)

Interval Mathematics 1985
44136
Каталог "Книги" | Книги .(02)
Interval Mathematics 1985
Proceedings (1986)

ESEC'89
44135
Каталог "Книги" | Книги .(02)
ESEC'89
Proceedings (1989)

Efficient Checking of Polynomials and Proofs and yhe Hardness
44134
Каталог "Книги" | Книги .(02)
Efficient Checking of Polynomials and Proofs and yhe Hardness
(1995)
Madhu Sudan

Parallel Symbolic Languages and Systems
44133
Каталог "Книги" | Книги .(02)
Parallel Symbolic Languages and Systems
Proceedings (1996)

Isabelle
44132
Каталог "Книги" | Книги .(02)
Isabelle
A Generic Theorem Prover (1994)
Lawrence C. Paulson

Distributed Algorithms
44131
Каталог "Книги" | Книги .(02)
Distributed Algorithms
Proceedings (1992)

Object- Based Models and Languages for Concurrent Systems
44130
Каталог "Книги" | Книги .(02)
Object- Based Models and Languages for Concurrent Systems
Proceedings (1995)

Advanced Functional Programming
44129
Каталог "Книги" | Книги .(02)
Advanced Functional Programming
Tutorial Text (1995)

Memory Management
44128
Каталог "Книги" | Книги .(02)
Memory Management
Proceedings (1995)