Your browser does not support JavaScript and this application utilizes JavaScript to build content and provide links to additional information. You should either enable JavaScript in your browser settings or use a browser that supports JavaScript in order to take full advantage of this application.
Skip navigation
Go to My Account
Navigation Menu
Renew books
Search/Home
Other Catalogs
Reserve Desk
New Books
Digital Collections
Exact Search
ASK A LIBRARIAN
Contextual Navigation Menu
GO BACK
NEW SEARCH
FORWARD
XREF
Print or email kept records
Link to Page
Logout
Search Results
subject "machine theory"
search found
66
titles.
Pages
<<
1
2
3
4
>>
Search Result #1. In our own image : savior or destroyer? : the history and future of artificial intelligence by Zarkadakēs, Giōrgos, 1964- author.
1.
Title
In our own image : savior or destroyer? : the history and future of artificial intelligence
First Pegasus Books hardcover edition.
Author
Zarkadakēs, Giōrgos, 1964- author.
Call number
Publisher
New York, NY : Pegasus Books LLC, 2016.
Edition
First Pegasus Books hardcover edition.
Pub date
2016
HOLDINGS
Search Result #2. Big data : algorithms, analytics, and applications by
2.
Title
Big data : algorithms, analytics, and applications
Author
Call number
Publisher
Boca Raton : CRC Press, Taylor & Francis Group, [2015]
Edition
Pub date
2015
HOLDINGS
Search Result #3. Teoria degli Automi Finiti by De Luca, A. (Aldo), author.
3.
Title
Teoria degli Automi Finiti
Author
De Luca, A. (Aldo), author.
Call number
Publisher
Milan : Springer, 2013.
Edition
Pub date
2013
HOLDINGS
Search Result #4. Foundations of XML processing : the tree-automata approach by Hosoya, Haruo, 1972-
4.
Title
Foundations of XML processing : the tree-automata approach
Author
Hosoya, Haruo, 1972-
Call number
Publisher
Cambridge ; New York : Cambridge University Press, 2011.
Edition
Pub date
2011
HOLDINGS
Search Result #5. Mechanism design : a linear programming approach by Vohra, Rakesh V.
5.
Title
Mechanism design : a linear programming approach
Author
Vohra, Rakesh V.
Call number
Publisher
Cambridge ; New York : Cambridge University Press, 2011.
Edition
Pub date
2011
HOLDINGS
Search Result #6. A concise introduction to languages and machines by Parkes, Alan.
6.
Title
A concise introduction to languages and machines
Author
Parkes, Alan.
Call number
Publisher
New York ; London : Springer, 2008.
Edition
Pub date
2008
HOLDINGS
Search Result #7. Introduction to automata theory, languages, and computation by Hopcroft, John E., 1939-
7.
Title
Introduction to automata theory, languages, and computation
3rd ed.
Author
Hopcroft, John E., 1939-
Call number
Publisher
Boston : Pearson/Addison Wesley, c2007.
Edition
3rd ed.
Pub date
2007
HOLDINGS
Search Result #8. Knowledge structures for communications in human-computer systems : general automata-based by Koenig, Eldo C. (Eldo Clyde), 1919-
8.
Title
Knowledge structures for communications in human-computer systems : general automata-based
Author
Koenig, Eldo C. (Eldo Clyde), 1919-
Call number
Publisher
Hoboken, N.J. : Wiley-Interscience, c2007.
Edition
Pub date
2007
HOLDINGS
Search Result #9. Introduction to the theory of computation by Sipser, Michael.
9.
Title
Introduction to the theory of computation
2nd ed.
Author
Sipser, Michael.
Call number
Publisher
Boston : Thomson Course Technology, c2006.
Edition
2nd ed.
Pub date
2006
HOLDINGS
Search Result #10. Computation engineering : applied automata theory and logic by Gopalakrishnan, Ganesh.
10.
Title
Computation engineering : applied automata theory and logic
Author
Gopalakrishnan, Ganesh.
Call number
Publisher
New York, NY : Springer, c2006.
Edition
Pub date
2006
HOLDINGS
Search Result #11. Meta math! : the quest for omega by Chaitin, Gregory J.
11.
Title
Meta math! : the quest for omega
1st ed.
Author
Chaitin, Gregory J.
Call number
Publisher
New York : Pantheon Books, 2005.
Edition
1st ed.
Pub date
2005
HOLDINGS
Search Result #12. Absolute beginner\'s guide to A+ certification [electronic resource] by Soper, Mark Edward.
12.
Title
Absolute beginner's guide to A+ certification [electronic resource]
Author
Soper, Mark Edward.
Call number
Publisher
Indianapolis, Ind. : Que, c2004.
Edition
Pub date
2004
HOLDINGS
Search Result #13. Introduction to languages, machines and logic : computable languages, abstract machines and formal logic by Parkes, Alan.
13.
Title
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic
Author
Parkes, Alan.
Call number
Publisher
London ; New York : Springer, c2002.
Edition
Pub date
2002
HOLDINGS
Search Result #14. Rudiments of [mu]-calculus [electronic resource] by Arnold, A. (Andr©♭), 1945-
14.
Title
Rudiments of [mu]-calculus [electronic resource]
1st ed.
Author
Arnold, A. (Andr©♭), 1945-
Call number
Publisher
Amsterdam ; New York : Elsevier, 2001.
Edition
1st ed.
Pub date
2001
HOLDINGS
Search Result #15. Problem solving in automata, languages, and complexity [electronic resource] by Du, Dingzhu.
15.
Title
Problem solving in automata, languages, and complexity [electronic resource]
Author
Du, Dingzhu.
Call number
Publisher
New York : Wiley, c2001.
Edition
Pub date
2001
HOLDINGS
Search Result #16. Exploring randomness by Chaitin, Gregory J.
16.
Title
Exploring randomness
Author
Chaitin, Gregory J.
Call number
Publisher
London ; New York : Springer, c2001.
Edition
Pub date
2001
HOLDINGS
Search Result #17. Word processing in groups by Epstein, D. B. A.
17.
Title
Word processing in groups
Author
Epstein, D. B. A.
Call number
Publisher
Boston : Jones and Bartlett Publishers, c1992.
Edition
Pub date
1992
HOLDINGS
Search Result #18. Formal languages and automata theory by Drobot, Vladimir.
18.
Title
Formal languages and automata theory
Author
Drobot, Vladimir.
Call number
Publisher
Rockville, Md. : Computer Science Press, 1989.
Edition
Pub date
1989
HOLDINGS
Search Result #19. Trace theory for automatic hierarchical verification of speed- independent circuits by Dill, David L.
19.
Title
Trace theory for automatic hierarchical verification of speed- independent circuits
Author
Dill, David L.
Call number
Publisher
Cambridge, Mass. : MIT Press, 1989.
Edition
Pub date
1989
HOLDINGS
Search Result #20. Algorithmic information theory by Chaitin, Gregory J.
20.
Title
Algorithmic information theory
Author
Chaitin, Gregory J.
Call number
Publisher
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1987.
Edition
Pub date
1987
HOLDINGS
Pages
<<
1
2
3
4
>>
Continue search in
Google Scholar
Library Info
Report Catalog Error
Find a Full Text Journal by Title
Library Home
Ask a Librarian
Contextual Navigation Menu
GO BACK
NEW SEARCH
FORWARD
XREF
Print or email kept records
Link to Page
Logout
