Rastislav

Results: 46



#Item
11

Online Graph Exploration with Advice? Stefan Dobrev1 and Rastislav Kr´aloviˇc2 and Euripides Markou3 1 3

Add to Reading List

Source URL: emarkou.users.uth.gr

- Date: 2016-05-24 11:28:44
    12

    PATH-SENSITIVE, VALUE-FLOW OPTIMIZATIONS OF PROGRAMS by Rastislav Bod´ık Diploma, Technical University Kosice, Slovakia, 1992 M.S., University of Pittsburgh, 1994

    Add to Reading List

    Source URL: www.cs.ucr.edu

    Language: English - Date: 2006-05-12 12:39:35
      13

      Stručné dejiny spisovnej slovenčiny 863 - Rastislav pozval na Veľkú Moravu dvoch bratov z Byzantskej ríše, Kon­štantína (Cyrila) a Metoda, ktorí mali šíriť kresťanstvo v staroslovienčine (macedónske n

      Add to Reading List

      Source URL: www.slovina.szm.com

      Language: Slovak - Date: 2006-11-20 01:21:26
        14Predicate logic / Theoretical computer science / Formal methods / NP-complete problems / First-order logic / Satisfiability Modulo Theories / Expression / Type system / Function / Mathematics / Logic / Mathematical logic

        Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

        Add to Reading List

        Source URL: sygus.seas.upenn.edu

        Language: English - Date: 2015-01-10 00:32:21
        15

        Ankety CHKO Ing. Eva Belanová, Ing. Rastislav Gális a Mgr. Csaba Balázs rozdelili početnú skupinu návštevníkov na tri menšie „výpravy“. Každá navštívila inú lokalitu zaujímavú nielen z turistického

        Add to Reading List

        Source URL: www.enviromagazin.sk

        Language: Slovak - Date: 2010-02-09 10:04:39
          16

          NWP related activities at SHMI 34th EWGLAM & 19th SRNWP joined meeting, 8-11 October 2012, Helsinki, Finland = Martin Belluš Mária Derková Richard Habrovský Rastislav Bujňák Milan Káčer Michal Nešti

          Add to Reading List

          Source URL: srnwp.met.hu

          - Date: 2012-10-25 05:48:06
            17

            Odborní garanti: plk. Mgr. Miloslav Čaplovič, PhD. PhDr. Eva Kowalská, DrSc. PhDr. Rastislav Kožiak, PhD. PhDr. Slavomír Michálek, DrSc. Doc. PaedDr. Martin Pekár, PhD.

            Add to Reading List

            Source URL: www.vhu.sk

            Language: Slovak - Date: 2015-02-25 07:48:42
              18

              NWP related activities at SHMU 35th EWGLAM & 20th SRNWP Meetings, , Antalya, Turkey => Martin Belluš Rastislav Bujňák Mária Derková Richard Habrovský Milan Káčer Michal Neštiak Oldřic

              Add to Reading List

              Source URL: srnwp.met.hu

              Language: English - Date: 2013-10-10 06:25:35
                19

                Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]

                Add to Reading List

                Source URL: www.cis.upenn.edu

                Language: English - Date: 2013-08-23 09:46:13
                  20Constraint programming / Formal methods / Programming paradigms / Predicate logic / Satisfiability Modulo Theories / Program synthesis / Algorithm / First-order logic / Function / Mathematics / Theoretical computer science / Applied mathematics

                  Syntax-Guided Synthesis Rajeev Alur† Sanjit A. Seshia‡ Rastislav Bodik‡ Rishabh Singh]

                  Add to Reading List

                  Source URL: www.eecs.berkeley.edu

                  Language: English - Date: 2013-09-22 01:23:29
                  UPDATE