หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Algebraic logic
ปีที่พิมพ์
2017 (1)
2013 (12)
2012 (11)
2011 (1)
2009 (1)
..more
ประเภทสื่อ
Book (42)
ภูมิภาค
ภาคใต้ (2)
ภาคตะวันออกเฉียงเหนือ (2)
ภาคเหนือ (5)
ภาคกลาง(กรุงเทพและปริมณฑล) (38)
ห้องสมุด
มหาวิทยาลัยทักษิณ (1)
มหาวิทยาลัยศรีนครินทรวิโรฒ (1)
มหาวิทยาลัยเทคโนโลยีสุรนารี (1)
มหาวิทยาลัยศิลปากร (3)
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่) (1)
..more
ภาษา
eng (41)
chi (1)
ผลการค้นหา
Found:
42
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
List(0)
Select Page
|
Deselect Page
|
ส่งออก
|
เคลียร์
1
ประเภทสื่อ
Book
ชื่อเรื่อง
101 puzzles in thought and logic / C.R. Wylie.
ชื่อผู้แต่ง
Wylie, C.R.
พิมพลักษณ์
New York : Dover, c1957.
เลขเรียก
QA10 W983
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Algebraic logic.
ชื่อผู้แต่ง
Halmos, Paul R . (Paul Richard) , 1916-
พิมพลักษณ์
New York , Chelsea [1962]
เลขเรียก
511.32 H194A
ห้องสมุด
มหาวิทยาลัยเชียงใหม่
4
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to mathematical thinking : algebra and number systems / William J. Gilbert, Scott ...
ชื่อผู้แต่ง
Gilbert, William J.
พิมพลักษณ์
Upper Saddle River, N.J. : Pearson Education, c2005.
เลขเรียก
QA10 G5,510 G466I
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยทักษิณ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
An investigation of the laws of thought / George Boole.
ชื่อผู้แต่ง
Boole, George.
พิมพลักษณ์
New York : Dover, 1958.
เลขเรียก
QA10 B6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinbu...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyo...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melb...
พิมพลักษณ์
Cham : Springer International Publishing, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Classical algebra : its nature, origins, and uses / Roger Cooke.
ชื่อผู้แต่ง
Cooke, Roger.
พิมพลักษณ์
Hoboken, N.J. : Wiley-Interscience, c2008.
เลขเรียก
QA155 C6
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Coherent systems [electronic resource] / edited by Karl Schelechta.
พิมพลักษณ์
Amsterdam : Elsevier, 2004.
เลขเรียก
Q339.2
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, Fra...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2...
พิมพลักษณ์
Cham : Springer International Publishing, c2013
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krish...
ชื่อผู้แต่ง
Krishnaswamy, Smita
พิมพลักษณ์
Dordrecht : Springer Netherlands, c2013
เลขเรียก
TK7888.4
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
2
3
Loading...
ส่งข้อเสนอแนะ/ปัญหา