Search Results for Integrated. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIntegrated.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300? 2026-01-21T12:50:01Z Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334136 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Shang, Delong. editor.&#160;Yakovlev, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334136.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36157-9">http://dx.doi.org/10.1007/978-3-642-36157-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334634 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Johnsen, Einar Broch. editor.&#160;Petre, Luigia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334634.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38613-8">http://dx.doi.org/10.1007/978-3-642-38613-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196948 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Derrick, John. editor.&#160;Gnesi, Stefania. editor.&#160;Latella, Diego. editor.&#160;Treharne, Helen. 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-30729-4">http://dx.doi.org/10.1007/978-3-642-30729-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193696 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Leuken, Ren&eacute;. editor.&#160;Sicard, Gilles. 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-17752-1">http://dx.doi.org/10.1007/978-3-642-17752-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195562 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Ayala, Jos&eacute; L. editor.&#160;Garc&iacute;a-C&aacute;mara, Braulio. editor.&#160;Prieto, Manuel. editor.&#160;Ruggiero, Martino. editor.&#160;Sicard, Gilles. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24154-3">http://dx.doi.org/10.1007/978-3-642-24154-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193240 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;M&eacute;ry, Dominique. editor.&#160;Merz, Stephan. 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-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191802 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Monteiro, Jos&eacute;. editor.&#160;Leuken, Ren&eacute;. 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-11802-9">http://dx.doi.org/10.1007/978-3-642-11802-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 7th International Conference, IFM 2009, D&uuml;sseldorf, Germany, February 16-19, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189626 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Leuschel, Michael. editor.&#160;Wehrheim, Heike. 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-00255-7">http://dx.doi.org/10.1007/978-3-642-00255-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189565 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Svensson, Lars. editor.&#160;Monteiro, 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/978-3-540-95948-9">http://dx.doi.org/10.1007/978-3-540-95948-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187155 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Az&eacute;mard, Nadine. editor.&#160;Svensson, Lars. 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-74442-9">http://dx.doi.org/10.1007/978-3-540-74442-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186776 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Davies, Jim. editor.&#160;Gibbons, Jeremy. 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-73210-5">http://dx.doi.org/10.1007/978-3-540-73210-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184718 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Vounckx, Johan. editor.&#160;Azemard, Nadine. editor.&#160;Maurine, Philippe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11847083">http://dx.doi.org/10.1007/11847083</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183227 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Romijn, Judi. editor.&#160;Smith, Graeme. editor.&#160;Pol, Jaco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183143 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Paliouras, Vassilis. editor.&#160;Vounckx, Johan. editor.&#160;Verkest, Diederik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11556930">http://dx.doi.org/10.1007/11556930</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Development of a Strategy for Integrated Manufacturing Systems ent://SD_ILS/0/SD_ILS:247848 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Schofield, N. A., ed.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1049/PBME012E">http://dx.doi.org/10.1049/PBME012E</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fast circuit boards : energy management ent://SD_ILS/0/SD_ILS:593982 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Morrison, Ralph, author.<br/>Preferred Shelf Number&#160;TK7874.7 .M67 2018<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413950">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413950</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 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z 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/> A Baker's dozen real analog solutions for digital designers ent://SD_ILS/0/SD_ILS:254733 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Baker, Bonnie (Bonnie C.)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750678193">http://www.sciencedirect.com/science/book/9780750678193</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic design of nanoICs ent://SD_ILS/0/SD_ILS:539491 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z Author&#160;Yanushkevich, Svetlana N., author.&#160;Shmerko, Vlad P.&#160;Lyshevski, Sergey Edward.<br/>Preferred Shelf Number&#160;TK7874.8 .Y36 2005<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9781315220437">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Algorithmic and Knowledge-based CAD for VLSI ent://SD_ILS/0/SD_ILS:247743 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z 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 2026-01-21T12:50:01Z 2026-01-21T12:50:01Z 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/>