Search Results for Software development. - Narrowed by: Computer programming.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bdevelopment.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-03T09:25:09Z
Transactions on Aspect-Oriented Software Development XI
ent://SD_ILS/0/SD_ILS:489082
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55099-7">https://doi.org/10.1007/978-3-642-55099-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Developers as Users Semiotic Investigations in Human-Centered Software Development
ent://SD_ILS/0/SD_ILS:614418
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering : the current practices
ent://SD_ILS/0/SD_ILS:364220
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Rajlich, Vaclav.<br/>Preferred Shelf Number QA76.758 R36 2012<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606203
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Analysis, Design and Implementation An Integrated Approach
ent://SD_ILS/0/SD_ILS:607178
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71240-1">https://doi.org/10.1007/978-3-031-71240-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-based Programming with Go
ent://SD_ILS/0/SD_ILS:609332
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Alice and Bob learn secure coding
ent://SD_ILS/0/SD_ILS:599664
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Janca, Tanya. author.<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with GitHub Copilot : Write Better Code--Faster!
ent://SD_ILS/0/SD_ILS:599260
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Dowswell, Kurt, author.<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319787</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604245
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64182-4">https://doi.org/10.1007/978-3-031-64182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603643
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Java® programming for IoT, AI, and Blockchain
ent://SD_ILS/0/SD_ILS:595372
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Xiao, Perry, author.<br/>Preferred Shelf Number QA76.73 .J38 X536 2019 EB<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119560050</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616372
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60074-1">https://doi.org/10.1007/978-3-319-60074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616579
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612581
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610845
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41591-8">https://doi.org/10.1007/978-3-319-41591-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612298
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
ent://SD_ILS/0/SD_ILS:613086
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50983-9">https://doi.org/10.1007/978-3-319-50983-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Android Application Development for the Intel Platform
ent://SD_ILS/0/SD_ILS:618667
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0100-8">https://doi.org/10.1007/978-1-4842-0100-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Games Development
ent://SD_ILS/0/SD_ILS:618583
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Jackson, Wallace. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0415-3">https://doi.org/10.1007/978-1-4842-0415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The computer boys take over computers, programmers, and the politics of technical expertise
ent://SD_ILS/0/SD_ILS:220081
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Ensmenger, Nathan, 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software design for engineers and scientists
ent://SD_ILS/0/SD_ILS:254657
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Robinson, John A. (John Allen), 1958-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750660808">http://www.sciencedirect.com/science/book/9780750660808</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Test-driven development : by example
ent://SD_ILS/0/SD_ILS:105977
2026-04-03T09:25:09Z
2026-04-03T09:25:09Z
Author Beck, Kent.<br/>Preferred Shelf Number QA 76.76.T48 B43 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>