Search Results for Logic. - Narrowed by: Engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dSUBJECT$002509Subject$002509Engineering.$002509Engineering.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-27T07:48:46Z Fuzzy Equational Logic ent://SD_ILS/0/SD_ILS:183348 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;B&#283;lohl&aacute;vek, Radim. author.&#160;Vychodil, Vil&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/b105121">http://dx.doi.org/10.1007/b105121</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Circuit Design Selected Methods ent://SD_ILS/0/SD_ILS:196263 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Vingron, Shimon 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-3-642-27657-6">http://dx.doi.org/10.1007/978-3-642-27657-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Fuzzy Logic using MATLAB ent://SD_ILS/0/SD_ILS:184305 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Sivanandam, S. N. author.&#160;Sumathi, S. author.&#160;Deepa, S. N. 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-35781-0">http://dx.doi.org/10.1007/978-3-540-35781-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic Applications in Engineering Science ent://SD_ILS/0/SD_ILS:169075 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Harris, J. author.&#160;Tzafestas, S. G. editor.&#160;Chen, C. S. editor.&#160;Fokuda, T. editor.&#160;Harashima, F. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-4078-4">http://dx.doi.org/10.1007/1-4020-4078-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic, Identification and Predictive Control ent://SD_ILS/0/SD_ILS:175220 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Espinosa, Jairo. author.&#160;Vandewalle, Joos. author.&#160;Wertz, Vincent. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138626">http://dx.doi.org/10.1007/b138626</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic in Financial Analysis ent://SD_ILS/0/SD_ILS:183311 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Gil-Lafuente, Anna Maria. 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-32368-6">http://dx.doi.org/10.1007/3-540-32368-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Fuzzy Sets and Fuzzy Logic ent://SD_ILS/0/SD_ILS:333950 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Bede, Barnabas. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333950.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35221-8">http://dx.doi.org/10.1007/978-3-642-35221-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Linguistic Fuzzy Logic Methods in Social Sciences ent://SD_ILS/0/SD_ILS:192305 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Arfi, Badredine. 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-13343-5">http://dx.doi.org/10.1007/978-3-642-13343-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Towards a Design Flow for Reversible Logic ent://SD_ILS/0/SD_ILS:205530 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Wille, Robert. author.&#160;Drechsler, Rolf. 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-9579-4">http://dx.doi.org/10.1007/978-90-481-9579-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge-Based Neurocomputing: A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:188985 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Kolman, Eyal. author.&#160;Margaliot, 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-3-540-88077-6">http://dx.doi.org/10.1007/978-3-540-88077-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Synthesis for FSM-Based Control Units ent://SD_ILS/0/SD_ILS:190905 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Barkalov, Alexander. author.&#160;Titarenko, Larysa. 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-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Type-2 Fuzzy Logic: Theory and Applications ent://SD_ILS/0/SD_ILS:187564 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Castillo, Oscar. author.&#160;Melin, Patricia. 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-76284-3">http://dx.doi.org/10.1007/978-3-540-76284-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Synthesis for Compositional Microprogram Control Units ent://SD_ILS/0/SD_ILS:185766 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Barkalov, Alexander. editor.&#160;Titarenko, Larysa. 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-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Fuzzy Logic Technologies in Industrial Applications ent://SD_ILS/0/SD_ILS:175430 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Bai, Ying. editor.&#160;Zhuang, Hanqi. editor.&#160;Wang, Dali. 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-84628-469-4">http://dx.doi.org/10.1007/978-1-84628-469-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integration of Fuzzy Logic and Chaos Theory ent://SD_ILS/0/SD_ILS:183408 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Li, Zhong. editor.&#160;Halang, Wolfgang A. editor.&#160;Chen, Guanrong. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-32502-6">http://dx.doi.org/10.1007/3-540-32502-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 &ndash; The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN&rsquo;2017 &ndash; The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 3 ent://SD_ILS/0/SD_ILS:399038 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Kacprzyk, Janusz. editor.&#160;Szmidt, Eulalia. editor.&#160;Zadro&#380;ny, Slawomir. editor.&#160;Atanassov, Krassimir T. editor.&#160;Krawczak, Maciej. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66827-7">https://doi.org/10.1007/978-3-319-66827-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic Synthesis for Finite State Machines Based on Linear Chains of States Foundations, Recent Developments and Challenges ent://SD_ILS/0/SD_ILS:400169 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Barkalov, Alexander. author.&#160;Titarenko, Larysa. author.&#160;Bieganowski, Jacek. 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-59837-6">https://doi.org/10.1007/978-3-319-59837-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic ent://SD_ILS/0/SD_ILS:401807 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Olivas, Frumen. author.&#160;Valdez, Fevrier. author.&#160;Castillo, Oscar. author.&#160;Melin, Patricia. 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-70851-5">https://doi.org/10.1007/978-3-319-70851-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic in Intelligent System Design Theory and Applications ent://SD_ILS/0/SD_ILS:400579 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Melin, Patricia. editor.&#160;Castillo, Oscar. editor.&#160;Kacprzyk, Janusz. editor.&#160;Reformat, Marek. editor.&#160;Melek, William. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67137-6">https://doi.org/10.1007/978-3-319-67137-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications ent://SD_ILS/0/SD_ILS:401392 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Castillo, Oscar. editor.&#160;Melin, Patricia. editor.&#160;Kacprzyk, Janusz. 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-71008-2">https://doi.org/10.1007/978-3-319-71008-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT-2017 &ndash; The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11&ndash;15, 2017, Warsaw, Poland IWIFSGN&rsquo;2017 &ndash; The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13&ndash;15, 2017, Warsaw, Poland, Volume 1 ent://SD_ILS/0/SD_ILS:401408 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Kacprzyk, Janusz. editor.&#160;Szmidt, Eulalia. editor.&#160;Zadro&#380;ny, S&#322;awomir. editor.&#160;Atanassov, Krassimir T. editor.&#160;Krawczak, Maciej. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66830-7">https://doi.org/10.1007/978-3-319-66830-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution ent://SD_ILS/0/SD_ILS:402429 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;John, Robert. editor.&#160;Hagras, Hani. editor.&#160;Castillo, Oscar. 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-72892-6">https://doi.org/10.1007/978-3-319-72892-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Fuzzy Logic and Technology 2017 Proceedings of: EUSFLAT- 2017 &ndash; The 10th Conference of the European Society for Fuzzy Logic and Technology, September 11-15, 2017, Warsaw, Poland IWIFSGN&rsquo;2017 &ndash; The Sixteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets, September 13-15, 2017, Warsaw, Poland, Volume 2 ent://SD_ILS/0/SD_ILS:402618 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Kacprzyk, Janusz. editor.&#160;Szmidt, Eulalia. editor.&#160;Zadro&#380;ny, Slawomir. editor.&#160;Atanassov, K. T. editor.&#160;Krawczak, Maciej. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66824-6">https://doi.org/10.1007/978-3-319-66824-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Classification Method Based on Modular Neural Networks with the LVQ Algorithm and Type-2 Fuzzy Logic ent://SD_ILS/0/SD_ILS:402508 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Amezcua, Jonathan. author.&#160;Melin, Patricia. author.&#160;Castillo, Oscar. 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-73773-7">https://doi.org/10.1007/978-3-319-73773-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Selected Advances in Nanoelectronic Devices Logic, Memory and RF ent://SD_ILS/0/SD_ILS:333427 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Joodaki, Mojtaba. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333427.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31350-9">http://dx.doi.org/10.1007/978-3-642-31350-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions ent://SD_ILS/0/SD_ILS:333898 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Aliev, Rafik Aziz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333898.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34895-2">http://dx.doi.org/10.1007/978-3-642-34895-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Krishnaswamy, Smita. author.&#160;Markov, Igor L. author.&#160;Hayes, John P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335669.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9644-9">http://dx.doi.org/10.1007/978-90-481-9644-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty ent://SD_ILS/0/SD_ILS:333243 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Starczewski, Janusz T. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333243.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29520-1">http://dx.doi.org/10.1007/978-3-642-29520-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop ent://SD_ILS/0/SD_ILS:333670 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Lorente, Nicolas. editor.&#160;Joachim, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333670.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33137-4">http://dx.doi.org/10.1007/978-3-642-33137-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Finite State Machine Logic Synthesis for Complex Programmable Logic Devices ent://SD_ILS/0/SD_ILS:334139 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Czerwinski, Robert. author.&#160;Kania, Dariusz. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334139.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36166-1">http://dx.doi.org/10.1007/978-3-642-36166-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Early Software Reliability Prediction A Fuzzy Logic Approach ent://SD_ILS/0/SD_ILS:335512 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Pandey, Ajeet Kumar. author.&#160;Goyal, Neeraj Kumar. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335512.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-1176-1">http://dx.doi.org/10.1007/978-81-322-1176-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic ent://SD_ILS/0/SD_ILS:168623 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Robyns, Beno&icirc;t. author.&#160;Francois, Bruno. author.&#160;Degobert, Philippe. author.&#160;Hautier, Jean 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-0-85729-901-7">http://dx.doi.org/10.1007/978-0-85729-901-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Disruptive Logic Architectures and Technologies From Device to System Level ent://SD_ILS/0/SD_ILS:174185 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Gaillardon, Pierre-Emmanuel. author.&#160;O&rsquo;Connor, Ian. author.&#160;Clermidy, Fabien. 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-3058-2">http://dx.doi.org/10.1007/978-1-4614-3058-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risk Management Technologies With Logic and Probabilistic Models ent://SD_ILS/0/SD_ILS:206641 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Solozhentsev, E.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-94-007-4288-8">http://dx.doi.org/10.1007/978-94-007-4288-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Type-2 Fuzzy Logic in Intelligent Control Applications ent://SD_ILS/0/SD_ILS:195707 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Castillo, Oscar. 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-24663-0">http://dx.doi.org/10.1007/978-3-642-24663-0</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 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology ent://SD_ILS/0/SD_ILS:191764 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Stankovi&#263;, Radomir S. author.&#160;Astola, Jaakko. 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-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Asynchronous Operators of Sequential Logic: Venjunction &amp; Sequention Digital Circuit Analysis and Design ent://SD_ILS/0/SD_ILS:194757 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Vasyukevich, Vadim. 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-21611-4">http://dx.doi.org/10.1007/978-3-642-21611-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp ent://SD_ILS/0/SD_ILS:195153 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Perlovsky, Leonid. author.&#160;Deming, Ross. author.&#160;Ilin, Roman. 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-22830-8">http://dx.doi.org/10.1007/978-3-642-22830-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic-Based Algorithms for Video De-Interlacing ent://SD_ILS/0/SD_ILS:191449 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Brox, Piedad. author.&#160;Baturone, Iluminada. author.&#160;S&aacute;nchez-Solano, Santiago. 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-10695-8">http://dx.doi.org/10.1007/978-3-642-10695-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information ent://SD_ILS/0/SD_ILS:192546 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Cao, Tru Hoang. 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-14087-7">http://dx.doi.org/10.1007/978-3-642-14087-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery ent://SD_ILS/0/SD_ILS:192900 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Magnani, Lorenzo. editor.&#160;Carnielli, Walter. editor.&#160;Pizzi, Claudio. 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-15223-8">http://dx.doi.org/10.1007/978-3-642-15223-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Quantitative Logic and Soft Computing 2010 Volume 2 ent://SD_ILS/0/SD_ILS:193043 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Cao, Bing-yuan. editor.&#160;Wang, Guo-jun. editor.&#160;Chen, Shui-li. editor.&#160;Guo, Si-zong. 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-15660-1">http://dx.doi.org/10.1007/978-3-642-15660-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Views on Fuzzy Sets and Systems from Different Perspectives Philosophy and Logic, Criticisms and Applications ent://SD_ILS/0/SD_ILS:189511 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Seising, Rudolf. 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-93802-6">http://dx.doi.org/10.1007/978-3-540-93802-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications ent://SD_ILS/0/SD_ILS:189362 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Celikyilmaz, Asli. author.&#160;T&uuml;rksen, I. Burhan. 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-89924-2">http://dx.doi.org/10.1007/978-3-540-89924-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic in Action: Applications in Epidemiology and Beyond ent://SD_ILS/0/SD_ILS:185711 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Massad, Eduardo. author.&#160;Ortega, Neli Regina Siqueira. author.&#160;Barros, Laecio Carvalho. author.&#160;Struchiner, Claudio 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-3-540-69094-8">http://dx.doi.org/10.1007/978-3-540-69094-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzzy Logic A Spectrum of Theoretical &amp; Practical Issues ent://SD_ILS/0/SD_ILS:186227 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Wang, Paul P. editor.&#160;Ruan, Da. editor.&#160;Kerre, Etienne 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-3-540-71258-9">http://dx.doi.org/10.1007/978-3-540-71258-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Advances and Applications of Fuzzy Logic and Soft Computing ent://SD_ILS/0/SD_ILS:186540 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Castillo, Oscar. editor.&#160;Melin, Patricia. editor.&#160;Ross, Oscar Montiel. editor.&#160;Sep&uacute;lveda Cruz, Roberto. editor.&#160;Pedrycz, Witold. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72434-6">http://dx.doi.org/10.1007/978-3-540-72434-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach ent://SD_ILS/0/SD_ILS:183536 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Penczek, Wojciech. author.&#160;P&oacute;lrola, Agata. 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-32870-4">http://dx.doi.org/10.1007/978-3-540-32870-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines ent://SD_ILS/0/SD_ILS:183748 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Bhattacharya, Alakananda. author.&#160;Konar, Amit. author.&#160;Mandal, Ajit 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-3-540-33459-0">http://dx.doi.org/10.1007/978-3-540-33459-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Switching Theory and Logic Design A Hands on Approach ent://SD_ILS/0/SD_ILS:165712 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Astola, Jaakko T. author.&#160;Stankovi&#263;, Radomir 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-30311-1">http://dx.doi.org/10.1007/0-387-30311-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits ent://SD_ILS/0/SD_ILS:168770 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Alioto, Massimo. author.&#160;Palumbo, Gaetano. 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-2888-1">http://dx.doi.org/10.1007/1-4020-2888-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Adaptive Systems Using Auto Contractive Maps Theory, Applications and Extensions ent://SD_ILS/0/SD_ILS:402514 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Buscema, Paolo Massimo. author.&#160;Massini, Giulia. author.&#160;Breda, Marco. author.&#160;Lodwick, Weldon A. author.&#160;Newman, Francis. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-75049-1">https://doi.org/10.1007/978-3-319-75049-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Binary Number System Algorithms and Circuits ent://SD_ILS/0/SD_ILS:335470 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Jamil, Tariq. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335470.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-81-322-0854-9">http://dx.doi.org/10.1007/978-81-322-0854-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Fuzziness A Homage to Lotfi A. Zadeh &ndash; Volume 1 ent://SD_ILS/0/SD_ILS:334017 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Seising, Rudolf. editor.&#160;Trillas, Enric. editor.&#160;Moraga, Claudio. editor.&#160;Termini, Settimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334017.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35641-4">http://dx.doi.org/10.1007/978-3-642-35641-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Fuzziness A Homage to Lotfi A. Zadeh &ndash; Volume 2 ent://SD_ILS/0/SD_ILS:334018 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Seising, Rudolf. editor.&#160;Trillas, Enric. editor.&#160;Moraga, Claudio. editor.&#160;Termini, Settimo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334018.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35644-5">http://dx.doi.org/10.1007/978-3-642-35644-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Digital Automata ent://SD_ILS/0/SD_ILS:335923 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Borowik, Bohdan. author.&#160;Karpinskyy, Mykola. author.&#160;Lahno, Valery. author.&#160;Petrov, Oleksandr. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335923.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-5228-3">http://dx.doi.org/10.1007/978-94-007-5228-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Unknown Component Problem Theory and Applications ent://SD_ILS/0/SD_ILS:166624 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Villa, Tiziano. author.&#160;Yevtushenko, Nina. author.&#160;Brayton, Robert K. author.&#160;Mishchenko, Alan. author.&#160;Petrenko, Alexandre. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-68759-9">http://dx.doi.org/10.1007/978-0-387-68759-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Entwurf integrierter 3D-Systeme der Elektronik ent://SD_ILS/0/SD_ILS:196921 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Lienig, Jens. editor.&#160;Dietrich, Manfred. 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-30572-6">http://dx.doi.org/10.1007/978-3-642-30572-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compact Models and Measurement Techniques for High-Speed Interconnects ent://SD_ILS/0/SD_ILS:173845 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Sharma, Rohit. author.&#160;Chakravarty, Tapas. 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-1071-3">http://dx.doi.org/10.1007/978-1-4614-1071-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recognizing Variable Environments The Theory of Cognitive Prism ent://SD_ILS/0/SD_ILS:195532 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Dong, Tiansi. 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-24058-4">http://dx.doi.org/10.1007/978-3-642-24058-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On Intuitionistic Fuzzy Sets Theory ent://SD_ILS/0/SD_ILS:196621 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Atanassov, Krassimir T. 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-29127-2">http://dx.doi.org/10.1007/978-3-642-29127-2</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 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits ent://SD_ILS/0/SD_ILS:205904 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> Speech Processing in Embedded Systems ent://SD_ILS/0/SD_ILS:167277 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Sinha, Priyabrata. 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-75581-6">http://dx.doi.org/10.1007/978-0-387-75581-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Electronics System Design Techniques for Safety Critical Applications ent://SD_ILS/0/SD_ILS:170397 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Sterpone, Luca. 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-8979-4">http://dx.doi.org/10.1007/978-1-4020-8979-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> More than Moore Creating High Value Micro/Nanoelectronics Systems ent://SD_ILS/0/SD_ILS:167281 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Zhang, Guo Qi. editor.&#160;Roosmalen, Alfred. 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-75593-9">http://dx.doi.org/10.1007/978-0-387-75593-9</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 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> Introduction to Embedded System Design Using Field Programmable Gate Arrays ent://SD_ILS/0/SD_ILS:175875 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> Fuzzy Rationality A Critique and Methodological Unity of Classical, Bounded and Other Rationalities ent://SD_ILS/0/SD_ILS:188988 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Dompere, Kofi Kissi. 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-88083-7">http://dx.doi.org/10.1007/978-3-540-88083-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Epistemic Foundations of Fuzziness Unified Theories on Decision-Choice Processes ent://SD_ILS/0/SD_ILS:188989 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Dompere, Kofi Kissi. 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-88085-1">http://dx.doi.org/10.1007/978-3-540-88085-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior ent://SD_ILS/0/SD_ILS:188990 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Dompere, Kofi Kissi. 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-88087-5">http://dx.doi.org/10.1007/978-3-540-88087-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> High-Level Synthesis From Algorithm to Digital Circuit ent://SD_ILS/0/SD_ILS:170235 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Coussy, Philippe. editor.&#160;Morawiec, Adam. 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-8588-8">http://dx.doi.org/10.1007/978-1-4020-8588-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Problems in VLSI Physical Design Automation ent://SD_ILS/0/SD_ILS:169876 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Lim, Sung Kyu. 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-6627-6">http://dx.doi.org/10.1007/978-1-4020-6627-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Developments in Formal Languages and Applications ent://SD_ILS/0/SD_ILS:188079 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Bel-Enguix, Gemma. editor.&#160;Jim&eacute;nez-L&oacute;pez, M. Dolores. editor.&#160;Mart&iacute;n-Vide, Carlos. 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-78291-9">http://dx.doi.org/10.1007/978-3-540-78291-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault-Tolerance Techniques for SRAM-based FPGAs ent://SD_ILS/0/SD_ILS:165779 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Kastensmidt, Fernanda Lima. author.&#160;Carro, Luigi. author.&#160;Reis, Ricardo. 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-31069-5">http://dx.doi.org/10.1007/978-0-387-31069-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 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> Layoutsynthese elektronischer Schaltungen &mdash; Grundlegende Algorithmen f&uuml;r die Entwurfsautomatisierung ent://SD_ILS/0/SD_ILS:182190 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/> New Algorithms, Architectures and Applications for Reconfigurable Computing ent://SD_ILS/0/SD_ILS:168817 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z Author&#160;Lysaght, Patrick. editor.&#160;Rosenstiel, Wolfgang. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</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 2024-12-27T07:48:46Z 2024-12-27T07:48:46Z 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/>