Search Results for Electronic - Narrowed by: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dElectronic$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-06-15T06:07:40Z
Electronic Identity
ent://SD_ILS/0/SD_ILS:484375
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6449-4">https://doi.org/10.1007/978-1-4471-6449-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483757
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Lindgren, Ida. editor. (orcid)0000-0002-4735-8697 Janssen, Marijn. editor. (orcid)0000-0001-6211-8790 Lee, Habin. editor. (orcid)0000-0003-0071-4874 Polini, Andrea. editor. (orcid)0000-0002-2840-7561 Rodríguez Bolívar, Manuel Pedro. editor. (orcid)0000-0001-8959-7664<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27325-5">https://doi.org/10.1007/978-3-030-27325-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484676
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842 Edelmann, Noella. editor. Glassey, Olivier. editor. (orcid)0000-0001-8795-0591 Misuraca, Gianluca. editor. Parycek, Peter. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27397-2">https://doi.org/10.1007/978-3-030-27397-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26–29, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484677
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Kő, Andrea. editor. (orcid)0000-0003-0023-1143 Francesconi, Enrico. editor. Anderst-Kotsis, Gabriele. editor. Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Khalil, Ismail. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27523-5">https://doi.org/10.1007/978-3-030-27523-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)
ent://SD_ILS/0/SD_ILS:485560
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Corry, Leo. author. Leviathan, Raya. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25734-7">https://doi.org/10.1007/978-3-030-25734-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487066
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Krimmer, Robert. editor. (orcid)0000-0002-0873-539X Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Cortier, Veronique. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Küsters, Ralf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30625-0">https://doi.org/10.1007/978-3-030-30625-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
ent://SD_ILS/0/SD_ILS:611937
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24457-0">https://doi.org/10.1007/978-3-319-24457-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Participation 6th IFIP WG 8.5 International Conference, ePart 2014, Dublin, Ireland, September 2-3, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:484631
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44914-1">https://doi.org/10.1007/978-3-662-44914-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Government 13th IFIP WG 8.5 International Conference, EGOV 2014, Dublin, Ireland, September 1-3, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488953
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Wimmer, Maria A. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44426-9">https://doi.org/10.1007/978-3-662-44426-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine learning for iOS developers
ent://SD_ILS/0/SD_ILS:595818
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Mishra, Abhishek, author.<br/>Preferred Shelf Number Q325.5 .M57 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Design, Operations, and Computing 28th International Conference, EDOC 2024, Vienna, Austria, September 10-13, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:601537
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Borbinha, José. editor. (orcid)0000-0001-5463-8438 Prince Sales, Tiago. editor. (orcid)0000-0002-5385-5761 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Schnellmann, Marianne. editor. (orcid)0000-0002-3399-2814<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78338-8">https://doi.org/10.1007/978-3-031-78338-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CLOUD Computing - CLOUD 2024 17th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606047
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Wang, Yang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77153-8">https://doi.org/10.1007/978-3-031-77153-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Digital Forensics XX 20th IFIP WG 11.9 International Conference, New Delhi, India, January 4-5, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:606873
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Kurkowski, Elizabeth. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71025-4">https://doi.org/10.1007/978-3-031-71025-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Attacks and Defenses for the Internet-of-Things 7th International Conference, ADIoT 2024, Hangzhou, China, December 13-14, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607638
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Meng, Weizhi. editor. (orcid)0000-0003-4384-5786 Yung, Moti. editor. (orcid)0000-0003-0848-0873 Shao, Jun. editor. (orcid)0000-0001-8352-0973 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85593-1">https://doi.org/10.1007/978-3-031-85593-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biological Computing
ent://SD_ILS/0/SD_ILS:608003
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Xu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3870-3">https://doi.org/10.1007/978-981-96-3870-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Technology Acceptance Model 30 Years of TAM
ent://SD_ILS/0/SD_ILS:602778
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Davis, Fred D. author. Granić, Andrina. author. (orcid)0000-0002-4266-3406 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-45274-2">https://doi.org/10.1007/978-3-030-45274-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:604307
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
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/>
Disruptive Innovation in a Digitally Connected Healthy World 23rd IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2024, Heerlen, The Netherlands, September 11-13, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605099
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author van de Wetering, Rogier. editor. (orcid)0000-0002-8024-7120 Helms, Remko. editor. (orcid)0000-0002-3707-4201 Roelens, Ben. editor. (orcid)0000-0002-2443-8678 Bagheri, Samaneh. editor. (orcid)0000-0002-1732-2298 Dwivedi, Yogesh K. editor. (orcid)0000-0002-5547-9990<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72234-9">https://doi.org/10.1007/978-3-031-72234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Design, Operations, and Computing 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602325
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Karastoyanova, Dimka. editor. van Sinderen, Marten. editor. Moreira, João. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46587-1">https://doi.org/10.1007/978-3-031-46587-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Performability Engineering In Honor of Prof. K.B. Misra
ent://SD_ILS/0/SD_ILS:603022
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Karanki, Durga Rao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8258-5">https://doi.org/10.1007/978-981-99-8258-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Heterogeneous Hardware via Managed Runtime Systems
ent://SD_ILS/0/SD_ILS:603202
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49559-5">https://doi.org/10.1007/978-3-031-49559-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
ent://SD_ILS/0/SD_ILS:601772
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Roy, Shirshendu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-41085-7">https://doi.org/10.1007/978-3-031-41085-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Security A Look into the Future
ent://SD_ILS/0/SD_ILS:603894
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Tehranipoor, Mark. author. Zamiri Azar, Kimia. author. Asadizanjani, Navid. author. (orcid)0000-0003-3347-5072 Rahman, Fahim. author. Mardani Kamali, Hadi. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58687-3">https://doi.org/10.1007/978-3-031-58687-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interconnect Reliability in Advanced Memory Device Packaging
ent://SD_ILS/0/SD_ILS:526838
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Gan, Chong Leong,. author. Huang, Chen-Yu,. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26708-6">https://doi.org/10.1007/978-3-031-26708-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Which-Is-Better (WIB): Problems in Reliability Theory
ent://SD_ILS/0/SD_ILS:526867
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Mizutani, Satoshi. author. Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27316-2">https://doi.org/10.1007/978-3-031-27316-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tribe of hackers red team : tribal knowledge from the best in offensive cybersecurity
ent://SD_ILS/0/SD_ILS:595415
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Carey, Marcus J. (Cybersecurity professional), author. Jin, Jennifer, author.<br/>Preferred Shelf Number QA76.9 .A25 C368 2019<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643357">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643357</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cognitive Radio, Mobile Communications and Wireless Networks
ent://SD_ILS/0/SD_ILS:483880
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Rehmani, Mubashir Husain. editor. Dhaou, Riadh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91002-4">https://doi.org/10.1007/978-3-319-91002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483898
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30446-1">https://doi.org/10.1007/978-3-030-30446-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483905
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30690-8">https://doi.org/10.1007/978-3-030-30690-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microwave Active Devices and Circuits for Communication
ent://SD_ILS/0/SD_ILS:485748
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Bera, Subhash Chandra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-3004-9">https://doi.org/10.1007/978-981-13-3004-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486718
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24781-2">https://doi.org/10.1007/978-3-030-24781-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:482916
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22348-9">https://doi.org/10.1007/978-3-030-22348-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484028
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-27008-7">https://doi.org/10.1007/978-3-030-27008-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:484045
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25540-4">https://doi.org/10.1007/978-3-030-25540-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484706
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05998-9">https://doi.org/10.1007/978-3-030-05998-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484889
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20652-9">https://doi.org/10.1007/978-3-030-20652-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485304
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-21759-4">https://doi.org/10.1007/978-3-030-21759-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485944
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-15465-3">https://doi.org/10.1007/978-3-030-15465-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485980
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31517-7">https://doi.org/10.1007/978-3-030-31517-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Memristor Networks
ent://SD_ILS/0/SD_ILS:483528
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Chua, Leon. editor. Sirakoulis, Georgios Ch. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76375-0">https://doi.org/10.1007/978-3-319-76375-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483547
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486285
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18419-3">https://doi.org/10.1007/978-3-030-18419-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications
ent://SD_ILS/0/SD_ILS:483407
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-6264-4">https://doi.org/10.1007/978-981-13-6264-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34968-4">https://doi.org/10.1007/978-3-030-34968-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electromagnetic Fields and Waves Microwave and mmWave Engineering with Generalized Macroscopic Electrodynamics
ent://SD_ILS/0/SD_ILS:485071
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Nefyodov, Eugene I. author. Smolskiy, Sergey M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90847-2">https://doi.org/10.1007/978-3-319-90847-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tribe of hackers : cybersecurity advice from the best hackers in the world
ent://SD_ILS/0/SD_ILS:595418
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Carey, Marcus J. (Cybersecurity professional), author. Jin, Jennifer, author.<br/>Preferred Shelf Number QA76.9 .A25 C37 2019 EB<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643395">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119643395</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Digital Big Bang : the Hard Stuff, the Soft Stuff, and the Future of Cybersecurity
ent://SD_ILS/0/SD_ILS:595435
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Quade, Phil.<br/>Preferred Shelf Number QA76.9 .A25<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119617396">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119617396</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610854
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611151
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design
ent://SD_ILS/0/SD_ILS:610717
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6092-2">https://doi.org/10.1007/978-981-10-6092-2</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-06-15T06:07:40Z
2026-06-15T06:07:40Z
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/>
Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615991
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Grünbacher, Paul. editor. Perini, Anna. editor. (orcid)0000-0001-8818-6476 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611608
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611746
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64218-5">https://doi.org/10.1007/978-3-319-64218-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612150
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Cavalheiro, Simone. editor. Fiadeiro, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70848-5">https://doi.org/10.1007/978-3-319-70848-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Financial Cryptography and Data Security FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613150
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Brenner, Michael. editor. Rohloff, Kurt. editor. Bonneau, Joseph. editor. Miller, Andrew. editor. Ryan, Peter Y.A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70278-0">https://doi.org/10.1007/978-3-319-70278-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613266
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Kunkel, Julian M. editor. Yokota, Rio. editor. Balaji, Pavan. editor. Keyes, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing Principles, Systems and Applications
ent://SD_ILS/0/SD_ILS:615753
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Antonopoulos, Nick. editor. Gillam, Lee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54645-2">https://doi.org/10.1007/978-3-319-54645-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616111
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616117
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Anjorin, Anthony. editor. Espinoza, Huáscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</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-06-15T06:07:40Z
2026-06-15T06:07:40Z
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/>
Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis
ent://SD_ILS/0/SD_ILS:617857
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Bianchi, Filippo Maria. author. Maiorino, Enrico. author. Kampffmeyer, Michael C. author. Rizzi, Antonello. author. Jenssen, Robert. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70338-1">https://doi.org/10.1007/978-3-319-70338-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example
ent://SD_ILS/0/SD_ILS:618147
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Wisniewski, Lukasz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54650-5">https://doi.org/10.1007/978-3-662-54650-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618440
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Hollstein, Thomas. editor. Raik, Jaan. editor. Kostin, Sergei. editor. Tšertov, Anton. editor. O'Connor, Ian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67104-8">https://doi.org/10.1007/978-3-319-67104-8</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-06-15T06:07:40Z
2026-06-15T06:07:40Z
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/>
Essence of Systems Analysis and Design A Workbook Approach
ent://SD_ILS/0/SD_ILS:617835
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
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/>
System Architecture An Ordinary Engineering Discipline
ent://SD_ILS/0/SD_ILS:612989
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
ent://SD_ILS/0/SD_ILS:612226
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Kumm, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-13323-8">https://doi.org/10.1007/978-3-658-13323-8</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-06-15T06:07:40Z
2026-06-15T06:07:40Z
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/>
High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611426
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Kunkel, Julian M. editor. Balaji, Pavan. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41321-1">https://doi.org/10.1007/978-3-319-41321-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616108
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Gierlichs, Benedikt. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53140-2">https://doi.org/10.1007/978-3-662-53140-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:618293
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Shin, Youngsoo. editor. Tsui, Chi Ying. editor. Kim, Jae-Joon. editor. Choi, Kiyoung. editor. Reis, Ricardo. editor. (orcid)0000-0001-5781-5858<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46097-0">https://doi.org/10.1007/978-3-319-46097-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructive Side-Channel Analysis and Secure Design 7th International Workshop, COSADE 2016, Graz, Austria, April 14-15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616150
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Standaert, François-Xavier. editor. Oswald, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43283-0">https://doi.org/10.1007/978-3-319-43283-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616098
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Maruyama, Naoya. editor. de Supinski, Bronis R. editor. Wahib, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45550-1">https://doi.org/10.1007/978-3-319-45550-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617035
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46079-6">https://doi.org/10.1007/978-3-319-46079-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Architecture 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617899
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Wu, Junjie. editor. (orcid)0000-0001-5951-8988 Li, Lian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2209-8">https://doi.org/10.1007/978-981-10-2209-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618325
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low-Power VLSI Circuits and Systems
ent://SD_ILS/0/SD_ILS:530392
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Pal, Ajit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-1937-8">https://doi.org/10.1007/978-81-322-1937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:487246
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
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-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488949
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:488980
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
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-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Memristor Networks
ent://SD_ILS/0/SD_ILS:488354
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-02630-5">https://doi.org/10.1007/978-3-319-02630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489003
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X 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-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488965
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54848-2">https://doi.org/10.1007/978-3-642-54848-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing from the abacus to the iPad
ent://SD_ILS/0/SD_ILS:341336
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Curley, Robert, 1955- editor. Gale Group.<br/>Preferred Shelf Number ONLINE(341336.1)<br/>Electronic Access <a href="http://find.galegroup.com/openurl/openurl?url_ver=Z39.88-2004&url_ctx_fmt=info:ofi/fmt:kev:mtx:ctx&req_dat=info:sid/gale:ugnid:hu_tr&res_id=info:sid/gale:GVRL&ctx_enc=info:ofi:enc:UTF-8&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft_id=info:sid/gale:bmcode:recid/4WLB">Available for Hacettepe University via Gale Virtual Reference Library. Click here to access</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer methods. Part C
ent://SD_ILS/0/SD_ILS:299091
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Johnson, Michael L., 1947- Brand, Ludwig. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118164792">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum computing explained
ent://SD_ILS/0/SD_ILS:297053
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author McMahon, David (David M.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.contentreserve.com/TitleInfo.asp?ID={F4DF5FEC-32E0-466F-B75E-31FFA3218C7B}&Format=50">Click for information</a>
<a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=331444">Click here to view book</a>
<a href="http://proquest.safaribooksonline.com/?fpi=9780470096994">Available by subscription from Safari Books Online</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470181386">http://dx.doi.org/10.1002/9780470181386</a>
MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=122156&ref=toc">http://www.myilibrary.com?id=122156&ref=toc</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Text entry systems mobility, accessibility, universality
ent://SD_ILS/0/SD_ILS:112127
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko. ScienceDirect (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735911">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Text entry systems mobility, accessibility, universality
ent://SD_ILS/0/SD_ILS:148622
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735911">http://www.sciencedirect.com/science/book/9780123735911</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The second self computers and the human spirit
ent://SD_ILS/0/SD_ILS:219979
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Turkle, Sherry.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267347">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and information sciences : recent trends
ent://SD_ILS/0/SD_ILS:85559
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Misra, Jagadis Chandra, ed. Goswami, A., ed. Kumar, Pawan, ed.<br/>Preferred Shelf Number QA 75.5 C739 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Handbook of logic and proof techniques for computer science
ent://SD_ILS/0/SD_ILS:75778
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Krantz, Steven George, 1951-<br/>Preferred Shelf Number QA 76 K723 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computers : information technology in perspective
ent://SD_ILS/0/SD_ILS:79244
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Long, Larry E. Long, Nancy, 1947- ort. yaz.<br/>Preferred Shelf Number QA 76 L576 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Ethics and computing living responsibly in a computerized world
ent://SD_ILS/0/SD_ILS:249700
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Bowyer, Kevin, 1955-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264741">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264741</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The first computers history and architectures
ent://SD_ILS/0/SD_ILS:219886
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Rojas, Raúl, 1955- Hashagen, Ulf.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276817">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computervalidierung in Labor und Betrieb Sicherheit und Qualität computergestützter Systeme
ent://SD_ILS/0/SD_ILS:300918
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Unkelbach, H. D. (Hans-Dieter) Bosshard, P. (Peter) Wolf, H. (Helmut), 1950- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9783527624560">http://dx.doi.org/10.1002/9783527624560</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481540">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=481540</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10275752">http://site.ebrary.com/lib/alltitles/Doc?id=10275752</a>
<a href="http://swb.eblib.com/patron/FullRecord.aspx?p=481540">http://swb.eblib.com/patron/FullRecord.aspx?p=481540</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Humour the computer
ent://SD_ILS/0/SD_ILS:220255
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Davison, Andrew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267510">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267510</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using computers the human factors of information systems
ent://SD_ILS/0/SD_ILS:219889
2026-06-15T06:07:40Z
2026-06-15T06:07:40Z
Author Nickerson, Raymond S.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267311">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267311</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>