Search Results for systems. - Narrowed by: Computer aided design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsystems.$0026qf$003dSUBJECT$002509Konu$002509Computer$002baided$002bdesign.$002509Computer$002baided$002bdesign.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2025-12-24T08:40:01Z Wearable Monitoring Systems ent://SD_ILS/0/SD_ILS:172860 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bonfiglio, Annalisa. editor.&#160;De Rossi, Danilo. 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-4419-7384-9">http://dx.doi.org/10.1007/978-1-4419-7384-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Adaptable Embedded Systems ent://SD_ILS/0/SD_ILS:331281 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Beck, Antonio Carlos Schneider. editor.&#160;Lang Lisb&ocirc;a, Carlos Arthur. editor.&#160;Carro, Luigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331281.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1746-0">http://dx.doi.org/10.1007/978-1-4614-1746-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamics of Microelectromechanical Systems ent://SD_ILS/0/SD_ILS:166554 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Lobontiu, Nicolae. 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-68195-5">http://dx.doi.org/10.1007/978-0-387-68195-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems - qualit&auml;tsorientierte Entwicklung ent://SD_ILS/0/SD_ILS:181370 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bender, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138984">http://dx.doi.org/10.1007/b138984</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Clocking in Modern VLSI Systems ent://SD_ILS/0/SD_ILS:171914 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Xanthopoulos, Thucydides. 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-4419-0261-0">http://dx.doi.org/10.1007/978-1-4419-0261-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Optical Interconnect Architectures for Embedded Systems ent://SD_ILS/0/SD_ILS:330817 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;O'Connor, Ian. editor.&#160;Nicolescu, Gabriela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330817.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6193-8">http://dx.doi.org/10.1007/978-1-4419-6193-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Connectivity and Embedded Sensory Systems ent://SD_ILS/0/SD_ILS:172906 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Spaanenburg, Lambert. author.&#160;Spaanenburg, Hendrik. 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-4419-7545-4">http://dx.doi.org/10.1007/978-1-4419-7545-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:166970 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/978-0-387-72671-7">http://dx.doi.org/10.1007/978-0-387-72671-7</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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Design of Embedded Control Systems ent://SD_ILS/0/SD_ILS:165504 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Adamski, Marian Andrzej. author.&#160;Karatkevich, Andrei. author.&#160;Wegrzyn, Marek. 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-28327-7">http://dx.doi.org/10.1007/0-387-28327-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design of Image Processing Embedded Systems Using Multidimensional Data Flow ent://SD_ILS/0/SD_ILS:172796 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Keinert, Joachim. author.&#160;Teich, J&uuml;rgen. 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-4419-7182-1">http://dx.doi.org/10.1007/978-1-4419-7182-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On-Chip Interconnect with aelite Composable and Predictable Systems ent://SD_ILS/0/SD_ILS:172707 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Hansson, Andreas. author.&#160;Goossens, Kees. 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-4419-6865-4">http://dx.doi.org/10.1007/978-1-4419-6865-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Heterogeneous Multicore Processor Technologies for Embedded Systems ent://SD_ILS/0/SD_ILS:173639 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Uchiyama, Kunio. author.&#160;Arakawa, Fumio. author.&#160;Kasahara, Hironori. author.&#160;Nojiri, Tohru. author.&#160;Noda, Hideyuki. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-0284-8">http://dx.doi.org/10.1007/978-1-4614-0284-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Embedded and Real-time Java Systems ent://SD_ILS/0/SD_ILS:173076 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Higuera-Toledano, M. Teresa. editor.&#160;Wellings, Andy J. 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-4419-8158-5">http://dx.doi.org/10.1007/978-1-4419-8158-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Energy Harvesting Systems Principles, Modeling and Applications ent://SD_ILS/0/SD_ILS:172912 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ka&#378;mierski, Tom J. editor.&#160;Beeby, Steve. 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-4419-7566-9">http://dx.doi.org/10.1007/978-1-4419-7566-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Network Systems From Concepts to Implementations ent://SD_ILS/0/SD_ILS:164985 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Jia, Weijia. author.&#160;Zhou, Wanlei. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b102545">http://dx.doi.org/10.1007/b102545</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399018 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399505 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334682 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Schirner, Gunar. editor.&#160;G&ouml;tz, Marcelo. editor.&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE(334682.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Product and Process Development Systems IFIP TC 5 International Conference, NEW PROLAMAT 2013, Dresden, Germany, October 10-11, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335089 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kov&aacute;cs, George L. editor.&#160;Kochan, Detlef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335089.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41329-2">http://dx.doi.org/10.1007/978-3-642-41329-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:335219 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335219.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-53856-8">http://dx.doi.org/10.1007/978-3-642-53856-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:335220 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335220.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-53862-9">http://dx.doi.org/10.1007/978-3-642-53862-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Preventive Biomechanics Optimizing Support Systems for the Human Body in the Lying and Sitting Position ent://SD_ILS/0/SD_ILS:333216 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Silber, Gerhard. author.&#160;Then, Christophe. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333216.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29003-9">http://dx.doi.org/10.1007/978-3-642-29003-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part II ent://SD_ILS/0/SD_ILS:335081 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Prabhu, Vittal. editor.&#160;Taisch, Marco. editor.&#160;Kiritsis, Dimitris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335081.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41263-9">http://dx.doi.org/10.1007/978-3-642-41263-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Sustainable Production and Service Supply Chains IFIP WG 5.7 International Conference, APMS 2013, State College, PA, USA, September 9-12, 2013, Proceedings, Part I ent://SD_ILS/0/SD_ILS:335082 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Prabhu, Vittal. editor.&#160;Taisch, Marco. editor.&#160;Kiritsis, Dimitris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335082.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41266-0">http://dx.doi.org/10.1007/978-3-642-41266-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:196229 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-27549-4">http://dx.doi.org/10.1007/978-3-642-27549-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2011 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:196238 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-27579-1">http://dx.doi.org/10.1007/978-3-642-27579-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Inclusive Systems Designing Inclusion for Real-world Applications ent://SD_ILS/0/SD_ILS:173491 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Langdon, Patrick. editor.&#160;Clarkson, John. editor.&#160;Robinson, Peter. editor.&#160;Lazar, Jonathan. editor.&#160;Heylighen, Ann. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-2867-0">http://dx.doi.org/10.1007/978-1-4471-2867-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Production Systems and Supply Chain Management in Emerging Countries: Best Practices Selected papers from the International Conference on Production Research (ICPR) ent://SD_ILS/0/SD_ILS:196102 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Mej&iacute;a, Gonzalo. editor.&#160;Velasco, Nubia. 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-26004-9">http://dx.doi.org/10.1007/978-3-642-26004-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On-Chip Instrumentation Design and Debug for Systems on Chip ent://SD_ILS/0/SD_ILS:172911 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Stollon, Neal. 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-4419-7563-8">http://dx.doi.org/10.1007/978-1-4419-7563-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances ent://SD_ILS/0/SD_ILS:172672 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kanekawa, Nobuyasu. author.&#160;Ibe, Eishi H. author.&#160;Suga, Takashi. author.&#160;Uematsu, Yutaka. 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-4419-6715-2">http://dx.doi.org/10.1007/978-1-4419-6715-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology ent://SD_ILS/0/SD_ILS:172683 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Koeppl, Heinz. editor.&#160;Setti, Gianluca. editor.&#160;di Bernardo, Mario. editor.&#160;Densmore, Douglas. 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-4419-6766-4">http://dx.doi.org/10.1007/978-1-4419-6766-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems ent://SD_ILS/0/SD_ILS:173293 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Verhulst, Eric. author.&#160;Boute, Raymond T. author.&#160;Faria, Jos&eacute; Miguel Sampaio. author.&#160;Sputh, Bernhard H.C. author.&#160;Mezhuyev, Vitaliy. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-9736-4">http://dx.doi.org/10.1007/978-1-4419-9736-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Solid Modelling and CAD Systems How to Survive a CAD System ent://SD_ILS/0/SD_ILS:168470 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Stroud, Ian. author.&#160;Nagy, Hildegarde. 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-85729-259-9">http://dx.doi.org/10.1007/978-0-85729-259-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Holonic and Multi-Agent Systems for Manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195263 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Vrba, Pavel. editor.&#160;Leit&atilde;o, Paulo. 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-23181-0">http://dx.doi.org/10.1007/978-3-642-23181-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures ent://SD_ILS/0/SD_ILS:172530 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Stanisavljevi&#263;, Milo&scaron;. author.&#160;Schmid, Alexandre. author.&#160;Leblebici, Yusuf. 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-4419-6217-1">http://dx.doi.org/10.1007/978-1-4419-6217-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification ent://SD_ILS/0/SD_ILS:172104 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gamatie, Abdoulaye. 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-4419-0941-1">http://dx.doi.org/10.1007/978-1-4419-0941-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design and Verification of Microprocessor Systems for High-Assurance Applications ent://SD_ILS/0/SD_ILS:172277 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Hardin, David 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-4419-1539-9">http://dx.doi.org/10.1007/978-1-4419-1539-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Simulation Methods for Reliability and Availability of Complex Systems ent://SD_ILS/0/SD_ILS:175923 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Faulin, Javier. editor.&#160;Juan, Angel A. editor.&#160;Martorell, Sebasti&aacute;n. editor.&#160;Ram&iacute;rez-M&aacute;rquez, Jos&eacute;-Emmanuel. 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-84882-213-9">http://dx.doi.org/10.1007/978-1-84882-213-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Knowledge Imperfection in Building Intelligent Systems ent://SD_ILS/0/SD_ILS:187881 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Roventa, Eugene. author.&#160;Spircu, Tiberiu. author.&#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-77463-1">http://dx.doi.org/10.1007/978-3-540-77463-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Holonic and Multi-Agent Systems for Manufacturing 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190699 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Strasser, Thomas. editor.&#160;Zoitl, Alois. 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-03668-2">http://dx.doi.org/10.1007/978-3-642-03668-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191055 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno-D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada-Arencibia, Alexis. 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-04772-5">http://dx.doi.org/10.1007/978-3-642-04772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190898 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Rettberg, Achim. editor.&#160;Zanella, Mauro C. editor.&#160;Amann, Michael. editor.&#160;Keckeisen, Michael. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04284-3">http://dx.doi.org/10.1007/978-3-642-04284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reanalysis of Structures A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems ent://SD_ILS/0/SD_ILS:170067 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kirsch, Uri. 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-8198-9">http://dx.doi.org/10.1007/978-1-4020-8198-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188793 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Hornby, Gregory S. editor.&#160;Sekanina, Luk&aacute;&scaron;. editor.&#160;Haddow, Pauline C. 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-85857-7">http://dx.doi.org/10.1007/978-3-540-85857-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Maintenance Management Framework Models and Methods for Complex Systems Maintenance ent://SD_ILS/0/SD_ILS:175582 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;M&aacute;rquez, Adolfo Crespo. 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-821-0">http://dx.doi.org/10.1007/978-1-84628-821-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007 ent://SD_ILS/0/SD_ILS:187174 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Vyatkin, Valeriy. editor.&#160;Colombo, Armando W. 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-74481-8">http://dx.doi.org/10.1007/978-3-540-74481-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187218 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kang, Lishan. editor.&#160;Liu, Yong. editor.&#160;Zeng, Sanyou. 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-74626-3">http://dx.doi.org/10.1007/978-3-540-74626-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components ent://SD_ILS/0/SD_ILS:169706 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Nicolescu, G. editor.&#160;Jerraya, A. 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-1-4020-6153-0">http://dx.doi.org/10.1007/978-1-4020-6153-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards Synthesis of Micro-/Nano-systems The 11th International Conference on Precision Engineering (ICPE) August 16&ndash;18, 2006, Tokyo, Japan ent://SD_ILS/0/SD_ILS:175453 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kimura, Fumihiko. author.&#160;Horio, Kenichiro. 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-559-3">http://dx.doi.org/10.1007/1-84628-559-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ent://SD_ILS/0/SD_ILS:169768 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ma, Zhe. editor.&#160;Marchal, Pol. editor.&#160;Scarpazza, Daniele Paolo. editor.&#160;Yang, Peng. editor.&#160;Wong, Chun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4020-6344-2">http://dx.doi.org/10.1007/978-1-4020-6344-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187522 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada Arencibia, Alexis. 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-75867-9">http://dx.doi.org/10.1007/978-3-540-75867-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Warehouse Management Automation and Organisation of Warehouse and Order Picking Systems ent://SD_ILS/0/SD_ILS:184220 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Hompel, Michael. author.&#160;Schmidt, Thorsten. author.&#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-35220-4">http://dx.doi.org/10.1007/978-3-540-35220-4</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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> System-Level Design Techniques for Energy-Efficient Embedded Systems ent://SD_ILS/0/SD_ILS:164625 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Schmitz, Marcus T. author.&#160;Al-Hashimi, Bashir M. author.&#160;Eles, Petru. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106642">http://dx.doi.org/10.1007/b106642</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:181842 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno, J. Manuel. editor.&#160;Madrenas, Jordi. editor.&#160;Cosp, Jordi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549703">http://dx.doi.org/10.1007/11549703</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Taxonomies for the Development and Verification of Digital Systems ent://SD_ILS/0/SD_ILS:165002 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bailey, Brian. editor.&#160;Martin, Grant. editor.&#160;Anderson, Thomas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104217">http://dx.doi.org/10.1007/b104217</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Aided Systems Theory &ndash; EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 &ndash; 11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182915 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Moreno D&iacute;az, Roberto. editor.&#160;Pichler, Franz. editor.&#160;Quesada Arencibia, Alexis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11556985">http://dx.doi.org/10.1007/11556985</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182917 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ma&#345;&iacute;k, Vladim&iacute;r. editor.&#160;Brennan, Robert. editor.&#160;P&#283;chou&#269;ek, Michal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11537847">http://dx.doi.org/10.1007/11537847</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182382 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Baik, Doo-Kwon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105611">http://dx.doi.org/10.1007/b105611</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies ent://SD_ILS/0/SD_ILS:172367 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Popovici, Katalin. author.&#160;Rousseau, Fr&eacute;d&eacute;ric. author.&#160;Jerraya, Ahmed A. author.&#160;Wolf, Marilyn. 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-4419-5567-8">http://dx.doi.org/10.1007/978-1-4419-5567-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Embedded Devices ent://SD_ILS/0/SD_ILS:172275 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gebotys, Catherine H. 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-4419-1530-6">http://dx.doi.org/10.1007/978-1-4419-1530-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ESL Models and their Application Electronic System Level Design and Verification in Practice ent://SD_ILS/0/SD_ILS:172111 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bailey, Brian. author.&#160;Martin, Grant. 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-4419-0965-7">http://dx.doi.org/10.1007/978-1-4419-0965-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault Location on Power Networks ent://SD_ILS/0/SD_ILS:176094 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Saha, Murari Mohan. author.&#160;Izykowski, Jan. author.&#160;Rosolowski, Eugeniusz. 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-84882-886-5">http://dx.doi.org/10.1007/978-1-84882-886-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Spotlight on Modern Transformer Design ent://SD_ILS/0/SD_ILS:176036 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Georgilakis, Pavlos S. 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-84882-667-0">http://dx.doi.org/10.1007/978-1-84882-667-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanoscale Memory Repair ent://SD_ILS/0/SD_ILS:173027 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Horiguchi, Masashi. author.&#160;Itoh, Kiyoo. 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-4419-7958-2">http://dx.doi.org/10.1007/978-1-4419-7958-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Carbon Nanotube Electronics ent://SD_ILS/0/SD_ILS:166719 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kong, Jing. editor.&#160;Javey, Ali. editor.&#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-69285-2">http://dx.doi.org/10.1007/978-0-387-69285-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology for Sustainable Development Proceedings of ICT4SD 2016, Volume 1 ent://SD_ILS/0/SD_ILS:402344 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Mishra, Durgesh Kumar. editor.&#160;Nayak, Malaya Kumar. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-3932-4">https://doi.org/10.1007/978-981-10-3932-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future Proceedings of the AHFE 2017 International Conference on Human Aspects of Advanced Manufacturing, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA ent://SD_ILS/0/SD_ILS:402559 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Trzcielinski, Stefan. 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-60474-9">https://doi.org/10.1007/978-3-319-60474-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information and Communication Technology for Sustainable Development Proceedings of ICT4SD 2016, Volume 2 ent://SD_ILS/0/SD_ILS:402388 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Mishra, Durgesh Kumar. editor.&#160;Nayak, Malaya Kumar. editor.&#160;Joshi, Amit. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-3920-1">https://doi.org/10.1007/978-981-10-3920-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Routing Congestion in VLSI Circuits: Estimation and Optimization ent://SD_ILS/0/SD_ILS:166413 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Saxena, Prashant. author.&#160;Shelar, Rupesh S. author.&#160;Sapatnekar, Sachin S. 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-48550-3">http://dx.doi.org/10.1007/0-387-48550-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SAT-Based Scalable Formal Verification Solutions ent://SD_ILS/0/SD_ILS:166702 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ganai, Malay K. author.&#160;Gupta, Aarti. 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-69167-1">http://dx.doi.org/10.1007/978-0-387-69167-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Yield for Nano-Scale CMOS ent://SD_ILS/0/SD_ILS:169402 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chiang, Charles C. author.&#160;Kawa, Jamil. 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-5188-3">http://dx.doi.org/10.1007/978-1-4020-5188-3</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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> A Practical Introduction to PSL ent://SD_ILS/0/SD_ILS:166138 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Leakage in Nanometer CMOS Technologies ent://SD_ILS/0/SD_ILS:165474 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Abstraction Refinement for Large Scale Model Checking ent://SD_ILS/0/SD_ILS:166047 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> All-Embracing Manufacturing Roadmap System ent://SD_ILS/0/SD_ILS:206618 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Halevi, Gideon. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4180-5">http://dx.doi.org/10.1007/978-94-007-4180-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Design in Virtual Environments ent://SD_ILS/0/SD_ILS:205891 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Wang, Xiangyu. editor.&#160;Tsai, Jerry Jen-Hung. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0605-7">http://dx.doi.org/10.1007/978-94-007-0605-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mixed Reality and Human-Robot Interaction ent://SD_ILS/0/SD_ILS:205884 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Wang, Xiangyu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0582-1">http://dx.doi.org/10.1007/978-94-007-0582-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Millimeter-Wave Low Noise Amplifiers ent://SD_ILS/0/SD_ILS:400805 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bo&#382;ani&#263;, Mladen. author.&#160;Sinha, Saurabh. 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-69020-9">https://doi.org/10.1007/978-3-319-69020-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> From Multiscale Modeling to Meso-Science A Chemical Engineering Perspective ent://SD_ILS/0/SD_ILS:333946 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Li, Jinghai. author.&#160;Ge, Wei. author.&#160;Wang, Wei. author.&#160;Yang, Ning. author.&#160;Liu, Xinhua. author.<br/>Preferred Shelf Number&#160;ONLINE(333946.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35189-1">http://dx.doi.org/10.1007/978-3-642-35189-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Control Design with MATLAB&reg; ent://SD_ILS/0/SD_ILS:331040 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gu, Da-Wei. author.&#160;Petkov, Petko H. author.&#160;Konstantinov, Mihail M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331040.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4682-7">http://dx.doi.org/10.1007/978-1-4471-4682-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Radar Sensors in Silicon Technologies ent://SD_ILS/0/SD_ILS:330821 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Jain, Vipul. author.&#160;Heydari, Payam. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(330821.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6775-6">http://dx.doi.org/10.1007/978-1-4419-6775-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and AR ent://SD_ILS/0/SD_ILS:331101 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Peddie, Jon. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331101.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4471-4932-3">http://dx.doi.org/10.1007/978-1-4471-4932-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield ent://SD_ILS/0/SD_ILS:331282 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Abu-Rahma, Mohamed H. author.&#160;Anis, Mohab. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331282.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-1749-1">http://dx.doi.org/10.1007/978-1-4614-1749-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bio/CMOS Interfaces and Co-Design ent://SD_ILS/0/SD_ILS:331564 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Carrara, Sandro. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(331564.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4690-3">http://dx.doi.org/10.1007/978-1-4614-4690-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Decentralized Spatial Computing Foundations of Geosensor Networks ent://SD_ILS/0/SD_ILS:333364 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Duckham, Matt. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333364.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30853-6">http://dx.doi.org/10.1007/978-3-642-30853-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334705 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Zhang, Jianlong. editor.&#160;Sun, Chengyu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334705.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38974-0">http://dx.doi.org/10.1007/978-3-642-38974-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335015 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Luo, Yuhua. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335015.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40840-3">http://dx.doi.org/10.1007/978-3-642-40840-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Multi-core Architectures Design Methodologies and Tools ent://SD_ILS/0/SD_ILS:172684 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Soudris, Dimitrios. editor.&#160;Jantsch, 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-4419-6778-7">http://dx.doi.org/10.1007/978-1-4419-6778-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio ent://SD_ILS/0/SD_ILS:173574 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Morgado, Alonso. author.&#160;del R&iacute;o, Roc&iacute;o. author.&#160;Rosa, Jos&eacute; M. 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-4614-0037-0">http://dx.doi.org/10.1007/978-1-4614-0037-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultra High-Speed CMOS Circuits Beyond 100 GHz ent://SD_ILS/0/SD_ILS:173645 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gharavi, Sam. author.&#160;Heydari, Babak. 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-4614-0305-0">http://dx.doi.org/10.1007/978-1-4614-0305-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Understanding and Using the Controller Area Network Communication Protocol Theory and Practice ent://SD_ILS/0/SD_ILS:173647 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Di Natale, Marco. author.&#160;Zeng, Haibo. author.&#160;Giusto, Paolo. author.&#160;Ghosal, Arkadeb. 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-4614-0314-2">http://dx.doi.org/10.1007/978-1-4614-0314-2</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:173762 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Spear, Chris. author.&#160;Tumbush, Greg. 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-4614-0715-7">http://dx.doi.org/10.1007/978-1-4614-0715-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Configuration Problem Solving ent://SD_ILS/0/SD_ILS:174403 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Petrie, Charles J.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process Variations and Probabilistic Integrated Circuit Design ent://SD_ILS/0/SD_ILS:172645 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Dietrich, Manfred. editor.&#160;Haase, Joachim. 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-4419-6621-6">http://dx.doi.org/10.1007/978-1-4419-6621-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Error Control for Network-on-Chip Links ent://SD_ILS/0/SD_ILS:173178 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Fu, Bo. author.&#160;Ampadu, Paul. 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-4419-9313-7">http://dx.doi.org/10.1007/978-1-4419-9313-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics ent://SD_ILS/0/SD_ILS:173698 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Li, Simon. author.&#160;Fu, Yue. 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-4614-0481-1">http://dx.doi.org/10.1007/978-1-4614-0481-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Power Design with High-Level Power Estimation and Power-Aware Synthesis ent://SD_ILS/0/SD_ILS:173796 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ahuja, Sumit. author.&#160;Lakshminarayana, Avinash. author.&#160;Shukla, Sandeep Kumar. 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-4614-0872-7">http://dx.doi.org/10.1007/978-1-4614-0872-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs ent://SD_ILS/0/SD_ILS:173778 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Shen, Ruijing. author.&#160;Tan, Sheldon X.-D. author.&#160;Yu, Hao. 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-4614-0788-1">http://dx.doi.org/10.1007/978-1-4614-0788-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability, Availability and Serviceability of Networks-on-Chip ent://SD_ILS/0/SD_ILS:173779 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Cota, &Eacute;rika. author.&#160;Morais Amory, Alexandre. author.&#160;Soares Lubaszewski, Marcelo. 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-4614-0791-1">http://dx.doi.org/10.1007/978-1-4614-0791-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> 3D-Druck/Rapid Prototyping Eine Zukunftstechnologie - kompakt erkl&auml;rt ent://SD_ILS/0/SD_ILS:196649 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Fastermann, Petra. author.&#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-29225-5">http://dx.doi.org/10.1007/978-3-642-29225-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Design, Visualization, and Engineering 9th International Conference, CDVE 2012, Osaka, Japan, September 2-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197243 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Luo, Yuhua. 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-32609-7">http://dx.doi.org/10.1007/978-3-642-32609-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197421 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Helfert, Markus. editor.&#160;Donnellan, Brian. 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-33681-2">http://dx.doi.org/10.1007/978-3-642-33681-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The MPEG Representation of Digital Media ent://SD_ILS/0/SD_ILS:172525 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chiariglione, Leonardo. 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-4419-6184-6">http://dx.doi.org/10.1007/978-1-4419-6184-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cartesian Genetic Programming ent://SD_ILS/0/SD_ILS:193564 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Miller, Julian F. 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-17310-3">http://dx.doi.org/10.1007/978-3-642-17310-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complexity Metrics in Engineering Design Managing the Structure of Design Processes ent://SD_ILS/0/SD_ILS:194543 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kreimeyer, Matthias. author.&#160;Lindemann, Udo. author.&#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-20963-5">http://dx.doi.org/10.1007/978-3-642-20963-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Physical Design: From Graph Partitioning to Timing Closure ent://SD_ILS/0/SD_ILS:205534 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kahng, Andrew B. author.&#160;Lienig, Jens. author.&#160;Markov, Igor L. author.&#160;Hu, Jin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9591-6">http://dx.doi.org/10.1007/978-90-481-9591-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration ent://SD_ILS/0/SD_ILS:205572 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Zjajo, Amir. author.&#160;Pineda de Gyvez, Jos&eacute;. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9725-5">http://dx.doi.org/10.1007/978-90-481-9725-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multiprocessor System-on-Chip Hardware Design and Tool Integration ent://SD_ILS/0/SD_ILS:172601 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;H&uuml;bner, Michael. editor.&#160;Becker, J&uuml;rgen. 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-4419-6460-1">http://dx.doi.org/10.1007/978-1-4419-6460-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Focal-Plane Sensor-Processor Chips ent://SD_ILS/0/SD_ILS:172606 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Zar&aacute;ndy, &Aacute;kos. 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-4419-6475-5">http://dx.doi.org/10.1007/978-1-4419-6475-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultra-thin Chip Technology and Applications ent://SD_ILS/0/SD_ILS:172825 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Burghartz, Joachim. 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-4419-7276-7">http://dx.doi.org/10.1007/978-1-4419-7276-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Power Networks-on-Chip ent://SD_ILS/0/SD_ILS:172720 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Silvano, Cristina. editor.&#160;Lajolo, Marcello. editor.&#160;Palermo, Gianluca. 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-4419-6911-8">http://dx.doi.org/10.1007/978-1-4419-6911-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Run-time Adaptation for Reconfigurable Embedded Processors ent://SD_ILS/0/SD_ILS:172869 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bauer, Lars. author.&#160;Henkel, J&ouml;rg. 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-4419-7412-9">http://dx.doi.org/10.1007/978-1-4419-7412-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power Variation-Tolerant Design in Nanometer Silicon ent://SD_ILS/0/SD_ILS:172871 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bhunia, Swarup. editor.&#160;Mukhopadhyay, Saibal. 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-4419-7418-1">http://dx.doi.org/10.1007/978-1-4419-7418-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Mixed-Signal, Embedded Design ent://SD_ILS/0/SD_ILS:172879 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Doboli, Alex. author.&#160;Currie, Edward H. 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-4419-7446-4">http://dx.doi.org/10.1007/978-1-4419-7446-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Techniques in Logic Synthesis, Optimizations and Applications ent://SD_ILS/0/SD_ILS:172897 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gulati, Kanupriya. 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-4419-7518-8">http://dx.doi.org/10.1007/978-1-4419-7518-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Voltage Regulators for Next Generation Microprocessors ent://SD_ILS/0/SD_ILS:172910 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;L&oacute;pez, Toni. author.&#160;Elferich, Reinhold. author.&#160;Alarc&oacute;n, Eduard. 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-4419-7560-7">http://dx.doi.org/10.1007/978-1-4419-7560-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Playing with the Past ent://SD_ILS/0/SD_ILS:176267 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Champion, Erik. 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-84996-501-9">http://dx.doi.org/10.1007/978-1-84996-501-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces ent://SD_ILS/0/SD_ILS:172674 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Holleman, Jeremy. author.&#160;Zhang, Fan. author.&#160;Otis, Brian. 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-4419-6727-5">http://dx.doi.org/10.1007/978-1-4419-6727-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Circuits for Passive Wireless Microsystems ent://SD_ILS/0/SD_ILS:172947 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Yuan, Fei. 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-4419-7680-2">http://dx.doi.org/10.1007/978-1-4419-7680-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Many-Core Chips ent://SD_ILS/0/SD_ILS:173294 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Vajda, Andr&aacute;s. 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-4419-9739-5">http://dx.doi.org/10.1007/978-1-4419-9739-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Computing From FPGAs to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:173582 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Cardoso, Jo&atilde;o M. P. editor.&#160;H&uuml;bner, Michael. 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-4614-0061-5">http://dx.doi.org/10.1007/978-1-4614-0061-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ontologies in Urban Development Projects ent://SD_ILS/0/SD_ILS:168580 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Falquet, Gilles. author.&#160;M&eacute;tral, Claudine. author.&#160;Teller, Jacques. author.&#160;Tweed, Christopher. 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-85729-724-2">http://dx.doi.org/10.1007/978-0-85729-724-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analog Layout Synthesis A Survey of Topological Approaches ent://SD_ILS/0/SD_ILS:172725 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Graeb, Helmut E. 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-4419-6932-3">http://dx.doi.org/10.1007/978-1-4419-6932-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Post-Silicon and Runtime Verification for Modern Processors ent://SD_ILS/0/SD_ILS:173049 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Wagner, Ilya. 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/978-1-4419-8034-2">http://dx.doi.org/10.1007/978-1-4419-8034-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Memory-Based Logic Synthesis ent://SD_ILS/0/SD_ILS:173066 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Sasao, Tsutomu. 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-4419-8104-2">http://dx.doi.org/10.1007/978-1-4419-8104-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio ent://SD_ILS/0/SD_ILS:173150 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Okada, Kenichi. editor.&#160;Kousai, Shouhei. 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-4419-8514-9">http://dx.doi.org/10.1007/978-1-4419-8514-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Simple Art of SoC Design Closing the Gap between RTL and ESL ent://SD_ILS/0/SD_ILS:173152 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Keating, Michael. 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-4419-8586-6">http://dx.doi.org/10.1007/978-1-4419-8586-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach ent://SD_ILS/0/SD_ILS:173167 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Silvano, Cristina. editor.&#160;Fornaciari, William. editor.&#160;Villar, Eugenio. 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-4419-8837-9">http://dx.doi.org/10.1007/978-1-4419-8837-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nano-Electronic Devices Semiclassical and Quantum Transport Modeling ent://SD_ILS/0/SD_ILS:173168 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Vasileska, Dragica. editor.&#160;Goodnick, Stephen M. 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-4419-8840-9">http://dx.doi.org/10.1007/978-1-4419-8840-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of VLSI RTL Design A Practical Guide ent://SD_ILS/0/SD_ILS:173173 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Churiwala, Sanjay. author.&#160;Garg, Sapan. 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-4419-9296-3">http://dx.doi.org/10.1007/978-1-4419-9296-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Level Verification Methods and Tools for Verification of System-Level Designs ent://SD_ILS/0/SD_ILS:173187 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kundu, Sudipta. author.&#160;Lerner, Sorin. author.&#160;Gupta, Rajesh K. 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-4419-9359-5">http://dx.doi.org/10.1007/978-1-4419-9359-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits ent://SD_ILS/0/SD_ILS:205904 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ben Jamaa, M. Haykel. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-0650-7">http://dx.doi.org/10.1007/978-94-007-0650-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications ent://SD_ILS/0/SD_ILS:172922 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Battezzati, Niccol&ograve;. author.&#160;Sterpone, Luca. author.&#160;Violante, Massimo. 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-4419-7595-9">http://dx.doi.org/10.1007/978-1-4419-7595-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemC: From the Ground Up ent://SD_ILS/0/SD_ILS:166754 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Black, David C. author.&#160;Donovan, Jack. author.&#160;Bunton, Bill. author.&#160;Keist, Anna. 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-69958-5">http://dx.doi.org/10.1007/978-0-387-69958-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power-efficient System Design ent://SD_ILS/0/SD_ILS:172582 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Panda, Preeti Ranjan. author.&#160;Silpa, B. V. N. author.&#160;Shrivastava, Aviral. author.&#160;Gummidipudi, Krishnaiah. 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-4419-6388-8">http://dx.doi.org/10.1007/978-1-4419-6388-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits ent://SD_ILS/0/SD_ILS:172607 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Tajalli, Armin. author.&#160;Leblebici, Yusuf. 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-4419-6478-6">http://dx.doi.org/10.1007/978-1-4419-6478-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications ent://SD_ILS/0/SD_ILS:172608 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Singh, Gaurav. author.&#160;Shukla, Sandeep K. 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-4419-6481-6">http://dx.doi.org/10.1007/978-1-4419-6481-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FPGA Design Best Practices for Team-based Design ent://SD_ILS/0/SD_ILS:172568 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Simpson, Philip. 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-4419-6339-0">http://dx.doi.org/10.1007/978-1-4419-6339-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction ent://SD_ILS/0/SD_ILS:172585 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Shukla, Sandeep K. editor.&#160;Talpin, Jean-Pierre. 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-4419-6400-7">http://dx.doi.org/10.1007/978-1-4419-6400-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-maintenance ent://SD_ILS/0/SD_ILS:176185 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Holmberg, Kenneth. editor.&#160;Adgar, Adam. editor.&#160;Arnaiz, Aitor. editor.&#160;Jantunen, Erkki. editor.&#160;Mascolo, Julien. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-205-6">http://dx.doi.org/10.1007/978-1-84996-205-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring ent://SD_ILS/0/SD_ILS:172052 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kuon, Ian. author.&#160;Rose, Jonathan. 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-4419-0739-4">http://dx.doi.org/10.1007/978-1-4419-0739-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> C Compilers for ASIPs Automatic Compiler Generation with LISA ent://SD_ILS/0/SD_ILS:172172 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Hohenauer, Manuel. author.&#160;Leupers, Rainer. 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-4419-1176-6">http://dx.doi.org/10.1007/978-1-4419-1176-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scalable Techniques for Formal Verification ent://SD_ILS/0/SD_ILS:172480 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ray, Sandip. 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-4419-5998-0">http://dx.doi.org/10.1007/978-1-4419-5998-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Practical Introduction to Hardware/Software Codesign ent://SD_ILS/0/SD_ILS:172481 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Schaumont, Patrick R. 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-4419-6000-9">http://dx.doi.org/10.1007/978-1-4419-6000-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power-Aware Testing and Test Strategies for Low Power Devices ent://SD_ILS/0/SD_ILS:172100 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Girard, Patrick. editor.&#160;Nicolici, Nicola. editor.&#160;Wen, Xiaoqing. 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-4419-0928-2">http://dx.doi.org/10.1007/978-1-4419-0928-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations ent://SD_ILS/0/SD_ILS:172101 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Garg, Rajesh. author.&#160;Khatri, Sunil P. 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-4419-0931-2">http://dx.doi.org/10.1007/978-1-4419-0931-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies ent://SD_ILS/0/SD_ILS:172103 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Bosio, Alberto. author.&#160;Dilillo, Luigi. author.&#160;Girard, Patrick. author.&#160;Pravossoudovitch, Serge. author.&#160;Virazel, Arnaud. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0938-1">http://dx.doi.org/10.1007/978-1-4419-0938-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs ent://SD_ILS/0/SD_ILS:172105 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gulati, Kanupriya. author.&#160;Khatri, Sunil P. 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-4419-0944-2">http://dx.doi.org/10.1007/978-1-4419-0944-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On and Off-Chip Crosstalk Avoidance in VLSI Design ent://SD_ILS/0/SD_ILS:172106 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Duan, Chunjie. author.&#160;LaMeres, Brock J. author.&#160;Khatri, Sunil P. 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-4419-0947-3">http://dx.doi.org/10.1007/978-1-4419-0947-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Minimizing and Exploiting Leakage in VLSI Design ent://SD_ILS/0/SD_ILS:172107 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Jayakumar, Nikhil. author.&#160;Paul, Suganth. author.&#160;Garg, Rajesh. author.&#160;Gulati, Kanupriya. author.&#160;Khatri, Sunil P. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-0950-3">http://dx.doi.org/10.1007/978-1-4419-0950-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip ent://SD_ILS/0/SD_ILS:172109 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Lin, Youn-Long Steve. author.&#160;Kao, Chao-Yang. author.&#160;Kuo, Hung-Chih. author.&#160;Chen, Jian-Wen. 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-4419-0959-6">http://dx.doi.org/10.1007/978-1-4419-0959-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Automatic Tuning From Concepts to State-of-the-Art Results ent://SD_ILS/0/SD_ILS:172726 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Naono, Ken. editor.&#160;Teranishi, Keita. editor.&#160;Cavazos, John. editor.&#160;Suda, Reiji. 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-4419-6935-4">http://dx.doi.org/10.1007/978-1-4419-6935-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Hamlet, Dick. 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-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use ent://SD_ILS/0/SD_ILS:176174 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Langdon, Patrick Martin. editor.&#160;Clarkson, Peter John. editor.&#160;Robinson, Peter. 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-84996-166-0">http://dx.doi.org/10.1007/978-1-84996-166-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Processor and System-on-Chip Simulation ent://SD_ILS/0/SD_ILS:172523 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Leupers, Rainer. editor.&#160;Temam, Olivier. 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-4419-6175-4">http://dx.doi.org/10.1007/978-1-4419-6175-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192013 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Dangelmaier, Wilhelm. editor.&#160;Blecken, Alexander. editor.&#160;Delius, Robin. editor.&#160;Kl&ouml;pfer, 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-12494-5">http://dx.doi.org/10.1007/978-3-642-12494-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:192025 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/978-3-642-12535-5">http://dx.doi.org/10.1007/978-3-642-12535-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Timing Analysis for Nanometer Designs A Practical Approach ent://SD_ILS/0/SD_ILS:168035 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chadha, Rakesh. author.&#160;Bhasker, J. 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-93820-2">http://dx.doi.org/10.1007/978-0-387-93820-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Software Co-Design of a Multimedia SOC Platform ent://SD_ILS/0/SD_ILS:170593 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chen, Sao-Jie. author.&#160;Lin, Guang-Huei. author.&#160;Hsiung, Pao-Ann. author.&#160;Hu, Yu-Hen. 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-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Predictive Control System Design and Implementation Using MATLAB&reg; ent://SD_ILS/0/SD_ILS:175953 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Wang, Liuping. 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-84882-331-0">http://dx.doi.org/10.1007/978-1-84882-331-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Timing Optimization Through Clock Skew Scheduling ent://SD_ILS/0/SD_ILS:166801 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kourtev, Ivan S. editor.&#160;Taskin, Baris. editor.&#160;Friedman, Eby G. editor.&#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-71056-3">http://dx.doi.org/10.1007/978-0-387-71056-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair ent://SD_ILS/0/SD_ILS:170513 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chang, Kai-hui. author.&#160;Markov, Igor L. 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/978-1-4020-9365-4">http://dx.doi.org/10.1007/978-1-4020-9365-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanosystems Design and Technology ent://SD_ILS/0/SD_ILS:171913 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Micheli, Giovanni. author.&#160;Leblebici, Yusuf. author.&#160;Gijs, Martin. author.&#160;V&ouml;r&ouml;s, Janos. 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-4419-0255-9">http://dx.doi.org/10.1007/978-1-4419-0255-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded System Design Modeling, Synthesis and Verification ent://SD_ILS/0/SD_ILS:171981 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gajski, Daniel D. author.&#160;Abdi, Samar. author.&#160;Gerstlauer, Andreas. author.&#160;Schirner, Gunar. 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-4419-0504-8">http://dx.doi.org/10.1007/978-1-4419-0504-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Verification Methodology Cookbook ent://SD_ILS/0/SD_ILS:172112 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Glasser, Mark. 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-4419-0968-8">http://dx.doi.org/10.1007/978-1-4419-0968-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Embedded System Design Using Field Programmable Gate Arrays ent://SD_ILS/0/SD_ILS:175875 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Dubey, Rahul. 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-84882-016-6">http://dx.doi.org/10.1007/978-1-84882-016-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1 ent://SD_ILS/0/SD_ILS:190329 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Zhou, Jie. 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-02466-5">http://dx.doi.org/10.1007/978-3-642-02466-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings ent://SD_ILS/0/SD_ILS:191462 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;&#346;l&#281;zak, Dominik. editor.&#160;Kim, Tai-hoon. editor.&#160;Stoica, Adrian. editor.&#160;Kang, Byeong-Ho. 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-10741-2">http://dx.doi.org/10.1007/978-3-642-10741-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen ent://SD_ILS/0/SD_ILS:189632 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Tiegelkamp, Michael. author.&#160;John, Karl Heinz. author.&#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-00269-4">http://dx.doi.org/10.1007/978-3-642-00269-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Standardized Functional Verification ent://SD_ILS/0/SD_ILS:166868 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Wiemann, Alan. 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-71733-3">http://dx.doi.org/10.1007/978-0-387-71733-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Artificial Evolution A Handbook on Evolutionary Art and Music ent://SD_ILS/0/SD_ILS:186674 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Romero, Juan. editor.&#160;Machado, Penousal. 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-72877-1">http://dx.doi.org/10.1007/978-3-540-72877-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189442 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Shen, Weiming. editor.&#160;Yong, Jianming. editor.&#160;Yang, Yun. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;Luo, Junzhou. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-92719-8">http://dx.doi.org/10.1007/978-3-540-92719-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Power Distribution Networks with On-Chip Decoupling Capacitors ent://SD_ILS/0/SD_ILS:166853 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Popovich, Mikhhail. author.&#160;Mezhiba, Andrey V. author.&#160;Friedman, Eby G. 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-71601-5">http://dx.doi.org/10.1007/978-0-387-71601-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Verification Coverage Measurement and Analysis ent://SD_ILS/0/SD_ILS:170041 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Piziali, Andrew. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117979">http://dx.doi.org/10.1007/b117979</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Creating Assertion-Based IP ent://SD_ILS/0/SD_ILS:166578 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Foster, Harry D. author.&#160;Krolnik, Adam C. 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-68398-0">http://dx.doi.org/10.1007/978-0-387-68398-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design for Manufacturability and Statistical Design A Constructive Approach ent://SD_ILS/0/SD_ILS:166681 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Orshansky, Michael. author.&#160;Nassif, Sani R. author.&#160;Boning, Duane. 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-69011-7">http://dx.doi.org/10.1007/978-0-387-69011-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Low-Power High-Level Synthesis for Nanoscale CMOS Circuits ent://SD_ILS/0/SD_ILS:167341 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Patra, Priyardarsan. author.&#160;Kougianos, Elias. author.&#160;Ranganathan, Nagarajan. author.&#160;Mohanty, Saraju P. 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-76474-0">http://dx.doi.org/10.1007/978-0-387-76474-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Active Inductors and Transformers Principle, Implementation, and Applications ent://SD_ILS/0/SD_ILS:167343 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Yuan, Fei. 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-76479-5">http://dx.doi.org/10.1007/978-0-387-76479-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Verilog for Verification A Guide to Learning the Testbench Language Features ent://SD_ILS/0/SD_ILS:167358 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/978-0-387-76530-3">http://dx.doi.org/10.1007/978-0-387-76530-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Nanometer Technology Designs High-Quality Delay Tests ent://SD_ILS/0/SD_ILS:167292 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Tehranipoor, Mohammad. author.&#160;Ahmed, Nisar. 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-75728-5">http://dx.doi.org/10.1007/978-0-387-75728-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Writing mental ray&reg; Shaders A Perceptual Introduction ent://SD_ILS/0/SD_ILS:176957 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Kopra, Andy. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-211-48965-9">http://dx.doi.org/10.1007/978-3-211-48965-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers ent://SD_ILS/0/SD_ILS:188254 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/978-3-540-78827-0">http://dx.doi.org/10.1007/978-3-540-78827-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them ent://SD_ILS/0/SD_ILS:166862 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Sutherland, Stuart. author.&#160;Mills, Don. 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-71715-9">http://dx.doi.org/10.1007/978-0-387-71715-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Hardware Verification with SystemVerilog An Object-Oriented Framework ent://SD_ILS/0/SD_ILS:166869 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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-71740-1">http://dx.doi.org/10.1007/978-0-387-71740-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Visualization of Digital Terrain and Landscape Data A Manual ent://SD_ILS/0/SD_ILS:182327 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/978-3-540-30491-3">http://dx.doi.org/10.1007/978-3-540-30491-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling ent://SD_ILS/0/SD_ILS:186381 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Pastor, Oscar. author.&#160;Molina, Juan Carlos. author.&#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-71868-0">http://dx.doi.org/10.1007/978-3-540-71868-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:186668 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Shen, Weiming. editor.&#160;Luo, Junzhou. editor.&#160;Lin, Zongkai. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;Hao, Qi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72863-4">http://dx.doi.org/10.1007/978-3-540-72863-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> IT-Projektrecht Vertragliche Gestaltung und Steuerung von IT-Projekten, Best Practices, Haftung der Gesch&auml;ftsleitung ent://SD_ILS/0/SD_ILS:186781 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Koch, Frank A. author.&#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-73224-2">http://dx.doi.org/10.1007/978-3-540-73224-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Full-Chip Nanometer Routing Techniques ent://SD_ILS/0/SD_ILS:169715 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Ho, Tsung-Yi. author.&#160;Chang, Yao-Wen. author.&#160;Chen, Sao-Jie. 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-6195-0">http://dx.doi.org/10.1007/978-1-4020-6195-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer-Aided Architectural Design Futures (CAADFutures) 2007 Proceedings of the 12th International CAADFutures Conference ent://SD_ILS/0/SD_ILS:169843 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Dong, Andy. editor.&#160;Moere, Andrew Vande. editor.&#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-6528-6">http://dx.doi.org/10.1007/978-1-4020-6528-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inverse Problems in Electric Circuits and Electromagnetics ent://SD_ILS/0/SD_ILS:166321 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chechurin, V. L. author.&#160;Korovkin, N. V. author.&#160;Hayakawa, M. 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-46047-5">http://dx.doi.org/10.1007/978-0-387-46047-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> CMOS Current-Mode Circuits for Data Communications ent://SD_ILS/0/SD_ILS:166387 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Yuan, Fei. 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-47691-9">http://dx.doi.org/10.1007/978-0-387-47691-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Closing the Power Gap Between ASIC &amp; Custom Tools and Techniques for Low Power Design ent://SD_ILS/0/SD_ILS:166665 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Chinnery, David. author.&#160;Keutzer, Kurt. 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-68953-1">http://dx.doi.org/10.1007/978-0-387-68953-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification Methodology Manual for SystemVerilog ent://SD_ILS/0/SD_ILS:165150 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility ent://SD_ILS/0/SD_ILS:165289 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Embedded System Design ent://SD_ILS/0/SD_ILS:165694 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Hardware Verification with C++ A Practitioner&rsquo;s Handbook ent://SD_ILS/0/SD_ILS:166141 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Layoutsynthese elektronischer Schaltungen &mdash; Grundlegende Algorithmen f&uuml;r die Entwurfsautomatisierung ent://SD_ILS/0/SD_ILS:182190 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:183063 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity ent://SD_ILS/0/SD_ILS:165020 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Interconnect Noise Optimization in Nanometer Technologies ent://SD_ILS/0/SD_ILS:165637 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Constraint-Based Verification ent://SD_ILS/0/SD_ILS:165761 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Writing Testbenches using System Verilog ent://SD_ILS/0/SD_ILS:165809 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500&trade; ent://SD_ILS/0/SD_ILS:166049 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms ent://SD_ILS/0/SD_ILS:169289 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits ent://SD_ILS/0/SD_ILS:169386 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> 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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Visualisierung digitaler Gel&auml;nde- und Landschaftsdaten ent://SD_ILS/0/SD_ILS:182339 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> 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 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z 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/> Mixed-Signal Layout Generation Concepts ent://SD_ILS/0/SD_ILS:164624 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Lin, Chieh. author.&#160;Roermund, Arthur H. M. author.&#160;Leenaerts, Domine M. W. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106472">http://dx.doi.org/10.1007/b106472</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Design and Specification Languages for SoCs Selected Contributions from FDL&rsquo;04 ent://SD_ILS/0/SD_ILS:165237 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Boulet, Pierre. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional Verification of Programmable Embedded Architectures A Top-Down Approach ent://SD_ILS/0/SD_ILS:165277 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Mishra, Prabhat. author.&#160;Dutt, Nikil D. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182866 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Shen, Weiming. editor.&#160;Lin, Zongkai. editor.&#160;Barth&egrave;s, Jean-Paul A. editor.&#160;Li, Tangqiu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11568421">http://dx.doi.org/10.1007/11568421</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interconnect-Centric Design for Advanced SoC and NoC ent://SD_ILS/0/SD_ILS:170034 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Nurmi, Jari. editor.&#160;Tenhunen, Hannu. editor.&#160;Isoaho, Jouni. editor.&#160;Jantsch, Axel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117241">http://dx.doi.org/10.1007/b117241</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Digital Design and Implementation with Field Programmable Devices ent://SD_ILS/0/SD_ILS:170040 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Navabi, Zainalabedin. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117975">http://dx.doi.org/10.1007/b117975</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Assertion-Based Design ent://SD_ILS/0/SD_ILS:170042 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Foster, Harry. author.&#160;Krolnik, Adam. author.&#160;Lacey, David. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117047">http://dx.doi.org/10.1007/b117047</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Direct Transistor-level Layout for Digital Blocks ent://SD_ILS/0/SD_ILS:170043 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gopalakrishnan, Prakash. author.&#160;Rutenbar, Rob A. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117054">http://dx.doi.org/10.1007/b117054</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling &amp; Simulation ent://SD_ILS/0/SD_ILS:170048 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Patel, Hiren D. author.&#160;Shukla, Sandeep K. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b117249">http://dx.doi.org/10.1007/b117249</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Robust Control Design with MATLAB&reg; ent://SD_ILS/0/SD_ILS:175224 2025-12-24T08:40:01Z 2025-12-24T08:40:01Z Author&#160;Gu, Da-Wei. author.&#160;Petkov, Petko Hristov. author.&#160;Konstantinov, Mihail Mihaylov. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b135806">http://dx.doi.org/10.1007/b135806</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 2025-12-24T08:40:01Z 2025-12-24T08:40: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/>