Limit Search Results
Author
SpringerLink (Online service)
(9)
Agarwal, Sonali. editor.
(1)
Baier, Christel. editor.
(1)
Beckmann, Arnold. editor.
(1)
Bellanger, Maurice, author.
(1)
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
1. 
Cover image for Formal systems and recursive functions
Formal systems and recursive functions
Author 
Crossley, John N. Dummett, Michael, 1925-2011.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal systems and recursive functions : proceeding
Formal systems and recursive functions : proceeding
Author 
Logic Colloquium (8th : 1963 : Oxford).
Preferred Shelf Number 
BC 135 L8292 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for The foundations of intuitionistic mathematics : especially in relation to recursive functions
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Author 
Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.
Preferred Shelf Number 
QA 248.5 K652 1965
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Cybernetical intelligence : engineering cybernetics with machine intelligence
Cybernetical intelligence : engineering cybernetics with machine intelligence
Author 
Wong, Kelvin K. L., author.
Preferred Shelf Number 
Q325.5 .W637 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Digital speech transmission and enhancement
Digital speech transmission and enhancement
Author 
Vary, Peter, author. Martin, Rainer, author.
Preferred Shelf Number 
TK5103.7 .V37 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119060970
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Digital signal processing : theory and practice
Digital signal processing : theory and practice
Author 
Bellanger, Maurice, author. Engel, Benjamin A., translator.
Preferred Shelf Number 
TK5102.9 .B4513 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394182695
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part II
Author 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV
Author 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-1639-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWS
Data analytics in the AWS cloud : building a data platform for BI and predictive analytics on AWS
Author 
Minichino, Joe, author.
Preferred Shelf Number 
QA76.585 .M56 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320677
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Author 
Machado, Penousal. editor. Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Author 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Availability 
Online Library~1
Available:
Copies: