Search Results for Quantum logic. - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dQuantum$002blogic.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ps$003d300?dt=list2024-11-28T12:44:27ZHandbook of quantum logic and quantum structures quantum logicent://SD_ILS/0/SD_ILS:1454482024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor 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:3345472024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor 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:1454622024-11-28T12:44:27Z2024-11-28T12:44:27ZPreferred 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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520373.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520898.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Areces, Carlos. editor. Costa, Diana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521384.1)<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/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<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:5210042024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521004.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Satu, Md. Shahriare. editor. (orcid) Moni, Mohammad Ali. editor. Kaiser, M. Shamim. editor. Arefin, Mohammad Shamsul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520459.1)<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/>Design Automation of Quantum Computersent://SD_ILS/0/SD_ILS:5201742024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Topaloglu, Rasit O. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520174.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520219.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<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/>Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208892024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520889.1)<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/>Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213072024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor 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 XX(521307.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Beklemishev, Lev D. editor. Musatov, Daniil V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518797.1)<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/>Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189532024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518953.1)<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:5190492024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519049.1)<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/>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-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number XX(518910.1)<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/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519117.1)<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/>Nanoelectronic device applications handbookent://SD_ILS/0/SD_ILS:2909712024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor IEEE International Conference on Nanotechnology (11th : 2011 : Portland, Ore.) Morris, James E. Iniewski, Krzysztof.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466565241">Distributed by publisher. Purchase or institutional license may be required for access.</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:3767782024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor 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/>Genetics and randomnessent://SD_ILS/0/SD_ILS:2887862024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Ruvinsky, Anatoly.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420078879">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>What the bleep!? Down the rabbit holeent://SD_ILS/0/SD_ILS:1212152024-11-28T12:44:27Z2024-11-28T12:44:27ZAuthor Vicente, Mark, 1965- Chasse, Betsy. Arntz, William. Matlin, Marlee. Hendrix, Elaine, 1970-<br/>Preferred Shelf Number PN1995.9.D6 W43 2007<br/>Format: Video disc<br/>Availability Beytepe Library~1<br/>