Search Results for Boolean logic - Narrowed by: English
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBoolean$002blogic$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300?
2026-01-22T17:14:59Z
Logic and boolean algebra
ent://SD_ILS/0/SD_ILS:33609
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Arnold, Bradford Henry, 1916-<br/>Preferred Shelf Number QA 266 A7 1962<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks
ent://SD_ILS/0/SD_ILS:487351
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-9429-4">https://doi.org/10.1007/978-1-4614-9429-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
ent://SD_ILS/0/SD_ILS:191764
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Applied satisfiability : cryptography, scheduling and coalitional games
ent://SD_ILS/0/SD_ILS:599624
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Liao, Xiaojuan, author. Koshimura, Miyuki, author.<br/>Preferred Shelf Number QA76.9 .A3 L53 2025<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics for digital science. Volume 1, Fundamentals
ent://SD_ILS/0/SD_ILS:599722
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Cochard, Gerard-Michel, author Hifi, Mhand, author<br/>Preferred Shelf Number QA76.9 .M35<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing with multi-value logic in quantum dot cellular automata
ent://SD_ILS/0/SD_ILS:599269
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Sabbaghi-Nadooshan, Reza, author.<br/>Preferred Shelf Number TK7874.88 .S23 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520840
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520823
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optical and Wireless Technologies Proceedings of OWT 2021
ent://SD_ILS/0/SD_ILS:528282
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-1645-8">https://doi.org/10.1007/978-981-19-1645-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems
ent://SD_ILS/0/SD_ILS:528338
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28916-3">https://doi.org/10.1007/978-3-031-28916-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems biology modelling and analysis : formal bioinformatics methods and tools
ent://SD_ILS/0/SD_ILS:597674
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Maria, Elisabetta de, editor.<br/>Preferred Shelf Number QH324.2 .S9763 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716600">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716600</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic approaches to modeling and analysis of biological systems
ent://SD_ILS/0/SD_ILS:598490
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Preferred Shelf Number QH324.2 .S96 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control of mechatronic systems : model-driven design and implementation guidelines
ent://SD_ILS/0/SD_ILS:596593
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Kaltjob, Patrick O. J., author.<br/>Preferred Shelf Number TJ163.12<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119505730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119505730</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to fuzzy logic
ent://SD_ILS/0/SD_ILS:596643
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Peckol, James K., author. John Wiley & Sons, publisher.<br/>Preferred Shelf Number QA9.64 .P43 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA- and RNA-based computing systems
ent://SD_ILS/0/SD_ILS:596130
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Katz, Evgeny, editor.<br/>Preferred Shelf Number QA76.887 .D53 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital system design using FSMs : a practical learning approach
ent://SD_ILS/0/SD_ILS:596738
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Minns, Peter D., author.<br/>Preferred Shelf Number QA267.5 .S4 M56 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Path planning of cooperative mobile robots using discrete event models
ent://SD_ILS/0/SD_ILS:595729
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Mahulea, Cristian, author. Kloetzer, Marius, author. González, Ramón, author.<br/>Preferred Shelf Number TJ211.415 M34 2020 EB<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used
ent://SD_ILS/0/SD_ILS:596092
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Domingo, George, 1937- author.<br/>Preferred Shelf Number TK7871.85 .D66 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enzyme-Based Computing Systems
ent://SD_ILS/0/SD_ILS:595357
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Katz, Evgeny, author.<br/>Preferred Shelf Number QH506 .K38 2019<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527819997">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527819997</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning C# 7 Programming with Visual Studio 2017
ent://SD_ILS/0/SD_ILS:594435
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.<br/>Preferred Shelf Number QA76.73 .C154<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft computing evaluation logic : the LSP decision method and its applications
ent://SD_ILS/0/SD_ILS:593988
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Dujmovic, Jozo, 1941- author.<br/>Preferred Shelf Number QA76.9 .S63 D85 2018<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced nanoelectronics : post-silicon materials and devices
ent://SD_ILS/0/SD_ILS:594821
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Hussain, Muhammad Mustafa, editor.<br/>Preferred Shelf Number TK7874.84<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527811861">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527811861</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519137
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
ent://SD_ILS/0/SD_ILS:519146
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46823-4">https://doi.org/10.1007/978-3-662-46823-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518953
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20860-2">https://doi.org/10.1007/978-3-319-20860-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519117
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519293
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linux with operating system concepts
ent://SD_ILS/0/SD_ILS:544097
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Fox, Richard, author. Taylor and Francis.<br/>Preferred Shelf Number QA76.774 .L46<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482235906">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
The logician and the engineer : how George Boole and Claude Shannon created the information age
ent://SD_ILS/0/SD_ILS:376778
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to mathematics of satisfiability
ent://SD_ILS/0/SD_ILS:544045
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Marek, V. W. (V. Wiktor), 1943, author.<br/>Preferred Shelf Number QA9.3 .M37 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439801741">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Communication complexity a new approach to circuit depth
ent://SD_ILS/0/SD_ILS:220119
2026-01-22T17:14:59Z
2026-01-22T17:14:59Z
Author Karchmer, Mauricio.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>