หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Publish year
2013
Subject
Languages, Artificial -- Data processing
ปีที่พิมพ์
2013 (11)
ประเภทสื่อ
Book (11)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (11)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (11)
ภาษา
eng (11)
ผลการค้นหา
Found:
11
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinbu...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melb...
พิมพลักษณ์
Cham : Springer International Publishing, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource] : Lashkar-e-Taiba ...
ชื่อผู้แต่ง
Subrahmanian, V.s
พิมพลักษณ์
New York, NY : Springer New York, c2013
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Essential Speech and Language Technology for Dutch [electronic resource] : Results by the STEVIN-pro...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
P98-98.5
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Formal Grammar [electronic resource] : 17th and 18th International Conferences, FG 2012, Opole, Pola...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Proje...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, W...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Modeling and Using Context [electronic resource] : 8th International and Interdisciplinary Conferenc...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JU...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Transactions on Rough Sets XVI [electronic resource] / edited by James F. Peters, Andrzej Skowron, S...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q337.5
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา