|
|
|
Introduction to the theory of computation / Michael Sipser.
by Sipser, Michael. Publisher: Boston : PWS Pub. Co., c1997Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SIP]
(1).
|
|
|
|
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou.
by Lewis, Harry R | Papadimitriou, Christos H. Edition: 2nd ed.Publisher: Upper Saddle River, N.J. : Prentice-Hall, c1998Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 LEW]
(4).
|
|
|
|
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp.
by Sudkamp, Thomas A. Edition: 3rd ed.Publisher: Boston : Pearson Addison-Wesley, c2006Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SUD]
(2).
|
|
|
|
Introduction to the theory of computation / Michael Sipser.
by Sipser, Michael. Edition: 2nd ed., Int ed.Publisher: Boston, Mass. : Thomson/Course Technology, c2006Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 SIP]
(1).
|
|
|
|
Advanced digital logic design : using VHDL, state machines, and synthesis for FPGAs / Sunggu Lee.
by Lee, Sunggu. Publisher: Toronto, Ont. : Thomson, c2006Availability: Items available for loan: Taylor's Library-TU
[Call number: 621.395 LEE]
(1).
|
|
|
|
FSM-based digital design using Verilog HDL [electronic resource] / Peter Minns, Ian Elliott.
by Minns, Peter D | Elliott, Ian D | ebrary, Inc. Publisher: Chichester, England ; Hoboken, NJ : J. Wiley, c2008Other title: Finite state machine based digital design using Verilog HDL.Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 004/.33]
(1).
|
|
|
|
Big data : algorithms, analytics, and applications / edited by Kuan-Ching Li, Providence University, Taiwan; Hai Jiang, Arkansas State University, USA; Laurence T. Yang, St. Francis Xavier University, Canada; Alfredo Cuzzocrea, ICAR-CNR & University of Calabria, Italy.
by Li, Kuan-Ching. Publisher: Boca Raton : CRC Press, [2015]Copyright date: ©2015Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for reference: Taylor's Library-TU
[Call number: 005.7 B592]
(1).
|
|
|
|
An introduction to formal languages and automata / Peter Linz.
by Linz, Peter [author.]. Edition: Sixth edition.Publisher: Burlington, MA : Jones & Bartlett Learning, [2017]Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.3 LIN 2017]
(1).
|
|
|
|
Words, languages, and combinatorics III [electronic resource] : proceedings of the international conference : Kyoto, Japan, 14-18 March 2000 / editors, Masami Ito, Teruo Imaoka.
by International Colloquium on Words, Languages and Combinatorics (3rd : 2000 : Kyoto, Japan) | Ito, Masami, 1941- | Imaoka, Teruo | Kyoto Sangyo Daigaku | ebrary, Inc. Publisher: [River Edge] New Jersey : World Scientific, c2003Other title: Words, languages, and combinatorics 3 | Words, languages, and combinatorics three | Proceedings of the international conference, words, languages, and combinatorics III.Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Algebraic theory of automata and languages [electronic resource] / Masami Ito.
by Ito, Masami, 1941- | ebrary, Inc. Publisher: River Edge, N.J. : World Scientific, 2004Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 511.3]
(1).
|
|
|
|
Quantum cellular automata [electronic resource] : theory, experimentation and prospects / Massimo Macucci, editor.
by Macucci, Massimo | ebrary, Inc. Publisher: London : Imperial College Press, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: No items available
|
|
|
|
Semigroups and automata [electronic resource] : selecta, Uno Kaljulaid (1941-1999) / edited by Jaak Peetre and Jaan Penjam.
by Kaljulaid, U. (Uno) | Peetre, Jaak, 1935- | Penjam, Jaan, 1955- | ebrary, Inc. Publisher: Amsterdam ; Washington, DC : IOS, c2006Online access: An electronic book accessible through the World Wide Web; click to view Availability: Items available for loan:
[Call number: 512/.27]
(1).
|
|
|
|
Acta informatica [electronic resource]. Source: Academic Source CompletePublisher: Heidelberg : Springer-Verlag Heidelberg Online access: Full text available: Oct 1996-. (Due to publisher restrictions, the most recent 12 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
|
Fundamenta informaticae [electronic resource].
by Polskie Towarzystwo Matematyczne. Source: Academic Source CompletePublisher: Amsterdam ; Washington, DC : IOS Press Online access: Full text available: Jul 1999-. (Due to publisher restrictions, the most recent 9 months are not available.). Available on EBSCOhost. Availability: No items available
|
|
|
|
Journal of computer and system sciences [electronic resource]. Source: Academic Source CompletePublisher: New York, Academic Press. Online access: Abstracts Available: Feb 2002- Available on EBSCOhost. Availability: No items available
|
|
|
|
Theoretical computer science [electronic resource].
by European Association for Theoretical Computer Science. Source: Academic Source CompletePublisher: Amsterdam : North-Holland Pub. Co., 1975-Online access: Abstracts Available: Mar 2002- Available on EBSCOhost. Availability: No items available
|
|
|
|
Digital logic and state machine design / David J. Comer.
by Comer, David J. Edition: 3rd edition.Publisher: New York : Oxford University Press, [1995]Copyright date: ©1995Availability: Items available for loan: Taylor's Library-TU
[Call number: 621.395 COM 1995]
(1).
|
|
|
|
Modern applications of automata theory / editors, Deepak D'Souza, Priti Shankar.
by D'Souza, Deepak | Shankar, P. (Priti). Publisher: Singapore : World Scientific, c2012Availability: Items available for loan: Taylor's Library-TU
[Call number: 511.35 MOD 2012]
(1).
|
