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

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

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

10

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

11

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

12

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

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Kräme...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.L63
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

14

ประเภทสื่อ	Book
ชื่อเรื่อง	The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Micha...
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2012
เลขเรียก	QA76.9.A43
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Theories of programming and formal methods [electronic resource] : essays dedicated to Jifeng He on ...
พิมพลักษณ์	Berlin : Springer, c2013.
เลขเรียก	QA76.758
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

1

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