Search Results for Mathematics - Narrowed by: Computer programming.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?
2025-12-15T05:51:48Z
Computer programming and formal systems
ent://SD_ILS/0/SD_ILS:257223
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Braffort, P. (Paul), editor. Hirschberg, D. (David), editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534002">http://www.sciencedirect.com/science/book/9780444534002</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer programming and formal systems
ent://SD_ILS/0/SD_ILS:257351
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Braffort, P. (Paul) Hirschberg, D. (David)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533913">http://www.sciencedirect.com/science/book/9780444533913</a><br/>Format: Electronic Resources<br/>Availability Online Library~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
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Deep Learning with R
ent://SD_ILS/0/SD_ILS:486235
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Ghatak, Abhijit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Python and Computer Programming
ent://SD_ILS/0/SD_ILS:530614
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Zhang, Yue. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations with GPUs
ent://SD_ILS/0/SD_ILS:487579
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Kindratenko, Volodymyr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatorial scientific computing
ent://SD_ILS/0/SD_ILS:541122
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Naumann, Uwe, 1969- Schenk, Olaf, 1967-<br/>Preferred Shelf Number QA76.6 .C6275 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439827369">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
An introduction to programming with specifications a mathematical approach
ent://SD_ILS/0/SD_ILS:257756
2025-12-15T05:51:48Z
2025-12-15T05:51:48Z
Author Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>