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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	An introduction to formal languages and automata / Peter Linz.
ชื่อผู้แต่ง	Linz, Peter.
พิมพลักษณ์	Boston : Jones and Bartlett, c1996.
เลขเรียก	QA266 L55 1997
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Automata, languages and programming : 29th International Colloquium, ICALP 2002, Malaga, Spain, Jul...
ชื่อผู้แต่ง	International Colloquium on Automata, Languages, and Programming (29th : 2002 : Malaga, Spain)
พิมพลักษณ์	Springer : Berlin, c2002.
เลขเรียก	006.3 I61Al 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Big data [electronic resource] : algorithms, analytics and applications / edited by Kuan-Ching Li .....
พิมพลักษณ์	Boca Raton, FL : CRC Preess, 2015.
เลขเรียก	QA76.9.D343
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่) มหาวิทยาลัยพะเยา มหาวิทยาลัยมหิดล

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Big data in complex systems : challenges and opportunities / editors, Aboul-Ella Hassanien ... [et a...
พิมพลักษณ์	New York, NY : Springer, c2015.
เลขเรียก	QA76.9.D343 B5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Communication and concurrency / Robin Milner.
ชื่อผู้แต่ง	Milner, Robin.
พิมพลักษณ์	New York : Prentice Hall, c1989.
เลขเรียก	QA76.76.O63 .M54 1989,005.43 Mi659C
ห้องสมุด	มหาวิทยาลัยสุโขทัยธรรมาธิราช มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยมหาสารคาม

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Computers and the information society / James Radlow.
ชื่อผู้แต่ง	Radlow, James.
พิมพลักษณ์	America : Mc Grawhill Book, 1986.
เลขเรียก	QA76.5 R3,004 R129C
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี ..more มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยนเรศวร มหาวิทยาลัยมหิดล มหาวิทยาลัยราชภัฏเชียงใหม่ มหาวิทยาลัยราชภัฏรำไพพรรณี มหาวิทยาลัยศรีนครินทรวิโรฒ

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Designing logic systems using state machines / Christopher R. Clare.
ชื่อผู้แต่ง	Clare, Christopher R.
พิมพลักษณ์	New York : McGraw Hill, c1973.
เลขเรียก	QA268.5 C5
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Elementary computability, formal languages, and automata / Robert McNaughton.
ชื่อผู้แต่ง	Mcnaughton, Robert.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, c1982.
เลขเรียก	QA248.5 M169e 1982
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
ชื่อผู้แต่ง	Lewis, Harry r.
พิมพลักษณ์	Upper Saddle River, N.J. : Prentice-Hall International, c1998.
เลขเรียก	QA267 L674 1998,511 L674E 2005
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยนเรศวร

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal languages and their relation to automata / John E. Hopcroft and Jeffrey D. Ullman.
ชื่อผู้แต่ง	Hopcroft, John E.
พิมพลักษณ์	Reading, Mass : Addison-Wesley, c1969.
เลขเรียก	QA266 H791
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Handbook of process algebra [electronic resource] / edited by J.A. Bergstra, A. Ponse and S.A. Smolk...
พิมพลักษณ์	Amsterdam : Elsevier, 2001.
เลขเรียก	QA267
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to process algebra / Wan Fokkink.
ชื่อผู้แต่ง	Fokkink, Wan 1965-
พิมพลักษณ์	Berlin : Springer, c2000.
เลขเรียก	QA267 F64 2000
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	MATLAB for Machine Learning / Giuseppe Ciaburro.
ชื่อผู้แต่ง	Ciaburro, Giuseppe, .
เลขเรียก	Q325.5 .C565 2017
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Process algebra and probabilistic methods : performance modeling and verification : second Joint In...
ชื่อผู้แต่ง	PAPM-PROBMIV 2002 (2002 : Copenhagen)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	003.3 P217P 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Process algebra and probabilistic methods: performance modeling and verification : Joint Internatio...
ชื่อผู้แต่ง	PAPM-PROBMIV 2001 (2001 : Aachen, Germany)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	003.3 P217P
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2

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