หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Location
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
Subject
Computer software verification
ปีที่พิมพ์
2008 (2)
ประเภทสื่อ
Book (2)
ภูมิภาค
ภาคตะวันออกเฉียงเหนือ (2)
ภาคกลาง(กรุงเทพและปริมณฑล) (2)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีสุรนารี (2)
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ (2)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (2)
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ (1)
ภาษา
eng (2)
ผลการค้นหา
Found:
2
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan M...
พิมพลักษณ์
Hoboken, NJ : John Wiley, 2008.
เลขเรียก
QA76.54 M62 2008,004.0151 M691
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีสุรนารี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefe...
ชื่อผู้แต่ง
Yoeli, Michael
พิมพลักษณ์
Hoboken, NJ : John Wiley, c2008.
เลขเรียก
TK7874.58 Y62v,621.381548 V516
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีราชมงคลกรุงเทพ
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ
มหาวิทยาลัยเทคโนโลยีสุรนารี
1
Loading...
ส่งข้อเสนอแนะ/ปัญหา