Limit Search Results
Author
SpringerLink (Online service)
(218)
Mayr, Ernst W. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Gerdt, Vladimir P. editor.
(5)
Koepf, Wolfram. editor.
(4)
Language
Publication Date
-
Subject
Algebra -- Data processing.
(218)
Computer science.
(188)
Computational complexity.
(89)
Computer software.
(82)
Logic design.
(65)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
227 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Data Science and Predictive Analytics Biomedical and Health Applications using R
Data Science and Predictive Analytics Biomedical and Health Applications using R
Author 
Dinov, Ivo D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17483-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
Arithmetic of Finite Fields 7th International Workshop, WAIFI 2018, Bergen, Norway, June 14-16, 2018, Revised Selected Papers
Author 
Budaghyan, Lilya. editor. Rodríguez-Henríquez, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05153-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for MAPLE ANIMATION
MAPLE ANIMATION
Author 
PUTZ, JOHN F.
Preferred Shelf Number 
QA155.7 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429210754
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Machine Learning for Audio, Image and Video Analysis Theory and Applications
Machine Learning for Audio, Image and Video Analysis Theory and Applications
Author 
Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6735-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16214-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)
Author 
Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19857-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-02297-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Author 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332982.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
Author 
Ghosh, Subir Kumar. editor. Tokuyama, Takeshi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334112.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36065-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Author 
Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334910.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Author 
Ida, Tetsuo. editor. Fleuriot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334987.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40672-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions
Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions
Author 
Schneider, Carsten. editor. Blümlein, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335343.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-1616-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action