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
75
titles.
Pages
<<
1
2
3
4
>>
Search Result #1. Formation control of multi-agent systems : a graph rigidity approach by Queiroz, Marcio S. de, author.
1.
Title
Formation control of multi-agent systems : a graph rigidity approach
Author
Queiroz, Marcio S. de, author.
Call number
Publisher
Hoboken, NJ : John Wiley & Sons, Inc., 2019.
Edition
Pub date
2019
HOLDINGS
Search Result #2. Formation control of multiple autonomous vehicle systems by Liu, Hugh H. T., author.
2.
Title
Formation control of multiple autonomous vehicle systems
Author
Liu, Hugh H. T., author.
Call number
Publisher
Chichester, West Sussex, UK : Wiley, 2018.
Edition
Pub date
2018
HOLDINGS
Search Result #3. Big data : algorithms, analytics, and applications by
3.
Title
Big data : algorithms, analytics, and applications
[Enhanced Credo edition].
Author
Call number
Publisher
Boca Raton [Florida] : CRC Press, Taylor & Francis Group, [2015]
Edition
[Enhanced Credo edition].
Pub date
2016
HOLDINGS
Search Result #4. In our own image : savior or destroyer? : the history and future of artificial intelligence by Zarkadakēs, Giōrgos, 1964- author.
4.
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 #5. Big data : algorithms, analytics, and applications by
5.
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 #6. Data clustering : algorithms and applications by
6.
Title
Data clustering : algorithms and applications
Author
Call number
Publisher
Boca Raton, FL : CRC Press, ©2014.
Edition
Pub date
2014
HOLDINGS
Search Result #7. Introduction to automata theory, formal languages and computation by Kandar, Shyamalendu.
7.
Title
Introduction to automata theory, formal languages and computation
Author
Kandar, Shyamalendu.
Call number
Publisher
New Delhi, India : Dorling Kindersley (India), ©2013.
Edition
Pub date
2013
HOLDINGS
Search Result #8. Teoria degli Automi Finiti by De Luca, A. (Aldo), author.
8.
Title
Teoria degli Automi Finiti
Author
De Luca, A. (Aldo), author.
Call number
Publisher
Milan : Springer, 2013.
Edition
Pub date
2013
HOLDINGS
Search Result #9. Statistical and machine learning approaches for network analysis by Dehmer, Matthias, 1968-
9.
Title
Statistical and machine learning approaches for network analysis
Author
Dehmer, Matthias, 1968-
Call number
Publisher
Hoboken, N.J. : Wiley, 2012.
Edition
Pub date
2012
HOLDINGS
Search Result #10. Automata theory and formal languages by Kandar, Shyamalendu.
10.
Title
Automata theory and formal languages
Author
Kandar, Shyamalendu.
Call number
Publisher
New Delhi : Dorling Kindersley (India), ©2012.
Edition
Pub date
2012
HOLDINGS
Search Result #11. Foundations of XML processing : the tree-automata approach by Hosoya, Haruo, 1972-
11.
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 #12. Mechanism design : a linear programming approach by Vohra, Rakesh V.
12.
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 #13. Introduction to formal languages, automata theory and computation by Krithivasan, Kamala.
13.
Title
Introduction to formal languages, automata theory and computation
Author
Krithivasan, Kamala.
Call number
Publisher
Delhi, India : Dorling Kindersley, ©2009.
Edition
Pub date
2009
HOLDINGS
Search Result #14. A concise introduction to languages and machines by Parkes, Alan.
14.
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 #15. FSM-based digital design using Verilog HDL by Minns, Peter D.
15.
Title
FSM-based digital design using Verilog HDL
Author
Minns, Peter D.
Call number
Publisher
Chichester, England ; Hoboken, NJ : J. Wiley & Sons, ©2008.
Edition
Pub date
2008
HOLDINGS
Search Result #16. Introduction to automata theory, languages, and computation by Hopcroft, John E., 1939-
16.
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 #17. Knowledge structures for communications in human-computer systems : general automata-based by Koenig, Eldo C. (Eldo Clyde), 1919-
17.
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 #18. Introduction to the theory of computation by Sipser, Michael.
18.
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 #19. Computation engineering : applied automata theory and logic by Gopalakrishnan, Ganesh.
19.
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 #20. Meta math! : the quest for omega by Chaitin, Gregory J.
20.
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
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