Search Results for - Narrowed by: Springer E-Book Collection - 2019 - Logic design.

Applied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
https://doi.org/10.1007/978-3-030-31019-6
Format: Electronic Resources

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2024-05-19T11:19:36Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24308-1
Format: Electronic Resources

High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073
https://doi.org/10.1007/978-3-030-20656-7
Format: Electronic Resources

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
https://doi.org/10.1007/978-3-030-05807-4
Format: Electronic Resources

Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395
https://doi.org/10.1007/978-3-030-29400-7
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III

2024-05-19T11:19:36Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22744-9
Format: Electronic Resources

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912
https://doi.org/10.1007/978-3-030-24741-6
Format: Electronic Resources

Transactions on High-Performance Embedded Architectures and Compilers V

2024-05-19T11:19:36Z

Yazar Silvano, Cristina. editor. (orcid)0000-0003-1668-0883
https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Xu, Weixia. editor.
https://doi.org/10.1007/978-981-13-5919-4
Format: Electronic Resources

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-030-05529-5
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Schoeberl, Martin. editor.
https://doi.org/10.1007/978-3-030-18656-2
Format: Electronic Resources

Cloud Computing and Big Data 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Naiouf, Marcelo. editor. (orcid)0000-0001-9127-3212
https://doi.org/10.1007/978-3-030-27713-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2024-05-19T11:19:36Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24289-3
Format: Electronic Resources

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-05-19T11:19:36Z

Yazar Kravets, Alla G. editor. (orcid)0000-0003-1675-8652
https://doi.org/10.1007/978-3-030-29750-3
Format: Electronic Resources

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

2024-05-19T11:19:36Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22750-0
Format: Electronic Resources

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2024-05-19T11:19:36Z

Yazar Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713
https://doi.org/10.1007/978-3-030-16272-6
Format: Electronic Resources

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Hu, Changjun. editor.
https://doi.org/10.1007/978-981-32-9987-0
Format: Electronic Resources

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Pesado, Patricia. editor. (orcid)0000-0003-0000-3482
https://doi.org/10.1007/978-3-030-20787-8
Format: Electronic Resources

Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-030-28163-2
Format: Electronic Resources

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Bures, Tomas. editor.
https://doi.org/10.1007/978-3-030-29983-5
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV

2024-05-19T11:19:36Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22747-0
Format: Electronic Resources

Progress in Cryptology – LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Lange, Tanja. editor.
https://doi.org/10.1007/978-3-030-25283-0
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2024-05-19T11:19:36Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24302-9
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2024-05-19T11:19:36Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24296-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2024-05-19T11:19:36Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24311-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2024-05-19T11:19:36Z

Yazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-05-19T11:19:36Z

Yazar Fan, Xing. editor.
https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII

2024-05-19T11:19:36Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-60531-8
Format: Electronic Resources

Logic Functions and Equations Binary Models for Computer Science

2024-05-19T11:19:36Z

Yazar Posthoff, Christian. author.
https://doi.org/10.1007/978-3-030-02420-8
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I

2024-05-19T11:19:36Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22734-0
Format: Electronic Resources

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367
https://doi.org/10.1007/978-3-030-04918-8
Format: Electronic Resources

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-05-19T11:19:36Z

Yazar Bombieri, Nicola. editor.
https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

2024-05-19T11:19:36Z

Yazar Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651
https://doi.org/10.1007/978-3-030-15663-3
Format: Electronic Resources

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

2024-05-19T11:19:36Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-030-12274-4
Format: Electronic Resources

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701
https://doi.org/10.1007/978-3-030-17872-7
Format: Electronic Resources

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Pałka, Michał. editor.
https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI Special Issue on Data and Security Engineering

2024-05-19T11:19:36Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58808-6
Format: Electronic Resources

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Mencagli, Gabriele. editor.
https://doi.org/10.1007/978-3-030-10549-5
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

2024-05-19T11:19:36Z

Yazar Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
https://doi.org/10.1007/978-3-030-24305-0
Format: Electronic Resources

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-05-19T11:19:36Z

Yazar Rauchwerger, Lawrence. editor.
https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II

2024-05-19T11:19:36Z

Yazar Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
https://doi.org/10.1007/978-3-030-22741-8
Format: Electronic Resources