สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 32 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

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
ชื่อเรื่อง	Formal models, languages and applications / editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
พิมพลักษณ์	New Jersey : World Scientific, 2006
เลขเรียก	005.131 Fo723F
ห้องสมุด	มหาวิทยาลัยราชภัฏอุดรธานี มหาวิทยาลัยมหาสารคาม

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Foundations of Information and Knowledge Systems [electronic resource] : 7th International Symposium...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germa...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.9.M35
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 20...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3

ส่งข้อเสนอแนะ/ปัญหา