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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Modern compiler design / Dick Grune ... [et al.]
พิมพลักษณ์	New York : Springer 2012.
เลขเรียก	QA76.76.C65 M6 2012
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Engineering a compiler / Keith D. Cooper, Linda Torczon
ชื่อผู้แต่ง	Cooper, Keith d. (keith daniel)
พิมพลักษณ์	Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2012
เลขเรียก	QA76.76.C65 C777e 2012
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยนเรศวร

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler design [electronic resource] : analysis and transformation / by Helmut Seidl, Reinhard Wilh...
ชื่อผู้แต่ง	Seidl, Helmut
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.76.C65 SEI 2012
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Theory and Practice of Model Transformations [electronic resource] : 5th International Conference, I...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	The NCL Natural Constraint Language [electronic resource] / Jianyang Zhou
ชื่อผู้แต่ง	Zhou, Jianyang
พิมพลักษณ์	Berlin, Heidelberg : Springer, c2012
เลขเรียก	QA76.76.C65 ZHO 2012
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

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

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Trends in Functional Programming [electronic resource] : 12th International Symposium, TFP 2011, Mad...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.6-76.66
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

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

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Model Checking Software [electronic resource] : 19th International Workshop, SPIN 2012, Oxford, UK, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Generic and Indexed Programming [electronic resource] : International Spring School, SSGIP 2010, Oxf...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.7-76.73
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

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

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Repub...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Perspectives of Systems Informatics [electronic resource] : 8th International Andrei Ershov Memorial...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3
4
5

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