Limit Search Results
Author
SpringerLink (Online service)
(65973)
Project Muse.
(12563)
Wiley InterScience (Online service)
(6745)
John Wiley & Sons.
(896)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(18883)
2012
(18466)
2013
(15672)
2010
(15251)
2009
(10588)
Subject
Computer science.
(11616)
Engineering.
(7944)
Medicine.
(7535)
Economics.
(7326)
Artificial intelligence.
(6263)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
154032 Results Found Subscribe to search results
000000000000DEFAULT
Print
793. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520401.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies:
794. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520402.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1642-9
Format: 
Availability 
Online Library~1
Available:
Copies:
795. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520403.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1645-0
Format: 
Availability 
Online Library~1
Available:
Copies:
796. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520404.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1639-9
Format: 
Availability 
Online Library~1
Available:
Copies:
797. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VII
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
XX(520405.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1648-1
Format: 
Availability 
Online Library~1
Available:
Copies:
798. 
Cover image for Past, Present and Future of Computing Education Research A Global Perspective
Past, Present and Future of Computing Education Research A Global Perspective
Author 
Apiola, Mikko. editor. López-Pernas, Sonsoles. editor. Saqr, Mohammed. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520406.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25336-2
Format: 
Availability 
Online Library~1
Available:
Copies:
799. 
Cover image for Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
Bio-Inspired Computing: Theories and Applications 17th International Conference, BIC-TA 2022, Wuhan, China, December 16-18, 2022, Revised Selected Papers
Author 
Pan, Linqiang. editor. Zhao, Dongming. editor. Li, Lianghao. editor. Lin, Jianqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520407.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1549-1
Format: 
Availability 
Online Library~1
Available:
Copies:
800. 
Cover image for Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Performance Evaluation Methodologies and Tools 15th EAI International Conference, VALUETOOLS 2022, Virtual Event, November 2022, Proceedings
Author 
Hyytiä, Esa. editor. Kavitha, Veeraruna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520408.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31234-2
Format: 
Availability 
Online Library~1
Available:
Copies:
801. 
Cover image for Pan-African Conference on Artificial Intelligence First Conference, PanAfriCon AI 2022, Addis Ababa, Ethiopia, October 4-5, 2022, Revised Selected Papers
Pan-African Conference on Artificial Intelligence First Conference, PanAfriCon AI 2022, Addis Ababa, Ethiopia, October 4-5, 2022, Revised Selected Papers
Author 
Girma Debelee, Taye. editor. Ibenthal, Achim. editor. (orcid) Schwenker, Friedhelm. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520409.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31327-1
Format: 
Availability 
Online Library~1
Available:
Copies:
802. 
Cover image for Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Author 
Yang, Hongming. editor. Fei, Jiang. editor. Qiang, Tang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520410.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31733-0
Format: 
Availability 
Online Library~1
Available:
Copies:
803. 
Cover image for Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers
Author 
Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520411.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34147-2
Format: 
Availability 
Online Library~1
Available:
Copies:
804. 
Cover image for Applied Machine Learning and Data Analytics 5th International Conference, AMLDA 2022, Reynosa, Tamaulipas, Mexico, December 22-23, 2022, Revised Selected Papers
Applied Machine Learning and Data Analytics 5th International Conference, AMLDA 2022, Reynosa, Tamaulipas, Mexico, December 22-23, 2022, Revised Selected Papers
Author 
Jabbar, M. A. editor. Ortiz-Rodríguez, Fernando. editor. Tiwari, Sanju. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520412.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34222-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action