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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 20...
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.131 A652
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

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

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Concepts and semantics of programming languages [electronic resource] / Therese Hardin, Mathieu Jaum...
ชื่อผู้แต่ง	Hardin, Therese.
พิมพลักษณ์	Hoboken, NJ : Wiley, 2021.
เลขเรียก	QA76.7
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยนเรศวร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Conference record : ACM SIGPLAN ASIA-PEPM 2002, the ASIAN symposium on partial evaluation and seman...
ชื่อผู้แต่ง	ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2002 : Aizu, Japan)
พิมพลักษณ์	New York : Association for Computing Machinery, c2002.
เลขเรียก	QA76.6 ACM 2002,005.131 A832C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

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

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Domain-theoretic foundations of functional programming / Thomas Streicher.
ชื่อผู้แต่ง	Streicher, Thomas, 1958-
พิมพลักษณ์	Hackensack, NJ : World Scientific, c2006.
เลขเรียก	QA76.7 S76d,005.131 S916d
ห้องสมุด	มหาวิทยาลัยแม่โจ้ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	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
ห้องสมุด	ศูนย์มานุษยวิทยาสิรินธร (องค์การมหาชน)

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal semantics of programming languages / edited by Randall Rustin.
พิมพลักษณ์	Englewood Cliffs, New Jersey : Prentice-Hall, c1972.
เลขเรียก	QA76.7 F653,651.8 F723
ห้องสมุด	มหาวิทยาลัยแม่โจ้

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal specification of programming languages : a panoramic primer.
ชื่อผู้แต่ง	Pagan, Frank g.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1981.
เลขเรียก	QA76.7 P128
ห้องสมุด	มหาวิทยาลัยขอนแก่น

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal specification of programming languages : a panoramic primer / Frank G. Pagan.
ชื่อผู้แต่ง	Pagan, Frank G.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1981.
เลขเรียก	001.6424 P128F
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Foundations of object-oriented languages : types and semantics / Kim B. Bruce.
ชื่อผู้แต่ง	Bruce, Kim b.
พิมพลักษณ์	Cambridge, Mass. : MIT Press, c2002.
เลขเรียก	QA76.64 B78,005.1
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยสุโขทัยธรรมาธิราช

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Fully abstract models of probramming languages / Allen Stoughton.
ชื่อผู้แต่ง	Stoughton, Allen.
พิมพลักษณ์	London : Pitman, c1988.
เลขเรียก	QA76.7 .S739 1988
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

14

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

15

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

1
2
3

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