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
610 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520854.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part II
Author 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520938.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30617-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III
Author 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520939.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30620-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV
Author 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520940.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30634-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I
Author 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520942.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30545-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part V
Advances in Cryptology - EUROCRYPT 2023 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part V
Author 
Hazay, Carmit. editor. Stam, Martijn. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520943.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30589-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
Cover image for Functional Imaging and Modeling of the Heart 12th International Conference, FIMH 2023, Lyon, France, June 19-22, 2023, Proceedings
Functional Imaging and Modeling of the Heart 12th International Conference, FIMH 2023, Lyon, France, June 19-22, 2023, Proceedings
Author 
Bernard, Olivier. editor. Clarysse, Patrick. editor. Duchateau, Nicolas. editor. Ohayon, Jacques. editor. Viallon, Magalie. editor.
Preferred Shelf Number 
XX(520997.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35302-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets