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

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

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

Търсене в

Подредба

Намерени са 1881 резултата.
LATIN'95: Theoretical Informatics
44396
Каталог "Книги" | Книги .(02)
LATIN'95: Theoretical Informatics
Proceedings (1995)

Managing Information Highways. The PRISM Book:Principles,
44395
Каталог "Книги" | Книги .(02)
Managing Information Highways. The PRISM Book:Principles,
(1996)

Real- Time: Theory in Practice
44394
Каталог "Книги" | Книги .(02)
Real- Time: Theory in Practice
Proceedings (1992)

Cooperative Buildings. Integrating Information, Prganization, and Architecture
44393
Каталог "Книги" | Книги .(02)
Cooperative Buildings. Integrating Information, Prganization, and Architecture
Proceedings (1998)

Orders, Algorithms, and Applicatins
44392
Каталог "Книги" | Книги .(02)
Orders, Algorithms, and Applicatins
Proceedings (1994)

Foundations of Software Technology and Theoretical Computer
44391
Каталог "Книги" | Книги .(02)
Foundations of Software Technology and Theoretical Computer
Proceedings (1987)

Error Detection and Recovery in Robotics
44390
Каталог "Книги" | Книги .(02)
Error Detection and Recovery in Robotics
(1989)
Bruce R. Donald

Compositionality, Concurrency and Partial Correctness
44389
Каталог "Книги" | Книги .(02)
Compositionality, Concurrency and Partial Correctness
Proof Theories for Networks of Processes, and Their Relation (1989)
J. Zwiers

Algorithms- ESA'94
44388
Каталог "Книги" | Книги .(02)
Algorithms- ESA'94
Proceedings (1994)

Hyperedge Replacement
44387
Каталог "Книги" | Книги .(02)
Hyperedge Replacement
Grammars and Languages (1992)
A. Habel

Algorithms and Computation
44386
Каталог "Книги" | Книги .(02)
Algorithms and Computation
Proceedings (1992)

PARLE'94 Parallel Architectures and Languages Europe
44418
Каталог "Книги" | Книги .(02)
PARLE'94 Parallel Architectures and Languages Europe
Proceedings (1994)

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

Automatic Verification Methods for Finite State Systems
44416
Каталог "Книги" | Книги .(02)
Automatic Verification Methods for Finite State Systems
Proceedings (1990)

Algorithms and Data Structures
44415
Каталог "Книги" | Книги .(02)
Algorithms and Data Structures
Proceedings (1993)

Word Equations and Related topics
44414
Каталог "Книги" | Книги .(02)
Word Equations and Related topics
Proceedings (1993)

Partial Evaluation
44413
Каталог "Книги" | Книги .(02)
Partial Evaluation
Selected Papers (1996)

Discrete Geometry for Computer Imagery
44412
Каталог "Книги" | Книги .(02)
Discrete Geometry for Computer Imagery
Proceedings (1996)

Computer Vision- ECCV'96
44411
Каталог "Книги" | Книги .(02)
Computer Vision- ECCV'96
Proceedings (1996)
V. 2.

Languages and Compilers for Parllel Computing
44410
Каталог "Книги" | Книги .(02)
Languages and Compilers for Parllel Computing
Proceedings (1997)