Arithmetic and Logic Structures.
概要
作品: | 135 作品在 54 項出版品 54 種語言 |
---|
書目資訊
High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advances in Computer Systems Architecture : = 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Reliable Implementation of Real Number Algorithms: Theory and Practice = International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(書目-語言資料,印刷品)
High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Facing the multicore-challenge III = aspects of new paradigms and technologies in parallel computing /
by:
(書目-語言資料,印刷品)
High performance computing for computational science - VECPAR 2012 = 10th International Conference, Kope, Japan, July 17-20, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
(書目-語言資料,印刷品)
High performance embedded architectures and compilers = fourth international conference, HiPEAC 2009, Paphos, Cyprus, January 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Compressed data structures for strings = on searching and extracting strings from compressed textual data /
by:
(書目-語言資料,印刷品)
Guide to discrete mathematics = an accessible introduction to the history, theory, logic and applications /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computer vision systems = 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Discrete Geometry for Computer Imagery = 20th IAPR International Conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Databases theory and applications = 28th Australasian Database Conference, ADC 2017, Brisbane, QLD, Australia, September 25-28, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Genetic programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-theoretic concepts in computer science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27-29, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Connectomics in neuroImaging = second International Workshop, CNI 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
String processing and information retrieval = 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Pattern recognition and computer vision = first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Algorithmic aspects of cloud computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20-21, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Integer programming and combinatorial optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Rough sets = International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17-21, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23-25, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in swarm intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Intelligent computing theories and application = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Connectomics in NeuroImaging = Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
String Processing and Information Retrieval = 25th International Symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Genetic Programming = 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Brüche, Verhältnisse und Wurzeln = Grundlagen wiederentdecken und interessante Anwendungen neu kennenlernen /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Science – Theory and Applications = 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithms and Complexity = 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Research in Computational Molecular Biology = 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Big Data Analytics and Knowledge Discovery = 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Theoretic Concepts in Computer Science = 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Computer Information Systems and Industrial Management = 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 40th German Conference, GCPR 2018, Stuttgart, Germany, October 9-12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Learning and Intelligent Optimization = 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Rough Sets = International Joint Conference, IJCRS 2019, Debrecen, Hungary, June 17–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Advances in Swarm Intelligence = 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Integer Programming and Combinatorial Optimization = 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computing Theories and Application = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Algorithms for Computational Biology = 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematik für die Informatik = Grundlegende Begriffe, Strukturen und ihre Anwendung /
by:
(書目-語言資料,印刷品)
Fractions, Ratios, and Roots = Rediscover the Basics and Learn About Interesting Applications /
by:
(書目-語言資料,印刷品)
Guide to Discrete Mathematics = An Accessible Introduction to the History, Theory, Logic and Applications /
by:
(書目-語言資料,印刷品)
Fundamentals of Logic and Computation = With Practical Automated Reasoning and Verification /
by:
(書目-語言資料,印刷品)
Advances in Mathematical Logic = Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions /
by:
(書目-語言資料,印刷品)
British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750)
by:
(書目-語言資料,印刷品)
更多
較少的
主題