Search Results for Logic design. - Narrowed by: Computer Systems Organization and Communication Networks.

Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
https://doi.org/10.1007/978-3-319-66266-4
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
https://doi.org/10.1007/978-3-319-99229-7
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
https://doi.org/10.1007/978-3-319-66284-8
Format: Electronic Resources

Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

2024-07-08T11:42:49Z

Yazar Cuppens-Boulahia, Nora. editor.
https://doi.org/10.1007/978-3-319-61437-3
Format: Electronic Resources

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

2024-07-08T11:42:49Z

Yazar Cerone, Antonio. editor. (orcid)0000-0003-2691-5279
https://doi.org/10.1007/978-3-319-74781-1
Format: Electronic Resources

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Jarvis, Stephen. editor.
https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources

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

2024-07-08T11:42:49Z

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

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Medina-Bulo, Inmaculada. editor.
https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

2024-07-08T11:42:49Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78054-2
Format: Electronic Resources

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-319-74896-2
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-07-08T11:42:49Z

Yazar Bombieri, Nicola. editor.
https://doi.org/10.1007/978-3-030-23425-6
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-07-08T11:42:49Z

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

SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Csöndes, Tibor. editor.
https://doi.org/10.1007/978-3-319-68015-6
Format: Electronic Resources

High Performance Computing ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers

2024-07-08T11:42:49Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-030-02465-9
Format: Electronic Resources

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

2024-07-08T11:42:49Z

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

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

2024-07-08T11:42:49Z

Yazar Dastani, Mehdi. editor.
https://doi.org/10.1007/978-3-319-68972-2
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-07-08T11:42:49Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I

2024-07-08T11:42:49Z

Yazar Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786
https://doi.org/10.1007/978-3-319-78024-5
Format: Electronic Resources

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Zhang, Feng. editor. (orcid)0000-0003-1983-7321
https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Gabmeyer, Sebastian. editor. (orcid)0000-0002-4097-9917
https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829
https://doi.org/10.1007/978-3-319-96983-1
Format: Electronic Resources

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

2024-07-08T11:42:49Z

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

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Qiu, Meikang. editor. (orcid)0000-0002-1004-0140
https://doi.org/10.1007/978-3-030-05764-0
Format: Electronic Resources

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

2024-07-08T11:42:49Z

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

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Doty, David. editor. (orcid)0000-0002-3922-172X
https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

2024-07-08T11:42:49Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05057-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Casimiro, António. editor. (orcid)0000-0002-5522-5739
https://doi.org/10.1007/978-3-319-92432-8
Format: Electronic Resources

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

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

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

2024-07-08T11:42:49Z

Yazar Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912
https://doi.org/10.1007/978-3-030-24741-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-07-08T11:42:49Z

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

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I

2024-07-08T11:42:49Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93698-7
Format: Electronic Resources

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Chen, Liqun. editor. (orcid)0000-0003-2680-4907
https://doi.org/10.1007/978-3-319-99136-8
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II

2024-07-08T11:42:49Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93701-4
Format: Electronic Resources

Computational Science – ICCS 2018 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

2024-07-08T11:42:49Z

Yazar Shi, Yong. editor.
https://doi.org/10.1007/978-3-319-93713-7
Format: Electronic Resources

Proceedings of the 2015 International Conference on Communications, Signal Processing, and Systems

2024-07-08T11:42:49Z

Yazar Liang, Qilian. editor.
http://dx.doi.org/10.1007/978-3-662-49831-6
Format: Electronic Resources

Digital Logic for Computing

2024-07-08T11:42:49Z

Yazar Seiffertt, John. author.
https://doi.org/10.1007/978-3-319-56839-3
Format: Electronic Resources

VLSI Design and Test 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers

2024-07-08T11:42:49Z

Yazar Sengupta, Anirban. editor.
https://doi.org/10.1007/978-981-32-9767-8
Format: Electronic Resources

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-5
Format: Electronic Resources

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2024-07-08T11:42:49Z

Yazar Aceto, Luca. editor.
https://doi.org/10.1007/978-3-319-63121-9
Format: Electronic Resources

Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

2024-07-08T11:42:49Z

Yazar Maedche, Alexander. editor.
https://doi.org/10.1007/978-3-319-59144-5
Format: Electronic Resources

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

2024-07-08T11:42:49Z

Yazar Sun, Xingming. editor. (orcid)0000-0003-1390-399X
https://doi.org/10.1007/978-3-030-24265-7
Format: Electronic Resources

Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings

2024-07-08T11:42:49Z

Yazar Voros, Nikolaos. editor.
https://doi.org/10.1007/978-3-319-78890-6
Format: Electronic Resources