Arama Sonuçları Graduate students. - Daraltılmış: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dGraduate$002bstudents.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list
2026-03-20T06:02:37Z
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Category Theory Using Haskell An Introduction with Moggi and Yoneda
ent://SD_ILS/0/SD_ILS:606405
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic in Computer Science
ent://SD_ILS/0/SD_ILS:606909
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-9816-2">https://doi.org/10.1007/978-981-97-9816-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Restarting Automata Extensions and Generalizations
ent://SD_ILS/0/SD_ILS:607660
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
ent://SD_ILS/0/SD_ILS:605792
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
A First Introduction to Quantum Computing and Information
ent://SD_ILS/0/SD_ILS:605895
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Zygelman, Bernard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to Theory of Computation An Algorithmic Approach
ent://SD_ILS/0/SD_ILS:607954
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations for Functional Modeling of Technical Artefacts
ent://SD_ILS/0/SD_ILS:602104
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Lind, Morten. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Construct, Merge, Solve & Adapt A Hybrid Metaheuristic for Combinatorial Optimization
ent://SD_ILS/0/SD_ILS:603976
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Blum, Christian. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-60103-3">https://doi.org/10.1007/978-3-031-60103-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electromagnetic Sources and Electromagnetic Fields
ent://SD_ILS/0/SD_ILS:602368
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-99-9449-6">https://doi.org/10.1007/978-981-99-9449-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
On Sets and Graphs Perspectives on Logic and Combinatorics
ent://SD_ILS/0/SD_ILS:611736
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-54981-1">https://doi.org/10.1007/978-3-319-54981-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
ent://SD_ILS/0/SD_ILS:615659
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Adventures in Computer Science From Classical Bits to Quantum Bits
ent://SD_ILS/0/SD_ILS:617858
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to Transfer Entropy Information Flow in Complex Systems
ent://SD_ILS/0/SD_ILS:615202
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Bossomaier, Terry. author. Barnett, Lionel. author. Harré, Michael. author. Lizier, Joseph T. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-43222-9">https://doi.org/10.1007/978-3-319-43222-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Topics in Grammatical Inference
ent://SD_ILS/0/SD_ILS:615236
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48395-4">https://doi.org/10.1007/978-3-662-48395-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Turing Computability Theory and Applications
ent://SD_ILS/0/SD_ILS:614477
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Soare, Robert I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Finitely Supported Mathematics An Introduction
ent://SD_ILS/0/SD_ILS:615413
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42282-4">https://doi.org/10.1007/978-3-319-42282-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Directed Algebraic Topology and Concurrency
ent://SD_ILS/0/SD_ILS:615495
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-15398-8">https://doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Hybrid Metaheuristics Powerful Tools for Optimization
ent://SD_ILS/0/SD_ILS:616800
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Blum, Christian. author. Raidl, Günther R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-30883-8">https://doi.org/10.1007/978-3-319-30883-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to Online Computation Determinism, Randomization, Advice
ent://SD_ILS/0/SD_ILS:617854
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Komm, Dennis. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-42749-2">https://doi.org/10.1007/978-3-319-42749-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Self-aware Computing Systems An Engineering Approach
ent://SD_ILS/0/SD_ILS:617881
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-39675-0">https://doi.org/10.1007/978-3-319-39675-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Codecharts roadmaps and blueprints for object-oriented programs
ent://SD_ILS/0/SD_ILS:318929
2026-03-20T06:02:37Z
2026-03-20T06:02:37Z
Yazar Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-<br/>Yer Numarası ONLINE(318929.1)<br/>Elektronik Erişim Wiley InterScience <a href="http://dx.doi.org/10.1002/9780470891032">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=41806">http://www.books24x7.com/marc.asp?bookid=41806</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=700550">http://public.eblib.com/choice/publicfullrecord.aspx?p=700550</a>
ebrary <a href="http://site.ebrary.com/id/10465941">http://site.ebrary.com/id/10465941</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>