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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Conference record of POPL'00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming L...
ชื่อผู้แต่ง	ACM Symposium on Principles of Programming Languages (27th : 2000 : Boston, Mass.)
พิมพลักษณ์	New York, N.Y. : ACM, 2000.
เลขเรียก	005.13 A184C
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Control flow and data flow : concepts of distributed programming / edited by Manfred Broy.
ชื่อผู้แต่ง	NATO Advanced Study Institute on Control Flow and Data Flow : Concepts of Distrubuted Programming (1984 : Markto berdofr, Germany)
พิมพลักษณ์	Berlin : Springer-Verlag, c1986.
เลขเรียก	QA76.9.D5 .N375 1986
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal development of programs and proofs / edited by Edsger W. Dijkstra.
พิมพลักษณ์	Reading, Mass. : Addison-Wesley, c1990.
เลขเรียก	QA76.6 F6
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเกษตรศาสตร์

4

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Proceedings of the 33rd annual ACM Symposium on Theory of Computing, Hersonissos, Crete, Greece, Jul...
ชื่อผู้แต่ง	ACM Symposium on Theory of Computing (33rd : 2001 : Hersonissos, Crete, Greece)
พิมพลักษณ์	New York : Association for Computing Machinery, 2001.
เลขเรียก	004 A184P 2001
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Proceedings of the 34th annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 1...
ชื่อผู้แต่ง	ACM Symposium on Theory of Computing (34th : 2002 : Montreal, Quebec, Canada)
พิมพลักษณ์	New York : Association for Computing Machinery, 2002.
เลขเรียก	004 A184P 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Proceedings of the thirty second annual ACM Symposium on Theory of Computing, Portland, Oregon, May ...
ชื่อผู้แต่ง	ACM Symposium on Theory of Computing (32nd : 2000 : Portland, Ore.)
พิมพลักษณ์	New York : ACM Press, c2000
เลขเรียก	QA9.58 PRO 2000,004 A184P
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	The use of formal specification of software June 25-27, 1979, Berlin / edited by H.K. Berg and W.K. ...
พิมพลักษณ์	Berlin : Springer-Verlag, c1980.
เลขเรียก	QA76.6 U83 1980
ห้องสมุด	มหาวิทยาลัยศิลปากร

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Theoretical foundations of programming methodology / edited by Manfred Broy and Gunther Schmid
พิมพลักษณ์	Dordrecht : D. Reidel, c1982
เลขเรียก	QA76.6 THE 1981
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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