หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Programming languages (Electronic computers) -- Semantics -- Congresses
ปีที่พิมพ์
2004 (2)
2003 (1)
2002 (3)
2001 (1)
1996 (1)
..more
ประเภทสื่อ
Book (9)
ภูมิภาค
ภาคใต้ (1)
ภาคเหนือ (1)
ภาคกลาง(กรุงเทพและปริมณฑล) (7)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (1)
มหาวิทยาลัยแม่โจ้ (1)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (3)
จุฬาลงกรณ์มหาวิทยาลัย (6)
ภาษา
eng (9)
ผลการค้นหา
Found:
9
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Conference record : ACM SIGPLAN ASIA-PEPM 2002, the ASIAN symposium on partial evaluation and seman...
ชื่อผู้แต่ง
ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2002 : Aizu, Japan)
พิมพลักษณ์
New York : Association for Computing Machinery, c2002.
เลขเรียก
QA76.6 ACM 2002,005.131 A832C
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Formal semantics of programming languages / edited by Randall Rustin.
พิมพลักษณ์
Englewood Cliffs, New Jersey : Prentice-Hall, c1972.
เลขเรียก
QA76.7 F653,651.8 F723
ห้องสมุด
มหาวิทยาลัยแม่โจ้
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Practical aspects of declarative languages [electronic resource] : 6th international symposium, PA...
ชื่อผู้แต่ง
Padl 2004 (2004 : Dallas, Tex.)
พิมพลักษณ์
Berlin ; New York : Springer, c2004.
เลขเรียก
QA76.7 P32 2004eb
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Practical aspects of declarative languages : 4th International Symposium, PADL 2002, Portland, OR, ...
ชื่อผู้แต่ง
PADL 2002 (4th : 2002 : Portland, OR)
พิมพลักษณ์
Berlin : Springer, c2002.
เลขเรียก
005.131 P123P 2002
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Practical aspects of declarative languages : 5th International Symposium, PADL 2003, New Orleans, L...
ชื่อผู้แต่ง
PADL 2003 (5th : 2003 : New Orleans, La.)
พิมพลักษณ์
Berlin : Springer, c2002.
เลขเรียก
005.131 P123P 2003
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Practical aspects of declarative languages : 6th international symposium, PADL 2004, Dallas, TX, US...
ชื่อผู้แต่ง
PADL 2004 (6th : 2004 : Dallas, Tex.)
พิมพลักษณ์
Berlin : Springer, c2004.
เลขเรียก
005.131 P123P 2004
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, N...
ชื่อผู้แต่ง
PADL 2001 (3rd : 2001 : Las Vegas, Nev.)
พิมพลักษณ์
Berlin : Springer, 2001.
เลขเรียก
005.131 P123P
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming Languages and Systems - ESOP'96 : 6th European Symposium on Programming Linkoping, Swede...
ชื่อผู้แต่ง
European symposium on programming (6th : 1996 : Linkoping, Sweden)
พิมพลักษณ์
Berlin : Springer Verlag, c1996
เลขเรียก
QA76.7 EUR 1996
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part...
ชื่อผู้แต่ง
European Symposium on Programming (12th : 2003 : Warsaw, Poland)
พิมพลักษณ์
Berlin : Springer, 2003.
เลขเรียก
QA76.7 EUR 2003,005.1 E89P 2003
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา