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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs / Sunggu Lee.
ชื่อผู้แต่ง	Lee, Sunggu.
พิมพลักษณ์	Toronto, Ont. : Thomson, c2006.
เลขเรียก	TK7868.L6 L4816,621.392 L481A
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยนเรศวร ..more จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยนเรศวร มหาวิทยาลัยราชภัฏภูเก็ต

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchest...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyo...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melb...
พิมพลักษณ์	Cham : Springer International Publishing, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer architecture and logic design / Thomas C. Bartee
ชื่อผู้แต่ง	Bartee, Thomas c.
พิมพลักษณ์	New York : McGraw-Hill, 1991
เลขเรียก	QA76.9.A73 B32c,004.22 B283C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา ..more จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา มหาวิทยาลัยศรีนครินทรวิโรฒ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Contemporary logic design / Randy H. Katz, Gaetano Borriello.
ชื่อผู้แต่ง	Katz, Randy h.
พิมพลักษณ์	Upper Saddle River, N.J. : Pearson Prentice Hall, c2006.
เลขเรียก	TK7888.4 K37 2005,621.395 K19C
ห้องสมุด	มหาวิทยาลัยศิลปากร จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี ..more มหาวิทยาลัยศิลปากร จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยราชภัฏเชียงใหม่ มหาวิทยาลัยราชภัฏอุตรดิตถ์ มหาวิทยาลัยศรีนครินทรวิโรฒ มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Contemporary logic design / Randy H. Katz, Gaetano Borriello.
ชื่อผู้แต่ง	Katz, Randy h.
พิมพลักษณ์	New Jersey : Pearson Education International, c2005
เลขเรียก	TK7888.4 K36 2006,621.395 K11C
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยราชภัฏภูเก็ต มหาวิทยาลัยราชภัฏศรีสะเกษ

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Deontic Logic in Computer Science [electronic resource] : 11th International Conference, DEON 2012, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krish...
ชื่อผู้แต่ง	Krishnaswamy, Smita
พิมพลักษณ์	Dordrecht : Springer Netherlands, c2013
เลขเรียก	TK7888.4
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital design : principles and practices / John F. Wakerly.
ชื่อผู้แต่ง	Wakerly, John f.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1990.
เลขเรียก	TK7874 W149
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยศรีนครินทรวิโรฒ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital design using ABEL / David Pellerin, and Michael Holley
ชื่อผู้แต่ง	Pellerin, David
พิมพลักษณ์	Englewood Cliffs, NJ : PTR Prentice-Hall, c1994
เลขเรียก	TK7872.L64 PEL 1994
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital design using field programmable gate arrays / Pak K. Chan, Samiha Mourad.
ชื่อผู้แต่ง	Chan, Pak k.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall International, c1994.
เลขเรียก	QA268 C454
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods for Industrial Critical Systems [electronic resource] : 17th International Workshop, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3

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