Search Results for Logic - Narrowed by: English - Computer science. - Engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Engineering.$002509Engineering.$0026te$003dILS$0026ps$003d300? 2024-11-19T04:52:32Z Mathematics of Fuzzy Sets and Fuzzy Logic ent://SD_ILS/0/SD_ILS:333950 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> Design, Analysis and Test of Logic Circuits Under Uncertainty ent://SD_ILS/0/SD_ILS:335669 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> Risk Management Technologies With Logic and Probabilistic Models ent://SD_ILS/0/SD_ILS:206641 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> Disruptive Logic Architectures and Technologies From Device to System Level ent://SD_ILS/0/SD_ILS:174185 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology ent://SD_ILS/0/SD_ILS:191764 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> On Fuzziness A Homage to Lotfi A. Zadeh &ndash; Volume 1 ent://SD_ILS/0/SD_ILS:334017 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> Complex Binary Number System Algorithms and Circuits ent://SD_ILS/0/SD_ILS:335470 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> High-Level Synthesis From Algorithm to Digital Circuit ent://SD_ILS/0/SD_ILS:170235 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/> A Roadmap for Formal Property Verification ent://SD_ILS/0/SD_ILS:169271 2024-11-19T04:52:32Z 2024-11-19T04:52:32Z 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/>