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

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

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

4

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

5

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

6

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

7

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

8

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

9

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

10

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

11

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

12

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

13

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

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal semantics of programming languages / edited by Randall Rustin.
พิมพลักษณ์	Englewood Cliffs, New Jersey : Prentice-Hall, c1972.
เลขเรียก	QA76.7 F653,651.8 F723
ห้องสมุด	มหาวิทยาลัยแม่โจ้

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Languages and compilers for parallel computing [electronic resource] : 16th international workshop...
ชื่อผู้แต่ง	Workshop on languages and compilers for parallel computing (16th : 2003 : College station, Tex.)
พิมพลักษณ์	Berlin ; New York : Springer, 2004.
เลขเรียก	QA76.58 W656 2003eb
ห้องสมุด	มหาวิทยาลัยวลัยลักษณ์

1
2
3
4

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