Search Results for - Narrowed by: English - Electronic Library - 2010 - Computer aided design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Computer$002baided$002bdesign.$002509Computer$002baided$002bdesign.$0026ic$003dtrue$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue? 2024-08-23T04:34:02Z Structural Optimization with Uncertainties ent://SD_ILS/0/SD_ILS:204817 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Banichuk, N.V. author.&#160;Neittaanm&auml;ki, Pekka. 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-2518-0">http://dx.doi.org/10.1007/978-90-481-2518-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OntoCAPE A Re-Usable Ontology for Chemical Process Engineering ent://SD_ILS/0/SD_ILS:191017 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Marquardt, Wolfgang. author.&#160;Morbach, Jan. author.&#160;Wiesner, Andreas. author.&#160;Yang, Aidong. 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-04655-1">http://dx.doi.org/10.1007/978-3-642-04655-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, T&oslash;nsberg, Norway, June 26-July 1, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191742 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;D&aelig;hlen, Morten. editor.&#160;Floater, Michael. editor.&#160;Lyche, Tom. editor.&#160;Merrien, Jean-Louis. editor.&#160;M&oslash;rken, Knut. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11620-9">http://dx.doi.org/10.1007/978-3-642-11620-9</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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Power-Aware Testing and Test Strategies for Low Power Devices ent://SD_ILS/0/SD_ILS:172100 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification ent://SD_ILS/0/SD_ILS:172104 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs ent://SD_ILS/0/SD_ILS:172105 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> ESL Models and their Application Electronic System Level Design and Verification in Practice ent://SD_ILS/0/SD_ILS:172111 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> C Compilers for ASIPs Automatic Compiler Generation with LISA ent://SD_ILS/0/SD_ILS:172172 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Software Automatic Tuning From Concepts to State-of-the-Art Results ent://SD_ILS/0/SD_ILS:172726 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> FPGA Design Best Practices for Team-based Design ent://SD_ILS/0/SD_ILS:172568 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Simulation Methods for Reliability and Availability of Complex Systems ent://SD_ILS/0/SD_ILS:175923 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Dynamic Modelling for Supply Chain Management Dealing with Front-end, Back-end and Integration Issues ent://SD_ILS/0/SD_ILS:176040 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Crespo M&aacute;rquez, Adolfo. 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-681-6">http://dx.doi.org/10.1007/978-1-84882-681-6</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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> System Design Optimization for Product Manufacturing ent://SD_ILS/0/SD_ILS:176127 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Yoshimura, Masataka. 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-008-3">http://dx.doi.org/10.1007/978-1-84996-008-3</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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> E-maintenance ent://SD_ILS/0/SD_ILS:176185 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> SystemC: From the Ground Up ent://SD_ILS/0/SD_ILS:166754 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies ent://SD_ILS/0/SD_ILS:172367 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Scalable Techniques for Formal Verification ent://SD_ILS/0/SD_ILS:172480 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Processor and System-on-Chip Simulation ent://SD_ILS/0/SD_ILS:172523 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Power-efficient System Design ent://SD_ILS/0/SD_ILS:172582 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction ent://SD_ILS/0/SD_ILS:172585 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits ent://SD_ILS/0/SD_ILS:172607 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Geometric Algebra Computing in Engineering and Computer Science ent://SD_ILS/0/SD_ILS:176159 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Bayro-Corrochano, Eduardo. editor.&#160;Scheuermann, Gerik. 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-108-0">http://dx.doi.org/10.1007/978-1-84996-108-0</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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Analysis and Design of Univariate Subdivision Schemes ent://SD_ILS/0/SD_ILS:192403 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Sabin, Malcolm. 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-13648-1">http://dx.doi.org/10.1007/978-3-642-13648-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security in Embedded Devices ent://SD_ILS/0/SD_ILS:172275 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Design and Verification of Microprocessor Systems for High-Assurance Applications ent://SD_ILS/0/SD_ILS:172277 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Composing Software Components A Software-testing Perspective ent://SD_ILS/0/SD_ILS:172786 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z 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/> Shape Interrogation for Computer Aided Design and Manufacturing ent://SD_ILS/0/SD_ILS:190827 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Patrikalakis, Nicholas M. author.&#160;Maekawa, Takashi. 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-04074-0">http://dx.doi.org/10.1007/978-3-642-04074-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions ent://SD_ILS/0/SD_ILS:191148 2024-08-23T04:34:02Z 2024-08-23T04:34:02Z Author&#160;Bangsow, Steffen. 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-05074-9">http://dx.doi.org/10.1007/978-3-642-05074-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>