Limit Search Results
Author
SpringerLink (Online service)
(12308)
Kim, Tai-hoon. editor.
(61)
Filipe, Joaquim. editor.
(41)
Gervasi, Osvaldo. editor.
(39)
Nguyen, Ngoc Thanh. editor.
(38)
Language
Publication Date
-
2013
(1522)
2011
(1414)
2012
(1330)
2010
(1264)
2009
(1196)
Subject
Artificial intelligence.
(3609)
Software engineering.
(3279)
Computer Communication Networks.
(2860)
Information systems.
(2469)
Computer software.
(2011)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
12380 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Author 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85930-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Author 
Zygelman, Bernard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66425-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part III
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77847-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part II
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I
The Semantic Web - ISWC 2024 23rd International Semantic Web Conference, Baltimore, MD, USA, November 11-15, 2024, Proceedings, Part I
Author 
Demartini, Gianluca. editor. (orcid)0000-0002-7311-3693 Hose, Katja. editor. (orcid)0000-0001-7025-8099 Acosta, Maribel. editor. (orcid)0000-0002-1209-2868 Palmonari, Matteo. editor. (orcid)0000-0002-1801-5118 Cheng, Gong. editor. (orcid)0000-0003-3539-7776
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77844-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
Author 
C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-78116-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Category Theory Using Haskell An Introduction with Moggi and Yoneda
Category Theory Using Haskell An Introduction with Moggi and Yoneda
Author 
Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-68538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings
Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings
Author 
Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77012-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets