کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابA Never Ending Story-Mathematics, Computer Science and Logic
پدیدآورنده: / Peter Paule
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian
پدیدآورنده: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996


Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
پدیدآورنده: C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425


Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده: / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Algebraic logic- Congresses,Algebra, Universal- Congresses
رده :
QA10
.
A45
1990


Algebraic logic and universal algebra in computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical
رده :
005
A394


Algebraic logic and universal algebra in computer science : Conference, Ames, Iowa, USA, June 1-4, 1988 : Proceedings
پدیدآورنده: C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L28
Vol
.
425


Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
پدیدآورنده: John W. Gray and Andre Scedrov, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
9
.
M35A57
1987


Categories in Computer science and logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic data processing- Mathematics ► Categorig (Mathematics)
رده :
004
C357


Categories in computer science and logic :
پدیدآورنده: John W. Gray and Andre Scedrov, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
رده :
QA76
.
9
.
M35
A47
1987


Categories in computer science and logic
پدیدآورنده: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Computer science- Mathematics- Congresses►Categories (Mathematics)- Congresses
رده :
76
.
9
.
M35
,
A47

Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
رده :
QA
76
.
9
.
M35
.
A47
1987


Computer science and multiple valued logic
پدیدآورنده: / edited by David C. Rine
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Switching theory,Logic circuits,Threshold logic,Many-valued logic
رده :
QA
268
.
5
.
C65


Computer science and multiple-valued logic
پدیدآورنده: / edited by David C. Rine
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع:
رده :
QA268
.
5
،.
C65
1984


Computer science and multiple valued logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Switching theory►Logic circuits►Threshold logic►Many-valued logic
رده :
268
.
5
.
C65

Computer science and multiple valued logic : theory and applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory,، Logic circuits,، Threshold logic,، Many-valued logic
رده :
QA
268
.
5
.
C65


Computer science and multiple- valued logic theory and applications
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Switching theory ► Threshold lgic ► Many- Valued logic
رده :
511
C738


Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in
پدیدآورنده: Lou Goble, John-Jules Ch. Meyer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
4048


Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /
پدیدآورنده: Janusz Czelakowski, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Pigozzi, Don,1935-,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians-- United States.,Algebra, Universal.,Algebraic logic.,Computer science.,Mathematicians.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,United States., 7
رده :
QA29
.
P54


Epistemic logic for AI and computer science
پدیدآورنده: Meyer, John-Jules Ch.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
M495
1995


Field - Programmable Logic , Architectures , Synthesis And Application . Lecture notes in computer Science , September 1994 9 FPL )
پدیدآورنده: / W.R. Hartenstein : Editor
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع:
رده :
P
.
E
.
304
R


Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5


Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده: Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002


Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده: by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002


Handbook of logic and proof techniques for computer science
پدیدآورنده: Krantz, Steven George, 1951-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computers ► Electronic data processing
رده :
004
K89h


Handbook of logic and proof techniques for computer science
پدیدآورنده: Krantz, Steven G. )Steven George(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computers,، Electronic data processing
رده :
QA
76
.
K723
2002


Handbook of logic and proof techniques for computer science
پدیدآورنده: Steven G. Krantz
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computers,، Electronic data processing
رده :
QA
76
.
K7


Logic, Mathematics, and Computer Science.
پدیدآورنده: \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,


Logic, Mathematics, and Computer Science
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: LINGUISTICS AND LANGUAGE

Logic and computer science
پدیدآورنده: / Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses
رده :
QA
9
.
L6
1990


Logic and computer science
پدیدآورنده: / S. Homer... [et al.]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990


Logic and computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, symbolic and mathematical ► Computer programs- Corretness
رده :
511
L832


Logic and computer science
پدیدآورنده: edited by Piergiorgio Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
L5
1990


Logic and computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical- Congresses►Programming (Mathematics)- Congresses
رده :
3
.
L28
,
no
.

Logic and computer science : lectures given at the 1st Session of the Centro internazionale
پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429


Logic and computer science: lectures given at the 1st session of the Centro internazionale
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429


Logic and computer science: lectures given at the 1st session of the Centro internazionale
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429


Logic and discrete mathematics: A computer science perspective
پدیدآورنده : Winfied Karl Grassmann, Jean-Paul Tremblay
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
Logic and discrete mathematics: a computer science perspectine
پدیدآورنده: Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical ► Computer science-mathematics
رده :
005
G878l


Logic and discrete mathematics : a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996


Logic and discrete mathematics: a computer science perspective
پدیدآورنده: / Winfried Karl Grassmann, Jean-Paul Tremblay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer science- Mathematics
رده :
QA76
.
9
.
M35G725
1996


Logic and discrete mathematics: a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996


Logic and language models for computer science /
پدیدآورنده: Henry Hamburger, Dana Richards
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Description logics,Formal languages
رده :
QA267
.
3
.
H35
2002


Logic for Computer Science and Artificial Intelligence
پدیدآورنده: / Caferra
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ELECTRONIC&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK

Logic for Computer Science and Artificial Intelligence
پدیدآورنده: Caferra
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART

Logic for computer science and artificial intelligence
پدیدآورنده: Ricardo Caferra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence,Computer logic
رده :
QA76
.
9
.
L63
C344
2011


Logic for computer science and artificial intelligence
پدیدآورنده: Ricardo Caferra
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع: Computer logic,Artificial intelligence
رده :
QA
76
,.
9
.
C22L6
2011


Logic for mathematics and computer science
پدیدآورنده: Stanley N. Burris
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
،
9
،.
B86
،
1998


Logic for mathematics and computer science
پدیدآورنده: / Stanley N. Burris
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
ب
۴
ل
۲ ۱۳۷۷


Logic in computer science: modelling and reasoning about systems
پدیدآورنده: Huth, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer logic,، Logic programming )Computer science(
رده :
QA
76
.
9
.
L63
.
H88
2004


Logic in computer science : modelling and reasoning about systems
پدیدآورنده: Huth, Michael
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer logic ► Logic programming
رده :
005
H979l


Mathematical logic and theoretical computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987


Mathematical logic and theoretical computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical ► Electronic data processing ► Algebra
رده :
511
M426


Mathematical logic and theoretical computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic, Symbolic and mathematical ► Electronic data processing ► Algebra
رده :
511
M426


Norms,logics and information systems;new studies in deontic logic and computer science
پدیدآورنده:
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Computer science-Congresses.,Deontic logic-Congresses
رده :
?
N851

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
پدیدآورنده: Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1261

