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

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

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

7

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

8

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

9

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

10

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

11

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

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Languages for parallel architectures : design, semantics, implementation models / edited by J.W. de ...
พิมพลักษณ์	Chichester : John Wiley and Sons, c1989
เลขเรียก	QA76.6 LAN 1989
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical aspects of logic programming semantics / Pascal Hitzler, Anthony Seda
ชื่อผู้แต่ง	Hitzler, Pascal
พิมพลักษณ์	Boca Raton, FL : CRC Press, c2011
เลขเรียก	QA76.63 HIT 2011
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

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

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, ...
ชื่อผู้แต่ง	PADL 2002 (4th : 2002 : Portland, OR)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.131 P123P 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2

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