หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Computer programs -- Specifications
ปีที่พิมพ์
2022 (1)
1998 (1)
1993 (1)
1992 (1)
1990 (1)
..more
ประเภทสื่อ
Book (8)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (2)
ภาคกลาง(กรุงเทพและปริมณฑล) (6)
ห้องสมุด
มหาวิทยาลัยศรีนครินทรวิโรฒ (1)
มหาวิทยาลัยศิลปากร (3)
มหาวิทยาลัยสุโขทัยธรรมาธิราช (1)
มหาวิทยาลัยรามคำแหง (2)
มหาวิทยาลัยมหิดล (1)
..more
ภาษา
eng (8)
ผลการค้นหา
Found:
8
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
AutoCAD release 12 : iges interface specifications / Autodesk Inc.
พิมพลักษณ์
[S.l.] : Autodesk Inc., c1992.
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Communication protocol specification and verification / by Richard Lai, Ajin Jirachiefpattana.
ชื่อผู้แต่ง
Lai, Richard.
พิมพลักษณ์
Boston : Kluwer, c1998.
เลขเรียก
TK5105.55 L185
ห้องสมุด
มหาวิทยาลัยขอนแก่น
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Formal methods of program verification and specification / by H.K. Berg...[et al.]
พิมพลักษณ์
Englewood Cliffs, N.J. : Prentice-Hall, c1982.
เลขเรียก
QA76.6 B47 1982
ห้องสมุด
มหาวิทยาลัยศิลปากร
4
ประเภทสื่อ
Book
ชื่อเรื่อง
Program derivation : the development of programs from specifications / Geoff Dromey
ชื่อผู้แต่ง
Dromey, Geoff
พิมพลักษณ์
Sydney : Addison-Wesley, c1989
เลขเรียก
QA76.6 DRO 1989,005.1
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยสุโขทัยธรรมาธิราช
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Requirements engineering for software and systems / Phillip A. Laplante and Mohamad H. Kassab.
ชื่อผู้แต่ง
Laplante, Phillip A.
พิมพลักษณ์
Boca Raton, FL : CRC Press, 2022.
เลขเรียก
QA76.758 L36 2022
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยมหิดล
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Software requirements : analysis and specification / Alan M. Davis.
ชื่อผู้แต่ง
Davis, Alan M.
พิมพลักษณ์
Englewood Cliffs, NJ : Prentice-Hall, c1990.
เลขเรียก
QA76.76.S64 D34s
ห้องสมุด
มหาวิทยาลัยขอนแก่น
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Software specification techniques / edited by Narain Gehani, Andrew McGettrick.
พิมพลักษณ์
Workingham, England : Addison-Wesley, c1986.
เลขเรียก
QA76.6 S64 1986
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยรามคำแหง
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Specification case studies / edited by Ian Hayes ; with contributions by Bill Flinn ... [et al.].
พิมพลักษณ์
New York : Prentice Hall, 1993.
เลขเรียก
QA76.6 .S63 1993
ห้องสมุด
มหาวิทยาลัยศิลปากร
มหาวิทยาลัยเกษตรศาสตร์
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยรามคำแหง
มหาวิทยาลัยศรีนครินทรวิโรฒ
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา