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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced ASIC chip synthesis [electronic resource] : using Synopsys Design Compiler, Physical Compil...
ชื่อผู้แต่ง	Bhatnagar, Himanshu.
พิมพลักษณ์	Boston : Kluwer Academic Publishers, c2002.
เลขเรียก	TK7874.6 B44 2002
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced digital design with the Verilog HDL / Michael D. Ciletti.
ชื่อผู้แต่ง	Ciletti, Michael d.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice Hall, c2011.
เลขเรียก	621.395 C572A
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร

3

ประเภทสื่อ	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 จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยนเรศวร มหาวิทยาลัยราชภัฏภูเก็ต

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Advanced digital logic design : using Verilog, state machines, and synthesis for FPGAs / Sunggu Lee.
ชื่อผู้แต่ง	Lee, Sunggu.
พิมพลักษณ์	Australia : Thomson, c2006.
เลขเรียก	621.395 L481A c2006
ห้องสมุด	มหาวิทยาลัยราชภัฏภูเก็ต

5

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

6

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

7

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

8

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

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Circuit synthesis with VHDL / Roland Airiau, Jean-Michel Berge and Vincent Olive.
ชื่อผู้แต่ง	Airiau, Roland.
พิมพลักษณ์	Dordrecht : Kluwer Academic Pub., 1994.
เลขเรียก	TK7885.7 A5,621.395 A298C
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเชียงใหม่

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Combinational and sequential logic : a hands-on approach using programmable logic / Martin Rice.
ชื่อผู้แต่ง	Rice, Martin.
พิมพลักษณ์	New York : Pearson Higher Education, c2001.
เลขเรียก	TK7868.L6 R5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีราชมงคลพระนคร มหาวิทยาลัยราชภัฏอุดรธานี มหาวิทยาลัยรามคำแหง มหาวิทยาลัยอุบลราชธานี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer Aided design of digital system / Douglas Lewin.
ชื่อผู้แต่ง	Lewin, Douglas.
พิมพลักษณ์	New York : Crane Russak, 1979.
เลขเรียก	TK7888.4 L4
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided logical design : with emphasis on VLSI / Frederick J. Hill, Gerald R. Peterson.
ชื่อผู้แต่ง	Hill, Frederick J.
พิมพลักษณ์	New York : Wiley, c1993.
เลขเรียก	TK7888.4 H55c 1993
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer aided logical design with emphasis on VLSI / Hill,Frederick J.
ชื่อผู้แต่ง	Hill, Frederick j.
พิมพลักษณ์	singapore : John Wiley &sons,Inc , 1993.
เลขเรียก	Tk7888.4 H54C 1993
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลรัตนโกสินทร์ มหาวิทยาลัยนเรศวร

14

ประเภทสื่อ	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 จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยบูรพา มหาวิทยาลัยศรีนครินทรวิโรฒ

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer-aided logic design / Robert M. McDermott.
ชื่อผู้แต่ง	McDermott, Robert M.
พิมพลักษณ์	Indianapolis, Ind., U.S.A. : H.W. Sams, c1985.
เลขเรียก	TK7868.L6 M39 1985
ห้องสมุด	มหาวิทยาลัยอุบลราชธานี

1
2
3
4
5
6

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