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

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

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in Software Engineering Techniques [electronic resource] : 4th IFIP TC 2 Central and East E...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated Technology for Verification and Analysis [electronic resource] : 10th International Sympos...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

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
ชื่อเรื่อง	Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European ...
ชื่อผู้แต่ง	International Conference CC 2001 (10th : 2001 : Genova, Italy)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	005.453 I61C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler construction : 11th International Conference, CC 2002 held as part of the Joint European C...
ชื่อผู้แต่ง	International Conference CC 2002 (11th : 2002 : Grenoble, France)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.453 I61C 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler construction : 12th International Conference, CC 2003 held as part of the Joint European C...
ชื่อผู้แต่ง	International Conference CC 2003 (12th : 2003 : Warsaw, Poland)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.453 I61C 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler construction : 13th international conference, CC 2004, held as part of the Joint European ...
ชื่อผู้แต่ง	International Conference, CC 2004 (13th 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin : Springer, 2004.
เลขเรียก	005.453 I61C 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler construction : 9th International Conference, CC 2000, held as part of the Joint European Co...
ชื่อผู้แต่ง	International Conference CC 2000 (9th : 2000 : Berlin, Germany)
พิมพลักษณ์	New York : Springer, 2000.
เลขเรียก	QA76.76.C65 I52 2000
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIM...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Ber...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	CONCUR 2012 – Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012,...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Data Engineering and Management [electronic resource] : Second International Conference, ICDEM 2010,...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	ECOOP 2012 – Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.6-76.66
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3
4
5
6

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