หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Subject
Algebraic logic -- Data processing
ปีที่พิมพ์
2013 (11)
2012 (10)
2006 (1)
ประเภทสื่อ
Book (22)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (1)
ภาคเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (22)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี (1)
มหาวิทยาลัยมหาสารคาม (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (22)
มหาวิทยาลัยเชียงใหม่ (1)
มหาวิทยาลัยบูรพา (1)
ภาษา
eng (22)
ผลการค้นหา
Found:
22
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinbu...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyo...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melb...
พิมพลักษณ์
Cham : Springer International Publishing, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, Fra...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2...
พิมพลักษณ์
Cham : Springer International Publishing, c2013
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krish...
ชื่อผู้แต่ง
Krishnaswamy, Smita
พิมพลักษณ์
Dordrecht : Springer Netherlands, c2013
เลขเรียก
TK7888.4
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Formal Grammar [electronic resource] : 15th and 16th International Conferences, FG 2010, Copenhagen,...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Pola...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Com...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 1...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Proje...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Languages Alive [electronic resource] : Essays Dedicated to Jürgen Dassow on the Occasion of His 65t...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
2
Loading...
ส่งข้อเสนอแนะ/ปัญหา