Kovács

Results: 379



#Item
1

Reasoning About Loops Using Vampire in KeY? Wolfgang Ahrendt, Laura Kovács, and Simon Robillard Chalmers University of Technology We describe symbol elimination and consequence nding in

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2015-09-23 08:29:44
    2

    The Prince of Transylvania’s court cookbook From the 16th century THE SCIENCE OF COOKING Trans: Bence Kovacs Editor: Gwyn Chwith ap Llyr (mka Glenn Gorsuch) © Glenn F. Gorsuch

    Add to Reading List

    Source URL: www.daviddfriedman.com

    Language: English - Date: 2017-10-19 16:43:17
      3

      特別講演 Fuzzy Rule Interpolation in Embedded Behaviour-based Control 講師:Szilveszter Kovács 所属:Department of Information Technology, University of Miskolc, Miskolc, Hungary

      Add to Reading List

      Source URL: www.comp.sd.tmu.ac.jp

      Language: English - Date: 2013-03-25 23:29:16
        4

        Geza Kovacs E DUCATION Stanford University PhD, Computer Science

        Add to Reading List

        Source URL: www.gkovacs.com

        - Date: 2017-09-20 05:06:00
          5

          Services and Slums: Rethinking Infrastructures and Provisioning across the Nexus Dr Tatiana Thieme Dr Eszter Kovacs

          Add to Reading List

          Source URL: www.thenexusnetwork.org

          - Date: 2015-05-01 05:30:39
            6

            A Dr. Kovács Pál Megyei Könyvtár és Közösségi Tér Minőségpolitikai nyilatkozata A Dr. Kovács Pál Megyei Könyvtár és Közösségi Tér – a Küldetésnyilatkozatában foglaltakkal összhangban – elköte

            Add to Reading List

            Source URL: kozpont.gyorikonyvtar.hu

            - Date: 2013-06-25 04:16:06
              7

              Dr. Kovács Pál Megyei Könyvtár és Közösségi tér Központi Könyvtár - Médiatár HANGOSKÖNYV Gyerekirodalom, mesék

              Add to Reading List

              Source URL: kozpont.gyorikonyvtar.hu

              - Date: 2016-07-18 01:14:41
                8

                VI.18.) OKSTB határozat KÖNYVTÁRHASZNÁLATI SZABÁLYZAT Hatályos: 2013. július 1-jétől A Dr. Kovács Pál Megyei Könyvtár és Közösségi Tér (a továbbiakban: intézmény) nyilvános könyvtár, en

                Add to Reading List

                Source URL: kozpont.gyorikonyvtar.hu

                - Date: 2013-06-28 00:30:51
                  9

                  KÖNYVISMERTETÉSEK A tér terepesítése, avagy a terep teresítése Kovács Nóra – Szarka László (szerk.): Tér és terep. Tanulmányok az etnicitás és az identitás kérdéskörébõl.

                  Add to Reading List

                  Source URL: adatbank.transindex.ro

                  - Date: 2007-01-17 13:42:59
                    10

                    Díjtételek – Dr. Kovács Pál Megyei Könyvtár és Közösségi Tér (A könyvtárhasználati szabályzat melléklete) Hatályos: 2013. január 1-jétől. Ingyenes alapszolgáltatások: Az 1997. évi CXL. tv. 56. §

                    Add to Reading List

                    Source URL: kozpont.gyorikonyvtar.hu

                    - Date: 2013-01-03 01:19:05
                      UPDATE