Search

Your search keyword '"Havlícek, Jan"' showing total 4 results

Search Constraints

Start Over You searched for: Author "Havlícek, Jan" Remove constraint Author: "Havlícek, Jan" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
4 results on '"Havlícek, Jan"'

Search Results

1. DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs

2. Pogamut 3 Can Assist Developers in Building AI (Not Only) for Their Videogame Agents

3. Extensions and Applications of Pogamut 3 Platform

4. Towards Fast Prototyping of IVAs Behavior: Pogamut 2

Catalog

Books, media, physical & digital resources