Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus.
Author 
Goodstein, Reuben Louis.
Preferred Shelf Number 
QA 241 G6293 1957
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Author 
Goodstein, R. L. (Reuben Louis)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Optimal and robust state estimation : finite impulse response (FIR) and Kalman approaches
Optimal and robust state estimation : finite impulse response (FIR) and Kalman approaches
Author 
Shmaliy, Yuriy, author. Zhao, Shunyi, author.
Preferred Shelf Number 
QA402.3 .S53 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863106
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
Author 
Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Applied parameter estimation for chemical engineers
Applied parameter estimation for chemical engineers
Author 
Englezos, Peter., author.
Preferred Shelf Number 
QA274.4 .E54 2001
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies: