Limit Search Results
Author
SpringerLink (Online service)
(252)
Vorozhtsov, Evgenii V. editor.
(10)
Mayr, Ernst W. editor.
(8)
Gerdt, Vladimir P. editor.
(6)
Koepf, Wolfram. editor.
(6)
Language
Publication Date
-
Subject
Algebra -- Data processing.
(188)
Computational complexity.
(114)
Computer software.
(77)
Logic design.
(68)
Artificial intelligence.
(65)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
252 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra
Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra
Author 
Teschl, Gerald. author. Teschl, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28067-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
Author 
Futatsugi, Kokichi. editor. Jouannaud, Jean-Pierre. editor. Meseguer, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11780274
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
Author 
Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-36874-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006. Proceedings
Author 
Fossorier, Marc P. C. editor. Imai, Hideki. editor. Lin, Shu. editor. Poli, Alain. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617983
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
Author 
MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11734673
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings
Computer Algebra in Scientific Computing 9th International Workshop, CASC 2006, Chişinău, Moldova, September 11-15, 2006. Proceedings
Author 
Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11870814
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers
Author 
Li, Hongbo. editor. Olver, Peter J. editor. Sommer, Gerald. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137294
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Author 
Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11548133
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings
Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings
Author 
Ganzha, Victor G. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555964
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Multiscale Forecasting Models
Multiscale Forecasting Models
Author 
Barba Maggi, Lida Mercedes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94992-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Quantum Attacks on Public-Key Cryptosystems
Quantum Attacks on Public-Key Cryptosystems
Author 
Yan, Song Y. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330828.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7722-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
Author 
Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334580.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38317-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action