Arama Sonuçları Boolean logicSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dBoolean$002blogic$0026ic$003dtrue$0026ps$003d300?2026-01-22T13:15:22ZLogic and boolean algebraent://SD_ILS/0/SD_ILS:336092026-01-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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-22T13:15:22Z2026-01-22T13:15:22ZYazar 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/>