หน้าหลัก
สถิติ
รายงานสถิติ
รายการขอยืมที่กำลังดำเนินการ
รายงาน
เข้าสู่ระบบ
ลงทะเบียน
ภาษาไทย
English
ค้นหา
ทั้งหมด
ชื่อเรื่อง
ชื่อผู้แต่ง
หัวเรื่อง
แท็ก
ISBN/ISSN
Call number LC
Call number DC
Call number NLM
Search within results
New search
คำค้น
Subject
Logic programming
Language
eng
Publish year
2012
Region
ภาคกลาง(กรุงเทพและปริมณฑล)
ปีที่พิมพ์
2012 (80)
ประเภทสื่อ
Book (80)
ภูมิภาค
ภาคกลาง(กรุงเทพและปริมณฑล) (80)
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี (79)
จุฬาลงกรณ์มหาวิทยาลัย (1)
ภาษา
eng (80)
ผลการค้นหา
Found:
80
ชื่อเรื่อง เรียงลำดับโดย:
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
ชื่อเรื่อง
Answer set programming for continuous domains [electronic resource] : a fuzzy logic approach / Jeroe...
พิมพลักษณ์
Paris : Atlantis Press, c2012
เลขเรียก
QA76.63 ANS 2012
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
2
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming with higher-order logic / Dale Miller and Gopalan Nadathur.
ชื่อผู้แต่ง
Miller, Dale. (Dale A.)
พิมพลักษณ์
New York : Cambridge University Press, 2012.
เลขเรียก
005.115 M647P
ห้องสมุด
จุฬาลงกรณ์มหาวิทยาลัย
3
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ES...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
4
ประเภทสื่อ
Book
ชื่อเรื่อง
ECOOP 2012 – Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.6-76.66
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
5
ประเภทสื่อ
Book
ชื่อเรื่อง
Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, K...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
6
ประเภทสื่อ
Book
ชื่อเรื่อง
Generic and Indexed Programming [electronic resource] : International Spring School, SSGIP 2010, Oxf...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.7-76.73
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
7
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th Internati...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
8
ประเภทสื่อ
Book
ชื่อเรื่อง
Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, J...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.7-76.73
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
9
ประเภทสื่อ
Book
ชื่อเรื่อง
The Correctness-by-Construction Approach to Programming [electronic resource] / by Derrick G. Kourie...
ชื่อผู้แต่ง
Kourie, Derrick g
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
10
ประเภทสื่อ
Book
ชื่อเรื่อง
Fundamentals of Software Engineering [electronic resource] : 4th IPM International Conference, FSEN ...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
11
ประเภทสื่อ
Book
ชื่อเรื่อง
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
12
ประเภทสื่อ
Book
ชื่อเรื่อง
Implementation and Application of Functional Languages [electronic resource] : 23rd International Sy...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
13
ประเภทสื่อ
Book
ชื่อเรื่อง
Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.9.L63
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
14
ประเภทสื่อ
Book
ชื่อเรื่อง
Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
15
ประเภทสื่อ
Book
ชื่อเรื่อง
Runtime Verification [electronic resource] : Second International Conference, RV 2011, San Francisco...
พิมพลักษณ์
Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก
QA76.758
ห้องสมุด
มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี
1
2
3
4
5
6
Loading...
ส่งข้อเสนอแนะ/ปัญหา