Limit Search Results
Author
SpringerLink (Online service)
(1140)
Rozenberg, Grzegorz. editor.
(14)
Voronkov, Andrei. editor.
(11)
Salomaa, Arto. editor.
(9)
Gelbukh, Alexander. editor.
(8)
Language
Publication Date
-
2011
(145)
2012
(140)
2014
(128)
2013
(119)
2006
(111)
Subject
Machine theory.
(985)
Formal Languages and Automata Theory.
(984)
Computer science.
(702)
Artificial intelligence.
(582)
Computer Science Logic and Foundations of Programming.
(487)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1158 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer and machine vision : theory, algorithms, practicalities
Computer and machine vision : theory, algorithms, practicalities
by 
Davies, E. R. (E. Roy), author.
ScienceDirect http://www.sciencedirect.com/science/book/9780123869081
Format: 
Excerpt: 
Computer and machine vision : theory, algorithms, practicalities / Davies, E. R. (E. Roy), author.
2. 
Cover image for Innovations in Machine Learning Theory and Applications
Innovations in Machine Learning Theory and Applications
by 
Holmes, Dawn E. editor.
https://doi.org/10.1007/3-540-33486-6
Format: 
Excerpt: 
Innovations in Machine Learning Theory and Applications / Holmes, Dawn E. editor.
3. 
Cover image for New Trends in Educational Activity in the Field of Mechanism and Machine Theory
New Trends in Educational Activity in the Field of Mechanism and Machine Theory
by 
García-Prada, Juan Carlos. editor.
https://doi.org/10.1007/978-3-319-01836-2
Format: 
Excerpt: 
New Trends in Educational Activity in the Field of Mechanism and Machine Theory García-Prada, Juan
4. 
Cover image for New Trends in Mechanism and Machine Science Theory and Applications in Engineering
New Trends in Mechanism and Machine Science Theory and Applications in Engineering
by 
Viadero-Rueda, Fernando. editor.
https://doi.org/10.1007/978-94-007-4902-3
Format: 
Excerpt: 
New Trends in Mechanism and Machine Science Theory and Applications in Engineering / Viadero-Rueda
5. 
Cover image for Machine Learning for Vision-Based Motion Analysis Theory and Techniques
Machine Learning for Vision-Based Motion Analysis Theory and Techniques
by 
Wang, Liang. editor.
https://doi.org/10.1007/978-0-85729-057-1
Format: 
Excerpt: 
Machine Learning for Vision-Based Motion Analysis Theory and Techniques / Wang, Liang. editor.
6. 
Cover image for Principles and Theory for Data Mining and Machine Learning
Principles and Theory for Data Mining and Machine Learning
by 
Clarke, Bertrand. author.
https://doi.org/10.1007/978-0-387-98135-2
Format: 
Excerpt: 
Principles and Theory for Data Mining and Machine Learning Clarke, Bertrand. author.
7. 
Cover image for Machine Learning for Audio, Image and Video Analysis Theory and Applications
Machine Learning for Audio, Image and Video Analysis Theory and Applications
by 
Camastra, Francesco. author.
https://doi.org/10.1007/978-1-84800-007-0
Format: 
Excerpt: 
Machine Learning for Audio, Image and Video Analysis Theory and Applications / Camastra, Francesco
8. 
Cover image for Postmodern Sanat Pratikleri Bağlamında Baudrıllard’ın Simülasyon Kuramı Ve Hipergerçekçi Resim
Postmodern Sanat Pratikleri Bağlamında Baudrıllard’ın Simülasyon Kuramı Ve Hipergerçekçi Resim
by 
Albayrak, Emre.
Format: 
Excerpt: 
production of replicas. Hyperrealist painting, as a result of the interaction of simulation theory, became a
9. 
Cover image for Automata, formal languages, and turing machines
Automata, formal languages, and turing machines
by 
Sermutlu, Emre.
Format: 
Excerpt: 
Machine theory.
10. 
Cover image for Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
by 
Shi, Xiaodong. editor.
https://doi.org/10.1007/978-3-662-45701-6
Format: 
Excerpt: 
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings /
11. 
Cover image for Logica Volume 1 - Dimostrazioni e modelli al primo ordine
Logica Volume 1 - Dimostrazioni e modelli al primo ordine
by 
Abrusci, Vito Michele. author.
https://doi.org/10.1007/978-88-470-5538-4
Format: 
Excerpt: 
Machine theory.
12. 
Cover image for Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
by 
Bonakdarpour, Borzoo. editor.
https://doi.org/10.1007/978-3-319-11164-3
Format: 
Excerpt: 
Machine theory.
Go to:Search Results
|
Search Facets
|
Top of Page