Topics of PhD theses

1-50 51-100 101-150 151-200 201-250 251-300 301-350 »351-375«
 
# -Year Advisor Dept Title
3511997Češka MilanUITSFormal Analysis over Object-Oriented Petri Nets
3521997Češka MilanUITSThe Common Model for the Communication and Synchronization Primitives
3531997Drábek VladimírUPSYA contribution to optimization techniques based on design space exploration during high level synthesis
3541997Dvořák VáclavUPSYReconfigurable embedded systems
3551997Hruška TomášUIFSAuthorization Model for Strongly Distributed Information Systems
3561997Rábová ZdeňkaUITSHierarchical Modelling Based on Communicating Objects
3571997Zbořil František V.UITSNeural Associative Memories
3581996Švéda MiroslavUIFSFormal specifications of real-time systems
3591996Zbořil František V.UITSPattern Recognition
3601995Zendulka JaroslavUIFSSignature files
3611994Hruška TomášUIFSCategorical Framework for Object-Oriented Database Model
3621994Hruška TomášUIFSFunctional Technology for Object-Oriented Modeling and Database
3631994Hruška TomášUIFSParallel Programming Tools
3641992Češka MilanUITSPetri Nets and Objects
3651992Dvořák VáclavUPSYSynthesis of low-cost decision diagrams
3661992Honzík Jan M.UIFSMethods for Design of an Object-Oriented Database System
3671992Hruška TomášUIFSModelling Program Semantics Using Graphs
3681991Rábová ZdeňkaUITSKnowledge based discrete simulation
3691989Dvořák VáclavUPSYDesign automation of microprocessor controllers with the use of Petri nets
3701988Dvořák VáclavUPSYA contribution to electronic circuit design for a laser interferometer
3711988Rábová ZdeňkaUITSObject model and its use in software construction
3721985Rábová ZdeňkaUITSTools for computer aided digital circuits design
3731984Dvořák VáclavUPSYDesign automation tasks of decomposition and placement of ICs
3741984Dvořák VáclavUPSYSolution of some problems in improving computer performance
3751983Rábová ZdeňkaUIVTModelling of programming language semantics and using models in programming language implementation
Prev 

Vaše IPv4 adresa: 34.207.146.166
Přepnout na https

DNSSEC [dnssec]