Found: 38  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องApplied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 20...
พิมพลักษณ์Berlin : Springer, c2002.
เลขเรียก005.131 A652
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย
2
image
ประเภทสื่อ 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
image
ประเภทสื่อ 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.
เลขเรียก005.131 A832C
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย
4
image
ประเภทสื่อ Book
ชื่อเรื่องDenotational semantics : a methodology for language development / David A. Schmidt.
ชื่อผู้แต่งSchmidt, David A.
พิมพลักษณ์Boston : Allyn and Bacon, c1986.
เลขเรียกQA76.7 S32d
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย
5
image
ประเภทสื่อ Book
ชื่อเรื่องDomain-theoretic foundations of functional programming / Thomas Streicher.
ชื่อผู้แต่งStreicher, Thomas, 1958-
พิมพลักษณ์Hackensack, NJ : World Scientific, c2006.
เลขเรียกQA76.7 S76d,005.131 S916d
ห้องสมุดมหาวิทยาลัยแม่โจ้
6
image
ประเภทสื่อ 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
image
ประเภทสื่อ Book
ชื่อเรื่องFormal semantics of programming languages / edited by Randall Rustin.
พิมพลักษณ์Englewood Cliffs, New Jersey : Prentice-Hall, c1972.
เลขเรียกQA76.7 F653,651.8 F723
ห้องสมุดมหาวิทยาลัยแม่โจ้
8
image
ประเภทสื่อ Book
ชื่อเรื่องFormal specification of programming languages : a panoramic primer.
ชื่อผู้แต่งPagan, Frank g.
พิมพลักษณ์Englewood Cliffs, N.J. : Prentice-Hall, c1981.
เลขเรียกQA76.7 P128
ห้องสมุดมหาวิทยาลัยขอนแก่น
9
image
ประเภทสื่อ Book
ชื่อเรื่องFormal syntax and semantics of programming languages : a laboratory based approach / Kenneth Slonn...
ชื่อผู้แต่งSlonneger, Kenneth.
พิมพลักษณ์Reading, Mass. : Addison-Wesley, c1995.
เลขเรียก005.131 S634F 1995
ห้องสมุดมหาวิทยาลัยทักษิณ
10
image
ประเภทสื่อ 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
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยสุโขทัยธรรมาธิราช
11
image
ประเภทสื่อ Book
ชื่อเรื่องFully abstract models of probramming languages / Allen Stoughton.
ชื่อผู้แต่งStoughton, Allen.
พิมพลักษณ์London : Pitman, c1988.
เลขเรียกQA76.7 .S739 1988
ห้องสมุดมหาวิทยาลัยเกษตรศาสตร์
12
image
ประเภทสื่อ Book
ชื่อเรื่องIntroduction to natural language processing / Mary Dee Harris.
ชื่อผู้แต่งHarris, Mary Dee.
พิมพลักษณ์Reston, Va. : Reston, c1985.
เลขเรียกQA76.9.I58 .H37 1985
ห้องสมุดมหาวิทยาลัยเกษตรศาสตร์
13
image
ประเภทสื่อ Book
ชื่อเรื่องIntroduction to the theory of programming languages / Bertrand Meyer.
ชื่อผู้แต่งMeyer, Bertrand.
พิมพลักษณ์New York : Prentice Hall, c1990.
เลขเรียกQA76.7 M48 1990
ห้องสมุดมหาวิทยาลัยศิลปากร
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยทักษิณ
มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)
14
image
ประเภทสื่อ Book
ชื่อเรื่องIntroduction to the theory of programming languages / Bertrand Meyer.
ชื่อผู้แต่งMeyer, Bertrand, 1950-
พิมพลักษณ์New York : Prentice Hall, 1990.
เลขเรียกQA76.7 M49 1990
ห้องสมุดมหาวิทยาลัยมหิดล
มหาวิทยาลัยนเรศวร
15
image
ประเภทสื่อ Book
ชื่อเรื่องIntroduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Levy.
ชื่อผู้แต่งDowek, Gilles.
พิมพลักษณ์London : Springer, c2011.
เลขเรียกQA76.7 D746 2011
ห้องสมุดมหาวิทยาลัยขอนแก่น

© 2013-2019 UCTAL. All Rights Reserved.
สนับสนุนโดย สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา กระทรวงการอุดมศึกษา วิทยาศาสตร์ วิจัยและนวัตกรรม ThaiLIS | Power by สำนักงานบริหารเทคโนโลยีสารสนเทศเพื่อพัฒนาการศึกษา