1. A Never Ending Story-Mathematics, Computer Science and Logic
پدیدآورنده: / Peter Paule
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. 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
3. 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
4. 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
,
5. Logic and discrete mathematics: A computer science perspective
پدیدآورنده : Winfied Karl Grassmann, Jean-Paul Tremblay
موضوع :
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Logic and discrete mathematics : a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
7. Logic and discrete mathematics: a computer science perspective
پدیدآورنده: Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
8. Logic & discrete mathematics, a computer science perspective
پدیدآورنده: Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
9. Logic for mathematics and computer science
پدیدآورنده: Stanley N. Burris
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
QA
،
9
،.
B86
،
1998
