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

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

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

Търсене в

Подредба

Намерени са 1881 резултата.
Numerical Integration on Advanced Computer Systems
44127
Каталог "Книги" | Книги .(02)
Numerical Integration on Advanced Computer Systems
(1994)
Arnold R. Krommer; Christoph W. Ueberhuber

A Decade of Concurrency. Reflections and Perspectives
44126
Каталог "Книги" | Книги .(02)
A Decade of Concurrency. Reflections and Perspectives
Proceedings (1994)

Algorithms and Complexity
44125
Каталог "Книги" | Книги .(02)
Algorithms and Complexity
Proceedings (1994)

Types for Proofs and Programs
44124
Каталог "Книги" | Книги .(02)
Types for Proofs and Programs
Selected Papers (1996)

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

Sotware Configuration Management
44122
Каталог "Книги" | Книги .(02)
Sotware Configuration Management
Selected Papers (1995)

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

ESEC'87
44120
Каталог "Книги" | Книги .(02)
ESEC'87
Proceedings (1987)

Optimal Algorithms
44119
Каталог "Книги" | Книги .(02)
Optimal Algorithms
Proceedings (1989)

Algorithms
44118
Каталог "Книги" | Книги .(02)
Algorithms
Proceedings (1990)

Recent Trends in Data Type Specification
44117
Каталог "Книги" | Книги .(02)
Recent Trends in Data Type Specification
Selected Papers (1995)

Parallel Computer Architectures
44116
Каталог "Книги" | Книги .(02)
Parallel Computer Architectures
Theory, Hardware, Software, Applications (1993)

Computational Geometry-Methods, Algorithms and Applications
44115
Каталог "Книги" | Книги .(02)
Computational Geometry-Methods, Algorithms and Applications
Proceedings (1991)

Distributed Memory Computing
44114
Каталог "Книги" | Книги .(02)
Distributed Memory Computing
Preoceedings (1991)

Algebraic Logic and Universal Algebra in Computer Science
44224
Каталог "Книги" | Книги .(02)
Algebraic Logic and Universal Algebra in Computer Science
Proceedings (1990)

ZUM'97: The Z Formal Specification Notation
44223
Каталог "Книги" | Книги .(02)
ZUM'97: The Z Formal Specification Notation
Proceedings (1997)

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

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

VDM'91 Formal Software Development Methods
44220
Каталог "Книги" | Книги .(02)
VDM'91 Formal Software Development Methods
Proceedings (1991)
V. 2. Tutorials

Dependable Computing- EDCC-1
44219
Каталог "Книги" | Книги .(02)
Dependable Computing- EDCC-1
Proceedings (1994)