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
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 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:
3. 
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:
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 Mathematics and computer science for real-world applications
Mathematics and computer science for real-world applications
Author 
Mallik, Biswadip Basu, editor.
Preferred Shelf Number 
QA76.9 .M35 M38 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275359
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
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-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings
Decision and Game Theory for Security 15th International Conference, GameSec 2024, New York City, NY, USA, October 16-18, 2024, Proceedings
Author 
Sinha, Arunesh. editor. (orcid)0000-0002-3594-3848 Fu, Jie. editor. (orcid)0000-0002-4470-2827 Zhu, Quanyan. editor. (orcid)0000-0002-0008-2953 Zhang, Tao. editor. (orcid)0000-0002-1454-4645 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74835-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Embedded Machine Learning with Microcontrollers Applications on Arduino Boards
Embedded Machine Learning with Microcontrollers Applications on Arduino Boards
Author 
Ünsalan, Cem. author. (orcid)0000-0002-8904-3730 Höke, Berkan. author. (orcid)0000-0001-5682-500X Atmaca, Eren. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69421-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Author 
Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 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-73751-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
Author 
Hinchey, Mike. editor. 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-73887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
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-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets