สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 66 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	A beginner's guide to programming logic and design : introductory version / Joyce Farrell.
ชื่อผู้แต่ง	Farrell, Joyce.
พิมพลักษณ์	Boston, MA : Course Technology, Cengage Learning, c2013.
เลขเรียก	QA76.63 FAR 2013,005.115 F245B
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเกษตรศาสตร์ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยราชภัฏอุดรธานี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic programming with prolog / Max Bramer
ชื่อผู้แต่ง	Bramer, Max
พิมพลักษณ์	London : Springer, c2013
เลขเรียก	QA76.63 BRA 2013
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September...
ชื่อผู้แต่ง	Ilp (conference) (22nd : 2012 : Dubrovnik, Croatia)
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.63 ILP 2013
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Microsoft Visual Basic programs to accompany programming logic and design / Jo Ann Smith
ชื่อผู้แต่ง	Smith, Jo Ann
พิมพลักษณ์	Boston : Course Technology, c2013
เลขเรียก	QA76.73.M53 SMI 2013
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	ECOOP 2013 – Object-Oriented Programming [electronic resource] : 27th European Conference, Montpelli...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.6-76.66
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Static Analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, Ju...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St....
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.6-76.66
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Generative and Transformational Techniques in Software Engineering IV [electronic resource] : Intern...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th Internati...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Unifying theories of programming / edited by Burkhart Wolff, Marie-Claude Gaudel and Abderrahmane F...
ชื่อผู้แต่ง	International symposium, Utp 2012 (4th : 2012 : Paris, France)
พิมพลักษณ์	Berlin ; New York : Springer, c2013.
เลขเรียก	QA76.6 I573 2012
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	The Beauty of Functional Code [electronic resource] : Essays Dedicated to Rinus Plasmeijer on the Oc...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.6-76.66
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Implementation and Application of Functional Languages [electronic resource] : 24th International Sy...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourn...
พิมพลักษณ์	Cham : Springer International Publishing, c2013
เลขเรียก	QA76.7-76.73
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3
4
5

ส่งข้อเสนอแนะ/ปัญหา