Search Results for Program Development - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgram$002bDevelopment$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list
2026-03-14T10:35:53Z
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
ent://SD_ILS/0/SD_ILS:330912
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330912.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4126-6">http://dx.doi.org/10.1007/978-1-4471-4126-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Program Development A Tribute to Robert Paige
ent://SD_ILS/0/SD_ILS:169862
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6585-9">http://dx.doi.org/10.1007/978-1-4020-6585-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing. Architectures, Tools, and Applications 20th International Symposium, ARC 2024, Aveiro, Portugal, March 20-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:602838
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Skliarova, Iouliia. editor. (orcid)0000-0002-6684-9416 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Véstias, Mário. editor. Diniz, Pedro C. editor. (orcid)0000-0003-3131-9367 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55673-9">https://doi.org/10.1007/978-3-031-55673-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolving software processes : trends and future directions
ent://SD_ILS/0/SD_ILS:597323
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779</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-03-14T10:35:53Z
2026-03-14T10:35:53Z
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/>
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-03-14T10:35:53Z
2026-03-14T10:35:53Z
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/>
The Journey to Enterprise Agility Systems Thinking and Organizational Legacy
ent://SD_ILS/0/SD_ILS:613984
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Kulak, Daryl. author. Li, Hong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54087-0">https://doi.org/10.1007/978-3-319-54087-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616919
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Python
ent://SD_ILS/0/SD_ILS:612535
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Padmanabhan, T R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3277-6">https://doi.org/10.1007/978-981-10-3277-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</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-03-14T10:35:53Z
2026-03-14T10:35:53Z
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/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dart for Absolute Beginners
ent://SD_ILS/0/SD_ILS:618687
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Kopec, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6482-8">https://doi.org/10.1007/978-1-4302-6482-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro TypeScript Application-Scale JavaScript Development
ent://SD_ILS/0/SD_ILS:618672
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Fenton, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6790-4">https://doi.org/10.1007/978-1-4302-6790-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions
ent://SD_ILS/0/SD_ILS:618678
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6653-2">https://doi.org/10.1007/978-1-4302-6653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning C++
ent://SD_ILS/0/SD_ILS:618641
2026-03-14T10:35:53Z
2026-03-14T10:35:53Z
Author Horton, Ivor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0007-0">https://doi.org/10.1007/978-1-4842-0007-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>