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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonn...
ชื่อผู้แต่ง	Slonneger, Kenneth.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1995.
เลขเรียก	QA76.7 SLO 1995,005.131 S634F 1995
ห้องสมุด	มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to the theory of programming languages / Bertrand Meyer.
ชื่อผู้แต่ง	Meyer, Bertrand.
พิมพลักษณ์	New York : Prentice Hall, c1990.
เลขเรียก	QA76.7 M48 1990
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยขอนแก่น มหาวิทยาลัยทักษิณ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่ง	Middelburg, Cornelis a.
พิมพลักษณ์	London ; New York : Chapman & Hall, 1993.
เลขเรียก	QA76.7 M53 1993
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Natural language understanding / James Allen.
ชื่อผู้แต่ง	Allen, James.
พิมพลักษณ์	Redwood City, Calif. : Benjamin/Cummings, c1995.
เลขเรียก	QA76.7 A427n 1995
ห้องสมุด	มหาวิทยาลัยมหิดล มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Practical aspects of declarative languages [electronic resource] : 6th international symposium, PA...
ชื่อผู้แต่ง	Padl 2004 (2004 : Dallas, Tex.)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.7 P32 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming language syntax and semantics / David A. Watt.
ชื่อผู้แต่ง	Watt, David a.
พิมพลักษณ์	New York : Prentice Hall, c1991.
เลขเรียก	QA76.7 W33p,005.13 W344P 1991
ห้องสมุด	มหาวิทยาลัยทักษิณ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Semantic techniques in quantum computation / edited by Simon Gay, Ian Mackie.
พิมพลักษณ์	Cambridge : Cambridge University Press, c2010
เลขเรียก	QA76.889 S4,004.1 S471
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยมหิดล

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Semantics of programming languages / R.D. Tennent.
ชื่อผู้แต่ง	Tennent, R.d.
พิมพลักษณ์	New York : Prentice Hall, c1991.
เลขเรียก	QA76.7 T4
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	The logic of partial information / Areski Nait Abdallah.
ชื่อผู้แต่ง	Nait abdallah, Areski 1950-.
พิมพลักษณ์	Berlin ; New York : Springer, c1995.
เลขเรียก	QA76.7 N35 1995
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1

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