Limit Search Results
Author
Language
Subject
Computer science -- Mathematics.
(8)
Computer science.
(6)
Discrete mathematics.
(5)
Algorithms.
(4)
Arithmetic and Logic Structures.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000000000000000DEFAULT
Print
1. 
Cover image for Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Author 
Mostowski, Andrzej
Preferred Shelf Number 
BC 135 M6 1952
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Digital electronics 2 : sequential and arithmetic logic circuits
Digital electronics 2 : sequential and arithmetic logic circuits
Author 
Ndjountche, Tertulien.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
Author 
Nehmeier, Marco. editor. Wolff von Gudenberg, Jürgen. editor. Tucker, Warwick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31769-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers
Arithmetic of Finite Fields 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers
Author 
Duquesne, Sylvain. editor. Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55227-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation
High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation
Author 
Palchaudhuri, Ayan. author. Chakraborty, Rajat Subhra. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2520-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Author 
Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42432-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua
Memristor-Based Nanoelectronic Computing Circuits and Architectures Foreword by Leon Chua
Author 
Vourkas, Ioannis. author. Sirakoulis, Georgios Ch. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22647-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Author 
Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40229-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems
Engineering Applications of FPGAs Chaotic Systems, Artificial Neural Networks, Random Number Generators, and Secure Communication Systems
Author 
Tlelo-Cuautle, Esteban. author. (orcid)0000-0001-7187-4686 Rangel-Magdaleno, José de Jesús. author. de la Fraga, Luis Gerardo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34115-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Digital Imaging Primer
Digital Imaging Primer
Author 
Parkin, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-540-85619-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computational Autism
Computational Autism
Author 
Galitsky, Boris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39972-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Cryptography Made Simple
Cryptography Made Simple
Author 
Smart, Nigel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Reliability and Safety Engineering
Reliability and Safety Engineering
Author 
Verma, Ajit Kumar. author. Ajit, Srividya. author. Karanki, Durga Rao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6269-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
Author 
Kumm, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-13323-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Turing Computability Theory and Applications
Turing Computability Theory and Applications
Author 
Soare, Robert I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-31933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Clinical Data Analysis on a Pocket Calculator Understanding the Scientific Methods of Statistical Reasoning and Hypothesis Testing
Clinical Data Analysis on a Pocket Calculator Understanding the Scientific Methods of Statistical Reasoning and Hypothesis Testing
Author 
Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27104-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45641-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Applied univariate, bivariate, and multivariate statistics
Applied univariate, bivariate, and multivariate statistics
Author 
Denis, Daniel J., 1974-
Preferred Shelf Number 
QA279
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119583004
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Mathematics for dyslexics and dyscalculics : a teaching handbook
Mathematics for dyslexics and dyscalculics : a teaching handbook
Author 
Chinn, Stephen J. Ashcroft, Richard E.
Preferred Shelf Number 
QA11.2 .C47 2016 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119159995
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Decision Procedures An Algorithmic Point of View
Decision Procedures An Algorithmic Point of View
Author 
Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50497-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Author 
Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40189-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for SPSS for Starters and 2nd Levelers
SPSS for Starters and 2nd Levelers
Author 
Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20600-4
Format: 
Availability 
Online Library~1
Available:
Copies: