Dòng Nội dung
1
Automata and computability / Dexter C. Kozen
New York : Springer, 1997
407 p. ; cm.
Ký hiệu phân loại (DDC): 004.0151
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course. Plenty of exercises are provided, ranging from the easy to the challenging
 Số bản sách: (0) Tài liệu số: (1)
2
Automata, computability and complexity : theory and applications / Elaine Rich
Upper Saddle River, N.J. : Pearson Prentice Hall, 2008.
xix, 1099 pages. : illustrations ; 24 cm.
Ký hiệu phân loại (DDC): 511.3
Số bản sách: (2) Tài liệu số: (0)
3
Human-computer Interaction Techniques and Environments :14th International Conference, Hci International 2011, Orlando, Fl, USA, July 9-14, 2011, Proceedings.Part II
New York :Springer,2011
xiv, 631 p. :ill. ;21 cm.
Ký hiệu phân loại (DDC): 004
Số bản sách: (1) Tài liệu số: (0)
4
Introduction to languages and the theory of computation /John C. Martin.
Boston :McGraw-Hill,2003.
xiii, 543 p. :ill. ;24 cm.
Ký hiệu phân loại (DDC): 511.3
Số bản sách: (2) Tài liệu số: (0)