หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Computational complexity -- Computer programs
Region
ภาคกลาง(กรุงเทพและปริมณฑล)
ปีที่พิมพ์
2013 (11)
2012 (16)
2010 (3)
1994 (1)
ประเภทสื่อ
Book (31)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (31)
ห้องสมุด
มหาวิทยาลัยศรีนครินทรวิโรฒ (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (30)
ภาษา
eng (31)
ผลการค้นหา
Found:
31
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th Internat...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd Internat...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Science – Theory and Applications [electronic resource] : 7th International Computer Scienc...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Computer Science – Theory and Applications [electronic resource] : 8th International Computer Scienc...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Computing and Combinatorics [electronic resource] : 19th International Conference, COCOON 2013, Hang...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.A43
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Developments in Language Theory [electronic resource] : 16th International Conference, DLT 2012, Tai...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Enter the complexity lab : [where chaos meets complexity] / William Roetzheim.
ชื่อผู้แต่ง
Roetzheim, William h. 1955-
พิมพลักษณ์
Indianapolis, Ind. : Sams Publishing, 1994.
เลขเรียก
QA267.7 .R64 1994
ห้องสมุด
มหาวิทยาลัยศรีนครินทรวิโรฒ
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germa...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.M35
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 20...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India,...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA8.9-QA10.3
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
2
3
Loading...
ส่งข้อเสนอแนะ/ปัญหา