Search Results for Lambda calculus. - Narrowed by: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLambda$002bcalculus.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?dt=list
2024-12-22T16:48:15Z
Abstract Computing Machines A Lambda Calculus Perspective
ent://SD_ILS/0/SD_ILS:181360
2024-12-22T16:48:15Z
2024-12-22T16:48:15Z
Author Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
ent://SD_ILS/0/SD_ILS:181088
2024-12-22T16:48:15Z
2024-12-22T16:48:15Z
Author Mazzola, Guerino. author. Milmeister, Gérard. author. Weissmann, Jody. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138337">http://dx.doi.org/10.1007/b138337</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520982
2024-12-22T16:48:15Z
2024-12-22T16:48:15Z
Author Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)<br/>Preferred Shelf Number XX(520982.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5837-5">https://doi.org/10.1007/978-981-99-5837-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519046
2024-12-22T16:48:15Z
2024-12-22T16:48:15Z
Author Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519046.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24644-4">https://doi.org/10.1007/978-3-319-24644-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>