Limit Search Results
Author
Golan, Jonathan S. author.
(2)
Robbiano, Lorenzo. author.
(2)
Roman, Steven. author.
(2)
Aleskerov, Fuad. author.
(1)
Allaire, Grégoire. author.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
33 Results Found Subscribe to search results
000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Author 
Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Preferred Shelf Number 
XX(521117.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41724-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for CryptoSchool
CryptoSchool
Author 
von zur Gathen, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518657.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48425-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
Author 
Träff, Jesper Larsson. editor. Hunold, Sascha. editor. Versaci, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519051.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48096-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers
Author 
Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.
Preferred Shelf Number 
XX(518851.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-22804-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Applied Reconfigurable Computing 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings
Author 
Sano, Kentaro. editor. Soudris, Dimitrios. editor. Hübner, Michael. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519004.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers
In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers
Author 
Jagatheesan, Arun. editor. Levandoski, Justin. editor. Neumann, Thomas. editor. Pavlo, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519191.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-13960-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets