Search Results for Quantum logic. - Narrowed by: Electronic LibrarySirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dQuantum$002blogic.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026ps$003d300?2025-12-30T07:38:44ZHandbook of quantum logic and quantum structures quantum logicent://SD_ILS/0/SD_ILS:1454482025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528698">http://www.sciencedirect.com/science/book/9780444528698</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:3345472025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of quantum logic and quantum structures quantum structures.ent://SD_ILS/0/SD_ILS:1454622025-12-30T07:38:44Z2025-12-30T07:38:44ZPreferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444528704">http://www.sciencedirect.com/science/book/9780444528704</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design Automation of Quantum Computersent://SD_ILS/0/SD_ILS:5201742025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Topaloglu, Rasit O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5208982025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213072025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021ent://SD_ILS/0/SD_ILS:5271572025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-6383-4">https://doi.org/10.1007/978-981-19-6383-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:5202192025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5203732025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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:5204592025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor 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/>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:5213842025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Emerging Computing: From Devices to Systems Looking Beyond Moore and Von Neumannent://SD_ILS/0/SD_ILS:5273842025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Aly, Mohamed M. Sabry. editor. Chattopadhyay, Anupam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-16-7487-7">https://doi.org/10.1007/978-981-16-7487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:5208422025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5210042025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189532025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor 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/>Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:5190492025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: 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, Proceedingsent://SD_ILS/0/SD_ILS:5191172025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor 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/>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:5189102025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015)ent://SD_ILS/0/SD_ILS:5303882025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Neves-Silva, Rui. editor. Jain, Lakhmi C. editor. Howlett, Robert J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19857-6">https://doi.org/10.1007/978-3-319-19857-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~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:5187972025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782025-12-30T07:38:44Z2025-12-30T07:38:44ZAuthor 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/>