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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Conference record : ACM SIGPLAN ASIA-PEPM 2002, the ASIAN symposium on partial evaluation and seman...
ชื่อผู้แต่ง	ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (2002 : Aizu, Japan)
พิมพลักษณ์	New York : Association for Computing Machinery, c2002.
เลขเรียก	QA76.6 ACM 2002,005.131 A832C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 20...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.7-76.73
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th M...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studie...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering C...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Modular programming languages : joint modular languages conference, JMLC'97, Linz, Austria, March 19...
ชื่อผู้แต่ง	Joint modular languages conference (1997 : Linz, Austria)
พิมพลักษณ์	Berlin : Springer, c1997
เลขเรียก	QA76.6 JOI 1997
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Multicore Software Engineering, Performance, and Tools [electronic resource] : International Confere...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	TK7874.6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA,...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Network and Parallel Computing [electronic resource] : 9th IFIP International Conference, NPC 2012, ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, c2012
เลขเรียก	QA76.7-76.73
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Object-oriented programming : systems, languages, and applications, conference proceedings / edited...
ชื่อผู้แต่ง	OOPSLA ECOOP'90 conference proceedings on object-oriented programming : systems, languages, and applications (1990 : Ottawa, Canada)
พิมพลักษณ์	New York : Association for Computing Machinery, c1990
เลขเรียก	QA76.64 OOP 1990
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Proceedings of the IFIP TC6 International Conference on Formal Description Techniques / edited by G...
ชื่อผู้แต่ง	IFIP TC6 International Conference on Formal Description Techniques (8th : 1995 : Montreal, Canada)
พิมพลักษณ์	London : Chapman \& Hall, c1996.
เลขเรียก	QA76.9.D5 P7
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming Languages and Systems - ESOP'96 : 6th European Symposium on Programming Linkoping, Swede...
ชื่อผู้แต่ง	European symposium on programming (6th : 1996 : Linkoping, Sweden)
พิมพลักษณ์	Berlin : Springer Verlag, c1996
เลขเรียก	QA76.7 EUR 1996
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part...
ชื่อผู้แต่ง	European Symposium on Programming (12th : 2003 : Warsaw, Poland)
พิมพลักษณ์	Berlin : Springer, 2003.
เลขเรียก	QA76.7 EUR 2003,005.1 E89P 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1
2

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