Logic Design.
概要
作品: | 298 作品在 98 項出版品 98 種語言 |
---|
書目資訊
Job scheduling strategies for parallel processing = 26th Workshop, JSSPP 2023, St. Petersburg, Fl, USA, May 19, 2023 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parallel computing technologies = 17th International Conference, PaCT 2023, Almaty, Kazakhstan, August 21-25, 2023 : proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems /
by:
(書目-語言資料,印刷品)
Digital Design Techniques and Exercises = A Practice Book for Digital Logic Design /
by:
(書目-語言資料,印刷品)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor /
by:
(書目-語言資料,印刷品)
High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings /
by:
(書目-語言資料,印刷品)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Design of Improved Current Mode Logic Gates = Differential and Single-ended /
by:
(書目-語言資料,印刷品)
Advanced Boolean Techniques = Selected Papers from the 13th International Workshop on Boolean Problems /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Embedded Architectures and Compilers = Third International Conference, HiPEAC 2008, Goteborg, Sweden, January 27-29, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Evolvable Systems : = From Biology to Hardware: 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 - August 1, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing : = 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
by:
(書目-語言資料,印刷品)
Advances in Computer Systems Architecture : = 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Evolvable systems = from biology to hardware: 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Regular nanofabrics in emerging technologies = design and fabrication methods for nanoscale digital circuits /
by:
(書目-語言資料,印刷品)
Job scheduling strategies for parallel processing = 13th international workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. revised papers /
by:
(書目-語言資料,印刷品)
Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
High Performance Embedded Architectures and Compilers : = First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computer engineering and technology = 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013 : revised selected papers /
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:
(書目-語言資料,印刷品)
Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz /
by:
(書目-語言資料,印刷品)
High performance integer arithmetic circuit design on FPGA = architecture, implementation and design automation /
by:
(書目-語言資料,印刷品)
Practical Hadoop migration = how to integrate your RDBMS with the Hadoop ecosystem and re-architect relational applications to NoSQL /
by:
(書目-語言資料,印刷品)
Brain-inspired computing = second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
From variability tolerance to approximate computing in parallel integrated architectures and accelerators
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXXIV = special issue on consistency and inconsistency in data-centric applications /
by:
(書目-語言資料,印刷品)
Engineering secure software and systems = 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Meaning and proscription in formal logic = variations on the propositional logic of William T. Parry /
by:
(書目-語言資料,印刷品)
Search based software engineering = 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Post-quantum cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Architecture of computing systems - ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Topics in cryptology - CT-RSA 2018 = the Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Supercomputing frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I /
by:
(書目-語言資料,印刷品)
Simulation and optimization of digital circuits = considering and mitigating destabilizing factors /
by:
(書目-語言資料,印刷品)
High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Embedded systems technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Bioinformatics research and applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced computer architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, safety, and security of distributed systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXXIX = Special Issue on Database- and Expert-Systems Applications /
by:
(書目-語言資料,印刷品)
High performance computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Network and parallel computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11-13, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Analog circuit theory and filter design in the digital world = with an introduction to the morphological method for creative solutions and design /
by:
(書目-語言資料,印刷品)
Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part VI /
by:
(書目-語言資料,印刷品)
Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science - CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V /
by:
(書目-語言資料,印刷品)
Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Cloud computing and big data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers /
by:
(書目-語言資料,印刷品)
Parallel computational technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers /
by:
(書目-語言資料,印刷品)
Biomimetic and biohybrid systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Building Arduino PLCs = the essential techniques you need to develop Arduino-based PLCs /
by:
(書目-語言資料,印刷品)
Introduction to Annotated Logics = Foundations for Paracomplete and Paraconsistent Reasoning /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Integrierte Digitale Schaltungen = Vom Transistor zur optimierten Logikschaltung /
by:
(書目-語言資料,印刷品)
Layoutsynthese elektronischer Schaltungen = Grundlegende Algorithmen für die Entwurfsautomatisierung /
by:
(書目-語言資料,印刷品)
High Performance Integer Arithmetic Circuit Design on FPGA = Architecture, Implementation and Design Automation /
by:
(書目-語言資料,印刷品)
Brain-Inspired Computing = Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Practical Hadoop Migration = How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL /
by:
(書目-語言資料,印刷品)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Simulation and Optimization of Digital Circuits = Considering and Mitigating Destabilizing Factors /
by:
(書目-語言資料,印刷品)
High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Network and Parallel Computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX = Special Issue on Database- and Expert-Systems Applications /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Supercomputing Frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(書目-語言資料,印刷品)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Embedded Systems Technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
ASIC/SoC Functional Design Verification = A Comprehensive Guide to Technologies and Methodologies /
by:
(書目-語言資料,印刷品)
Euro-Par 2018: Parallel Processing Workshops = Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
by:
(書目-語言資料,印刷品)
Biomimetic and Biohybrid Systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Analog Circuit Theory and Filter Design in the Digital World = With an Introduction to the Morphological Method for Creative Solutions and Design /
by:
(書目-語言資料,印刷品)
Computer Engineering and Technology = 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms = A Cross-layer Approach /
by:
(書目-語言資料,印刷品)
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis = A Transfer Function Approach /
by:
(書目-語言資料,印刷品)
Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI = Special Issue on Data and Security Engineering /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /
by:
(書目-語言資料,印刷品)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
by:
(書目-語言資料,印刷品)
更多
較少的
主題