Omezená právní osobnost pobočného spolku a její důsledky por Luboš Brim

Obter o texto integral

Ustanovení zástupce nemajetnému účastníkovi v občanském soudním řízení por Luboš Brim

Obter o texto integral

Promlčení práva kapitálové obchodní společnosti na splacení vkladu por Luboš Brim

Obter o texto integral

Platform Dependent Verification: On Engineering Verification Tools for 21st Century por Luboš Brim, Jiří Barnat

Obter o texto integral

Using Strategy Improvement to Stay Alive por Luboš Brim, Jakub Chaloupka

Obter o texto integral

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking por Jiří Barnat, Luboš Brim, Milan Češka

Obter o texto integral

Parallel One-Step Control of Parametrised Boolean Networks por Luboš Brim, Samuel Pastva, David Šafránek, Eva Šmijáková

Obter o texto integral

Computing Optimal Cycle Mean in Parallel on CUDA por Jiří Barnat, Petr Bauch, Luboš Brim, Milan Češka

Obter o texto integral

Robustness analysis of stochastic biochemical systems. por Milan Ceska, David Safránek, Sven Dražan, Luboš Brim

Obter o texto integral

Executable biochemical space for specification and analysis of biochemical systems. por Matej Troják, David Šafránek, Lukrécia Mertová, Luboš Brim

Obter o texto integral

BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs por Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek

Obter o texto integral

Executable biochemical space for specification and analysis of biochemical systems por Matej Troják, David Šafránek, Lukrécia Mertová, Luboš Brim, Bashar Ibrahim

Obter o texto integral

Exploring attractor bifurcations in Boolean networks por Nikola Beneš, Luboš Brim, Jakub Kadlecaj, Samuel Pastva, David Šafránek

Obter o texto integral

BioDiVinE: A Framework for Parallel Analysis of Biological Models por David Šafránek, Jan Láník, Jana Fabriková, Sven Dražan, Ivana Černá, Luboš Brim, Jiří Barnat, Hongwu Ma

Obter o texto integral