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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
ชื่อผู้แต่ง	Huth, Michael, 1962-
พิมพลักษณ์	Cambridge, UK ; New York : Cambridge University Press, 2004
เลขเรียก	005.115 H979L 2004
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

2

ประเภทสื่อ	Serial
ชื่อเรื่อง	ACM Transactions on Computational Logic [electronic resource]
พิมพลักษณ์	New York, NY : Association for Computing Machinery, 2000-
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fis...
ชื่อผู้แต่ง	Workshop on computer science logic (14th : 2000 : Fischbachau, Germany)
พิมพลักษณ์	Berlin : Springer, 2000.
เลขเรียก	QA76.9.L63 W67 2000,005.1 W926C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีสุรนารี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Program development in computational logic : a decade of research advances in logic-based program d...
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.115 P964
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Fundamentals of digital logic withVerilog design / Stephen Brown and Zvonko Vranesic.
ชื่อผู้แต่ง	Brown, Stephen.
พิมพลักษณ์	Boston : Mcgraw-Hill, c2008.
เลขเรียก	TK7868.L6 B76 2008,621.38135 Br877F 2008
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยราชภัฏร้อยเอ็ด

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Learning language in logic / James Cussens, Saso Dzeroski, (eds.)
พิมพลักษณ์	Berlin : Springer Verlag, 2000.
เลขเรียก	005.131 L488
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming logic and design : comprehensive / Joyce Farrell
ชื่อผู้แต่ง	Farrell, Joyce
พิมพลักษณ์	Boston, Mass. : Course Technology, c2004
เลขเรียก	005.155 F266P 3/2004
ห้องสมุด	มหาวิทยาลัยราชภัฏรำไพพรรณี มหาวิทยาลัยเชียงใหม่

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Automatic logic synthesis techniques for digital systems / Martyn D. Edwards.
ชื่อผู้แต่ง	AEdwards, Martyn D.
พิมพลักษณ์	New York : McGraw-Hill, 1992.
เลขเรียก	TA345 E3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Digital Logic Design and Computer Organization with Computer Architecture for Security / Nikrouz Fa...
ชื่อผู้แต่ง	Faroughi, Nikrouz.
พิมพลักษณ์	New York : McGraw-Hill, c2015.
เลขเรียก	QA76.9.C643 F3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn.
ชื่อผู้แต่ง	Harel, David.
พิมพลักษณ์	New Delhi / Prentice Hall, 2007 c2000.
เลขเรียก	QA76.9.L63 H256d 2000
ห้องสมุด	มหาวิทยาลัยนเรศวร

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Practical digital logic design and testing / Parag K. Lala.
ชื่อผู้แต่ง	Lala, Parag k.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice Hall, c1996.
เลขเรียก	TK7868.L6 L3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยศรีนครินทรวิโรฒ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	A guide to programming logic and design : comprehensive / Joyce Farrell.
ชื่อผู้แต่ง	Farrell, Joyce.
พิมพลักษณ์	Cambridge, Mass. : Course Technology, c1999.
เลขเรียก	QA76.6 F3,005.133 F934G 1999
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยราชภัฏบ้านสมเด็จเจ้าพระยา

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Feferman on Foundations : Logic, Mathematics, Philosophy / edited by Gerhard Jager, Wilfried Sieg
พิมพลักษณ์	Cham : Springer International Publishing, c2017
เลขเรียก	QA9.2
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic Pro 9 [electronic resource] : audio and music production / Mark Cousins, Russ Hepworth-Sawyer.
ชื่อผู้แต่ง	Cousins, Mark.
พิมพลักษณ์	Burlington, MA : Focal Press/Elsevier, c2010.
เลขเรียก	ML74.4.L64
ห้องสมุด	มหาวิทยาลัยราชภัฏภูเก็ต มหาวิทยาลัยเทคโนโลยีสุรนารี มหาวิทยาลัยบูรพา

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Computer concepts and logic.
พิมพลักษณ์	[S.l.] : FABRI-TEX, [19--?]
เลขเรียก	TK7888.4 C6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

1
2
3
4
5
6
7
8
9
10
>>
>>|

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