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

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

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

Търсене в

Подредба

Намерени са 1881 резултата.
Artificial Neural Networks
44028
Каталог "Книги" | Книги .(02)
Artificial Neural Networks
Proceedings (1991)

Ada in Europe
44027
Каталог "Книги" | Книги .(02)
Ada in Europe
Proceedings (1996)

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

Computational Logic and Proof Theory
44112
Каталог "Книги" | Книги .(02)
Computational Logic and Proof Theory
Proceedings (1997)

TAPSOFT'89
44111
Каталог "Книги" | Книги .(02)
TAPSOFT'89
Proceedings (1989 -)
V. 1. Advanced Seminar on Foundations of Innovative

Mathematical Foundatiions of Computer Science 1993
44110
Каталог "Книги" | Книги .(02)
Mathematical Foundatiions of Computer Science 1993
Proceedings (1993)

Word Equations and Related Topics
44109
Каталог "Книги" | Книги .(02)
Word Equations and Related Topics
Proceedings (1992)

Algebraic and Logic Programming
44108
Каталог "Книги" | Книги .(02)
Algebraic and Logic Programming
Proceedings (1990)

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

ESOP'88
44106
Каталог "Книги" | Книги .(02)
ESOP'88
Proceedings (1988)

Attribute Grammars
44105
Каталог "Книги" | Книги .(02)
Attribute Grammars
(1988)
Pierre Deransart; Martin Jourdan; Bernard Lorho

EUROCODE'90
44104
Каталог "Книги" | Книги .(02)
EUROCODE'90
Proceedings (1991)

Higher Order Logic Theorem Proving and Its Applications
44103
Каталог "Книги" | Книги .(02)
Higher Order Logic Theorem Proving and Its Applications
Proceedings (1994)

Design and Implentation of Symbolic Computation Systems
44102
Каталог "Книги" | Книги .(02)
Design and Implentation of Symbolic Computation Systems
Proceedings (1996)

Artificial Neural Networks
44101
Каталог "Книги" | Книги .(02)
Artificial Neural Networks
An Introduction to ANN Theory and Practice (1995)

Combinatorics on Traces
44100
Каталог "Книги" | Книги .(02)
Combinatorics on Traces
(1990)
Volker Diekert

Cathegory Theory and Computer Science
44099
Каталог "Книги" | Книги .(02)
Cathegory Theory and Computer Science
Proceedings (1987)

Algebraic and Logic Programming
44098
Каталог "Книги" | Книги .(02)
Algebraic and Logic Programming
Proceedings (1996)

Typed Lambda Calculi and Applications
44097
Каталог "Книги" | Книги .(02)
Typed Lambda Calculi and Applications
Proceedings (1993)

Computer Aided Systems Theory- EUROCAST'93
44096
Каталог "Книги" | Книги .(02)
Computer Aided Systems Theory- EUROCAST'93
Proceedings (1994)