Limit Search Results
Author
SpringerLink (Online service)
(1539)
Dongarra, Jack. editor.
(18)
Albada, Geert Dick. editor.
(16)
Gavrilova, Marina L. editor.
(16)
Gervasi, Osvaldo. editor.
(16)
Language
Publication Date
-
Subject
Software engineering.
(1503)
Computer science.
(1480)
Logic design.
(404)
Artificial intelligence.
(313)
Information systems.
(281)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1590 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
Author 
Sassone, Vladimiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106850
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Foundations of software technology and theoretical computer science : 9th conference, Bangalore, India, December 19-21, 1989: proceedings
Author 
Madhavan, C. E. Veni, ed. by.
Preferred Shelf Number 
QA 76.751 F68 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
40. 
Cover image for Data science with semantic technologies. New trends and future developments
Data science with semantic technologies. New trends and future developments
Author 
Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Preferred Shelf Number 
QA76.9 .B45
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003310785
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Data science with semantic technologies. Deployment and exploration
Data science with semantic technologies. Deployment and exploration
Author 
Patel, Archana (Lecturer in software engineering), editor. Debnath, N. C. (Narayan C.), editor.
Preferred Shelf Number 
QA76.9 .B45
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003310792
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Author 
Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
Author 
Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33080-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Author 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
Author 
Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5968-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings
Technologies and Innovation 9th International Conference, CITI 2023, Guayaquil, Ecuador, November 13-16, 2023, Proceedings
Author 
Valencia-García, Rafael. editor. Bucaram-Leverone, Martha. editor. Del Cioppo-Morstadt, Javier. editor. Vera-Lucio, Néstor. editor. Centanaro-Quiroz, Pablo Humberto. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45682-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II
Leveraging Generative Intelligence in Digital Libraries: Towards Human-Machine Collaboration 25th International Conference on Asia-Pacific Digital Libraries, ICADL 2023, Taipei, Taiwan, December 4-7, 2023, Proceedings, Part II
Author 
Goh, Dion H. editor. Chen, Shu-Jiun. editor. Tuarob, Suppawong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-8088-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Teaching Biostatistics in Medicine and Allied Health Sciences
Teaching Biostatistics in Medicine and Allied Health Sciences
Author 
Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26010-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action