241. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
242. Adapting proofs-as-programs
پدیدآورنده : / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
243. Adaptive Resonance Theory Microchips
پدیدآورنده : by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
244. Adaptive thinking
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Reasoning. ; Thought and thinking. ; Logic. ;
245. Adaptive thinking
پدیدآورنده : / Gerd Gigerenzer
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (تهران)
موضوع : Reasoning,Thought and thinking,Logic
رده :
BC177
.
G53
2000
246. Adiabatic logic
پدیدآورنده : / Philip Teichmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic design.,Adiabatic invariants.
رده :
TK7868
.
L6T35
2012
247. #Admissibility of logical inference rules
پدیدآورنده : #Vladimir V. Rybakov
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Logic, Symbolic and mathematical ،Inference
رده :
#
QA
،#.
R986
،#
1997
248. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir Vladimir
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical , Inference
رده :
QA
9
.
R986
1997
249. Admissibility of logical inference rules
پدیدآورنده : Rybakov, Vladimir V. )Vladimir Vladimir(
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Logic, Symbolic and mathematical,، Inference
رده :
QA
9
.
R986
1997
250. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon.
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
251. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
252. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
1975
253. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
254. Adresat︠s︡ii︠a︡ diskursa /
پدیدآورنده : otvetstvennyĭ redaktor N.D. Aruti︠u︡nova.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Communication.,Dialogue analysis.,Interpersonal communication and culture.,Language and logic.,Communication.,Dialogue analysis.,Interpersonal communication and culture.,Language and logic.
رده :
P302
.
L5875
2012
255. Advanced BDD optimization
پدیدآورنده : / by Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Decision making- Mathematical models,Decision trees,Logic design- Mathematics,Algebra, Boolean
رده :
T57
.
95
.
E24
2005
256. Advanced BDD optimization
پدیدآورنده : Ebendt, Rudiger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Mathematical models ، Decision making,، Decision trees,Mathematics ، Logic design,، Algebra, Boolean
رده :
T
57
.
95
.
E23A3
257. Advanced Digital Logic Design: using Verilog, State Machines, and Synthesis for FPGAs
پدیدآورنده : Sunggu Lee
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Logic circuits -- design and construction -- data processing,Verilog (Computer hardware description language),Computer-aided design
رده :
TK
،
7868
،.
L6
,
L4
،
2006
258. Advanced FPGA design :
پدیدآورنده : Steve Kilts.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Field programmable gate arrays-- Design and construction.,COMPUTERS-- Logic Design.,Field programmable gate arrays-- Design and construction.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7895
.
G36
K55
2007eb
259. Advanced bipolar logic databook
پدیدآورنده : ]by[ National Semiconductor Corporation
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Handbooks, manuals, etc ، Integrated circuits,Logic circuits - Handbooks, manuals, etc
رده :
TK
7874
.
A38
1982
260. Advanced computer architecture :
پدیدآورنده : Chao Li, Junjie Wu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
