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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in computer science--ASIAN 2004 : higher-level decision making / Michael J. Maher, editor.
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	QA75.5 A38 2004
ห้องสมุด	มหาวิทยาลัยศิลปากร

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in computing science-ASIAN 2003 : programming languages and distributed computation : 8th ...
ชื่อผู้แต่ง	Asian Computing Science Conference (8th : 2003 : Bombay, India)
พิมพลักษณ์	Berlin : Springer, 2003.
เลขเรียก	004 A832A 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Advances in Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.A43
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Automata, languages and programming : 29th International Colloquium, ICALP 2002, Malaga, Spain, Jul...
ชื่อผู้แต่ง	International Colloquium on Automata, Languages, and Programming (29th : 2002 : Malaga, Spain)
พิมพลักษณ์	Springer : Berlin, c2002.
เลขเรียก	006.3 I61Al 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Automata, languages and programming : proceedings of a symposium organized by IRIA, Institut de Rech...
พิมพลักษณ์	Amsterdam : North-Holland, 1973.
เลขเรียก	511.3 P963A
ห้องสมุด	มหาวิทยาลัยเชียงใหม่

6

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

7

ประเภทสื่อ	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
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	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
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Database programming languages : 8th international workshop, DBPL 2001, Frascati, Italy, September ...
ชื่อผู้แต่ง	International Workshop on Database Programming Languages (8th : 2001 : Frascati, Italy)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.74 I61Dp
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September...
ชื่อผู้แต่ง	International Workshop on Database Programming Languages (9th : 2003 : Potsdam, Germany)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.74 I61Dp 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Declarative agent languages and technologies [electronic resource] : first international workshop,...
ชื่อผู้แต่ง	International workshop on declarative agent languages and technologies (1st : 2003 : Melbourne, Vic.)
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.7 I5775 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Octob...
พิมพลักษณ์	Berlin : Springer-Verlag, 1977.
เลขเรียก	001.6424 D457
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Domain-specific program generation [electronic resource] : international seminar, Dagstuhl Castle,...
พิมพลักษณ์	Berlin ; New York : Springer, c2004.
เลขเรียก	QA76.624 D66 2004eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

14

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

15

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

1
2
3
4
5

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