101. Automata theory : machines and languages
پدیدآورنده : Kain, Richard Y
کتابخانه: (طهران)
موضوع : ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
102. Automata theory: machines and languages
پدیدآورنده : Kain, Richard Y.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory,، Formal languages,، Mathematical linguistics
رده :
QA
267
.
K35
103. Automatentheorie und formale Sprachen
پدیدآورنده : Hotz, Gunter
کتابخانه: (طهران)
موضوع : ، Machine theory,، Formal languages,، Machine theory
رده :
QA
267
.
H6
104. Combinatorics on traces
پدیدآورنده : Diekert, Volker
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
105. Combinatorics on traces
پدیدآورنده : Diekert, Volker, 5591-
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
106. Communication and concurrency
پدیدآورنده : Milner, Robin
موضوع : ، Machine theory,، Formal languages
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
107. Communication and concurrency
پدیدآورنده : Milner, R.)Robin(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
M533
1989
108. Communication and concurrency /
پدیدآورنده : Robin Milner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
رده :
QA267
.
M533
1989
109. Communication and concurrency
پدیدآورنده : Milner, Robin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
M533
110. Communication & concurrency
پدیدآورنده : MILNER,ROBIN
کتابخانه: (طهران)
موضوع : MACHINE THEORY , FORMAL LANGUAGES
رده :
QA
267
.
M533
111. Computability, Complexity, and Languages
پدیدآورنده : \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
112. Computability, complexity, and languages :
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
113. Computability, complexity, and languages
پدیدآورنده : Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
114. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
115. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
116. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
117. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
118. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
119. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده : edited by G. Rozenberg, A. Salomua
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Machine theory,، formal languages
رده :
QA
267
.
C87
