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.$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T10:31:40Z Electronic Identity ent://SD_ILS/0/SD_ILS:484375 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;de Andrade, Norberto Nuno Gomes. author.&#160;Chen-Wilson, Lisha. author.&#160;Argles, David. author.&#160;Wills, Gary. author.&#160;Schiano di Zenise, Michele. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Participation 11th IFIP WG 8.5 International Conference, ePart 2019, San Benedetto Del Tronto, Italy, September 2&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484676 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Panagiotopoulos, Panos. editor. (orcid)0000-0001-5408-4842&#160;Edelmann, Noella. editor.&#160;Glassey, Olivier. editor. (orcid)0000-0001-8795-0591&#160;Misuraca, Gianluca. editor.&#160;Parycek, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government and the Information Systems Perspective 8th International Conference, EGOVIS 2019, Linz, Austria, August 26&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484677 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;K&#337;, Andrea. editor. (orcid)0000-0003-0023-1143&#160;Francesconi, Enrico. editor.&#160;Anderst-Kotsis, Gabriele. editor.&#160;Tjoa, A Min. editor. (orcid)0000-0002-8295-9252&#160;Khalil, Ismail. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:487066 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Krimmer, Robert. editor. (orcid)0000-0002-0873-539X&#160;Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043&#160;Cortier, Veronique. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;K&uuml;sters, Ralf. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronic Government 18th IFIP WG 8.5 International Conference, EGOV 2019, San Benedetto Del Tronto, Italy, September 2&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483757 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Lindgren, Ida. editor. (orcid)0000-0002-4735-8697&#160;Janssen, Marijn. editor. (orcid)0000-0001-6211-8790&#160;Lee, Habin. editor. (orcid)0000-0003-0071-4874&#160;Polini, Andrea. editor. (orcid)0000-0002-2840-7561&#160;Rodr&iacute;guez Bol&iacute;var, Manuel Pedro. editor. (orcid)0000-0001-8959-7664<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> WEIZAC: An Israeli Pioneering Adventure in Electronic Computing (1945&ndash;1963) ent://SD_ILS/0/SD_ILS:485560 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Corry, Leo. author.&#160;Leviathan, Raya. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Tambouris, Efthimios. editor.&#160;Macintosh, Ann. editor.&#160;Bannister, Frank Edward. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Janssen, Marijn. editor.&#160;Scholl, Hans Jochen. editor.&#160;Wimmer, Maria A. editor.&#160;Bannister, Frank Edward. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Cybenko, George. editor. (orcid)0000-0001-7734-2912&#160;Pym, David. editor. (orcid)0000-0002-6504-5838&#160;Fila, Barbara. editor. (orcid)0000-0002-1824-7621&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13&ndash;15, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486285 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Zincir-Heywood, Nur. editor.&#160;Bonfante, Guillaume. editor.&#160;Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043&#160;Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486718 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Malizia, Alessio. editor.&#160;Valtolina, Stefano. editor.&#160;Morch, Anders. editor.&#160;Serrano, Alan. editor.&#160;Stratton, Andrew. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Graf, Susanne. editor.&#160;Larsen, Kim G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Alferes, Jos&eacute; J&uacute;lio. editor.&#160;Johansson, Moa. editor. (orcid)0000-0002-1097-8278&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1&ndash;4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483547 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cognitive Radio, Mobile Communications and Wireless Networks ent://SD_ILS/0/SD_ILS:483880 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Rehmani, Mubashir Husain. editor.&#160;Dhaou, Riadh. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Communications, Signal Processing, and Systems Proceedings of the 2018 CSPS Volume I: Communications ent://SD_ILS/0/SD_ILS:483407 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Liang, Qilian. editor.&#160;Liu, Xin. editor.&#160;Na, Zhenyu. editor.&#160;Wang, Wei. editor.&#160;Mu, Jiasong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Handbook of Memristor Networks ent://SD_ILS/0/SD_ILS:483528 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Chua, Leon. editor.&#160;Sirakoulis, Georgios Ch. editor.&#160;Adamatzky, Andrew. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483746 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555&#160;Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483898 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;Sala&uuml;n, Gwen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&ndash;17, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483905 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736&#160;Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709&#160;Sherratt, Edel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484028 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Larsen, Kim Guldstrand. editor.&#160;Willemse, Tim. editor. (orcid)0000-0003-3049-7962&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Dillig, Isil. editor.&#160;Tasiran, Serdar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484889 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Badger, Julia M. editor.&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electromagnetic Fields and Waves Microwave and mmWave Engineering with Generalized Macroscopic Electrodynamics ent://SD_ILS/0/SD_ILS:485071 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Nefyodov, Eugene I. author.&#160;Smolskiy, Sergey M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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&ndash;21, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485304 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;P&eacute;rez, Jorge A. editor. (orcid)0000-0002-1452-6180&#160;Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Microwave Active Devices and Circuits for Communication ent://SD_ILS/0/SD_ILS:485748 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Bera, Subhash Chandra. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750&#160;Massink, Mieke. editor. (orcid)0000-0001-5089-002X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Muscholl, Anca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Bensalem, Saddek. editor.&#160;Lakhnech, Yassine. editor.&#160;Legay, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memristor Networks ent://SD_ILS/0/SD_ILS:488354 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Adamatzky, Andrew. editor.&#160;Chua, Leon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;Pe&ntilde;a, Ricardo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing from the abacus to the iPad ent://SD_ILS/0/SD_ILS:341336 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Curley, Robert, 1955- editor.&#160;Gale Group.<br/>Preferred Shelf Number&#160;ONLINE(341336.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer methods. Part C ent://SD_ILS/0/SD_ILS:299091 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Johnson, Michael L., 1947-&#160;Brand, Ludwig.&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantum computing explained ent://SD_ILS/0/SD_ILS:297053 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;McMahon, David (David M.)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Text entry systems mobility, accessibility, universality ent://SD_ILS/0/SD_ILS:148622 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;MacKenzie, I. Scott, 1951-&#160;Tanaka-Ishii, Kumiko.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123735911">http://www.sciencedirect.com/science/book/9780123735911</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Text entry systems mobility, accessibility, universality ent://SD_ILS/0/SD_ILS:112127 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;MacKenzie, I. Scott, 1951-&#160;Tanaka-Ishii, Kumiko.&#160;ScienceDirect (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The second self computers and the human spirit ent://SD_ILS/0/SD_ILS:219979 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Turkle, Sherry.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and information sciences : recent trends ent://SD_ILS/0/SD_ILS:85559 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Misra, Jagadis Chandra, ed.&#160;Goswami, A., ed.&#160;Kumar, Pawan, ed.<br/>Preferred Shelf Number&#160;QA 75.5 C739 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computers : information technology in perspective ent://SD_ILS/0/SD_ILS:79244 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Long, Larry E.&#160;Long, Nancy, 1947- ort. yaz.<br/>Preferred Shelf Number&#160;QA 76 L576 2002<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Handbook of logic and proof techniques for computer science ent://SD_ILS/0/SD_ILS:75778 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Krantz, Steven George, 1951-<br/>Preferred Shelf Number&#160;QA 76 K723 2002<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Ethics and computing living responsibly in a computerized world ent://SD_ILS/0/SD_ILS:249700 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Bowyer, Kevin, 1955-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The first computers history and architectures ent://SD_ILS/0/SD_ILS:219886 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Rojas, Ra&uacute;l, 1955-&#160;Hashagen, Ulf.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computervalidierung in Labor und Betrieb Sicherheit und Qualit&auml;t computergest&uuml;tzter Systeme ent://SD_ILS/0/SD_ILS:300918 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Unkelbach, H. D. (Hans-Dieter)&#160;Bosshard, P. (Peter)&#160;Wolf, H. (Helmut), 1950-&#160;Wiley InterScience (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Humour the computer ent://SD_ILS/0/SD_ILS:220255 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Davison, Andrew.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Using computers the human factors of information systems ent://SD_ILS/0/SD_ILS:219889 2024-12-23T10:31:40Z 2024-12-23T10:31:40Z Author&#160;Nickerson, Raymond S.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>