หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
FORMAL LANGUAGES
ปีที่พิมพ์
2023 (1)
2015 (1)
2014 (4)
2013 (89)
2012 (105)
..more
ประเภทสื่อ
Book (296)
ภูมิภาค
ภาคใต้ (11)
ภาคตะวันออกเฉียงเหนือ (20)
ภาคเหนือ (20)
ภาคกลาง(กรุงเทพและปริมณฑล) (281)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (8)
มหาวิทยาลัยพะเยา (3)
มหาวิทยาลัยราชภัฏอุดรธานี (1)
มหาวิทยาลัยอุบลราชธานี (1)
มหาวิทยาลัยทักษิณ (1)
..more
ภาษา
eng (295)
(1)
ผลการค้นหา
Found:
296
ชื่อเรื่อง เรียงลำดับโดย:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
แสดง
:
5
10
15
20
25
30
ต่อหน้า
List(0)
Select Page
|
Deselect Page
|
ส่งออก
|
เคลียร์
1
ประเภทสื่อ
Book
ชื่อเรื่อง
A calculus of communicating systems / Robin Milner.
ชื่อผู้แต่ง
Milner, Robin.
พิมพลักษณ์
Berlin : Springer-Verlag, 1980.
เลขเรียก
QA267 .M53
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
2
ประเภทสื่อ
Book
ชื่อเรื่อง
A Concise introduction to languages and machines / Alan P. Parkes.
ชื่อผู้แต่ง
Parkes, Alan p.
พิมพลักษณ์
England : Springer, c2008.
เลขเรียก
QA267.3 P37 2008
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี
3
ประเภทสื่อ
Book
ชื่อเรื่อง
A first course in formal language theory / V.J. Rayward-Smith.
ชื่อผู้แต่ง
Rayward-smith, V.j.
พิมพลักษณ์
Oxford : Black-well Scientific Pub, c1983.
เลขเรียก
QA267.3 R277
ห้องสมุด
มหาวิทยาลัยขอนแก่น
4
ประเภทสื่อ
Book
ชื่อเรื่อง
A second course in formal languages and automata theory / Jeffrey Shallit.
ชื่อผู้แต่ง
Shallit, Jeffrey outlaw.
พิมพลักษณ์
Cambridge : Cambridge University Press, c2009.
เลขเรียก
QA267.3 S528s 2009
ห้องสมุด
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Abstract machines and grammars / Walter J. Savitch
ชื่อผู้แต่ง
Savitch, Walter j.
พิมพลักษณ์
Boston : Little, Brown, 1982
เลขเรียก
511 Sa
ห้องสมุด
มหาวิทยาลัยราชภัฏสงขลา
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Advances in Natural Language Processing [electronic resource] : 8th International Conference on NLP,...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Advances in Neural Networks – ISNN 2012 [electronic resource] : 9th International Symposium on Neura...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA75.5-76.95
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Confere...
พิมพลักษณ์
Cham : Springer International Publishing, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithmic Learning Theory [electronic resource] : 23rd International Conference, ALT 2012, Lyon, F...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapo...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก
Q334-342
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Algorithms, languages, automata, and compilers : a practical approach / Maxim Mozgovoy.
ชื่อผู้แต่ง
Mozgovoy, Maxim.
พิมพลักษณ์
Sudbury, Mass. : Jones and Bartlett Publishers, c2010.
เลขเรียก
QA267 M69 2010,511.3 Mo939A
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
มหาวิทยาลัยมหาสารคาม
13
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib, A.J. Kfoury.
ชื่อผู้แต่ง
Moll, Robert N.
พิมพลักษณ์
New York : Spring-Verlag, c1988.
เลขเรียก
QA76.7 .M65 1988
ห้องสมุด
มหาวิทยาลัยเกษตรศาสตร์
14
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to formal languages and automata / Peter Linz.
ชื่อผู้แต่ง
Linz, Peter.
พิมพลักษณ์
Lexington, Mass. : D.C. Health, c1990.
เลขเรียก
Qa76.6 L56 1990,511.3 Li762I
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
มหาวิทยาลัยนเรศวร
..more
×
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีราชมงคลธัญบุรี
มหาวิทยาลัยนเรศวร
มหาวิทยาลัยบูรพา
15
ประเภทสื่อ
Book
ชื่อเรื่อง
An introduction to formal languages and automata / Peter Linz.
ชื่อผู้แต่ง
Linz, Peter.
พิมพลักษณ์
Sudbury, MA : Jones & Bartlett Learning, 2012.
เลขเรียก
QA267.3 L5 2012,005.131 L762I
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยราชภัฏพิบูลสงคราม
มหาวิทยาลัยศิลปากร
1
2
3
4
5
6
7
8
9
10
>>
>>|
Loading...
ส่งข้อเสนอแนะ/ปัญหา