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
Select an Action
12380 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Futureshock : happenings in computer science
Futureshock : happenings in computer science
Author 
Sequoiah-Grayson, Sebastian, 1975- editor.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032702797
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATION
EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATION
Author 
Tiwari, Anurag. Darbari, Manuj.
Preferred Shelf Number 
QA76
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003606635
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
Author 
Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77367-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 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
Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 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 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85628-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
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-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Author 
Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-8943-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
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-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
Author 
Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70094-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
Author 
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-73741-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action