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

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

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

Търсене в

Подредба

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

CONCUR'91
44408
Каталог "Книги" | Книги .(02)
CONCUR'91
Proceedings (1991)

Stucture in Complexity Theory
44409
Каталог "Книги" | Книги .(02)
Stucture in Complexity Theory
Proceedings (1986)

ECOOP'96- Object- Oriented Programming
44407
Каталог "Книги" | Книги .(02)
ECOOP'96- Object- Oriented Programming
Proceedings (1996)

Computer Aided Verification
44406
Каталог "Книги" | Книги .(02)
Computer Aided Verification
Proceedings (1994)