หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
B (Computer program language)
ปีที่พิมพ์
2003 (1)
2002 (1)
2000 (1)
2547 (1)
ประเภทสื่อ
Book (4)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (4)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (1)
จุฬาลงกรณ์มหาวิทยาลัย (3)
ภาษา
tha (1)
eng (3)
ผลการค้นหา
Found:
5
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
ZB 2000 : formal specification and development in Z and B : first International Conference of B and...
ชื่อผู้แต่ง
International Conference of B and Z Users (1st : 2000 : York, England)
พิมพลักษณ์
Berlin : Springer, 2000.
เลขเรียก
005.133 I61Z
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
2
ประเภทสื่อ
Book
ชื่อเรื่อง
ZB 2003 : formal specification and development in Z and B : third International Conference of B and...
ชื่อผู้แต่ง
International Conference of B and Z Users (3rd : 2003 : Turku, Finland)
พิมพลักษณ์
Berlin ; New York : Springer, c2003.
เลขเรียก
005.133 I61Z 2003
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
3
ประเภทสื่อ
Book
ชื่อเรื่อง
ZB 2002 : formal specification and development in Z and B : 2nd International Conference of B and Z...
ชื่อผู้แต่ง
International Conference of B and Z Users (2nd : 2002 : Grenoble, France)
พิมพลักษณ์
Berlin : Springer, c2002.
เลขเรียก
005.133 I61Z 2002
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
4
ประเภทสื่อ
Book
ชื่อเรื่อง
กรอบแนวคิดของการแปลงความต้องการที่ระบุในแผนภาพยูสเคสไปเป็นแผนภาพคลาส โดยประยุกต์ใช้เทคนิคการรีไฟน์เพ...
ชื่อผู้แต่ง
รุ่งรัช ภู่ทอง
พิมพลักษณ์
[ปทุมธานี] : คณะวิทยาศาสตร์และเทคโนโลยี มหาวิทยาลัยธรรมศาสตร์, 2547
เลขเรียก
QA76.73.B6 ร-ก 2547
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
ชื่อเรื่อง
การวิเคราะห์ความไม่ขัดแย้งของแผนภาพยูสเคสและแผนภาพสเตท ด้วยวิธีการรูปนัยตามหลักการภาษาบี = Consisten...
ชื่อผู้แต่ง
อรวรรณ จันทร์ปราง, 2517-
พิมพลักษณ์
2546
เลขเรียก
QA76.73 อ45ว6 2546
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา