Books on the topic 'Arithmetic and logic structures'

Kossak, Roman. The structure of models of Peano arithmetic. Oxford: Clarendon, 2006.

Xu, Weixia. Computer Engineering and Technology: 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Artemov, Sergei. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Krishnaswamy, Smita. Design, Analysis and Test of Logic Circuits Under Uncertainty. Dordrecht: Springer Netherlands, 2013.

Jamīl, T̤āriq. Complex Binary Number System: Algorithms and Circuits. India: Springer India, 2013.

Keller, Rainer. Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Stenström, Per. Transactions on High-Performance Embedded Architectures and Compilers IV. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Lu, Mi. Arithmetic and Logic in Computer Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2004. http://dx.doi.org/10.1002/0471728519.

Lu, Mi. Arithmetic and Logic in Computer Systems. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2004. http://dx.doi.org/10.1002/0471728519.

Lu, Mi. Arithmetic and Logic in Computer Systems. New York: John Wiley & Sons, Ltd., 2005.

Basic structures of function field arithmetic. Berlin: Springer, 1996.

David, Goss. Basic structures of function field arithmetic. Berlin: Springer, 1998.

Goss, David. Basic Structures of Function Field Arithmetic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/978-3-642-61480-4.

Simpson, Stephen G. Subsystems of Second Order Arithmetic. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999.

Krajíček, Jan. Bounded arithmetic, propositional logic, and complexity theory. Cambridge [England]: Cambridge University Press, 1995.

The logic of information structures. Berlin: Springer-Verlag, 1993.

Hein, James L. Discrete structures, logic, and computability. Boston: Jones and Bartlett Publishers, 1994.

Discrete structures, logic, and computability. Boston: Jones and Bartlett, 1995.

Hein, James L. Discrete structures, logic, and computability. Burlington, MA: World Headquarters/Jones & Bartlett Learning, 2016.

Wansing, Heinrich. The Logic of Information Structures. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56734-8.

Wansing, Heinrich T. The logic of information structures. Berlin: Springer-Verlag, 1993.

Discrete structures, logic, and computability. 3rd ed. Sudbury, Mass: Jones and Bartlett Publishers, 2010.

Discrete structures, logic, and computability. 2nd ed. Boston: Jones and Bartlett Publishers, 2002.

Flynn, M. J. Advanced computer arithmetic design. New York: J. Wiley, 2001.

service), ScienceDirect (Online, ed. Handbook of quantum logic and quantum structures: Quantum logic. Amsterdam: Elsevier/North-Holland, 2009.

Advanced arithmetic for the digital computer: Design of arithmetic units. Wien: Springer, 2002.

Zambella, D. Chapters on bounded arithmetic and on provability logic. Amsterdam: [S. n.], 1994.

Kossak, Roman, and Jim Schmerl. The Structure of Models of Peano Arithmetic (Oxford Logic Guides). Oxford University Press, USA, 2006.

Schmerl, James, and Roman Kossak. Structure of Models of Peano Arithmetic, the. Oxford Logic Guides, Volume 50. Oxford University Press, 2006.

Xu, Weixia, Liquan Xiao, and Pingjing Lu. Computer Engineering and Technology: 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers. Springer, 2013.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Springer, 2015.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. Springer London, Limited, 2015.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings. Springer International Publishing AG, 2022.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Springer London, Limited, 2007.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Springer, 2017.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings. Springer London, Limited, 2009.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Berlin / Heidelberg, 2012.

Nerode, Anil, and Sergei Artemov. Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. Springer, 2019.

Li, Jinwen, Weixia Xu, Liquan Xiao, Pingjing Lu, and Chengyi Zhang. Computer Engineering and Technology: 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers. Springer Berlin / Heidelberg, 2013.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Liyan Yu. Computer Engineering and Technology: 17th National Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers. Springer London, Limited, 2013.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Zhenzhen Zhu. Computer Engineering and Technology: 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers. Springer, 2018.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Liyan Yu. Computer Engineering and Technology: 17th National Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers. Springer, 2013.

Li, Jinwen, Weixia Xu, Liquan Xiao, and Chengyi Zhang. Computer Engineering and Technology: 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers. Springer, 2016.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Zhenzhen Zhu. Computer Engineering and Technology: 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers. Springer London, Limited, 2015.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Zhenzhen Zhu. Computer Engineering and Technology: 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers. Springer, 2015.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Zhenzhen Zhu. Computer Engineering and Technology: 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers. Ingramcontent, 2017.

Li, Jinwen, Weixia Xu, Liquan Xiao, Chengyi Zhang, and Zhenzhen Zhu. Computer Engineering and Technology: 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers. Springer, 2017.

Li, Jinwen, Weixia Xu, Liquan Xiao, and Chengyi Zhang. Computer Engineering and Technology: 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers. Springer London, Limited, 2016.

Li, Jinwen, Weixia Xu, Liquan Xiao, and Zhenzhen Zhu. Computer Engineering and Technology: 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers. Springer, 2019.

Li, Jinwen, Weixia Xu, Liquan Xiao, and Zhenzhen Zhu. Computer Engineering and Technology: 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers. Springer, 2019.