หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Rewriting systems (Computer science)
ปีที่พิมพ์
2018 (1)
2007 (1)
2004 (1)
2003 (1)
2002 (1)
..more
ประเภทสื่อ
Book (6)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (6)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
จุฬาลงกรณ์มหาวิทยาลัย (4)
ภาษา
eng (6)
ผลการค้นหา
Found:
6
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
All about maude-a high-performance logical framework : how to specify, program and verify systems in...
พิมพลักษณ์
Berlin : Springer-Verlag, c2007
เลขเรียก
QA76.7 ALL 2007
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Application of graph rewriting to natural language processing [electronic resource] / Guillaume Bonf...
ชื่อผู้แต่ง
Bonfante, Guillaume.
พิมพลักษณ์
Hoboken, NJ : Wiley, 2018.
เลขเรียก
P98
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Applications of graph transformations with industrial relevance : second international workshop, AG...
ชื่อผู้แต่ง
International workshop and symposium on "Applications of Graph Transformation with Industrial Relevance" (2th ; 2003 : Charlottesville, Va.)
พิมพลักษณ์
Berlin : Springer, c2004.
เลขเรียก
004 I61Ab 2004
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Nethe...
ชื่อผู้แต่ง
International Conference on Rewriting Techniques and Applications (12th : 2001 : Utrecht, Netherlands)
พิมพลักษณ์
Berlin : Springer, 2001.
เลขเรียก
005.131 I61R 2001
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmar...
ชื่อผู้แต่ง
International Conference on Rewriting Techniques and Applications (13th : 2002 : Copenhagen, Denmark)
พิมพลักษณ์
Berlin : Springer, c2002.
เลขเรียก
005.131 I61R 2002
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, J...
ชื่อผู้แต่ง
International Conference on Rewriting Techniques and Applications (14th : 2003 : Valencia, Spain)
พิมพลักษณ์
Berlin : Springer, c2003.
เลขเรียก
005.131 I61R 2003
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา