Arama Sonuçları Boolean logicSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dBoolean$002blogic$0026ps$003d300$0026isd$003dtrue?2026-01-22T11:30:16ZLogic and boolean algebraent://SD_ILS/0/SD_ILS:336092026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Arnold, Bradford Henry, 1916-<br/>Yer Numarası QA 266 A7 1962<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networksent://SD_ILS/0/SD_ILS:4873512026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Lin, Pey-Chang Kent. author. Khatri, Sunil P. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ones and zeros understanding Boolean algebra, digital circuits, and the logic of setsent://SD_ILS/0/SD_ILS:2496792026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Gregg, John.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applied satisfiability : cryptography, scheduling and coalitional gamesent://SD_ILS/0/SD_ILS:5996242026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Liao, Xiaojuan, author. Koshimura, Miyuki, author.<br/>Yer Numarası QA76.9 .A3 L53 2025<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics for digital science. Volume 1, Fundamentalsent://SD_ILS/0/SD_ILS:5997222026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Cochard, Gerard-Michel, author Hifi, Mhand, author<br/>Yer Numarası QA76.9 .M35<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352050</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing with multi-value logic in quantum dot cellular automataent://SD_ILS/0/SD_ILS:5992692026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Sabbaghi-Nadooshan, Reza, author.<br/>Yer Numarası TK7874.88 .S23 2024<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problemsent://SD_ILS/0/SD_ILS:5283382026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Drechsler, Rolf. editor. Huhn, Sebastian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optical and Wireless Technologies Proceedings of OWT 2021ent://SD_ILS/0/SD_ILS:5282822026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Tiwari, Manish. editor. Ismail, Yaseera. editor. Verma, Karan. editor. Garg, Amit Kumar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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 IIent://SD_ILS/0/SD_ILS:5208402026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symbolic approaches to modeling and analysis of biological systemsent://SD_ILS/0/SD_ILS:5984902026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.<br/>Yer Numarası QH324.2 .S96 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Systems biology modelling and analysis : formal bioinformatics methods and toolsent://SD_ILS/0/SD_ILS:5976742026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Maria, Elisabetta de, editor.<br/>Yer Numarası QH324.2 .S9763 2023<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716600">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716600</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>DNA- and RNA-based computing systemsent://SD_ILS/0/SD_ILS:5961302026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Katz, Evgeny, editor.<br/>Yer Numarası QA76.887 .D53 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Digital system design using FSMs : a practical learning approachent://SD_ILS/0/SD_ILS:5967382026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Minns, Peter D., author.<br/>Yer Numarası QA267.5 .S4 M56 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119782735</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to fuzzy logicent://SD_ILS/0/SD_ILS:5966432026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Peckol, James K., author. John Wiley & Sons, publisher.<br/>Yer Numarası QA9.64 .P43 2021<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Control of mechatronic systems : model-driven design and implementation guidelinesent://SD_ILS/0/SD_ILS:5965932026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Kaltjob, Patrick O. J., author.<br/>Yer Numarası TJ163.12<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119505730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119505730</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Path planning of cooperative mobile robots using discrete event modelsent://SD_ILS/0/SD_ILS:5957292026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Mahulea, Cristian, author. Kloetzer, Marius, author. González, Ramón, author.<br/>Yer Numarası TJ211.415 M34 2020 EB<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119486305</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are usedent://SD_ILS/0/SD_ILS:5960922026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Domingo, George, 1937- author.<br/>Yer Numarası TK7871.85 .D66 2020<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Enzyme-Based Computing Systemsent://SD_ILS/0/SD_ILS:5953572026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Katz, Evgeny, author.<br/>Yer Numarası QH506 .K38 2019<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527819997">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527819997</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced nanoelectronics : post-silicon materials and devicesent://SD_ILS/0/SD_ILS:5948212026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Hussain, Muhammad Mustafa, editor.<br/>Yer Numarası TK7874.84<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9783527811861">https://onlinelibrary.wiley.com/doi/book/10.1002/9783527811861</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Beginning C# 7 Programming with Visual Studio 2017ent://SD_ILS/0/SD_ILS:5944352026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Perkins, Benjamin, author. Hammer, Jacob Vibe, author. Reid, Jon D., author.<br/>Yer Numarası QA76.73 .C154<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549550</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Soft computing evaluation logic : the LSP decision method and its applicationsent://SD_ILS/0/SD_ILS:5939882026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Dujmovic, Jozo, 1941- author.<br/>Yer Numarası QA76.9 .S63 D85 2018<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119256489</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189532026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192932026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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:5191462026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Linux with operating system conceptsent://SD_ILS/0/SD_ILS:5440972026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Fox, Richard, author. Taylor and Francis.<br/>Yer Numarası QA76.774 .L46<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482235906">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Nahin, Paul J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to mathematics of satisfiabilityent://SD_ILS/0/SD_ILS:5440452026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Marek, V. W. (V. Wiktor), 1943, author.<br/>Yer Numarası QA9.3 .M37 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439801741">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Communication complexity a new approach to circuit depthent://SD_ILS/0/SD_ILS:2201192026-01-22T11:30:16Z2026-01-22T11:30:16ZYazar Karchmer, Mauricio.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>