Nakladatelství Faculty of Information Technology, Brno University of Technology - Trh knih - online antikvariát

Faculty of Information Technology, Brno University of Technology nakladatelství

Knihy (19)

 Acceleration of object detection using classifiersdissertation thesis
Active transactions in collaborative virtual environmentsPh.D. thesis
Analysis and testing of concurrent programsmonograph
Clustering techniques for protein fragments analysis Clustering techniques for protein fragments analysismonograph
Conditional grammars and their reduction Conditional grammars and their reductionmonograph
Evolutionary design of collective communications on wormhole networks Evolutionary design of collective communications on wormhole networksdissertation thesis
Evolutionary design of generic structures using instruction-based development Evolutionary design of generic structures using instruction-based developmentdissertation thesis
Formal models: regulation and reductiondissertation thesis
Harnessing forest automata for verification of heap manipulating programsmonograph
Infinity'08 Infinity'0810th International Workshop...
MEMICS ...doctoral workshop on...
Modelling of component-based systems with mobile architecture Modelling of component-based systems with mobile architecturemonograph
Recent advances in evolutionary synthesis and optimization of ordinary and polymorphic circuits Recent advances in evolutionary synthesis and optimization of ordinary and polymorphic circuitsmonograph
Regulated grammars and their transformations Regulated grammars and their transformationsmonograph
Relational verification of programs with integer data Relational verification of programs with integer datamonograph
Rewriting systems with restricted configurations Rewriting systems with restricted configurationsdissertation thesis
Simulations and antichains for efficient handling of finite automata Simulations and antichains for efficient handling of finite automatamonograph
Verification of asynchronous and parametrized hardware designs Verification of asynchronous and parametrized hardware designsmonograph
Verification of programs with complex data structuresdissertation thesis