Search Results for Electronic. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dElectronic.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-23T14:47:10Z Quick Start Guide to VHDL ent://SD_ILS/0/SD_ILS:482945 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;LaMeres, Brock J. 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-04516-6">https://doi.org/10.1007/978-3-030-04516-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Stochastic Computing: Techniques and Applications ent://SD_ILS/0/SD_ILS:484484 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Gross, Warren J. editor.&#160;Gaudet, Vincent C. 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-03730-7">https://doi.org/10.1007/978-3-030-03730-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484537 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Fan, Xing. editor.&#160;de Supinski, Bronis R. editor.&#160;Sinnen, Oliver. editor.&#160;Giacaman, Nasser. 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-28596-8">https://doi.org/10.1007/978-3-030-28596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Variant Construction from Theoretical Foundation to Applications ent://SD_ILS/0/SD_ILS:484902 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Zheng, Jeffrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2282-2">https://doi.org/10.1007/978-981-13-2282-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Logic Circuits &amp; Logic Design with Verilog ent://SD_ILS/0/SD_ILS:484915 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;LaMeres, Brock J. 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-13605-5">https://doi.org/10.1007/978-3-030-13605-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quick Start Guide to Verilog ent://SD_ILS/0/SD_ILS:485097 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;LaMeres, Brock J. 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-10552-5">https://doi.org/10.1007/978-3-030-10552-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:485164 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106&#160;Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486836 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701&#160;Boehme, David. editor.&#160;Levine, Joshua A. editor.&#160;Malony, Allen D. editor.&#160;Schulz, Martin. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17872-7">https://doi.org/10.1007/978-3-030-17872-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach ent://SD_ILS/0/SD_ILS:484175 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Izadian, Afshin. 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-02484-0">https://doi.org/10.1007/978-3-030-02484-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach ent://SD_ILS/0/SD_ILS:484081 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Fornaciari, William. editor.&#160;Soudris, Dimitrios. 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-91962-1">https://doi.org/10.1007/978-3-319-91962-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transactions on High-Performance Embedded Architectures and Compilers V ent://SD_ILS/0/SD_ILS:484586 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Silvano, Cristina. editor. (orcid)0000-0003-1668-0883&#160;Bertels, Koen. editor. (orcid)0000-0001-9310-4885&#160;Schulte, Michael. editor. (orcid)0000-0002-0213-4155&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58834-5">https://doi.org/10.1007/978-3-662-58834-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings ent://SD_ILS/0/SD_ILS:483484 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428&#160;Juckeland, Guido. editor. (orcid)0000-0002-9935-4428&#160;Wienke, Sandra. editor. (orcid)0000-0002-5794-3662&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12274-4">https://doi.org/10.1007/978-3-030-12274-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog Circuit Theory and Filter Design in the Digital World With an Introduction to the Morphological Method for Creative Solutions and Design ent://SD_ILS/0/SD_ILS:483673 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Moschytz, George S. 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-00096-7">https://doi.org/10.1007/978-3-030-00096-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Beyond-CMOS Technologies for Next Generation Computer Design ent://SD_ILS/0/SD_ILS:484013 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Topaloglu, Rasit O. editor.&#160;Wong, H.-S. Philip. 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-90385-9">https://doi.org/10.1007/978-3-319-90385-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced HDL Synthesis and SOC Prototyping RTL Design Using Verilog ent://SD_ILS/0/SD_ILS:484875 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Taraate, Vaibbhav. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-8776-9">https://doi.org/10.1007/978-981-10-8776-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Machine Learning in VLSI Computer-Aided Design ent://SD_ILS/0/SD_ILS:485735 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Elfadel, Ibrahim (Abe) M. editor.&#160;Boning, Duane S. editor.&#160;Li, 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-030-04666-8">https://doi.org/10.1007/978-3-030-04666-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Logic Circuits &amp; Logic Design with VHDL ent://SD_ILS/0/SD_ILS:485818 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;LaMeres, Brock J. 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-12489-2">https://doi.org/10.1007/978-3-030-12489-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486324 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609&#160;Soeken, Mathias. editor. (orcid)0000-0002-0229-8766&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21500-2">https://doi.org/10.1007/978-3-030-21500-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11&ndash;13, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486680 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Rauchwerger, Lawrence. 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-35225-7">https://doi.org/10.1007/978-3-030-35225-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 &ndash; November 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400552 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Desharnais, Jules. editor. (orcid)0000-0002-4780-2698&#160;Guttmann, Walter. editor. (orcid)0000-0003-2969-1688&#160;Joosten, Stef. editor. (orcid)0000-0001-8308-0189&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02149-8">https://doi.org/10.1007/978-3-030-02149-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399721 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Potapov, Igor. editor.&#160;Reynier, Pierre-Alain. 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-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, W&uuml;rzburg, Germany, September 19&ndash;22, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399852 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Seipel, Dietmar. editor.&#160;Hanus, Michael. editor. (orcid)0000-0002-4953-8202&#160;Abreu, Salvador. editor. (orcid)0000-0002-1613-4631&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00801-7">https://doi.org/10.1007/978-3-030-00801-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Science &ndash; Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401195 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Fomin, Fedor V. editor.&#160;Podolskii, Vladimir 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-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Say&#305;sal tasar&#305;m ent://SD_ILS/0/SD_ILS:370964 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Mano, M. Morris.&#160;Bo&#287;osyan, Seta, &ccedil;ev.&#160;G&ouml;ka&#351;an, Metin, &ccedil;ev.&#160;Kurtulan, Salman, &ccedil;ev.<br/>Preferred Shelf Number&#160;TK7888.3 M35 2014<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334702 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Hasegawa, Masahito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334702.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38946-7">http://dx.doi.org/10.1007/978-3-642-38946-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334980 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Schulte, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334980.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40627-0">http://dx.doi.org/10.1007/978-3-642-40627-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197063 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Gramlich, Bernhard. editor.&#160;Miller, Dale. editor.&#160;Sattler, Uli. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31365-3">http://dx.doi.org/10.1007/978-3-642-31365-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Qu&eacute;bec City, QC, Canada, October 8-12, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197402 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Milano, Michela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33558-7">http://dx.doi.org/10.1007/978-3-642-33558-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital circuit boards mach 1 ghz ent://SD_ILS/0/SD_ILS:299296 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Morrison, Ralph.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://lib.myilibrary.com?id=425373">Connect to MyiLibrary resource.</a> <a href="http://proquest.safaribooksonline.com/?fpi=9781118278116">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/9781118278123">http://dx.doi.org/10.1002/9781118278123</a> Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=836591">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=836591</a> ebrary <a href="http://site.ebrary.com/id/10630495">http://site.ebrary.com/id/10630495</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings ent://SD_ILS/0/SD_ILS:193781 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Banerjee, Mohua. editor.&#160;Seth, Anil. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-18026-2">http://dx.doi.org/10.1007/978-3-642-18026-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194785 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Ong, Luke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21691-6">http://dx.doi.org/10.1007/978-3-642-21691-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Dynamic Circuit Response (Analog Circuit Design Series Volume 2) ent://SD_ILS/0/SD_ILS:248001 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Feucht, D.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/SBCS014E">http://dx.doi.org/10.1049/SBCS014E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Efficient Algorithms Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:190633 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Albers, Susanne. editor.&#160;Alt, Helmut. editor.&#160;N&auml;her, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03456-5">http://dx.doi.org/10.1007/978-3-642-03456-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190568 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Oddi, Angelo. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03251-6">http://dx.doi.org/10.1007/978-3-642-03251-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings ent://SD_ILS/0/SD_ILS:191428 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Dong, Yingfei. editor.&#160;Du, Ding-Zhu. editor.&#160;Ibarra, Oscar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-10631-6">http://dx.doi.org/10.1007/978-3-642-10631-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced signal integrity for high-speed digital designs ent://SD_ILS/0/SD_ILS:249561 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Hall, Stephen H.&#160;Heck, Howard L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361024">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361024</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190272 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Curien, Pierre-Louis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02273-9">http://dx.doi.org/10.1007/978-3-642-02273-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers ent://SD_ILS/0/SD_ILS:189340 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;Soliman, Sylvain. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-89812-2">http://dx.doi.org/10.1007/978-3-540-89812-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2008: Theoretical Informatics 8th Latin American Symposium, B&uacute;zios, Brazil, April 7-11, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188237 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Laber, Eduardo Sany. editor.&#160;Bornstein, Claudson. editor.&#160;Nogueira, Loana Tito. editor.&#160;Faria, Luerbio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78773-0">http://dx.doi.org/10.1007/978-3-540-78773-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and computer design fundamentals ent://SD_ILS/0/SD_ILS:109876 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Mano, M. Morris&#160;Kime, Charles R., ort. yaz.<br/>Preferred Shelf Number&#160;TK7888.4 M36 2008<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~3<br/> Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities ent://SD_ILS/0/SD_ILS:175672 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Simon, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:186979 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Azevedo, Francisco. editor.&#160;Barahona, Pedro. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73817-6">http://dx.doi.org/10.1007/978-3-540-73817-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday ent://SD_ILS/0/SD_ILS:184259 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Futatsugi, Kokichi. editor.&#160;Jouannaud, Jean-Pierre. editor.&#160;Meseguer, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11780274">http://dx.doi.org/10.1007/11780274</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183971 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Hnich, Brahim. editor.&#160;Carlsson, Mats. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183496 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Correa, Jos&eacute; R. editor.&#160;Hevia, Alejandro. editor.&#160;Kiwi, Marcos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:183239 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Faltings, Boi V. editor.&#160;Petcu, Adrian. editor.&#160;Fages, Fran&ccedil;ois. editor.&#160;Rossi, Francesca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106890">http://dx.doi.org/10.1007/b106890</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logically determined design clockless system design with NULL convention logic ent://SD_ILS/0/SD_ILS:301645 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Fant, Karl M.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://www.contentreserve.com/TitleInfo.asp?ID={1F7D25ED-7DB8-40A3-B98F-A6D66E238591}&Format=50">Click for information</a> <a href="http://proquest.safaribooksonline.com/?fpi=9780471684787">Available by subscription from Safari Books Online</a> John Wiley <a href="http://dx.doi.org/10.1002/0471702897">http://dx.doi.org/10.1002/0471702897</a> MyiLibrary, Table of contents <a href="http://www.myilibrary.com?id=25243&ref=toc">http://www.myilibrary.com?id=25243&ref=toc</a> Volltext <a href="http://proquest.tech.safaribooksonline.de/9780471684787">http://proquest.tech.safaribooksonline.de/9780471684787</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183106 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Jermann, Christophe. editor.&#160;Neumaier, Arnold. editor.&#160;Sam, Djamila. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136292">http://dx.doi.org/10.1007/b136292</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and computer design fundamentals ent://SD_ILS/0/SD_ILS:97715 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Mano, M. Morris&#160;Kime, Charles R., ort. yaz.<br/>Preferred Shelf Number&#160;TK 7888.4 M36 2004<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Digital and Analogue Instrumentation Testing and measurement ent://SD_ILS/0/SD_ILS:247771 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Kularatna, Nihal<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBEL011E">http://dx.doi.org/10.1049/PBEL011E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital logic design ent://SD_ILS/0/SD_ILS:254614 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Holdsworth, B. (Brian)&#160;Woods, R. C. (R. Clive)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750645829">http://www.sciencedirect.com/science/book/9780750645829</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic and Knowledge-based CAD for VLSI ent://SD_ILS/0/SD_ILS:247743 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Taylor, Gaynor, ed.&#160;Russell, Gordon, ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCS004E">http://dx.doi.org/10.1049/PBCS004E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analogue-digital ASICs Circuit techniques, design tools and applications ent://SD_ILS/0/SD_ILS:247742 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Soin, R. S., ed.&#160;Maloberti, F., ed.&#160;Franca, J., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBCS003E">http://dx.doi.org/10.1049/PBCS003E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic design a review of theory and practice ent://SD_ILS/0/SD_ILS:255006 2024-12-23T14:47:10Z 2024-12-23T14:47:10Z Author&#160;Langdon, Glen G.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124365506">http://www.sciencedirect.com/science/book/9780124365506</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>