Found: 5  ชื่อเรื่อง เรียงลำดับโดย: แสดง:   ต่อหน้า List(0)
1
image
ประเภทสื่อ Book
ชื่อเรื่องConstraint solving over multi-valued logics [electronic resource] : application to digital circuits ...
ชื่อผู้แต่งAzevedo, Francisco.
พิมพลักษณ์Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, 2003.
เลขเรียกQA76.612 A94 2003eb
ห้องสมุดมหาวิทยาลัยวลัยลักษณ์
3
image
ประเภทสื่อ Book
ชื่อเรื่องDigital logic simulation with CPLD programming / Steve Waterman.
ชื่อผู้แต่งWaterman, Steve.
พิมพลักษณ์Upper Saddle River, N.J. : Prentice Hall, c2003.
เลขเรียกTK7868.L6 W3 2003,621.39 W324D 2003
ห้องสมุดมหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยราชภัฏวไลยอลงกรณ์ ในพระบรมราชูปถัมภ์
4
image
ประเภทสื่อ Book
ชื่อเรื่องLogic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : ...
ชื่อผู้แต่งInternational Conference on Logic Programming (19th : 2003 : Mumbai, India)
พิมพลักษณ์Berlin : Springer, c2003.
เลขเรียก005.115 I61L
ห้องสมุดจุฬาลงกรณ์มหาวิทยาลัย
5
image
ประเภทสื่อ Book
ชื่อเรื่องLogics for computer science / Arindama Singh.
ชื่อผู้แต่งSingh, Arindama.
พิมพลักษณ์New Delhi : Prentice Hall of India, c2003.
เลขเรียกQA76.6 S56 2003
ห้องสมุดมหาวิทยาลัยศิลปากร
มหาวิทยาลัยนเรศวร

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