Found: 5  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
2
image
ประเภทสื่อ Book
ชื่อเรื่องConstraint logic programming using ECLiPSe / Krzysztof R. Apt and Mark Wallace.
ชื่อผู้แต่งApt, Krzysztof r.
พิมพลักษณ์Cambridge : Cambridge University Press, 2007.
เลขเรียกQA76.612 A6,005.116 Ap639C 2007
ห้องสมุดมหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏนครศรีธรรมราช
3
image
ประเภทสื่อ Book
ชื่อเรื่องDiscrete structures, logic, and computability / James L. Hein.
ชื่อผู้แต่งHein, James l.
พิมพลักษณ์Sudbury, Mass. : Jones and Bartlett, c2010.
เลขเรียกQA76.9.M35 H44 2010,004.0151 H468D 2010
ห้องสมุดมหาวิทยาลัยรามคำแหง
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยบูรพา
มหาวิทยาลัยมหาสารคาม
มหาวิทยาลัยราชภัฏเชียงใหม่
4
image
ประเภทสื่อ Book
ชื่อเรื่องIntroduction to Concurrency Theory : transition systems and CCS / Roberto Gorrieri, Cristian Versari
ชื่อผู้แต่งGorrieri, Roberto
พิมพลักษณ์Cham : Springer, 2015
เลขเรียก004.0151 G673I 2015
ห้องสมุดมหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา
5
image
ประเภทสื่อ Book
ชื่อเรื่องParallel logic programming techniques / Stephen Taylor.
ชื่อผู้แต่งTaylor, Stephen.
พิมพลักษณ์Englewood Cliffs, N.J. : Prentice-Hall, c1989.
เลขเรียกQA76.6 T36 1989
ห้องสมุดมหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยขอนแก่น
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี

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