Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
20 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Arithmetic and geometry
Arithmetic and geometry
Author 
Dieulefait, Luis, editor.
Preferred Shelf Number 
QA241 A695 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
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:
3. 
Cover image for Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnology
Design of Arithmetic Circuits in Quantum Dot Cellular Automata Nanotechnology
Author 
Sridharan, K. author. Pudi, Vikramkumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16688-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Arithmetic of Finite Fields 5th International Workshop, WAIFI 2014, Gebze, Turkey, September 27-28, 2014. Revised Selected Papers
Author 
Koç, Çetin Kaya. editor. Mesnager, Sihem. editor. Savaş, Erkay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16277-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Proceedings of the Second International Conference on Mechatronics and Automatic Control
Proceedings of the Second International Conference on Mechatronics and Automatic Control
Author 
Wang, Wego. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13707-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Quantitative evaluation of safety in drug development : design, analysis and reporting
Quantitative evaluation of safety in drug development : design, analysis and reporting
Author 
Jiang, Qi (Biostatistician), editor. Xi, H. Amy, editor.
Preferred Shelf Number 
RS57 .Q36 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for VLSI : circuits for emerging applications
VLSI : circuits for emerging applications
Author 
Wojcicki, Tomasz, editor.
Preferred Shelf Number 
TK7874.75 .V57155 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19216-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Intelligent Systems in Science and Information 2014
Intelligent Systems in Science and Information 2014
Author 
Arai, Kohei. editor. Kapoor, Supriya. editor. Bhatia, Rahul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14654-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Polynomial Theory of Error Correcting Codes
Polynomial Theory of Error Correcting Codes
Author 
Cancellieri, Giovanni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-01727-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Fuzzy Logic An Introductory Course for Engineering Students
Fuzzy Logic An Introductory Course for Engineering Students
Author 
Trillas, Enric. author. Eciolaza, Luka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14203-6
Format: 
Availability 
Online Library~1
Available:
Copies: