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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational semantics with functional programming / by Jan van Eijck, Christina Unger.
ชื่อผู้แต่ง	Eijck, J. van
พิมพลักษณ์	Cambridge : Cambridge University Press, 2010.
เลขเรียก	QA76.7 E34 2010,005.131 E34C
ห้องสมุด	มหาวิทยาลัยศิลปากร จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยบูรพา มหาวิทยาลัยมหาสารคาม

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Denotational semantics : a methodology for language development / David A. Schmidt.
ชื่อผู้แต่ง	Schmidt, David A.
พิมพลักษณ์	Boston : Allyn and Bacon, c1986.
เลขเรียก	QA76.7 S32d
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	DLP : a language for distributed logic programming : design, semantics, and implementation / Anton E...
ชื่อผู้แต่ง	Eliëns, Anton
พิมพลักษณ์	Chichester [England] ; New York : J. Wiley, c1992
เลขเรียก	QA76.63 E45 1992
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal semantics and pragmatics for natural language querying / James Clifford.
ชื่อผู้แต่ง	Clifford, James.
พิมพลักษณ์	Cambridge ; New York : Cambridge University Press, c1990.
เลขเรียก	QA76.9.N38 C54 1990
ห้องสมุด	ศูนย์มานุษยวิทยาสิรินธร (องค์การมหาชน)

5

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยทักษิณ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to natural language processing / Mary Dee Harris.
ชื่อผู้แต่ง	Harris, Mary Dee.
พิมพลักษณ์	Reston, Va. : Reston, c1985.
เลขเรียก	QA76.9.I58 .H37 1985
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

7

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

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Proceedings of the 2003 ACM SIGPLAN workshop on partial evaluation and semantics-based program manip...
ชื่อผู้แต่ง	ACM SIGPLAN workshop on partial evaluation and semantics-based program manipulation (2003 : California, USA)
พิมพลักษณ์	New York : ACM Press, c2003
เลขเรียก	QA76.6 ACM 2003
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming language foundations / Aaron Stump.
ชื่อผู้แต่ง	Stump, Aaron.
พิมพลักษณ์	Hoboken, NJ : Wiley, [2014]
เลขเรียก	005.13 St934P
ห้องสมุด	มหาวิทยาลัยมหาสารคาม

10

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

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Semantics of programming language : structures and techniques / Carl A. Gunter.
ชื่อผู้แต่ง	Gunter, Carl A.
พิมพลักษณ์	Cambridge, Mass. : MIT Press, c1992.
เลขเรียก	QA76.7 .G86 1992
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

12

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

13

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

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Syntax of programming language theory and practice / Roland C. Backhouse.
ชื่อผู้แต่ง	Backhouse, Roland C.
พิมพลักษณ์	Englewood Cliffs, NJ : Prentice-Hall, c1979.
เลขเรียก	QA76.7 B25s
ห้องสมุด	มหาวิทยาลัยขอนแก่น

15

ประเภทสื่อ	Book
ชื่อเรื่อง	The Logic of Categorial Grammars [electronic resource] : A Deductive Account of Natural Language Syn...
ชื่อผู้แต่ง	Moot, Richard
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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