Limit Search Results
Author
SpringerLink (Online service)
(9)
Agarwal, Sonali. editor.
(1)
Baier, Christel. editor.
(1)
Beckmann, Arnold. editor.
(1)
Bellanger, Maurice, author.
(1)
Language
Publication Date
-
Subject
Recursive functions.
(7)
Mathematical optimization.
(2)
Amazon Web Services (Firm)
(1)
Apprentissage automatique.
(1)
Big data -- Data processing.
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for SVA: The Power of Assertions in SystemVerilog
SVA: The Power of Assertions in SystemVerilog
Author 
Cerny, Eduard. author. Dudani, Surrendra. author. Havlicek, John. author. Korchemny, Dmitry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07139-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
Cover image for Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Author 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Recursive identification and parameter estimation
Recursive identification and parameter estimation
Author 
Chen, Hanfu, author. Zhao, Wenxiao, author.
Preferred Shelf Number 
TA168 .C476 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Continuous time dynamical systems : state estimation and optimal control with orthogonal functions
Continuous time dynamical systems : state estimation and optimal control with orthogonal functions
Author 
Mohan, B. M. (Bosukonda Murali), author. Kar, S. K.
Preferred Shelf Number 
QA404.5 .M64 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Combinatory logic : pure, applied and typed
Combinatory logic : pure, applied and typed
Author 
Bimbo, Katalin, 1963, author.
Preferred Shelf Number 
QA9.5 .B56 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Stochastic processes estimation, optimization, & analysis
Stochastic processes estimation, optimization, & analysis
Author 
Najim, K. Ikonen, Enso, 1965- Daoud, Ait-Kadi.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781903996553
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling
Pyramid algorithms a dynamic programming approach to curves and surfaces for geometric modeling
Author 
Goldman, Ron, 1947-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781558603547
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Recursive macroeconomic theory
Recursive macroeconomic theory
Author 
Ljungqvist, Lars. Sargent, Thomas J., ort. yaz.
Preferred Shelf Number 
HB 172.5 L59 2000
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for The handbook of formulas and tables for signal processing
The handbook of formulas and tables for signal processing
Author 
Poularikas, Alexander D., 1933- author.
Preferred Shelf Number 
TK5102.9 .P677 1999
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Recursive functionals
Recursive functionals
Author 
Sanchis, Luis E.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444894472
Format: 
Availability 
Online Library~1
Available:
Copies: