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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	A compiler generator for microcomputers / Peter Rechenberg, Hanspeter Mossenbock.
ชื่อผู้แต่ง	Rechenberg, Peter.
พิมพลักษณ์	Englewood Cliffs, NJ : Prentice Hall, 1989.
เลขเรียก	QA76.76.C65 R297,005.453 Re297C
ห้องสมุด	มหาวิทยาลัยทักษิณ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี ..more มหาวิทยาลัยทักษิณ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยมหาสารคาม มหาวิทยาลัยศิลปากร

2

ประเภทสื่อ	Book
ชื่อเรื่อง	A Small C compiler / James E. Hendrix
ชื่อผู้แต่ง	Hendrix, James E
พิมพลักษณ์	Redwood City, CA : M&T Books, c1990
เลขเรียก	QA76.76.C65 HEN 1990
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

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

4

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to compiler construction / William M. Waite, Lynn Robert Carter.
ชื่อผู้แต่ง	Waite, W. m. (william mccastline)
พิมพลักษณ์	New York : HarperCollins, 1993.
เลขเรียก	QA76.76.C65 W35 1993
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร

5

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to GCC : for the GNU compilers GCC and G++ / Brian Gough
ชื่อผู้แต่ง	Gough, Brian
พิมพลักษณ์	Bristol : Network Theory, c2005
เลขเรียก	QA76.76.C65 GOU 2005
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conf...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA75.5-76.95
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Architecting Dependable Systems VII [electronic resource] / edited by Antonio Casimiro, Rogเธฃเธrio...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / ed...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

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

10

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

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Automating language implementation / Kai Koskimies, Jukka Paakki
ชื่อผู้แต่ง	Koskimies, Kai
พิมพลักษณ์	New York : Ellis Horwood, c1990
เลขเรียก	QA76.76.T83 KOS 1990,005.45 Ko86A
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยบูรพา

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Brinch Hansen on Pascal compilers / Per Brinch Hansen.
ชื่อผู้แต่ง	Brinch hansen, Per 1938-
พิมพลักษณ์	London : Prentice-Hall ; Englewood Cliffs, N.J. : Prentice-Hall, c1985.
เลขเรียก	QA76.73 . P2 B7,001.64/2
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยสุโขทัยธรรมาธิราช

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 200...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyo...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melb...
พิมพลักษณ์	Cham : Springer International Publishing, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3
4
5
6
7
8
9
10
>>
>>|

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