Synek - PDFSEARCH.IO - Document Search Engine

Synek
Results: 7

#	Item
1	Verification of Hybrid Systems in Coq H. Geuvers, A. Koprowski, D. Synek, E. van der Weegen BRICKS AFM4 Advancing the Real use of Proof Assistants Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-04-02 18:22:28 Functional languages Type theory Automated theorem proving Hybrid automaton Numerical analysis Proof assistant Coq Verification OCaml Model checking Discretization
2	Vojtech Baláž, Filip Kolář Jana Lišková, Alena Pluhařová, Petr Synek Smrt jako součást života Add to Reading List Source URL: biologickaolympiada.cz Language: Czech - Date: 2009-09-23 02:01:00
3	ECH Belgrade, Serbia 30 May - 1 June[removed] Add to Reading List Source URL: www.worldrowing.com Language: English - Date: 2014-06-01 08:11:49 Ondřej Synek Synek
4	KAPLE CÍRKVE BRATRSKÉ CHODOV FRANTIŠEK POUZAR ATT4[removed]ATELIÉR SYNEK - NEŘOLD Add to Reading List Source URL: dasti.net Language: Czech - Date: 2010-01-14 09:44:14
5	Vojtech Baláž, Filip Kolář Jana Lišková, Alena Pluhařová, Petr Synek Add to Reading List Source URL: www.biologickaolympiada.cz Language: Czech - Date: 2009-09-23 02:01:00
6	ECH Plovdiv, Bulgaria[removed]Sept 2011 Add to Reading List Source URL: 88.85.4.10 Language: English - Date: 2011-09-18 08:26:56 Synek Pol
7	WCH Chungju, Korea 25 Aug - 1 Sept 2013 Add to Reading List Source URL: 88.85.4.10 Language: English - Date: 2013-09-01 03:23:34 Mahé Drysdale Mahe Synek