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

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

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

Търсене в

Подредба

Намерени са 1664 резултата.
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
44451
Каталог "Книги" | Книги .(02)
Concepts, Design, and Performance Analysis of a Parallel Prolog Machine
(1989)
Joachim Beer

RIMS Symposia on Software Science and Engineering II
44449
Каталог "Книги" | Книги .(02)
RIMS Symposia on Software Science and Engineering II
Proceedings (1986)

The Newton- Cauchy Framework
44450
Каталог "Книги" | Книги .(02)
The Newton- Cauchy Framework
A Unified Approach to Unconstarined Nonlinear Minimization (1994)
J. L. Nazareth

Transformation- Based Reactive Systems Development
44448
Каталог "Книги" | Книги .(02)
Transformation- Based Reactive Systems Development
Proceedings (1997)

SIL- a Simulation Language
44447
Каталог "Книги" | Книги .(02)
SIL- a Simulation Language
User's Guide (1990)
Niels Houbak

Objective Software Quality
44446
Каталог "Книги" | Книги .(02)
Objective Software Quality
Proceedings (1995)

Programming Languages: Implementations, Logics, and Programs
44445
Каталог "Книги" | Книги .(02)
Programming Languages: Implementations, Logics, and Programs
Proceedings (1996)

Foundations of Software Technology and Theoretical Computer
44444
Каталог "Книги" | Книги .(02)
Foundations of Software Technology and Theoretical Computer
Proceedings (1990)

Category Theory and Computer Science
44443
Каталог "Книги" | Книги .(02)
Category Theory and Computer Science
Proceedings (1989)

Theories and Methods of Spatio- Temporal Reasoning in Geographic Space
44442
Каталог "Книги" | Книги .(02)
Theories and Methods of Spatio- Temporal Reasoning in Geographic Space
Proceedings (1992)

Parallel Problem Solving from Nature
44441
Каталог "Книги" | Книги .(02)
Parallel Problem Solving from Nature
Proceedings (1991)

Foundations of Software Technology and Theoretical Computer
44440
Каталог "Книги" | Книги .(02)
Foundations of Software Technology and Theoretical Computer
Proceedings (1993)

KORSO: Methods, Languages, and Tools for the Construction of Correct Software
44439
Каталог "Книги" | Книги .(02)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Final Report (1995)

Programming Languages: Implementations, Logics, and Programs
44438
Каталог "Книги" | Книги .(02)
Programming Languages: Implementations, Logics, and Programs
Proceedings (1997)

Computer Analysis of Images and Patterns
44437
Каталог "Книги" | Книги .(02)
Computer Analysis of Images and Patterns
Proceedings (1995)

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

Solving Combinatorial Optimization Problems in Parallel Methods and Techniques
44471
Каталог "Книги" | Книги .(02)
Solving Combinatorial Optimization Problems in Parallel Methods and Techniques
Methos and Techniques (1996)

Information Systems and Artifical Intelligence: Integration Aspects
44470
Каталог "Книги" | Книги .(02)
Information Systems and Artifical Intelligence: Integration Aspects
Proceedings (1991)

Meta- Programming in Logic
44469
Каталог "Книги" | Книги .(02)
Meta- Programming in Logic
Proceedings (1992)

Parallel Virtual Machine- EuroPVM'96
44468
Каталог "Книги" | Книги .(02)
Parallel Virtual Machine- EuroPVM'96
Proceedings (1996)