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

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

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
ชื่อเรื่อง	Automata, languages and programming : proceedings of a symposium organized by IRIA, Institut de Rech...
พิมพลักษณ์	Amsterdam : North-Holland, 1973.
เลขเรียก	511.3 P963A
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

4

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

5

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

6

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

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Computational aspects of cooperative game theory (Synthesis lectures on artificial intelligence and ...
ชื่อผู้แต่ง	Chalkiadakis, Georgios.
พิมพลักษณ์	Morgan & Claypool Publishers, 2011.
ห้องสมุด	มหาวิทยาลัยราชภัฏเลย

8

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

9

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

10

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

11

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยขอนแก่น มหาวิทยาลัยเชียงใหม่ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยนเรศวร

12

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ

13

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

14

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

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Lecture notes in computer science : Mathematical Foundations of Computer Science / G. Goss and J. ...
ชื่อผู้แต่ง	Goss, G.
พิมพลักษณ์	New York : Springer-Verlag, c1975.
เลขเรียก	519.4 G6441
ห้องสมุด	มหาวิทยาลัยแม่โจ้

1
2

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