Search Results for Computer software. - Narrowed by: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-14T21:40:43Z
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:604307
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares
ent://SD_ILS/0/SD_ILS:608068
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Takanami, Itsuo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1539-1">https://doi.org/10.1007/978-981-96-1539-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609925
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72338-4">https://doi.org/10.1007/978-3-031-72338-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:605198
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72350-6">https://doi.org/10.1007/978-3-031-72350-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
ent://SD_ILS/0/SD_ILS:604200
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Bulić, Patricio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58075-8">https://doi.org/10.1007/978-3-031-58075-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:605200
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72356-8">https://doi.org/10.1007/978-3-031-72356-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:605201
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72359-9">https://doi.org/10.1007/978-3-031-72359-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605195
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72341-4">https://doi.org/10.1007/978-3-031-72341-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605196
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72344-5">https://doi.org/10.1007/978-3-031-72344-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605193
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72332-2">https://doi.org/10.1007/978-3-031-72332-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605194
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72335-3">https://doi.org/10.1007/978-3-031-72335-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:605199
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72353-7">https://doi.org/10.1007/978-3-031-72353-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:605197
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72347-6">https://doi.org/10.1007/978-3-031-72347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
ent://SD_ILS/0/SD_ILS:603014
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
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-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602047
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49252-5">https://doi.org/10.1007/978-3-031-49252-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610911
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616653
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Livraga, Giovanni. editor. Mitchell, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68063-7">https://doi.org/10.1007/978-3-319-68063-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615035
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49580-4">https://doi.org/10.1007/978-3-319-49580-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
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-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Control Flow Concurrent Programming Using μC++
ent://SD_ILS/0/SD_ILS:612212
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing Patterns Fundamentals to Design, Build, and Manage Cloud Applications
ent://SD_ILS/0/SD_ILS:487577
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Fehling, Christoph. author. Leymann, Frank. author. Retter, Ralph. author. Schupeck, Walter. author. Arbitter, Peter. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-7091-1568-8">https://doi.org/10.1007/978-3-7091-1568-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer concepts : illustrated
ent://SD_ILS/0/SD_ILS:110841
2026-03-14T21:40:43Z
2026-03-14T21:40:43Z
Author Parsons, June Jamrich. Oja, Dan.<br/>Preferred Shelf Number QA76 .P3557 2007<br/>Format: Books<br/>Availability Beytepe Library~2<br/>