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

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

List(0)

Select Page | Deselect Page |

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

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Elements of logic and foundations of mathematics in problems / Wiktor Marek and Janusz Onyszkiewicz...
ชื่อผู้แต่ง	Marek, Wiktor.
พิมพลักษณ์	Warszawa, Poland : Reidel Pub., c1982.
เลขเรียก	QA9 M323
ห้องสมุด	มหาวิทยาลัยขอนแก่น

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Foundations of computing : system development with set theory and logic / Thierry Scheurer.
ชื่อผู้แต่ง	Scheurer, Thierry.
พิมพลักษณ์	Wokingham, England : Addison-Wesley Pub., c1994.
เลขเรียก	QA76.9 S328
ห้องสมุด	มหาวิทยาลัยขอนแก่น มหาวิทยาลัยอุบลราชธานี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Foundations without foundationalism : a case for second-order logic / Stewart Shapiro.
ชื่อผู้แต่ง	Shapiro, Stewart 1951-
พิมพลักษณ์	Oxford : : Clarendon Press ; New York : Oxford University Press, 2000.
เลขเรียก	QA9 S48 2000
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีสุรนารี

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Introduction to Concurrency Theory : transition systems and CCS / Roberto Gorrieri, Cristian Versari
ชื่อผู้แต่ง	Gorrieri, Roberto
พิมพลักษณ์	Cham : Springer, 2015
เลขเรียก	004.0151 G673I 2015
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตนครราชสีมา

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic, mathematics, and computer science : modern foundations with practical applications / Yves N...
ชื่อผู้แต่ง	Nievergelt, Yves.
พิมพลักษณ์	New York : Springer, 2015.
เลขเรียก	511.3 N682L 2015
ห้องสมุด	มหาวิทยาลัยราชภัฏเทพสตรี มหาวิทยาลัยเทคโนโลยีราชมงคลอีสาน วิทยาเขตขอนแก่น

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Mathematics of Fuzzy Sets and Fuzzy Logic [electronic resource] / by Barnabas Bede.
ชื่อผู้แต่ง	Bede, Barnabas
พิมพลักษณ์	Berlin, Heidelberg : Springer Berlin Heidelberg, c2013
เลขเรียก	Q342
ห้องสมุด	มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี มหาวิทยาลัยเทคโนโลยีสุรนารี

7

ประเภทสื่อ	Book
ชื่อเรื่อง	The digital and the real world : computational foundations of mathematics, science, technology, and ...
ชื่อผู้แต่ง	Mainzer, Klaus.
พิมพลักษณ์	[Hackensack,] New Jersey : World Scientific, c2018.
เลขเรียก	510.1 Ma224D
ห้องสมุด	มหาวิทยาลัยมหาสารคาม

1

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