หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยวลัยลักษณ์
Subject
PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS) -- SEMANTICS
ปีที่พิมพ์
2004 (1)
1995 (1)
1993 (1)
ประเภทสื่อ
Book (3)
ภูมิภาค
ภาคใต้ (3)
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์ (3)
ภาษา
eng (3)
ผลการค้นหา
Found:
3
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Logic and specifiction : extending VDM-SL for advanced formal specification / Cornelis A. Middelbu...
ชื่อผู้แต่ง
Middelburg, Cornelis a.
พิมพลักษณ์
London ; New York : Chapman & Hall, 1993.
เลขเรียก
QA76.7 M53 1993
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
2
ประเภทสื่อ
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
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
3
ประเภทสื่อ
Book
ชื่อเรื่อง
The logic of partial information / Areski Nait Abdallah.
ชื่อผู้แต่ง
Nait abdallah, Areski 1950-.
พิมพลักษณ์
Berlin ; New York : Springer, c1995.
เลขเรียก
QA76.7 N35 1995
ห้องสมุด
มหาวิทยาลัยวลัยลักษณ์
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา