Limit Search Results
Author
SpringerLink (Online service)
(880)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Language
Publication Date
-
Subject
Computer science.
(747)
Computer software.
(545)
Computer Communication Networks.
(228)
Data structures (Computer science).
(213)
Artificial intelligence.
(200)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
920 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Reviews of nonlinear dynamics and complexity
Reviews of nonlinear dynamics and complexity
Author 
Schuster, Heinz Georg, 1943- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482290
John Wiley http://dx.doi.org/10.1002/9783527626359
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Author 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 2)
Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 2)
Author 
Pan, Jeng-Shyang. editor. (orcid)0000-0002-3128-9025 Zin, Thi Thi. editor. Sung, Tien-Wen. editor. Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1535-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for An Introduction to Theory of Computation An Algorithmic Approach
An Introduction to Theory of Computation An Algorithmic Approach
Author 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1)
Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1)
Author 
Pan, Jeng-Shyang. editor. (orcid)0000-0002-3128-9025 Zin, Thi Thi. editor. Sung, Tien-Wen. editor. Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1531-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Author 
Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume I), October 6-8, 2023, Kaohsiung, Taiwan
Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume I), October 6-8, 2023, Kaohsiung, Taiwan
Author 
Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 Shieh, Chin-Shiuh. editor. (orcid)0000-0003-3187-458X Horng, Mong-Fong. editor. Chu, Shu-Chuan. editor. (orcid)0000-0003-2117-0618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0068-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Spiking Neural P Systems Theory, Applications and Implementations
Spiking Neural P Systems Theory, Applications and Implementations
Author 
Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9282-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for 5G Edge Computing Technologies, Applications and Future Visions
5G Edge Computing Technologies, Applications and Future Visions
Author 
Ma, Xiao. author. (orcid)0000-0001-5742-8890 Xu, Mengwei. author. Li, Qing. author. Li, Yuanzhe. author. Zhou, Ao. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-0213-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan
Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan
Author 
Pan, Jeng-Shyang. editor. Pan, Zhigeng. editor. Hu, Pei. editor. (orcid)0000-0003-3711-4952 Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9412-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action