Persian رم حقیقی Cited by user CS.40013031 on 21 Jan 2023 در محاسبات، خصوص در هندسه محاسباتی ، یک RAM حقیقی یک مدل ریاضی از رایانه است که قادر است با اعداد حقیقی دقیق به جای اعداد نقطه ثابت باینری یا اعداد ممیز شناور که توسط بیشت…
English String-searching algorithm Cited by user Nicoonoclaste on 19 Mar 2022 In computer science, string-searching algorithms, sometimes called string-matching algorithms, are an important class of string algorithms that try to find a place where…
English Intersection type discipline Cited by user Mrhaandi on 05 Aug 2019 In mathematical logic, the intersection type discipline is a branch of type theory encompassing type systems that use the intersection type constructor
French Automate séquentiel Cited by user ManiacParisien on 09 Nov 2017 En informatique théorique, et notamment en théorie des automates, un automate séquentiel est un automate fini déterministe avec sorties.