Arama Sonuçları Electronic - Daraltılmış: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dElectronic$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300?
2025-12-28T13:00:05Z
Electronic Identity
ent://SD_ILS/0/SD_ILS:484375
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar de Andrade, Norberto Nuno Gomes. author. Chen-Wilson, Lisha. author. Argles, David. author. Wills, Gary. author. Schiano di Zenise, Michele. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945–1963)
ent://SD_ILS/0/SD_ILS:485560
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Corry, Leo. author. Leviathan, Raya. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Janssen, Marijn. editor. Scholl, Hans Jochen. editor. Wimmer, Maria A. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Tambouris, Efthimios. editor. Macintosh, Ann. editor. Bannister, Frank Edward. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Interconnect Reliability in Advanced Memory Device Packaging
ent://SD_ILS/0/SD_ILS:526838
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Gan, Chong Leong,. author. Huang, Chen-Yu,. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Which-Is-Better (WIB): Problems in Reliability Theory
ent://SD_ILS/0/SD_ILS:526867
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Mizutani, Satoshi. author. Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Microwave Active Devices and Circuits for Communication
ent://SD_ILS/0/SD_ILS:485748
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Bera, Subhash Chandra. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications
ent://SD_ILS/0/SD_ILS:483407
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Liang, Qilian. editor. Liu, Xin. editor. Na, Zhenyu. editor. Wang, Wei. editor. Mu, Jiasong. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Handbook of Memristor Networks
ent://SD_ILS/0/SD_ILS:483528
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Chua, Leon. editor. Sirakoulis, Georgios Ch. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483746
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Cognitive Radio, Mobile Communications and Wireless Networks
ent://SD_ILS/0/SD_ILS:483880
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Rehmani, Mubashir Husain. editor. Dhaou, Riadh. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Electromagnetic Fields and Waves Microwave and mmWave Engineering with Generalized Macroscopic Electrodynamics
ent://SD_ILS/0/SD_ILS:485071
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Nefyodov, Eugene I. author. Smolskiy, Sergey M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Low-Power VLSI Circuits and Systems
ent://SD_ILS/0/SD_ILS:530392
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Pal, Ajit. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Muscholl, Anca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Memristor Networks
ent://SD_ILS/0/SD_ILS:488354
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing from the abacus to the iPad
ent://SD_ILS/0/SD_ILS:341336
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Curley, Robert, 1955- editor. Gale Group.<br/>Yer Numarası ONLINE(341336.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computer methods. Part C
ent://SD_ILS/0/SD_ILS:299091
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Johnson, Michael L., 1947- Brand, Ludwig. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Quantum computing explained
ent://SD_ILS/0/SD_ILS:297053
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar McMahon, David (David M.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Text entry systems mobility, accessibility, universality
ent://SD_ILS/0/SD_ILS:148622
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735911">http://www.sciencedirect.com/science/book/9780123735911</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Text entry systems mobility, accessibility, universality
ent://SD_ILS/0/SD_ILS:112127
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko. ScienceDirect (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The second self computers and the human spirit
ent://SD_ILS/0/SD_ILS:219979
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Turkle, Sherry.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computing and information sciences : recent trends
ent://SD_ILS/0/SD_ILS:85559
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Misra, Jagadis Chandra, ed. Goswami, A., ed. Kumar, Pawan, ed.<br/>Yer Numarası QA 75.5 C739 2003<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Handbook of logic and proof techniques for computer science
ent://SD_ILS/0/SD_ILS:75778
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Krantz, Steven George, 1951-<br/>Yer Numarası QA 76 K723 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Computers : information technology in perspective
ent://SD_ILS/0/SD_ILS:79244
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Long, Larry E. Long, Nancy, 1947- ort. yaz.<br/>Yer Numarası QA 76 L576 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>
Ethics and computing living responsibly in a computerized world
ent://SD_ILS/0/SD_ILS:249700
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Bowyer, Kevin, 1955-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
The first computers history and architectures
ent://SD_ILS/0/SD_ILS:219886
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Rojas, Raúl, 1955- Hashagen, Ulf.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Computervalidierung in Labor und Betrieb Sicherheit und Qualität computergestützter Systeme
ent://SD_ILS/0/SD_ILS:300918
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Unkelbach, H. D. (Hans-Dieter) Bosshard, P. (Peter) Wolf, H. (Helmut), 1950- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Humour the computer
ent://SD_ILS/0/SD_ILS:220255
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Davison, Andrew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Using computers the human factors of information systems
ent://SD_ILS/0/SD_ILS:219889
2025-12-28T13:00:05Z
2025-12-28T13:00:05Z
Yazar Nickerson, Raymond S.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>