Search Results for Quantum logic. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dQuantum$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list
2026-04-15T21:53:43Z
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:334547
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author 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/>
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615980
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author Weil, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58747-9">https://doi.org/10.1007/978-3-319-58747-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adventures in Computer Science From Classical Bits to Quantum Bits
ent://SD_ILS/0/SD_ILS:617858
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author Moret-Bonillo, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64807-1">https://doi.org/10.1007/978-3-319-64807-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Natural Computing 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617759
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Neruda, Roman. editor. Vega-Rodríguez, Miguel A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71069-3">https://doi.org/10.1007/978-3-319-71069-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618150
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62809-7">https://doi.org/10.1007/978-3-319-62809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613063
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616889
2026-04-15T21:53:43Z
2026-04-15T21:53:43Z
Author Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53132-7">https://doi.org/10.1007/978-3-662-53132-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>