Limit Search Results
Author
SpringerLink (Online service)
(610)
Project Muse.
(181)
Wiley InterScience (Online service)
(11)
France, Anatole, 1844-1924.
(10)
Foucault, Michel, 1926-1984.
(9)
Language
Publication Date
-
2011
(226)
2012
(210)
2013
(183)
2014
(173)
2010
(155)
Subject
Computer science.
(358)
Software engineering.
(181)
Artificial intelligence.
(175)
Computer Communication Networks.
(115)
Information systems.
(108)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2297 Results Found Subscribe to search results
000000000000DEFAULT
Print
157. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 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 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520944.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings
Data and Applications Security and Privacy XXXVII 37th Annual IFIP WG 11.3 Conference, DBSec 2023, Sophia-Antipolis, France, July 19-21, 2023, Proceedings
Author 
Atluri, Vijayalakshmi. editor. Ferrara, Anna Lisa. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521089.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37586-6
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521096.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37706-8
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521097.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37709-9
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521099.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I
Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521106.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38271-0
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part II
Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part II
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521107.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38299-4
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Learning and Intelligent Optimization 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers
Author 
Sellmann, Meinolf. editor. Tierney, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521260.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44505-7
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Code-Based Cryptography 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers
Code-Based Cryptography 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers
Author 
Esser, Andre. editor. Santini, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521266.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-46495-9
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521295.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Decision Support Systems XIII. Decision Support Systems in An Uncertain World: The Contribution of Digital Twins 9th International Conference on Decision Support System Technology, ICDSST 2023, Albi, France, May 30 - June 1, 2023, Proceedings
Decision Support Systems XIII. Decision Support Systems in An Uncertain World: The Contribution of Digital Twins 9th International Conference on Decision Support System Technology, ICDSST 2023, Albi, France, May 30 - June 1, 2023, Proceedings
Author 
Liu, Shaofeng. editor. Zaraté, Pascale. editor. (orcid) Kamissoko, Daouda. editor. Linden, Isabelle. editor. Papathanasiou, Jason. editor.
Preferred Shelf Number 
XX(520248.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32534-2
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Author 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520342.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42307-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action