141. Communication & concurrency
پدیدآورنده: MILNER,ROBIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGES
رده :
QA
267
.
M533
142. Computability, Complexity, and Languages
پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
143. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
144. Computability, complexity, and languages :
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
145. Computability, complexity, and languages
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
146. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
147. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
148. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
149. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
150. Computational Logic in Multi-Agent Systems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
151. Computer oriented learning processes : )proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes(
پدیدآورنده: edited by J. C. Simon
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Artificial intelligence,Congresses ، Probabilistic automata,Congresses ، Formal languages
رده :
Q
334
.
N37
1976
152. Context-free grammars : covers, normal forms, and parsing
پدیدآورنده: Nijholt, Anton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L4
v
.
93
153. Context-free grammars : covers, normal forms, and parsing
پدیدآورنده: Nijholt, Anton
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Parsing )Computer grammar(
رده :
QA
267
.
3
.
N54
154. Context-free grammars : covers, normal forms, and parsing
پدیدآورنده: Nijholt, Anton, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L28
Vol
.
93
155. Current trends in theoretical computer science: essays and tutorials
پدیدآورنده: edited by G. Rozenberg, A. Salomua
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، formal languages
رده :
QA
267
.
C87
156. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
157. Descriptional Complexity of Formal Systems
پدیدآورنده: \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
158. Descriptional complexity of formal systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal languages ; Congresses. ;
159. Descriptional complexity of formal systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal languages ; Congresses. ;
