Limit Search Results
Author
Philips, Wilfried. editor.
(7)
Schoenauer, Marc. editor.
(7)
Amini, Massih-Reza. editor.
(6)
Canu, Stéphane. editor.
(6)
Filipe, Joaquim. editor.
(6)
Language
Publication Date
-
2014
(61)
2012
(55)
2015
(52)
2013
(49)
2023
(49)
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
610 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Psychiatrie française / Psychiatrie en France
Psychiatrie française / Psychiatrie en France
Author 
Rouillon, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-2-8178-0299-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Sustainable strategies for managing Brassica napus (oilseed rape) resistance to Leptosphaeria maculans (phoma stem canker) Under the aegis of a European-Australian workshop held at INRA, Versailles, France, in association with the EU SECURE project (QLK5-CT-2002-01813)
Sustainable strategies for managing Brassica napus (oilseed rape) resistance to Leptosphaeria maculans (phoma stem canker) Under the aegis of a European-Australian workshop held at INRA, Versailles, France, in association with the EU SECURE project (QLK5-CT-2002-01813)
Author 
Fitt, B. D. L. editor. Evans, N. editor. Howlett, B. J. editor. Cooke, B. M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4525-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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 I
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 I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings
Design and Architecture for Signal and Image Processing 16th International Workshop, DASIP 2023, Toulouse, France, January 16-18, 2023, Proceedings
Author 
Chavarrías, Miguel. editor. Rodríguez, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520845.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29970-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Security Standardisation Research 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings
Security Standardisation Research 8th International Conference, SSR 2023, Lyon, France, April 22-23, 2023, Proceedings
Author 
Günther, Felix. editor. Hesse, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520929.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30731-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Advanced Analytics and Learning on Temporal Data 7th ECML PKDD Workshop, AALTD 2022, Grenoble, France, September 19-23, 2022, Revised Selected Papers
Advanced Analytics and Learning on Temporal Data 7th ECML PKDD Workshop, AALTD 2022, Grenoble, France, September 19-23, 2022, Revised Selected Papers
Author 
Guyet, Thomas. editor. Ifrim, Georgiana. editor. Malinowski, Simon. editor. Bagnall, Anthony. editor. Shafer, Patrick. editor.
Preferred Shelf Number 
XX(520907.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24378-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Machine Learning for Networking 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers
Machine Learning for Networking 5th International Conference, MLN 2022, Paris, France, November 28-30, 2022, Revised Selected Papers
Author 
Renault, Éric. editor. Mühlethaler, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521021.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36183-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Select an Action