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

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

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

Търсене в

Подредба

Намерени са 1652 резултата.
Mathematical Foundations of Programming Semantics
44254
Каталог "Книги" | Книги .(02)
Mathematical Foundations of Programming Semantics
Proceedings (1994)

Algotithms and Computation
44253
Каталог "Книги" | Книги .(02)
Algotithms and Computation
Proceedings (1994)

Logic and Computational Complexity
44186
Каталог "Книги" | Книги .(02)
Logic and Computational Complexity
Selected Papers (1995)

VDM'91 Formal Software Development Methods
44185
Каталог "Книги" | Книги .(02)
VDM'91 Formal Software Development Methods
Proceedings (1991 -)
V. 1. Conference Contributions

ESOP 86
44184
Каталог "Книги" | Книги .(02)
ESOP 86
Proceedings (1986)

Advances in Petri Nets 1988
44187
Каталог "Книги" | Книги .(02)
Advances in Petri Nets 1988
(1988)

Computer Assisted Learning
44300
Каталог "Книги" | Книги .(02)
Computer Assisted Learning
Proceedings (1990)

Automata, Languages and Programming
44315
Каталог "Книги" | Книги .(02)
Automata, Languages and Programming
Proceedings (1995)

Graph Drawing
44314
Каталог "Книги" | Книги .(02)
Graph Drawing
Proceedings (1996)

CONCUR'92
44313
Каталог "Книги" | Книги .(02)
CONCUR'92
Proceedings (1992)

Static Analysis
44311
Каталог "Книги" | Книги .(02)
Static Analysis
Proceedings (1995)

Software Engineering Education
44310
Каталог "Книги" | Книги .(02)
Software Engineering Education
Proceedings (1994)

Implementation of Functional Languages
44309
Каталог "Книги" | Книги .(02)
Implementation of Functional Languages
Selected Papers (1997)

Stepwise Refinement of Distributed Systems
44308
Каталог "Книги" | Книги .(02)
Stepwise Refinement of Distributed Systems
Proceedings (1990)

PARLE'89 Parallel Architectures and Languages Europe
44307
Каталог "Книги" | Книги .(02)
PARLE'89 Parallel Architectures and Languages Europe
Proceedings (1989)

Software Configuration Management
44306
Каталог "Книги" | Книги .(02)
Software Configuration Management
Selected Papers (1996)

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)