Arama Sonuçları Quantum logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dQuantum$002blogic.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list2024-12-23T14:21:41ZHandbook of quantum logic and quantum structures quantum logicent://SD_ILS/0/SD_ILS:1454482024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334547.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of quantum logic and quantum structures quantum structures.ent://SD_ILS/0/SD_ILS:1454622024-12-23T14:21:41Z2024-12-23T14:21:41ZYer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528704">http://www.sciencedirect.com/science/book/9780444528704</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design Automation of Quantum Computersent://SD_ILS/0/SD_ILS:5201742024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Topaloglu, Rasit O. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520174.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-15699-1">https://doi.org/10.1007/978-3-031-15699-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nature of Computation and Communication 8th EAI International Conference, ICTCC 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5203732024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520373.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-28790-9">https://doi.org/10.1007/978-3-031-28790-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Intelligence and Emerging Technologies First International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5204592024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520459.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34622-4">https://doi.org/10.1007/978-3-031-34622-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedingsent://SD_ILS/0/SD_ILS:5208982024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520898.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-27181-6">https://doi.org/10.1007/978-3-031-27181-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210042024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521004.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213072024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)<br/>Yer Numarası XX(521307.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40725-3">https://doi.org/10.1007/978-3-031-40725-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5202192024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520219.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31353-0">https://doi.org/10.1007/978-3-031-31353-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208422024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520842.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</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:5208892024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520889.1)<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/>Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5213842024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521384.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26622-5">https://doi.org/10.1007/978-3-031-26622-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5187972024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518797.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-20297-6">https://doi.org/10.1007/978-3-319-20297-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189102024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Yer Numarası XX(518910.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</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:5189532024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518953.1)<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:5191172024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519117.1)<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/>Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:5190492024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Potapov, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519049.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21500-6">https://doi.org/10.1007/978-3-319-21500-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Nanoelectronic device applications handbookent://SD_ILS/0/SD_ILS:2909712024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar IEEE International Conference on Nanotechnology (11th : 2011 : Portland, Ore.) Morris, James E. Iniewski, Krzysztof.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466565241">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<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:3767782024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar 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/>Genetics and randomnessent://SD_ILS/0/SD_ILS:2887862024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Ruvinsky, Anatoly.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420078879">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>What the bleep!? Down the rabbit holeent://SD_ILS/0/SD_ILS:1212152024-12-23T14:21:41Z2024-12-23T14:21:41ZYazar Vicente, Mark, 1965- Chasse, Betsy. Arntz, William. Matlin, Marlee. Hendrix, Elaine, 1970-<br/>Yer Numarası PN1995.9.D6 W43 2007<br/>Format: Video Diski<br/>Durum Beytepe Kütüphanesi~1<br/>