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

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

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

Търсене в

Подредба

Намерени са 1881 резултата.
Mathematical Foundations of Computer Science 1991
35007
Каталог "Книги" | Книги .(02)
Mathematical Foundations of Computer Science 1991
16th International Symposium Kazimierz Dolny, Poland, Septem (1991)

Algebraic and Logic Programming
35017
Каталог "Книги" | Книги .(02)
Algebraic and Logic Programming
Third International Conference Volterra, Italy,September 2-4 (1992)

Recent Trends in Data Type Specification
34983
Каталог "Книги" | Книги .(02)
Recent Trends in Data Type Specification
7th Workshop on Specification of Absact Data Types Wusterhau (1991)

Uncertainty in Knowledge Bases
35016
Каталог "Книги" | Книги .(02)
Uncertainty in Knowledge Bases
3rd International Conference on Information Processing and (1991)

Software Process Technology
35013
Каталог "Книги" | Книги .(02)
Software Process Technology
Second European Worshop, EWSPT'92 Trondheim,Norway,September (1992)

Advances in Databases
34985
Каталог "Книги" | Книги .(02)
Advances in Databases
11th British National Conference on Conference on Databases, (1993)

IPMU'92- Advanced Mathods in Artifical Intelligence
35014
Каталог "Книги" | Книги .(02)
IPMU'92- Advanced Mathods in Artifical Intelligence
4th International Conference on Information Processing and.. (1993)

Attribute Grammars, Applications and Systems
34984
Каталог "Книги" | Книги .(02)
Attribute Grammars, Applications and Systems
International Summer School SAGA Prage, Czechoslovakia,June (1991)

Deductive and Object-Oriented Databases
34987
Каталог "Книги" | Книги .(02)
Deductive and Object-Oriented Databases
Second International Conference,DOOD'91 Munich,Germany,Decem (1991)

VDM'91 Formal Software Development Methods
34986
Каталог "Книги" | Книги .(02)
VDM'91 Formal Software Development Methods
4th International Symposium of VDM Europe Noordwijkerhout,Th (1991 -)
V. 1. Conference Contributions

Universal Algebra for Computer Scientists
34991
Каталог "Книги" | Книги .(02)
Universal Algebra for Computer Scientists
EATCS Monographs on Theoretical Computer Science (-)
V. 25.
Wolfgang Wechler

Advanced Database Systems
34993
Каталог "Книги" | Книги .(02)
Advanced Database Systems
10th British National Conference on Databases,BNCOD 10 Abern (1992)

LOGIDATA+: Deductive Databases with Complex Objects
34992
Каталог "Книги" | Книги .(02)
LOGIDATA+: Deductive Databases with Complex Objects
(1993)

Advances in Database Technology- EDBT'90
34989
Каталог "Книги" | Книги .(02)
Advances in Database Technology- EDBT'90
International Conference on Extendinf Database Technology... (1990)

VDM'91 Formal Software Development Methods
34990
Каталог "Книги" | Книги .(02)
VDM'91 Formal Software Development Methods
4th International Symposium of VDM Europe Noordwijkerhout,.. (1991)
V.2. Tutorials

Algebraic and Logic Programming
34988
Каталог "Книги" | Книги .(02)
Algebraic and Logic Programming
Second International Conference Nancy, France,October1-31990 (1990)

Concepts, Design, and Performance Analysis of a Parallel
35005
Каталог "Книги" | Книги .(02)
Concepts, Design, and Performance Analysis of a Parallel
(1989)
Joachim Beer

Algebraic System Specification and Development
35004
Каталог "Книги" | Книги .(02)
Algebraic System Specification and Development
A Survey and Annotated Bibliography (1991)

A Formal Model of Visualization in Computer Graphics Systems
35003
Каталог "Книги" | Книги .(02)
A Formal Model of Visualization in Computer Graphics Systems
(1990)
Tamiya Onodera; Satoru Kawai

Formal Techniques in Real- Time and Faul- Tolerant Systems
35001
Каталог "Книги" | Книги .(02)
Formal Techniques in Real- Time and Faul- Tolerant Systems
Second International Symposium Nijmegen,The Netherlands,Janu (1991)