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

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

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

Търсене в

Подредба

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

A Collection of Test Problems for Constrained Global
44319
Каталог "Книги" | Книги .(02)
A Collection of Test Problems for Constrained Global
(1990)
C. A. Floudas; P. M. Pardalos

Graph- Theoretic Concepts in Computer Science
44318
Каталог "Книги" | Книги .(02)
Graph- Theoretic Concepts in Computer Science
Proceedings (1990)

Mobile Agents
44317
Каталог "Книги" | Книги .(02)
Mobile Agents
Proceedings (1997)

Graph Transformations in Computer Science
44316
Каталог "Книги" | Книги .(02)
Graph Transformations in Computer Science
Proceedings (1994)