หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Language
eng
Location
จุฬาลงกรณ์มหาวิทยาลัย
Publish year
2004
Subject
Computer software verification
ผู้แต่ง
Loading...
ผู้แต่ง
Loading...
ปีที่พิมพ์
2004 (3)
ประเภทสื่อ
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
ชื่อเรื่อง
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17,...
ชื่อผู้แต่ง
International Conference on Computer Aided Verification (16th : 2004 : Boston, Massachusetts)
พิมพลักษณ์
Berlin : Springer, c2004.
เลขเรียก
005.14 I61C 2004
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : pro...
ชื่อผู้แต่ง
International SPIN Workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์
Berlin : Springer, c2004.
เลขเรียก
005.14 I61M 2004
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germ...
ชื่อผู้แต่ง
Dagstuhl Seminar on Numerical Software with Result Verification (2003 : Dagstuhl, Germany)
พิมพลักษณ์
Berlin : Springer, c2004.
เลขเรียก
518.02855 D127N
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา