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

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

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

Търсене в

Подредба

Намерени са 330 резултата. Да не би да имахте предвид system?
Networking in Open Systems
44074
Каталог "Книги" | Книги .(02)
Networking in Open Systems
Proceedings (1987)

Uncertainty and Intelligent Systems
44156
Каталог "Книги" | Книги .(02)
Uncertainty and Intelligent Systems
Proceedings (1988)

Parallel Symbolic Languages and Systems
44133
Каталог "Книги" | Книги .(02)
Parallel Symbolic Languages and Systems
Proceedings (1996)

Object- Based Models and Languages for Concurrent Systems
44130
Каталог "Книги" | Книги .(02)
Object- Based Models and Languages for Concurrent Systems
Proceedings (1995)

Numerical Integration on Advanced Computer Systems
44127
Каталог "Книги" | Книги .(02)
Numerical Integration on Advanced Computer Systems
(1994)
Arnold R. Krommer; Christoph W. Ueberhuber

Formal Systems Specification. The RPC- Memory Specification
44214
Каталог "Книги" | Книги .(02)
Formal Systems Specification. The RPC- Memory Specification
Case Study (1996)

Intelligent Tutoring Systems
44299
Каталог "Книги" | Книги .(02)
Intelligent Tutoring Systems
Proceedings (1996)

Embedded Systems
44288
Каталог "Книги" | Книги .(02)
Embedded Systems
An Advanced Cours (1987)

Intelligent Tutoring Systems
44277
Каталог "Книги" | Книги .(02)
Intelligent Tutoring Systems
Proceedings (1992)

Formal Techniques in Real- Time and Fault- Tolerant Systems
44269
Каталог "Книги" | Книги .(02)
Formal Techniques in Real- Time and Fault- Tolerant Systems
Proceedings (1994)

Analysis of Dinamical and Cognitive Systems
44229
Каталог "Книги" | Книги .(02)
Analysis of Dinamical and Cognitive Systems
Proceedings (1995)

Parallel Symbolic Computing: Languages, Systems, and Applications
44227
Каталог "Книги" | Книги .(02)
Parallel Symbolic Computing: Languages, Systems, and Applications
Proceedings (1993)

Systems of Reductions
44225
Каталог "Книги" | Книги .(02)
Systems of Reductions
(1987)
B. Benninghofen; S. Kemmerich; M. M. Richter

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

Formal Development of Reactive Systems
44305
Каталог "Книги" | Книги .(02)
Formal Development of Reactive Systems
Case Study Production Cell (1995)

Rules in Database Systems
44303
Каталог "Книги" | Книги .(02)
Rules in Database Systems
Proceedings (1995)

Conditional Term Rewriting Systems
44331
Каталог "Книги" | Книги .(02)
Conditional Term Rewriting Systems
Proceedings (1988)

Specifying Message Passing and Time-Critical Systems with Temporal Logic
44327
Каталог "Книги" | Книги .(02)
Specifying Message Passing and Time-Critical Systems with Temporal Logic
(1992)
Ron Koymans

Design and Implementation of Symbolic Computation Systems
44324
Каталог "Книги" | Книги .(02)
Design and Implementation of Symbolic Computation Systems
Proceedings (1993)

Experiences with Distributed Systems
44349
Каталог "Книги" | Книги .(02)
Experiences with Distributed Systems
Proceedings (1988)