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

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

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

Търсене в

Подредба

Намерени са 330 резултата. Да не би да имахте предвид system?
Over- Constrained Systems
44577
Каталог "Книги" | Книги .(02)
Over- Constrained Systems
(1996)

Workflow Management Systems for Process Organisations
44573
Каталог "Книги" | Книги .(02)
Workflow Management Systems for Process Organisations
(1996)
Thomas Schal

Advanced Information Systems Engineering
44600
Каталог "Книги" | Книги .(02)
Advanced Information Systems Engineering
Proceedings (1991)

Synthesizing Synchronous Systems by Static Scheduling in Space-Time
44618
Каталог "Книги" | Книги .(02)
Synthesizing Synchronous Systems by Static Scheduling in Space-Time
(1989)
Bjorn Lisper

Conditional and Typed Rewriting Systems
44610
Каталог "Книги" | Книги .(02)
Conditional and Typed Rewriting Systems
Proceedings (1991)

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

Network and Operating Systems Support for Digital Audio and Video
44606
Каталог "Книги" | Книги .(02)
Network and Operating Systems Support for Digital Audio and Video
Proceedings (1995)

Tools and Algorithms for the Construction and Analysis of Systems
44635
Каталог "Книги" | Книги .(02)
Tools and Algorithms for the Construction and Analysis of Systems
Proceedings (1997)

Specification and Compositional Verification of Real-Time Systems
44629
Каталог "Книги" | Книги .(02)
Specification and Compositional Verification of Real-Time Systems
(1991)
J. Hooman

Mobile Communications. Advanced Systems and Components
44622
Каталог "Книги" | Книги .(02)
Mobile Communications. Advanced Systems and Components
Proceedings (1994)

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

Tools and Algorithms for the Construction and Analysis of Systems
44654
Каталог "Книги" | Книги .(02)
Tools and Algorithms for the Construction and Analysis of Systems
Selected Papres (1995)

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

Interactive Distributed Multimedia Systems and Services
44679
Каталог "Книги" | Книги .(02)
Interactive Distributed Multimedia Systems and Services
Proceedings (1996)

Integrity Primitives for Secure Informetion Systems
44704
Каталог "Книги" | Книги .(02)
Integrity Primitives for Secure Informetion Systems
Final Report of RACE Integrity Primitives Evaluation... (1995)

Tools and Algorithms for the Construction and Analysis of Systems
44690
Каталог "Книги" | Книги .(02)
Tools and Algorithms for the Construction and Analysis of Systems
Proceedings (1996)

Semantics of Systems of Concurrenct Processes
44712
Каталог "Книги" | Книги .(02)
Semantics of Systems of Concurrenct Processes
Proceedings (1990)

Computer Aided Systems Theory- EUROCAST'89
44709
Каталог "Книги" | Книги .(02)
Computer Aided Systems Theory- EUROCAST'89
Proceedings (1990)

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

Parallel, Distributed and Multiagent Production Systems
44751
Каталог "Книги" | Книги .(02)
Parallel, Distributed and Multiagent Production Systems
(1994)
Toru Ishida