981. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
982. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
983. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
984. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
985. Logic and automata
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
986. Logic and discrete mathematics :
پدیدآورنده : Willem Conradie, Valentin Goranko.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Textbooks.,Logic, Symbolic and mathematical, Textbooks.
987. Logic and discrete mathematics : a computer science perspective
پدیدآورنده : Grassmann, Winfried K
موضوع : ، Computer science -- Mathematics
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
988. Logic and discrete mathematics : a computer science perspective
پدیدآورنده : Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics
رده :
QA
76
.
9
.
M35
G725
1996
989. Logic and discrete mathematics: a computer science perspective
پدیدآورنده : Grassmann, Winfried K.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
M35
G725
1996
990. Logic & discrete mathematics, a computer science perspective
پدیدآورنده : Grassmann, Winfried Karl
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Computer science - mathematics
رده :
QA
76
.
9
.
M35
G7
991. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
N47
1997
992. Logic for applications
پدیدآورنده : Nerode, Anil
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer science-- Mathematics,، Logic, Symboloc and mathematical
رده :
QA
76
.
9
.
M35
.
N47
1997
993. Logic for applications
پدیدآورنده : / Anil Nerode, Richard A. Shore
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science-mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
,
N47
1997
994. Logic for applications /
پدیدآورنده : Anil Nerode, Richard A. Shore
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
M35
N47
1997
995. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
996. Logica: Metodo Breve
پدیدآورنده : by Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
997. Logical Methods
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic design,Mathematics,علوم کامپیوتر,طراحی منطقی,ریاضیات
رده :
E-Book
,
998. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
999. Logical Thinking in the Pyramidal Schema of Concepts
پدیدآورنده : / Lutz Geldsetzer, Richard L. Schwartz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
رده :
QA9
.
G325
2013
1000. MATLAB 7 :
پدیدآورنده : Christoph Überhuber ; Stefan Katzenbeisser ; Dirk Praetorius.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Mathematics.,Computer science.,Computer software.,Mathematics.,MATLAB 7.0
رده :
QA76
.
75-76
.
765
