161. Verification techniques for system-level design
پدیدآورنده: Fujita, Masahiro
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
162. Verification techniques for system-level design /
پدیدآورنده: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
163. Verification techniques for system-level design
پدیدآورنده: Fujita, Masahiro, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
164. Verification techniques for system-level design
پدیدآورنده: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK7895
.
E42F95
2008
165. WALCOM
پدیدآورنده: Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
166. WALCOM: Algorithms and Computation
پدیدآورنده: / Md. Saidur Rahman, Satoshi Fujita
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
167. Wastewater Treatment Using Genetically Engineered Microorganisms
پدیدآورنده: / Masanori Fujita , Michihiko Ike
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع: Sewage - Purification - Activated Sludge process,Recombinant microorganisms
رده :
TD
756
.
F85
1994
168. Wastewater treatment using genetically engineered microorganisms
پدیدآورنده: Fujita, Masanori
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sewage-- Purification-- Activated sludge process,، Recombinant microorganisms
رده :
TD
756
.
F85
1994
169. based Complex Automated Negotiation-Next Frontier in Agent
پدیدآورنده: / Katsuhide Fujita, Takayuki Ito, Minjie Zhang, Valentin Robu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
170. based Complex Automated Negotiation-Novel Insights in Agent
پدیدآورنده: / Carmona, Takayuki Ito, Minjie Zhang, Quan Bai, Katsuhide Fujita-Maestre, Miguel A. Lopez-Ivan Marsa
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
171. functional-analytic methods for partial differential equations
پدیدآورنده: edited by H.Fujita,T.Ikabe,ST Kuroda
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: differential equations-partial,functional analysis
رده :
QA
377
.
F9
1990
172. functional-analytic methods for partial differential equations
پدیدآورنده: edited by H.Fujita,T.Ikabe,ST Kuroda
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: differential equations-partial,functional analysis
رده :
QA
377
.
F9
1990
173. Mathematical physics
پدیدآورنده: Shigeji Fujita and Salvador V. Godoy
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: Mathematical physics,Mathematical physics, Problems, exercises, etc,Lehrbuch,Physique mathaematique,Physique mathaematique, Problaemes et exercices,Mathematische Physik., swd,Lehrbuch., swd
رده :
QA
,
401
,
M57F9
,
2010
174. mathematical physics
پدیدآورنده: / Shigeji Fujita, salvador V. Godoy
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematical physics
رده :
QC20
.
F84
2010
175. mathematical physics
پدیدآورنده: Shigeji Fujita,Salvador V.Godoy
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: mathematical physics
رده :
QC
19
.
2
.
F9M2
2010
