Rastislav - PDFSEARCH.IO - Document Search Engine

Rastislav
Results: 46

#	Item
31	Zmeny v povoľovacích procesoch výstavby lokálnych kotolní Rastislav Hanulák Konferencia Tepelná energetika efektívne Vysoké Tatry, [removed] Add to Reading List Source URL: www.siea.sk Language: Slovak - Date: 2014-06-02 04:48:35
32	Growing Solver-Aided Languages with ROSETTE Emina Torlak Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Numerical software Functions and mappings Boolean algebra Algebraic logic Parity Satisfiability Modulo Theories Tcl Symbolic execution FO Mathematics Theoretical computer science Physics
33	FOR GOD AND NATION - ZA BOHA A NÁROD Catholic Fraternal Bi -Weekly Jednota THE UNION Add to Reading List Source URL: www.lisaalzo.com Language: English - Date: 2010-03-04 11:46:08 Slovakia Slovak language Slovaks Cleveland Slovak Republic Milan Rastislav Štefánik Czechoslovakia Andrej Hlinka Slovak National Uprising Europe Slavic Republics
34	Programming by Sketching for Bit-Streaming Programs Armando Solar-Lezama1 Rodric Rabbah2 Rastislav Bod´ık1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-08-19 16:56:53 Computing Signal processing filter Signal processing ALGOL 68 Electronic filter ICE Bit array Filter Electronics Filter theory Electronic engineering
35	Sketching Stencils Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodik, Vijay Saraswat,∗ Sanjit Seshia University of California, Berkeley {asolar,arnold,tancau,bodik,sseshia}@eecs.berkeley.edu Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-04-09 21:11:47 Programming idioms Recursion Subroutines Procedural programming languages Functional languages Induction variable ALGOL 68 Stack Stencil codes Computer programming Software engineering Computing
36	Sketching Concurrent Data Structures Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík University of California, Berkeley {asolar,cgjones,bodik}@eecs.berkeley.edu Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2008-05-07 23:06:10 Concurrency Tree traversal Non-blocking algorithm Parallel computing Concurrent data structure Linearizability Thread Lock Double-ended queue Concurrency control Computing Computer programming
37	FORMER SECTION IV CASE OF KOKY AND OTHERS v. SLOVAKIA (Application no[removed]JUDGMENT Add to Reading List Source URL: www.ertf.org Language: English - Date: 2014-07-16 11:40:27 Ján Europe Earth Political geography KOKY Slovakia Rastislav
38	Synthesis of Biological Models from Mutation Experiments Ali Sinan K¨oksal1 Rastislav Bod´ık1 1 Yewen Pu1 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-11-21 13:07:09 Cell cycle Mutation Synthesizer Genetics Brainfuck Music Biology Sound
39	Ako dokázať viac za menej Rastislav Pečík Softec Ako sa dá zvýšiť výkon aplikácie? Add to Reading List Source URL: www.softec.sk Language: Slovak - Date: 2014-03-12 04:40:15
40	A ZMNE KLHTK TUDOMÁNYOS FOLYÓIRATA ÁLTALÁNOS HADTUDOMÁNYI SZEMLE Budapest, 2010. Add to Reading List Source URL: uni-nke.hu Language: English - Date: 2010-08-08 11:11:32 Transport in Bratislava Rostislav Vajnory Airport Vajnory Košariská Milan Tomáš Garrigue Masaryk Brezová pod Bradlom Slovakia Europe Slavic Milan Rastislav Štefánik

UPDATE