7621. Testfreundliche Synthese hochintegrierter Schaltungen
پدیدآورنده: von Bernhard Eschermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Microprogramming.
رده :
TK7874
.
65
V663
1992
7622. Testing statistical hypotheses
پدیدآورنده: Lehmann, E. L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Statistics ► Logic, Symbolic and mathematical
رده :
L523t
7623. Tests and Proofs
پدیدآورنده: edited by Achim D. Brucker, Jacques Julliand
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
7624. Tetralogue :
پدیدآورنده: Timothy Williamson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Popular works.,Opinion (Philosophy), Popular works.,Philosophy.
رده :
BD21
.
W473
2015
7625. Textbook of logic
پدیدآورنده: Wolf, Abraham, 6781-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، logic
رده :
BC
108
W7
7626. Textbook of logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic
رده :
BC108
.
W7
,
1930a
7627. Textbook of logic
پدیدآورنده: / by A. Wolf
کتابخانه: کتابخانه دانشکده حقوق و علوم سیاسی (دانشگاه تهران) (تهران)
موضوع: Logic
رده :
BC108
.
W7
1948
7628. Textbook of logic
پدیدآورنده: / [by] A. Wolf
کتابخانه: دانشکده اقتصاد (دانشگاه تهران) (تهران)
موضوع: Logic
رده :
BC
108
.
W7
1961
7629. The A to Z of logic
پدیدآورنده: Gensler, Harry J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic -- Dictionaries ► Logic -- History -- Dictionaries. Logic
رده :
G336a
7630. The A to Z of logic /
پدیدآورنده: Harry J. Gensler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic-- Dictionaries.,Logic-- History-- Dictionaries.
7631. The Advancement of learning
پدیدآورنده: / Francis Bacon; edited by William Aldis Wright,Bacon, Francis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Science -- Methodology,Logic -- Early works to 1800,Utopias -- Early works to 1800
رده :
121
B128A
1868
7632. The advancement of learning
پدیدآورنده: [By] Francis Bacon
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Science - Methodology,Logic-- Early works to1800
7633. The Advancement of learning
پدیدآورنده: Bacon, Francis
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع: Methodology ، Science,Early works to 0081 ، Logic
رده :
B
1190
1973
7634. The Amazing Journey of Reason
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
7635. The Arché papers on the mathematics of abstraction /
پدیدآورنده: edited by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
7636. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده: \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
7637. The Art of the Intelligible :
پدیدآورنده: by John L. Bell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Geometry.,Logic, Symbolic and mathematical.,Philosophy (General),Science-- Philosophy.,Algebra.,Geometry.,Logic, Symbolic and mathematical.,Science-- Philosophy.
رده :
B67
7638. The Big Typescript, TS. 213 /
پدیدآورنده: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
7639. The Blackwell guide to philosophical logic
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic
رده :
B632
7640. The Blackwell guide to philosophical logic
پدیدآورنده: edited by Lou Goble
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: ، Logic
رده :
BC
71
.
B5
2001
