Search Results for Logic - Narrowed by: Arithmetic and Logic Structures. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dSUBJECT$002509Subject$002509Arithmetic$002band$002bLogic$002bStructures.$002509Arithmetic$002band$002bLogic$002bStructures.$0026ps$003d300?dt=list 2026-03-22T15:26:17Z Digital Logic for Computing ent://SD_ILS/0/SD_ILS:617791 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Seiffertt, John. 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-56839-3">https://doi.org/10.1007/978-3-319-56839-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications ent://SD_ILS/0/SD_ILS:617503 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;O'Regan, Gerard. 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-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numbers and Computers ent://SD_ILS/0/SD_ILS:606366 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Kneusel, Ronald T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-67482-2">https://doi.org/10.1007/978-3-031-67482-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Next Generation Arithmetic 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605570 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Michalewicz, Marek. editor. (orcid)0000-0002-6474-5234&#160;Gustafson, John. editor. (orcid)0000-0002-2957-1304&#160;De Silva, Himeshi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72709-2">https://doi.org/10.1007/978-3-031-72709-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discrete Geometry for Computer Imagery 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616205 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Kropatsch, Walter G. editor.&#160;Artner, Nicole M. editor.&#160;Janusch, Ines. 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-66272-5">https://doi.org/10.1007/978-3-319-66272-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Guide to Data Structures A Concise Introduction Using Java ent://SD_ILS/0/SD_ILS:617557 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Streib, James T. author.&#160;Soma, Takako. 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-70085-4">https://doi.org/10.1007/978-3-319-70085-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616448 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Dutra, In&ecirc;s. editor.&#160;Camacho, Rui. editor.&#160;Barbosa, Jorge. editor.&#160;Marques, Osni. 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-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Databases Theory and Applications 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612501 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Huang, Zi. editor.&#160;Xiao, Xiaokui. editor.&#160;Cao, Xin. 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-68155-9">https://doi.org/10.1007/978-3-319-68155-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Patch-Based Techniques in Medical Imaging Third International Workshop, Patch-MI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedings ent://SD_ILS/0/SD_ILS:612104 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Wu, Guorong. editor.&#160;Munsell, Brent C. editor.&#160;Zhan, Yiqiang. editor.&#160;Bai, Wenjia. editor.&#160;Sanroma, Gerard. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67434-6">https://doi.org/10.1007/978-3-319-67434-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611953 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Spirakis, Paul. editor.&#160;Tsigas, Philippas. 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-69084-1">https://doi.org/10.1007/978-3-319-69084-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Numbers and Computers ent://SD_ILS/0/SD_ILS:613066 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Kneusel, Ronald T. 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-50508-4">https://doi.org/10.1007/978-3-319-50508-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613740 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Liu, Ming. editor.&#160;Chen, Haoyao. editor.&#160;Vincze, Markus. editor. (orcid)0000-0002-2799-491X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68345-4">https://doi.org/10.1007/978-3-319-68345-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scientific Computing, Computer Arithmetic, and Validated Numerics 16th International Symposium, SCAN 2014, W&uuml;rzburg, Germany, September 21-26, 2014. Revised Selected Papers ent://SD_ILS/0/SD_ILS:618101 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Nehmeier, Marco. editor.&#160;Wolff von Gudenberg, J&uuml;rgen. editor.&#160;Tucker, Warwick. 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-31769-4">https://doi.org/10.1007/978-3-319-31769-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Autism ent://SD_ILS/0/SD_ILS:617312 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Galitsky, Boris. 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-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616004 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Seiler, Werner M. editor.&#160;Vorozhtsov, Evgenii V. 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-45641-6">https://doi.org/10.1007/978-3-319-45641-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Polynomial Theory of Error Correcting Codes ent://SD_ILS/0/SD_ILS:529681 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Cancellieri, Giovanni. 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-01727-3">https://doi.org/10.1007/978-3-319-01727-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334038 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Artemov, Sergei. editor.&#160;Nerode, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334038.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing ent://SD_ILS/0/SD_ILS:334079 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Keller, Rainer. editor.&#160;Kramer, David. editor.&#160;Weiss, Jan-Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334079.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35893-7">http://dx.doi.org/10.1007/978-3-642-35893-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334080 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Lu, Pingjing. editor.&#160;Li, Jinwen. editor.&#160;Zhang, Chengyi. editor.<br/>Preferred Shelf Number&#160;ONLINE(334080.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35898-2">http://dx.doi.org/10.1007/978-3-642-35898-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Binary Number System Algorithms and Circuits ent://SD_ILS/0/SD_ILS:335470 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Jamil, Tariq. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335470.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332910 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Gerdt, Vladimir P. editor.&#160;Koepf, Wolfram. editor.&#160;Mayr, Ernst W. editor.&#160;Vorozhtsov, Evgenii V. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332910.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02297-0">http://dx.doi.org/10.1007/978-3-319-02297-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers ent://SD_ILS/0/SD_ILS:335131 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Xu, Weixia. editor.&#160;Xiao, Liquan. editor.&#160;Zhang, Chengyi. editor.&#160;Li, Jinwen. editor.&#160;Yu, Liyan. editor.<br/>Preferred Shelf Number&#160;ONLINE(335131.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41635-4">http://dx.doi.org/10.1007/978-3-642-41635-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334658 2026-03-22T15:26:17Z 2026-03-22T15:26:17Z Author&#160;Dayd&eacute;, Michel. editor.&#160;Marques, Osni. editor.&#160;Nakajima, Kengo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334658.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38718-0">http://dx.doi.org/10.1007/978-3-642-38718-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>