Search Results for Discussion. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDiscussion.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026pe$003dd$00253A$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-21T20:25:29Z
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-21T20:25:29Z
2026-03-21T20:25:29Z
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/>
Systems Benchmarking For Scientists and Engineers
ent://SD_ILS/0/SD_ILS:607716
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85634-1">https://doi.org/10.1007/978-3-031-85634-1</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-21T20:25:29Z
2026-03-21T20:25:29Z
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/>
Systems engineering of software-enabled systems
ent://SD_ILS/0/SD_ILS:595142
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software Architectures An Introduction
ent://SD_ILS/0/SD_ILS:615838
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Staron, Miroslaw. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58610-6">https://doi.org/10.1007/978-3-319-58610-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616761
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61994-1">https://doi.org/10.1007/978-3-319-61994-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering
ent://SD_ILS/0/SD_ILS:617792
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Dick, Jeremy. author. Hull, Elizabeth. author. Jackson, Ken. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61073-3">https://doi.org/10.1007/978-3-319-61073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Service Implementation and Composition Techniques
ent://SD_ILS/0/SD_ILS:617819
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Paik, Hye-young. author. Lemos, Angel Lagares. author. Barukh, Moshe Chai. author. Benatallah, Boualem. author. Natarajan, Aarthi. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55542-3">https://doi.org/10.1007/978-3-319-55542-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essence of Systems Analysis and Design A Workbook Approach
ent://SD_ILS/0/SD_ILS:617835
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Sajja, Priti Srinivas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5128-9">https://doi.org/10.1007/978-981-10-5128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613621
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615938
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61756-5">https://doi.org/10.1007/978-3-319-61756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Broker and Cloudlet for Workflow Scheduling
ent://SD_ILS/0/SD_ILS:617265
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5071-8">https://doi.org/10.1007/978-981-10-5071-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:618261
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Handbook of Formal Methods in Human-Computer Interaction
ent://SD_ILS/0/SD_ILS:618485
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Modeling and Simulation in Business System Design
ent://SD_ILS/0/SD_ILS:611168
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
ent://SD_ILS/0/SD_ILS:613610
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Behavioral Program Synthesis with Genetic Programming
ent://SD_ILS/0/SD_ILS:614763
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Krawiec, Krzysztof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27565-9">https://doi.org/10.1007/978-3-319-27565-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Open Self-Organising Systems
ent://SD_ILS/0/SD_ILS:618452
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Reif, Wolfgang. editor. Anders, Gerrit. editor. Seebach, Hella. editor. Steghöfer, Jan-Philipp. editor. André, Elisabeth. editor. (orcid)0000-0002-2367-162X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29201-4">https://doi.org/10.1007/978-3-319-29201-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Running Mainframe z on Distributed Platforms How to Create Robust Cost-Efficient Multiplatform z Environments
ent://SD_ILS/0/SD_ILS:618535
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Barrett, Kenneth. author. Norris, Stephen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6431-6">https://doi.org/10.1007/978-1-4302-6431-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows PowerShell Desired State Configuration Revealed
ent://SD_ILS/0/SD_ILS:618637
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Chaganti, Ravikanth. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0016-2">https://doi.org/10.1007/978-1-4842-0016-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs
ent://SD_ILS/0/SD_ILS:618643
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
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-6662-4">https://doi.org/10.1007/978-1-4302-6662-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Software Development Techniques Tools and Techniques for Building Enterprise Software
ent://SD_ILS/0/SD_ILS:618654
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Crookshanks, Edward. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0728-4">https://doi.org/10.1007/978-1-4842-0728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering A Methodical Approach
ent://SD_ILS/0/SD_ILS:618696
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Foster, Elvis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0847-2">https://doi.org/10.1007/978-1-4842-0847-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social software engineering : development and collaboration with social networking
ent://SD_ILS/0/SD_ILS:546764
2026-03-21T20:25:29Z
2026-03-21T20:25:29Z
Author Keyes, Jessica, 1950, author.<br/>Preferred Shelf Number QA76.758 .K479 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439853764">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>