Arithmetic and Logic Structures.
Overview
| Works: | 135 works in 54 publications in 54 languages | |
|---|---|---|
Titles
Next generation arithmetic = 5th International Conference, CoNGA 2024, Sydney, NSW, Australia, February 20-21, 2024 : proceedings /
by:
(Language materials, printed)
Guessing random additive noise decoding = a hardware perspective /
by:
(Language materials, printed)
Formal Verification of Floating-Point Hardware Design = A Mathematical Approach /
by:
(Language materials, printed)
Next Generation Arithmetic = Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers /
by:
(Language materials, printed)
British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750)
by:
(Language materials, printed)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(Language materials, printed)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
(Language materials, printed)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(Language materials, printed)
Fractions, Ratios, and Roots = Rediscover the Basics and Learn About Interesting Applications /
by:
(Language materials, printed)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(Language materials, printed)
Trustworthy Hardware Design: Combinational Logic Locking Techniques
by:
(Language materials, printed)
High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings /
by:
(Language materials, printed)
Computer engineering and technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers /
by:
(Language materials, printed)
Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
by:
(Language materials, printed)
Recent Advances in Parallel Virtual Machine and Message Passing Interface : = 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings
by:
(Language materials, printed)
Advances in Computer Systems Architecture : = 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
by:
(Language materials, printed)
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : = 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
by:
(Language materials, printed)
Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers III
by:
(Language materials, printed)
Recent advances in parallel virtual machine and message passing interface = 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008 : proceedings /
by:
(Language materials, printed)
High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers IV
by:
(Language materials, printed)
Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(Language materials, printed)
Computer engineering and technology = 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012 : revised selected papers /
by:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(Language materials, printed)
Facing the multicore-challenge III = aspects of new paradigms and technologies in parallel computing /
by:
(Language materials, printed)
High performance computing for computational science - VECPAR 2012 = 10th International Conference, Kope, Japan, July 17-20, 2012 : revised selected papers /
by:
(Language materials, printed)
Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings /
by:
(Language materials, printed)
Computer engineering and technology = 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013 : revised selected papers /
by:
(Language materials, printed)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
(Language materials, printed)
High performance embedded architectures and compilers = fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings /
by:
(Language materials, printed)
Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings /
by:
(Language materials, printed)
Integrated circuit and system design = power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers /
by:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(Language materials, printed)
Transactions on high-performance embedded architectures and compilers.. II
by:
(Language materials, printed)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(Language materials, printed)
Compressed data structures for strings = on searching and extracting strings from compressed textual data /
by:
(Language materials, printed)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(Language materials, printed)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(Language materials, printed)
Computer vision systems = 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017 : revised selected papers /
by:
(Language materials, printed)
Stabilization, safety, and security of distributed systems = 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings /
by:
(Language materials, printed)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(Language materials, printed)
Discrete Geometry for Computer Imagery = 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017 : proceedings /
by:
(Language materials, printed)
Patch-based techniques in medical imaging = third International Workshop, Patch-MI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017 : proceedings /
by:
(Language materials, printed)
Databases theory and applications = 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017 : proceedings /
by:
(Language materials, printed)
New frontiers in mining complex patterns = 6th International Workshop, NFMCP 2017, held in conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017 : revised selected papers /
by:
(Language materials, printed)
Genetic programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(Language materials, printed)
Energy minimization methods in computer vision and pattern recognition = 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 - November 1, 2017 : revised selected papers /
by:
(Language materials, printed)
Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings /
by:
(Language materials, printed)
Computational pathology and ophthalmic medical image analysis = first International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018 : proceedings /
by:
(Language materials, printed)
Data driven treatment response assessment and preterm, perinatal, and paediatric image analysis = first International Workshop, DATRA 2018 and third International Workshop, PIPPI 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018 : proceedings /
by:
(Language materials, printed)
Connectomics in neuroImaging = second International Workshop, CNI 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018 : proceedings /
by:
(Language materials, printed)
String processing and information retrieval = 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018 : proceedings /
by:
(Language materials, printed)
Pattern recognition and computer vision = first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018 : proceedings.. Part IV /
by:
(Language materials, printed)
Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part III /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Algorithmic aspects of cloud computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018 : revised selected papers /
by:
(Language materials, printed)
Integer programming and combinatorial optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019 : proceedings /
by:
(Language materials, printed)
Artificial intelligence and soft computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019 : proceedings.. Part I /
by:
(Language materials, printed)
Advances in practical applications of survivable agents and multi-agent systems = the PAAMS Collection : 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019 : proceedings /
by:
(Language materials, printed)
Rough sets = International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019 : proceedings /
by:
(Language materials, printed)
Advances in swarm intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings.. Part II /
by:
(Language materials, printed)
Combinatorial algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019 : proceedings /
by:
(Language materials, printed)
Advances in swarm intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings.. Part I /
by:
(Language materials, printed)
Intelligent computing theories and application = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part II /
by:
(Language materials, printed)
High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(Language materials, printed)
Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(Language materials, printed)
Scientific Computing, Computer Arithmetic, and Validated Numerics = 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis = First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Connectomics in NeuroImaging = Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(Language materials, printed)
String Processing and Information Retrieval = 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings /
by:
(Language materials, printed)
Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(Language materials, printed)
Computational Pathology and Ophthalmic Medical Image Analysis = First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings /
by:
(Language materials, printed)
New Frontiers in Mining Complex Patterns = 6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Genetic Programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Energy Minimization Methods in Computer Vision and Pattern Recognition = 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 – November 1, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Brüche, Verhältnisse und Wurzeln = Grundlagen wiederentdecken und interessante Anwendungen neu kennenlernen /
by:
(Language materials, printed)
Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection = 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings /
by:
(Language materials, printed)
Computational Intelligence in Music, Sound, Art and Design = 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Research in Computational Molecular Biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings /
by:
(Language materials, printed)
Big Data Analytics and Knowledge Discovery = 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
by:
(Language materials, printed)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(Language materials, printed)
Computer Information Systems and Industrial Management = 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings /
by:
(Language materials, printed)
Pattern Recognition = 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings /
by:
(Language materials, printed)
Pervasive Computing: A Networking Perspective and Future Directions
by:
(Language materials, printed)
Transactions on High-Performance Embedded Architectures and Compilers V
by:
(Language materials, printed)
Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Rough Sets = International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings /
by:
(Language materials, printed)
Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Machine Learning and Knowledge Extraction = Third IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2019, Canterbury, UK, August 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(Language materials, printed)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(Language materials, printed)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
by:
(Language materials, printed)
Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings /
by:
(Language materials, printed)
Show more
Fewer
Subjects