Limit Search Results
Author
SpringerLink (Online service)
(73)
Adamatzky, Andrew. editor.
(3)
Huang, De-Shuang. editor.
(3)
Kominkova Oplatkova, Zuzana. editor.
(3)
Prokopova, Zdenka. editor.
(3)
Language
Subject
Artificial intelligence.
(37)
Algorithms.
(19)
Computational intelligence.
(17)
Computer science.
(17)
Computer science -- Mathematics.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Author 
Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for AETA 2016: Recent Advances in Electrical Engineering and Related Sciences Theory and Application
AETA 2016: Recent Advances in Electrical Engineering and Related Sciences Theory and Application
Author 
Duy, Vo Hoang. editor. Dao, Tran Trong. editor. Kim, Sang Bong. editor. Tien, Nguyen Tan. editor. Zelinka, Ivan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I
Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525 Korytkowski, Marcin. editor. Scherer, Rafał. editor. (orcid)0000-0001-9592-262X Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59063-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers
Medical Computer Vision and Bayesian and Graphical Models for Biomedical Imaging MICCAI 2016 International Workshops, MCV and BAMBI, Athens, Greece, October 21, 2016, Revised Selected Papers
Author 
Müller, Henning. editor. Kelm, B. Michael. editor. Arbel, Tal. editor. Cai, Weidong. editor. (orcid)0000-0003-3706-8896 Cardoso, M. Jorge. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61188-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Modern Language Models and Computation Theory with Applications
Modern Language Models and Computation Theory with Applications
Author 
Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63100-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Source Code Modularization Theory and Techniques
Source Code Modularization Theory and Techniques
Author 
Isazadeh, Ayaz. author. Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Elgedawy, Islam. author. (orcid)0000-0002-9884-1590 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63346-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Anomaly Detection Principles and Algorithms
Anomaly Detection Principles and Algorithms
Author 
Mehrotra, Kishan G. author. Mohan, Chilukuri K. author. Huang, HuaMing. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67526-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Author 
Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6893-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Spatio-Temporal Graph Data Analytics
Spatio-Temporal Graph Data Analytics
Author 
Gunturi, Venkata M. V. author. Shekhar, Shashi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67771-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2
Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57264-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Smart Electromechanical Systems: The Central Nervous System
Smart Electromechanical Systems: The Central Nervous System
Author 
Gorodetskiy, Andrey E. editor. Kurbanov, Vugar G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
Author 
Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64110-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action