Limit Search Results
Author
SpringerLink (Online service)
(248)
Apduhan, Bernady O. editor.
(5)
Carlini, Maurizio. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Misra, Sanjay. editor.
(5)
Language
English
(249)
Publication Date
-
Subject
Computer software.
(215)
Algorithm Analysis and Problem Complexity.
(208)
Artificial intelligence.
(87)
Computer Communication Networks.
(79)
Artificial Intelligence (incl. Robotics).
(71)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
249 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Structures of Computing A Guide to Practice-Oriented Theory
Structures of Computing A Guide to Practice-Oriented Theory
Author 
Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54358-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advanced Mathematical Science for Mobility Society
Advanced Mathematical Science for Mobility Society
Author 
Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56235-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.
Infrared Small Target Detection Theory, Methods, and Algorithms.
Author 
Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9799-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings
Research in Computational Molecular Biology 28th Annual International Conference, RECOMB 2024, Cambridge, MA, USA, April 29-May 2, 2024, Proceedings
Author 
Ma, Jian. editor. (orcid)0000-0002-4202-5834 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-0716-3989-4
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
Author 
Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56232-7
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Introduction to Learning Classifier Systems
Introduction to Learning Classifier Systems
Author 
Urbanowicz, Ryan J. author. Browne, Will N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55007-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
Evolutionary Multi-Criterion Optimization 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings
Author 
Trautmann, Heike. editor. Rudolph, Günter. editor. Klamroth, Kathrin. editor. Schütze, Oliver. editor. Wiecek, Margaret. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
Mathematical Aspects of Computer and Information Sciences 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers
Author 
Kotsireas, Ilias S. editor. (orcid)0000-0003-2126-8383 Rump, Siegfried M. editor. Yap, Chee K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32859-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
Frontiers in Algorithmics 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings
Author 
Zhu, Daming. editor. Bereg, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39817-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets