Arama Sonuçları Boolean logic - Daraltılmış: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dBoolean$002blogic$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026ic$003dtrue$0026ps$003d300?2026-01-22T16:13:04ZLogic and boolean algebraent://SD_ILS/0/SD_ILS:336092026-01-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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/>Applied satisfiability : cryptography, scheduling and coalitional gamesent://SD_ILS/0/SD_ILS:5996242026-01-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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-22T16:13:04Z2026-01-22T16:13:04ZYazar 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/>