Search Results for Functions - Narrowed by: Theory of Computation.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFunctions$0026qf$003dSUBJECT$002509Subject$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026ps$003d300?dt=list
2026-06-14T21:02:03Z
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
ent://SD_ILS/0/SD_ILS:608772
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations for Functional Modeling of Technical Artefacts
ent://SD_ILS/0/SD_ILS:602104
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Lind, Morten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45918-4">https://doi.org/10.1007/978-3-031-45918-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603071
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56235-8">https://doi.org/10.1007/978-3-031-56235-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Cryptology - INDOCRYPT 2023 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603623
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Chattopadhyay, Anupam. editor. (orcid)0000-0002-8818-6983 Bhasin, Shivam. editor. Picek, Stjepan. editor. Rebeiro, Chester. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56232-7">https://doi.org/10.1007/978-3-031-56232-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604873
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69042-6">https://doi.org/10.1007/978-3-031-69042-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
ent://SD_ILS/0/SD_ILS:603504
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ent://SD_ILS/0/SD_ILS:611240
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tutorials on the Foundations of Cryptography Dedicated to Oded Goldreich
ent://SD_ILS/0/SD_ILS:617808
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Lindell, Yehuda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57048-8">https://doi.org/10.1007/978-3-319-57048-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611948
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44778-0">https://doi.org/10.1007/978-3-319-44778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolutionary Computer Vision The First Footprints
ent://SD_ILS/0/SD_ILS:614472
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Olague, Gustavo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43693-6">https://doi.org/10.1007/978-3-662-43693-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:615175
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2016 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618117
2026-06-14T21:02:03Z
2026-06-14T21:02:03Z
Author Villa, Alessandro E.P. editor. Masulli, Paolo. editor. Pons Rivero, Antonio Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44781-0">https://doi.org/10.1007/978-3-319-44781-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>