Limit Search Results
Author
Kim, Tai-hoon. editor.
(35)
Gervasi, Osvaldo. editor.
(27)
Apduhan, Bernady O. editor.
(25)
Yung, Moti. editor.
(25)
Murgante, Beniamino. editor.
(23)
Language
Publication Date
-
2011
(350)
2010
(319)
2012
(311)
2013
(223)
2005
(175)
Subject
Computer software.
(2161)
Computer science.
(2029)
Computer Communication Networks.
(881)
Artificial intelligence.
(860)
Software engineering.
(567)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2234 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
Author 
Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34831-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Author 
Arun-Kumar, S. editor. Garg, Naveen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11944836
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Author 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104325
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
Cover image for Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
Author 
Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number 
XX(521001.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36402-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
Linking Theory and Practice of Digital Libraries 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings
Author 
Alonso, Omar. editor. Cousijn, Helena. editor. Silvello, Gianmaria. editor. Marrero, Mónica. editor. Teixeira Lopes, Carla. editor.
Preferred Shelf Number 
XX(521310.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43849-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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 
XX(520682.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
Author 
Brooks, Anthony L. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520308.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28993-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Computer Supported Cooperative Work and Social Computing 17th CCF Conference, ChineseCSCW 2022, Taiyuan, China, November 25-27, 2022, Revised Selected Papers, Part I
Author 
Sun, Yuqing. editor. Lu, Tun. editor. Guo, Yinzhang. editor. Song, Xiaoxia. editor. Fan, Hongfei. editor.
Preferred Shelf Number 
XX(520315.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2356-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520319.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action