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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler design [electronic resource] : syntactic and semantic analysis / Reinhard Wilhelm, Helmut S...
ชื่อผู้แต่ง	Wilhelm, R. (reinhard) 1946-
พิมพลักษณ์	Berlin : Springer, c2013.
เลขเรียก	QA76.76.C65
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Compiler design : syntactic and semantic analysis / Reinhard Wilhelm, Helmut Seidl, Sebastian Hack...
ชื่อผู้แต่ง	Wilhelm, Reinhard
พิมพลักษณ์	Berlin : Springer, c2013
เลขเรียก	QA76.76.C65 W54 2013
ห้องสมุด	มหาวิทยาลัยศิลปากร มหาวิทยาลัยเกษตรศาสตร์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melb...
พิมพลักษณ์	Cham : Springer International Publishing, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / ed...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Automated Technology for Verification and Analysis [electronic resource] : 11th International Sympos...
พิมพลักษณ์	Cham : Springer International Publishing, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

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

7

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

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, Franc...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Structured Object-Oriented Formal Language and Method [electronic resource] : Second International W...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

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

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Practical Aspects of Declarative Languages [electronic resource] : 15th International Symposium, PAD...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.7-76.73
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

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

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th Inter...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2
3
4

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