Search Results for Computer-Aided Design - Narrowed by: 2006 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer-Aided$002bDesign$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026ps$003d300$0026isd$003dtrue? 2024-11-15T20:36:12Z Metal casting : computer-aided design and analysis ent://SD_ILS/0/SD_ILS:386116 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Ravi, B., author.<br/>Preferred Shelf Number&#160;TS230 R38 2006<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computer aided design, engineering, and manufacturing systems techniques and applications ent://SD_ILS/0/SD_ILS:287742 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Leondes, Cornelius T.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420050097">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer aided design, engineering, and manufacturing systems techniques and applications ent://SD_ILS/0/SD_ILS:290502 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Leondes, Cornelius T.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420049978">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer aided design, engineering, and manufacturing systems techniques and applications ent://SD_ILS/0/SD_ILS:289610 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Leondes, Cornelius T.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420049893">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-scale 3D data integration ent://SD_ILS/0/SD_ILS:133978 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Zlatanova, Siyka.&#160;Prosperi, David.<br/>Preferred Shelf Number&#160;TA174 .L37 2006<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Verification Methodology Manual for SystemVerilog ent://SD_ILS/0/SD_ILS:165150 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Bergeron, Janick. author.&#160;Cerny, Eduard. author.&#160;Hunter, Alan. author.&#160;Nightingale, Andrew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135575">http://dx.doi.org/10.1007/b135575</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design ent://SD_ILS/0/SD_ILS:165694 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Marwedel, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30087-2">http://dx.doi.org/10.1007/0-387-30087-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Constraint-Based Verification ent://SD_ILS/0/SD_ILS:165761 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Yuan, Jun. author.&#160;Pixley, Carl. author.&#160;Aziz, Adnan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-30784-2">http://dx.doi.org/10.1007/0-387-30784-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15&ndash;17, 2006, Shanghai, China ent://SD_ILS/0/SD_ILS:166025 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Wang, Kesheng. editor.&#160;Kovacs, George L. editor.&#160;Wozny, Michael. editor.&#160;Fang, Minglun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34403-9">http://dx.doi.org/10.1007/0-387-34403-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Abstraction Refinement for Large Scale Model Checking ent://SD_ILS/0/SD_ILS:166047 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Wang, Chao. author.&#160;Hachtel, Gary D. author.&#160;Somenzi, Fabio. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34600-7">http://dx.doi.org/10.1007/0-387-34600-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500&trade; ent://SD_ILS/0/SD_ILS:166049 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Silva, Francisco. author.&#160;McLaurin, Teresa. author.&#160;Waayers, Tom. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34609-0">http://dx.doi.org/10.1007/0-387-34609-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity ent://SD_ILS/0/SD_ILS:165020 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Leventhal, Roy G. author.&#160;Green, Lynne. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104647">http://dx.doi.org/10.1007/b104647</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility ent://SD_ILS/0/SD_ILS:165289 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Ben Dhia, Sonia. editor.&#160;Ramdani, Mohamed. editor.&#160;Sicard, Etienne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137864">http://dx.doi.org/10.1007/b137864</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systemverilog for Verification A Guide to Learning the Testbench Language Features ent://SD_ILS/0/SD_ILS:165314 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Spear, Chris. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138536">http://dx.doi.org/10.1007/b138536</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leakage in Nanometer CMOS Technologies ent://SD_ILS/0/SD_ILS:165474 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Narendra, Siva G. author.&#160;Chandrakasan, Anantha. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28133-9">http://dx.doi.org/10.1007/0-387-28133-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Finite Element Method and Applications in Engineering Using Ansys&reg; ent://SD_ILS/0/SD_ILS:165497 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Madenci, Erdogan. author.&#160;Guven, Ibrahim. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-28290-9">http://dx.doi.org/10.1007/978-0-387-28290-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Curves and Surfaces for Computer Graphics ent://SD_ILS/0/SD_ILS:165520 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Salomon, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28452-4">http://dx.doi.org/10.1007/0-387-28452-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Prototyping of Digital Systems ent://SD_ILS/0/SD_ILS:165587 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Hamblen, James O. author.&#160;Hall, Tyson S. author.&#160;Furman, Michael D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-28965-8">http://dx.doi.org/10.1007/0-387-28965-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interconnect Noise Optimization in Nanometer Technologies ent://SD_ILS/0/SD_ILS:165637 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Elgamel, Mohamed A. author.&#160;Bayoumi, Magdy A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29366-3">http://dx.doi.org/10.1007/0-387-29366-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Hardware Verification with Symbolic Simulation ent://SD_ILS/0/SD_ILS:165683 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Bertacco, Valeria. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29906-8">http://dx.doi.org/10.1007/0-387-29906-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Thermal and Power Management of Integrated Circuits ent://SD_ILS/0/SD_ILS:165670 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Vassighi, Arman. author.&#160;Sachdev, Manoj. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-29749-9">http://dx.doi.org/10.1007/0-387-29749-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Writing Testbenches using System Verilog ent://SD_ILS/0/SD_ILS:165809 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Bergeron, Janick. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-31275-7">http://dx.doi.org/10.1007/0-387-31275-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to PSL ent://SD_ILS/0/SD_ILS:166138 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Eisner, Cindy. author.&#160;Fisman, Dana. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36123-9">http://dx.doi.org/10.1007/978-0-387-36123-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Condition Monitoring and Control for Intelligent Manufacturing ent://SD_ILS/0/SD_ILS:175353 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Wang, Lihui. editor.&#160;Gao, Robert X. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-269-1">http://dx.doi.org/10.1007/1-84628-269-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Layoutsynthese elektronischer Schaltungen &mdash; Grundlegende Algorithmen f&uuml;r die Entwurfsautomatisierung ent://SD_ILS/0/SD_ILS:182190 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Lienig, Jens. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29942-4">http://dx.doi.org/10.1007/3-540-29942-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wissenschaftstheoretische Grundlagen f&uuml;r die rechnerunterst&uuml;tzte Konstruktion ent://SD_ILS/0/SD_ILS:182193 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Lossack, Ralf-Stefan. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29947-5">http://dx.doi.org/10.1007/3-540-29947-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visualisierung digitaler Gel&auml;nde- und Landschaftsdaten ent://SD_ILS/0/SD_ILS:182339 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Mach, R&uuml;diger. author.&#160;Petschek, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-30533-5">http://dx.doi.org/10.1007/3-540-30533-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:183063 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Lirkov, Ivan. editor.&#160;Margenov, Svetozar. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11666806">http://dx.doi.org/10.1007/11666806</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovation in Life Cycle Engineering and Sustainable Development ent://SD_ILS/0/SD_ILS:169233 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Brissaud, Daniel. editor.&#160;Tichkiewitch, Serge. editor.&#160;Zwolinski, Peggy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4617-0">http://dx.doi.org/10.1007/1-4020-4617-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovations in Design &amp; Decision Support Systems in Architecture and Urban Planning ent://SD_ILS/0/SD_ILS:169359 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Leeuwen, Jos P. editor.&#160;Timmermans, Harry J. P. 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-4020-5060-2">http://dx.doi.org/10.1007/978-1-4020-5060-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183574 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Shen, Wei-ming. editor.&#160;Chao, Kuo-Ming. editor.&#160;Lin, Zongkai. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;James, Anne. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11686699">http://dx.doi.org/10.1007/11686699</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriften&uuml;bersicht, Beispiele mit CATIA V4 und V5 ent://SD_ILS/0/SD_ILS:183570 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Grabner, J&ouml;rg. author.&#160;Nothhaft, Richard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32955-2">http://dx.doi.org/10.1007/3-540-32955-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Feature Extraction Foundations and Applications ent://SD_ILS/0/SD_ILS:184270 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Guyon, Isabelle. editor.&#160;Nikravesh, Masoud. editor.&#160;Gunn, Steve. editor.&#160;Zadeh, Lotfi A. 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-35488-8">http://dx.doi.org/10.1007/978-3-540-35488-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:184904 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Smith, Ian F. C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11888598">http://dx.doi.org/10.1007/11888598</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid system prototyping with FPGAs ent://SD_ILS/0/SD_ILS:254743 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Cofer, R. C.&#160;Harding, Benjamin F.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750678667">http://www.sciencedirect.com/science/book/9780750678667</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> EDA for IC implementation, circuit design, and process technology ent://SD_ILS/0/SD_ILS:285713 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Scheffer, Lou.&#160;Lavagno, Luciano, 1959-&#160;Martin, Grant (Grant Edmund)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420007954">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> EDA for IC system design, verification, and testing ent://SD_ILS/0/SD_ILS:285753 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Scheffer, Louis Kossuth.&#160;Lavagno, Luciano, 1959-&#160;Martin, Grant (Grant Edmund)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420007947">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-scale 3D data integration ent://SD_ILS/0/SD_ILS:285798 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Zlatanova, Siyka.&#160;Prosperi, David.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420036282">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-power CMOS circuits technology, logic design and CAD tools ent://SD_ILS/0/SD_ILS:284894 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Piguet, Christian.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420036503">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Learning MicroStation VBA ent://SD_ILS/0/SD_ILS:312912 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Winters, Jerry.<br/>Preferred Shelf Number&#160;ONLINE(312912.1)<br/>Electronic Access&#160;Knovel <a href="http://app.knovel.com/web/toc.v/cid:kpLMSVBA05">http://app.knovel.com/web/toc.v/cid:kpLMSVBA05</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Verification with C++ A Practitioner&rsquo;s Handbook ent://SD_ILS/0/SD_ILS:166141 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Mintz, Mike. author.&#160;Ekendahl, Robert. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling ent://SD_ILS/0/SD_ILS:166152 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Sutherland, Stuart. author.&#160;Davidmann, Simon. author.&#160;Flake, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-36495-1">http://dx.doi.org/10.1007/0-387-36495-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;DasGupta, Pallab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms ent://SD_ILS/0/SD_ILS:169289 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Kogel, Tim. author.&#160;Leupers, Rainer. author.&#160;Meyr, Heinrich. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4826-2">http://dx.doi.org/10.1007/1-4020-4826-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design Computing and Cognition &rsquo;06 ent://SD_ILS/0/SD_ILS:169382 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;GERO, JOHN S. 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-4020-5131-9">http://dx.doi.org/10.1007/978-1-4020-5131-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits ent://SD_ILS/0/SD_ILS:169386 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;CASTRO-L&Oacute;PEZ, R. author.&#160;FERN&Aacute;NDEZ, F.V. author.&#160;GUERRA-VINUESA, O. author.&#160;RODR&Iacute;GUEZ-V&Aacute;ZQUEZ, &Aacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-5139-5">http://dx.doi.org/10.1007/978-1-4020-5139-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms ent://SD_ILS/0/SD_ILS:175242 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Rekiek, Brahim. author.&#160;Delchambre, Alain. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138846">http://dx.doi.org/10.1007/b138846</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adobe&reg; Acrobat&reg; and PDF for Architecture, Engineering, and Construction ent://SD_ILS/0/SD_ILS:175265 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Carson, Tom. author.&#160;Baker, Donna L. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-138-5">http://dx.doi.org/10.1007/1-84628-138-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Grey-box Process Identification Theory and Applications ent://SD_ILS/0/SD_ILS:175407 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Bohlin, Torsten. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-403-1">http://dx.doi.org/10.1007/1-84628-403-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Boundary Representation Modelling Techniques ent://SD_ILS/0/SD_ILS:175474 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Stroud, Ian. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-616-2">http://dx.doi.org/10.1007/978-1-84628-616-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Transformations and Projections in Computer Graphics ent://SD_ILS/0/SD_ILS:175477 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Salomon, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-620-9">http://dx.doi.org/10.1007/978-1-84628-620-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CATIA V5 Workbook, releases 16 ent://SD_ILS/0/SD_ILS:114046 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Cozzens, Richard.&#160;Metalcraft Technologies, Inc.<br/>Preferred Shelf Number&#160;TA345.5.C3 C69 2006<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Advanced CATIA V5 workbook : release 16 ent://SD_ILS/0/SD_ILS:114048 2024-11-15T20:36:12Z 2024-11-15T20:36:12Z Author&#160;Cozzens, Richard.<br/>Preferred Shelf Number&#160;TA345.5.C3 C69 2006<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>