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
649. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
650. 
Cover image for Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520841.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
651. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520842.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
652. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520796.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
653. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
654. 
Cover image for Graph Drawing and Network Visualization 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers
Graph Drawing and Network Visualization 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers
Author 
Angelini, Patrizio. editor. von Hanxleden, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520798.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22203-0
Format: 
Availability 
Online Library~1
Available:
Copies:
655. 
Cover image for Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part II
Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(520799.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23480-4
Format: 
Availability 
Online Library~1
Available:
Copies:
656. 
Cover image for Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Artificial Intelligence and Soft Computing 21st International Conference, ICAISC 2022, Zakopane, Poland, June 19-23, 2022, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(520800.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23492-7
Format: 
Availability 
Online Library~1
Available:
Copies:
657. 
Cover image for Emerging Technologies for Authorization and Authentication 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers
Emerging Technologies for Authorization and Authentication 5th International Workshop, ETAA 2022, Copenhagen, Denmark, September 30, 2022, Revised Selected Papers
Author 
Saracino, Andrea. editor. Mori, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520801.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25467-3
Format: 
Availability 
Online Library~1
Available:
Copies:
658. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520802.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
659. 
Cover image for Green, Pervasive, and Cloud Computing 17th International Conference, GPC 2022, Chengdu, China, December 2-4, 2022, Proceedings
Green, Pervasive, and Cloud Computing 17th International Conference, GPC 2022, Chengdu, China, December 2-4, 2022, Proceedings
Author 
Yu, Chen. editor. Zhou, Jiehan. editor. Song, Xianhua. editor. Lu, Zeguang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520803.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26118-3
Format: 
Availability 
Online Library~1
Available:
Copies:
660. 
Cover image for Biomedical and Computational Biology Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers
Biomedical and Computational Biology Second International Symposium, BECB 2022, Virtual Event, August 13-15, 2022, Revised Selected Papers
Author 
Wen, Shiping. editor. Yang, Cihui. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520804.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25191-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action