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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Agent-mediated knowledge management [electronic resource] : international symposium AMKM 2003, Sta...
ชื่อผู้แต่ง	Amkm 2003 (2003 : Stanford, Calif.)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.76.I58 A45 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Agent-oriented software engineering IV [electronic resource] : 4th international workshop, AOSE 20...
ชื่อผู้แต่ง	Aose 2003 (2003 : Melbourne, Vic.)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.758 A57 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Agents and computational autonomy [electronic resource] : potential, risks, and solutions / Matth...
ชื่อผู้แต่ง	International workshop on computational autonomy (1st : 2003 : Melbourne, Vic.)
พิมพลักษณ์	Berlin ; London : Springer, 2004.
เลขเรียก	QA76.76.I58 A445 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Engineering societies in the agents world IV [electronic resource] : 4th international workshop, E...
ชื่อผู้แต่ง	Esaw 2003 (2003 : London, England)
พิมพลักษณ์	Berlin ; New York : Springer, 2004.
เลขเรียก	QA76.76.I58 E83 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal approaches to software testing [electronic resource] : Third International Workshop on Form...
ชื่อผู้แต่ง	Fates 2003 (2003 : Montreal, Quebec)
พิมพลักษณ์	Berlin ; New York : Springer-Verlag, c2004.
เลขเรียก	QA76.9.F67 F52 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods for components and objects [electronic resource] : third international symposium, FMC...
พิมพลักษณ์	Berlin ; New York : Springer, 2005.
เลขเรียก	QA76.9.F67 F53 2005eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Haptics [electronic resource] : science, technology, applications : 12th International Conference, E...
ชื่อผู้แต่ง	EuroHaptics Conference (12th : 2020 : Online).
พิมพลักษณ์	Cham : Springer, 2020.
เลขเรียก	QA76.9.U83 EU89 2020eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Method engineering : principles of method construction and tool support : proceedings of the IFIP T...
ชื่อผู้แต่ง	Ifip tc8, Wg8.1/8.2 working conference on method engineering (1996 : Atlanta, Ga.)
พิมพลักษณ์	London ; New York : Chapman & Hall, 1996.
เลขเรียก	TA168 I45 1996
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain...
ชื่อผู้แต่ง	International spin workshop (11th : 2004 : Barcelona, Spain)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.76.V47 I58 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

10

ประเภทสื่อ	Book
ชื่อเรื่อง	NCSEC 2004 : proceedings of the Eighth National Computer Science and Engineering Conference : Octobe...
ชื่อผู้แต่ง	National computer science and engineering conference (8th : 2004 : Prince of songkla university)
พิมพลักษณ์	Songkla : the University, 2004
เลขเรียก	QA76.5 N37 2004
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(หาดใหญ่)

11

ประเภทสื่อ	Book
ชื่อเรื่อง	NCSEC'99 : the 1999 national computer science and engineering conference, December 16-17, 1999 : 8...
ชื่อผู้แต่ง	National computer science and engineering conference (1999 : Bangkok, Thailand)
พิมพลักษณ์	Bangkok : Assumption University, 1999.
เลขเรียก	QA76.5 N337 1999
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Numerical software with result verification [electronic resource] : international Dagstuhl seminar...
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA297 N867 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Proceedings : the Twentieth Annual International Computer Software & Applications Conference COMPSA...
ชื่อผู้แต่ง	Compsac (20th : 1996 : Seoul, Korea)
พิมพลักษณ์	Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
เลขเรียก	QA76.6 C6295 1996
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Product focused software process improvement [electronic resource] : 5th international conference,...
ชื่อผู้แต่ง	Profes 2004 (2004 : Kansai bunka gakujutsu kenkyu toshi, Japan)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	QA76.758 P7585 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Software and systems safety : specification and verification / edited by Manfred Broy, Christian Leu...
พิมพลักษณ์	Amsterdam : IOS Press, 2011.
เลขเรียก	620.860285 S681 2011
ห้องสมุด	มหาวิทยาลัยสงขลานครินทร์(ปัตตานี)

1
2

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