نتایج جستجو برای: process algebra

تعداد نتایج: 1375182  

Journal: :IEEE Transactions on Software Engineering 2012

1991
Jan Friso Groote Jos Baeten Jaco de Bakker Nicolien Drost Willem Jan Fokkink Jan Heering Paul Hendriks Eiichi Horita

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1390

w. a. dudek, m. shahryari, representation theory of polyadic groups, algebra and representation theory, 2010. و a. borowiec, w. a. dudek, s. duplij, bi-element representations of ternary groups, comminications in algebra 34 (2006). هدف اصلی این پایان نامه، معرفی نمایش های گروه های n-تایی و بررسی ویژگی های اصلی آن ها با تمرکز روی گروه های سه تایی است.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی 1389

one of the most important number sequences in mathematics is fibonacci sequence. fibonacci sequence except for mathematics is applied to other branches of science such as physics and arts. in fact, between anesthetics and this sequence there exists a wonderful relation. fibonacci sequence has an importance characteristic which is the golden number. in this thesis, the golden number is observed ...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده علوم 1376

in chapter 1, charactrizations of fragmentability, which are obtained by namioka (37), ribarska (45) and kenderov-moors (32), are given. also the connection between fragmentability and its variants and other topics in banach spaces such as analytic space, the radone-nikodym property, differentiability of convex functions, kadec renorming are discussed. in chapter 2, we use game characterization...

Journal: :Science of Computer Programming 1997

Journal: :The Journal of Logic and Algebraic Programming 2011

Journal: :Electronic Proceedings in Theoretical Computer Science 2017

Journal: :Journal of Logic and Computation 2000

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید