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

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

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

Търсене в

Подредба

Намерени са 1652 резултата.
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)

Numerical Integration on Advanced Computer Systems
44127
Каталог "Книги" | Книги .(02)
Numerical Integration on Advanced Computer Systems
(1994)
Arnold R. Krommer; Christoph W. Ueberhuber

A Decade of Concurrency. Reflections and Perspectives
44126
Каталог "Книги" | Книги .(02)
A Decade of Concurrency. Reflections and Perspectives
Proceedings (1994)

Algorithms and Complexity
44125
Каталог "Книги" | Книги .(02)
Algorithms and Complexity
Proceedings (1994)

Types for Proofs and Programs
44124
Каталог "Книги" | Книги .(02)
Types for Proofs and Programs
Selected Papers (1996)