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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Algorithms and Applications [electronic resource] : Essays Dedicated to Esko Ukkonen on the Occasion...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	Q337.5
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic r...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Ber...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Concurrency, Compositionality, and Correctness [electronic resource] : Essays in Honor of Willem-Pau...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA8.9-QA10.3
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Cryptography and Security: From Theory to Applications [electronic resource] : Essays Dedicated to J...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.A25
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Essays on object-oriented software engineering, volume I / Edward V. Berard.
ชื่อผู้แต่ง	Berard, Edward v.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice Hall, c1993.
เลขเรียก	QA76.64 B47
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Fields of Logic and Computation [electronic resource] : Essays Dedicated to Yuri Gurevich on the Occ...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasio...
พิมพลักษณ์	Berlin : Springer, c2005.
เลขเรียก	004.0151 Fm723
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Graph Transformations and Model-Driven Engineering [electronic resource] : Essays Dedicated to Manfr...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2010
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Instructional software : principles and perspectives for design and use / Decker F. Walker, Robert...
พิมพลักษณ์	Belmont, Calif. : Wadsworth, c1984.
เลขเรียก	LB1028.5 .I54 1984
ห้องสมุด	มหาวิทยาลัยเกษตรศาสตร์ จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยนเรศวร

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic Programs, Norms and Action [electronic resource] : Essays in Honor of Marek J. Sergot on the O...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	Q334-342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Perspectives on the Future of Software Engineering [electronic resource] : Essays in Honor of Dieter...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Programming on purpose III : essays on software technology / P.J. Plauger.
ชื่อผู้แต่ง	Plauger, P.j.
พิมพลักษณ์	Englewood Cliffs, N.J. : Prentice-Hall, 1994.
เลขเรียก	QA76.756 P5 1994,005.1 Pl721P 20
ห้องสมุด	มหาวิทยาลัยศรีนครินทรวิโรฒ

1
2

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