Limit Search Results
Author
SpringerLink (Online service)
(8)
Agarwal, Sonali. editor.
(1)
Baier, Christel. editor.
(1)
Beckmann, Arnold. editor.
(1)
Bianchi, Reinaldo A. C. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
21 Results Found Subscribe to search results
000000000000000000000DEFAULT
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 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 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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 
XX(520404.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-1639-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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 
XX(521237.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45389-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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 
XX(519090.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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 
XX(519014.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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 
XX(519060.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-20028-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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 
XX(519065.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28475-0
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 
XX(519344.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-16501-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Recursive identification and parameter estimation
Recursive identification and parameter estimation
Author 
Chen, Hanfu, author. Zhao, Wenxiao, author.
Preferred Shelf Number 
ONLINE(357129.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
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) Kar, S. K.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Combinatory logic pure, applied and typed
Combinatory logic pure, applied and typed
Author 
Bimb,̤ Katalin, 1963-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
Cover image for Elementary induction on abstract structures
Elementary induction on abstract structures
Author 
Moschovakis, Yiannis N.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444105370
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Degrees of unsolvability
Degrees of unsolvability
Author 
Shoenfield, Joseph Robert.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720420616
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Logic Colloquium '69 proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969
Author 
Summer School in Logic (14th : 1969 : Manchester, England) Gandy, R. O. Yates, C. Michael E. North Atlantic Treaty Organization. International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422610
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets