หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Publish year
2010
Subject
Logic Design
ปีที่พิมพ์
2010 (111)
ประเภทสื่อ
Book (111)
ภูมิภาค
ภาคใต้ (1)
ภาคตะวันออกเฉียงเหนือ (4)
ภาคเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (110)
ห้องสมุด
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์ (1)
มหาวิทยาลัยพะเยา (1)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
มหาวิทยาลัยอุบลราชธานี (2)
มหาวิทยาลัยศิลปากร (1)
..more
ภาษา
eng (111)
ผลการค้นหา
Found:
111
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Assoc...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Abstract State Machines, Alloy, B and Z [electronic resource] : Second International Conference, ABZ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Advanced Lectures on Software Engineering [electronic resource] : LASER Summer School 2007/2008 / ed...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithmic Learning Theory [electronic resource] : 21st International Conference, ALT 2010, Canberr...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Applications and Theory of Petri Nets [electronic resource] : 31st International Conference, PETRI N...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Approaches and Applications of Inductive Programming [electronic resource] : Third International Wor...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogเธฃเธrio...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into...
ชื่อผู้แต่ง
Puppis, Gabriele.
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburg...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposi...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken,...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 200...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Component-Based Software Engineering [electronic resource] : 13th International Symposium, CBSE 2010...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIM...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIM...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
2
3
4
5
6
7
8
Loading...
ส่งข้อเสนอแนะ/ปัญหา