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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Accuracy and reliability in scientific computing / edited by Bo Einarsson.
พิมพลักษณ์	Philadelphia : Society for Industrial and Applied Mathematics, c2005.
เลขเรียก	Q183.9 A38 2005
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Artificial unintelligence : how computers misunderstand the world / Meredith Broussard.
ชื่อผู้แต่ง	Broussard, Meredith.
พิมพลักษณ์	Cambridge, Mass. : The MIT Press, 2019.
เลขเรียก	QA76.9.C66 B76 2019
ห้องสมุด	มหาวิทยาลัยธรรมศาสตร์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated defect prevention : best practices in software management / Dorota Huizinga, Adam Kolawa...
ชื่อผู้แต่ง	Huizinga, Dorota.
พิมพลักษณ์	Hoboken, N.J. : IEEE Computer Society, c2007.
เลขเรียก	QA76.76.F34 H911a 2007,005 H911A
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ มหาวิทยาลัยนเรศวร

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin,...
ชื่อผู้แต่ง	Bakker, J. w. de (jacobus willem de)
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall International, c1980.
เลขเรียก	QA76.6 B335
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Software reliability : measurement, prediction, application / John D. Musa, Anthony Jannino and Ka...
ชื่อผู้แต่ง	Musa, John D.
พิมพลักษณ์	New York : McGraw-Hill, c1987.
เลขเรียก	QA76.76.T48 M8
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	The Correctness-by-Construction Approach to Programming [electronic resource] / by Derrick G. Kourie...
ชื่อผู้แต่ง	Kourie, Derrick g
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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