Arama Sonuçları Mathematics - Daraltılmış: Computer programming.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMathematics$0026qf$003dSUBJECT$002509Konu$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026ps$003d300?
2026-01-02T17:25:48Z
Computer programming and formal systems
ent://SD_ILS/0/SD_ILS:257223
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534002">http://www.sciencedirect.com/science/book/9780444534002</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer programming and formal systems
ent://SD_ILS/0/SD_ILS:257351
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Braffort, P. (Paul) Hirschberg, D. (David)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533913">http://www.sciencedirect.com/science/book/9780444533913</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483052
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deep Learning with R
ent://SD_ILS/0/SD_ILS:486235
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Ghatak, Abhijit. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-13-5850-0">https://doi.org/10.1007/978-981-13-5850-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485590
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23611-3">https://doi.org/10.1007/978-3-030-23611-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
An Introduction to Python and Computer Programming
ent://SD_ILS/0/SD_ILS:530614
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Zhang, Yue. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-287-609-6">https://doi.org/10.1007/978-981-287-609-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Numerical Computations with GPUs
ent://SD_ILS/0/SD_ILS:487579
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06548-9">https://doi.org/10.1007/978-3-319-06548-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489579
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14125-1">https://doi.org/10.1007/978-3-319-14125-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485592
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-08615-6">https://doi.org/10.1007/978-3-319-08615-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Combinatorial scientific computing
ent://SD_ILS/0/SD_ILS:541122
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Naumann, Uwe, 1969- Schenk, Olaf, 1967-<br/>Yer Numarası QA76.6 .C6275 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439827369">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>
An introduction to programming with specifications a mathematical approach
ent://SD_ILS/0/SD_ILS:257756
2026-01-02T17:25:48Z
2026-01-02T17:25:48Z
Yazar Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>