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

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

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

Търсене в

Подредба

Намерени са 1881 резултата.
Formal Development of Reactive Systems
44305
Каталог "Книги" | Книги .(02)
Formal Development of Reactive Systems
Case Study Production Cell (1995)

Computing and Combinatorics
44304
Каталог "Книги" | Книги .(02)
Computing and Combinatorics
Proceedings (1995)

Rules in Database Systems
44303
Каталог "Книги" | Книги .(02)
Rules in Database Systems
Proceedings (1995)

Parallel Computation
44302
Каталог "Книги" | Книги .(02)
Parallel Computation
Proceedings (1993)

SOFSEM'95: Theory and Practice of Informatics
44301
Каталог "Книги" | Книги .(02)
SOFSEM'95: Theory and Practice of Informatics
Proceedings (1995)

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

Mathematical Foundations of Computer Science 1991
44333
Каталог "Книги" | Книги .(02)
Mathematical Foundations of Computer Science 1991
Proceedings (1991)

Conditional Term Rewriting Systems
44331
Каталог "Книги" | Книги .(02)
Conditional Term Rewriting Systems
Proceedings (1988)

Principles and Practice of Constraint Programming- CP'95
44332
Каталог "Книги" | Книги .(02)
Principles and Practice of Constraint Programming- CP'95
Proceedings (1995)

Mathematical Foundations of Computer Science 1989
44330
Каталог "Книги" | Книги .(02)
Mathematical Foundations of Computer Science 1989
Proceedings (1989)

Programming Languages Implementation and Logic Programming
44329
Каталог "Книги" | Книги .(02)
Programming Languages Implementation and Logic Programming
Proceedings (1989)

Treewidth
44328
Каталог "Книги" | Книги .(02)
Treewidth
Computations and Approximations (1994)
Ton Kloks

Specifying Message Passing and Time-Critical Systems with Temporal Logic
44327
Каталог "Книги" | Книги .(02)
Specifying Message Passing and Time-Critical Systems with Temporal Logic
(1992)
Ron Koymans

Mathematical Foundations of Programming Semantics
44326
Каталог "Книги" | Книги .(02)
Mathematical Foundations of Programming Semantics
Proceedings (1990)

Electronic Dictionairies and Automata in Computational
44325
Каталог "Книги" | Книги .(02)
Electronic Dictionairies and Automata in Computational
Proceedings (1989)

Design and Implementation of Symbolic Computation Systems
44324
Каталог "Книги" | Книги .(02)
Design and Implementation of Symbolic Computation Systems
Proceedings (1993)

On the shape of Mathematical Arguments
44323
Каталог "Книги" | Книги .(02)
On the shape of Mathematical Arguments
(1990)
A. J. M. van Gasteren

DCE- The OSF Distributed Computing Environment. Client/ Server
44322
Каталог "Книги" | Книги .(02)
DCE- The OSF Distributed Computing Environment. Client/ Server
Proceedings (1993)

Funtional Programming Languages in Education
44321
Каталог "Книги" | Книги .(02)
Funtional Programming Languages in Education
Proceedings (1995)

FME'94: Industrial Benefit of Formal Methodsmming- CP'95
44320
Каталог "Книги" | Книги .(02)
FME'94: Industrial Benefit of Formal Methodsmming- CP'95
Proceedings (1994)