Limit Search Results
Author
SpringerLink (Online service)
(563)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Language
Publication Date
-
Subject
Artificial intelligence.
(284)
Machine theory.
(271)
Formal Languages and Automata Theory.
(249)
Computer science.
(193)
COMPUTERS / Machine Theory
(146)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
915 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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
Author 
Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-007-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Schaum's outline of theory and problems of machine design
Schaum's outline of theory and problems of machine design
Author 
Hall, Allen S. Holowenko, Alfred R. Laughlin, Herman G.
Preferred Shelf Number 
TJ235 H35 1961
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Outline of theory and problems of machine desing including 320 solved problem
Outline of theory and problems of machine desing including 320 solved problem
Author 
Schaum, Daniel. Hall, Allen S. Holowenko, Alfred R., ort. yaz. Laughlin, Herman G., ort. yaz.
Preferred Shelf Number 
TJ 235 S3 1961
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Applied computer vision through artificial intelligence
Applied computer vision through artificial intelligence
Author 
Sandhu, Jasminder Kaur, editor.
Preferred Shelf Number 
TA1634 .A67 2026
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272624
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Smart cyber-physical power systems : fundamental concepts, challenges, and solutions. Volume 1
Smart cyber-physical power systems : fundamental concepts, challenges, and solutions. Volume 1
Author 
Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.
Preferred Shelf Number 
TJ213 .S485 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394191529
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Foundations of semantic communication networks
Foundations of semantic communication networks
Author 
Saad, Walid. Chaccour, Christina. Thomas, Christo Kurisummoottil. Debbah, Merouane, 1975-
Preferred Shelf Number 
TK5103.2 .F68 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394247912
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
Smart cyber-physical power systems : solutions from emerging technologies. Volume 2
Author 
Parizad, Ali, editor. Baghaee, Hamid Reza, editor. Rahman, Saifur, editor.
Preferred Shelf Number 
TJ213 .S485 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394334599
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Stochastic modeling and optimization methods for critical infrastructure protection. 1, stochastic modeling
Stochastic modeling and optimization methods for critical infrastructure protection. 1, stochastic modeling
Author 
Gaivoronski, Alexei A., editor. Knopov, Pavel S. Norkin, Vladimir I. Zaslavskyi, Volodymyr A.
Preferred Shelf Number 
HC79 .C3 S76 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394372508
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Author 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
Chinese Computational Linguistics 23rd China National Conference, CCL 2024, Taiyuan, China, July 25-28, 2024, Proceedings
Author 
Sun, Maosong. editor. Liang, Jiye. editor. (orcid)0000-0001-5887-9327 Han, Xianpei. editor. (orcid)0000-0002-1304-6302 Liu, Zhiyuan. editor. (orcid)0000-0002-7709-2543 He, Yulan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8367-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action