يعرض 1 - 10 نتائج من 25 نتيجة بحث عن '"Drab, Tomasz"', وقت الاستعلام: 1.19s تنقيح النتائج
  1. 1
    تقرير
    Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction

    المؤلفون: Drab, Tomasz

    مصطلحات موضوعية: Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2405.12586Test

    View record in Arxiv

    أضف إلى المفضلة
  2. 2
    تقرير
    Strong Call by Value is Reasonable for Time

    المؤلفون: Biernacka, Małgorzata, Charatonik, Witold, Drab, Tomasz

    مصطلحات موضوعية: Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2102.05985Test

    View record in Arxiv

    أضف إلى المفضلة
  3. 3
    تقرير
    An Abstract Machine for Strong Call by Value

    المؤلفون: Biernacka, Małgorzata, Biernacki, Dariusz, Charatonik, Witold, Drab, Tomasz

    مصطلحات موضوعية: Computer Science - Programming Languages

    الوصول الحر: http://arxiv.org/abs/2009.06984Test

    View record in Arxiv

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    The Zoo of Lambda-Calculus Reduction Strategies, And Coq

    المؤلفون: Biernacka, Małgorzata, Charatonik, Witold, Drab, Tomasz

    المساهمون: Małgorzata Biernacka and Witold Charatonik and Tomasz Drab

    مصطلحات موضوعية: Lambda calculus, Reduction strategies, Coq

    وصف الملف: application/pdf

    العلاقة: Is Part Of LIPIcs, Volume 237, 13th International Conference on Interactive Theorem Proving (ITP 2022); urn:nbn:de:0030-drops-167165; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2022.7Test

    الإتاحة: https://doi.org/10.4230/LIPIcs.ITP.2022.7Test
    https://nbn-resolving.org/urn:nbn:de:0030-drops-167165Test

    View record in BASE

    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    A simple and efficient implementation of strong call by need by an abstract machine

    المؤلفون: Biernacka, Małgorzata, Charatonik, Witold, Drab, Tomasz

    المساهمون: National Science Centre of Poland

    المصدر: Proceedings of the ACM on Programming Languages ; volume 6, issue ICFP, page 109-136 ; ISSN 2475-1421

    الإتاحة: https://doi.org/10.1145/3549822Test

    View record in BASE

    أضف إلى المفضلة
  6. 6
    مؤتمر
    A Derived Reasonable Abstract Machine for Strong Call by Value

    المؤلفون: Biernacka, Malgorzata, Charatonik, Witold, Drab, Tomasz

    المساهمون: National Science Centre of Poland

    المصدر: 23rd International Symposium on Principles and Practice of Declarative Programming

    الإتاحة: https://doi.org/10.1145/3479394.3479401Test

    View record in BASE

    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    O relacji pojęcia obowiązku i zobowiązania podatkowego (dylematy interpretacyjne)

    المؤلفون: Drab, Tomasz, Drabik, Maciej

    مصطلحات موضوعية: Obowiązek podatkowy, Polska, Prawo podatkowe, Poland, Tax law, Tax obligation

    العلاقة: Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach. Seria: Administracja i Zarządzanie. - Nr 35 (108) (2016), s. 235-241; http://hdl.handle.net/11331/1461Test

    الإتاحة: http://hdl.handle.net/11331/1461Test

    View record in BASE

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Status ustrojowy regionalnych izb obrachunkowych i ich wpływ na procedurę budżetową jednostek samorządu terytorialnego

    المؤلفون: Badurowicz, Karolina, Drab, Tomasz

    المساهمون: Wydział Prawa i Administracji, Uniwersytet Marii Curie-Skłodowskiej w Lublinie

    مصطلحات موضوعية: regionalne izby obrachunkowe, samorząd terytorialny, uchwała budżetowa

    وصف الملف: application/pdf

    العلاقة: https://depot.ceon.pl/handle/123456789/10277Test

    الإتاحة: https://depot.ceon.pl/handle/123456789/10277Test

    View record in BASE

    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    O relacji pojęcia obowiązku i zobowiązania podatkowego (dylematy interpretacyjne) ; On the relationship between the concept of liability and tax liability (interpretative dilemma)

    المؤلفون: Drab, Tomasz, Drabik, Maciej

    المصدر: Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach; 2016, 35, 108; 235-241 ; 2082-5501

    مصطلحات موضوعية: eco, droit

    العلاقة: https://bibliotekanauki.pl/articles/1826386.pdfTest; https://bibliotekanauki.pl/articles/1826386Test

    الإتاحة: https://bibliotekanauki.pl/articles/1826386.pdfTest
    https://bibliotekanauki.pl/articles/1826386Test

    View record in BASE

    أضف إلى المفضلة
  10. 10
    رسالة جامعية
    Niebezpieczeństwo wprowadzenia w błąd jako przesłanka naruszenia prawa z rejestracji unijnego znaku towarowego

    المؤلفون: Drab, Tomasz

    المساهمون: Skubisz, Ryszard. Promotor, Całka, Edyta. Promotor pomocniczy

    مصطلحات موضوعية: Wydział Prawa i Administracji UMCS

    وصف الملف: application/pdf

    العلاقة: oai:bc.umcs.pl:publication:50001; http://bc.umcs.pl/dlibra/publication/edition/46283/contentTest; oai:bc.umcs.pl:46283

    الإتاحة: http://bc.umcs.pl/dlibra/publication/edition/46283/contentTest

    View record in BASE

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث