Arquitectura de sistemas informáticos eBooks

Carrito de compra

Artículos no disponibles para compra.

Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.

artículosartículo

- Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Recibe 1 crédito cada mes para el audiolibro de tu elección
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  
  Acceso ilimitado a eBooks
  
  Acceso ilimitado a audiolibros
  
  Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
  Audiolibro
  de ,
  
  Disponible el:
  
  . Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.
  
  Preventa
  1 audiolibro mensual
  
  + Prueba gratis de 30 días
  
  Oferta especial
  
  Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.
  
  *Sin compromiso, cancela en cualquier momento
  
  GRATIS

artículosartículo

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Recibe 1 crédito cada mes para el audiolibro de tu elección

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions

Acceso ilimitado a eBooks

Acceso ilimitado a audiolibros

Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions
Audiolibro
de ,

Disponible el:
. Sin compromiso, cancela en cualquier momento en kobo.com/account/subscriptions.

Preventa
1 audiolibro mensual

+ Prueba gratis de 30 días

Oferta especial

Recibe 1 crédito cada mes para intercambiarlo por un audiolibro de tu elección.

*Sin compromiso, cancela en cualquier momento

GRATIS

Recomendado para ti

Organizational Network Analysis

Auditing Intangible Resources

de Anna Ujwary-Gil ...

Series series Routledge Studies in Business Organizations and Networks
The integrated meta-model for organizational resource audit is a consistent and comprehensive instrument for auditing intangible resources and their relations and associations from the network perspective. This book undertakes a critically important problem of management sciences, poorly recognized in literature although determining the current and future competitiveness of enterprises, sectors ... Leer más

Gratis

The integrated meta-model for organizational resource audit is a consistent and comprehensive instrument for auditing intangible resources and their relations and associations from the network perspective. This book undertakes a critically important problem of management sciences, poorly recognized in literature although determining the current and future competitiveness of enterprises, sectors
... Leer más
Network Design

Management and Technical Perspectives

de Teresa C. Piliouras ...

There are hundreds of technologies and protocols used in telecommunications. They run the full gamut from application level to physical level. It is overwhelming to try to keep track of them. Network Design, Second Edition: Management and Technical Perspectives is a broad survey of the major technologies and networking protocols and how they interr ... Leer más

$180.00 USD

There are hundreds of technologies and protocols used in telecommunications. They run the full gamut from application level to physical level. It is overwhelming to try to keep track of them. Network Design, Second Edition: Management and Technical Perspectives is a broad survey of the major technologies and networking protocols and how they interr
... Leer más
Modelling Transitions

Virtues, Vices, Visions of the Future

Edición de Enayat A. Moallemi, Fjalar J. de Haan ...

Series series Routledge Studies in Sustainability Transitions
Modelling Transitions shows what computational, formal and data-driven approaches can and could mean for sustainability transitions research, presenting the state-of-the-art and exploring what lies beyond.Featuring contributions from many well-known authors, this book presents the various benefits of modelling for transitions research. More than just taking stock, it also critically examines what ... Leer más

$59.99 USD

Modelling Transitions shows what computational, formal and data-driven approaches can and could mean for sustainability transitions research, presenting the state-of-the-art and exploring what lies beyond.Featuring contributions from many well-known authors, this book presents the various benefits of modelling for transitions research. More than just taking stock, it also critically examines what
... Leer más
Scalable Data Pipelines

Architecting For The Petabyte Era

de Oreoluwa Adebayo ...

Scalable Data Pipelines Architecting for the Petabyte Era is a timely and essential guide for professionals navigating the explosive growth of data in today's digital world. As organizations generate data at unprecedented rates from everyday user interactions to complex industrial IoT readings the need for robust scalable data infrastructure has never been more critical. This book presents a ... Leer más

$9.99 USD

Scalable Data Pipelines Architecting for the Petabyte Era is a timely and essential guide for professionals navigating the explosive growth of data in today's digital world. As organizations generate data at unprecedented rates from everyday user interactions to complex industrial IoT readings the need for robust scalable data infrastructure has never been more critical. This book presents a
... Leer más
Computer Security – ESORICS 2022

27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part I

Edición de Vijayalakshmi Atluri, Roberto Di Pietro, Christian D. Jensen, Weizhi Meng ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022. The conference took place in Copenhagen, Denmark, in a hybrid mode.The 104 full papers and 6 poster papers presented in these proceedings were carefully reviewed and selected from 562 submissions. They were ... Leer más

$90.89 USD

The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European Symposium on Research in Computer Security, ESORICS 2022, which took place in September 2022. The conference took place in Copenhagen, Denmark, in a hybrid mode.The 104 full papers and 6 poster papers presented in these proceedings were carefully reviewed and selected from 562 submissions. They were
... Leer más
Languages and Compilers for Parallel Computing

29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

Edición de Chen Ding, John Criswell, Peng Wu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and ... Leer más

$53.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2016, held in Rochester, NY, USA, in September 2016.The 20 revised full papers presented together with 4 short papers were carefully reviewed. The papers are organized in topical sections on large scale parallelism, resilience and
... Leer más
Scheduling and Reconfiguration of Real-Time Systems

A Supervisory Control Approach

de Xi Wang, ZhiWu Li ...

Series series Computer Science (R0)
This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed ... Leer más

$181.79 USD

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed
... Leer más
High-speed Serial Buses in Embedded Systems

de Feng Zhang ...

This book describes the most frequently used high-speed serial buses in embedded systems, especially those used by FPGAs. These buses employ SerDes, JESD204, SRIO, PCIE, Aurora and SATA protocols for chip-to-chip and board-to-board communication, and CPCIE, VPX, FC and Infiniband protocols for inter-chassis communication. For each type, the book provides the bus history and version info, while ... Leer más

$128.39 USD

This book describes the most frequently used high-speed serial buses in embedded systems, especially those used by FPGAs. These buses employ SerDes, JESD204, SRIO, PCIE, Aurora and SATA protocols for chip-to-chip and board-to-board communication, and CPCIE, VPX, FC and Infiniband protocols for inter-chassis communication. For each type, the book provides the bus history and version info, while
... Leer más
Critical Information Infrastructures Security

10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers

Edición de Marianthi Theocharidou, Stephen Wolthusen, Erich Rome ...

Series series Springer Nature Proceedings Computer Science
This book constitutes revised selected papers from the 10th International Conference on Critical Information Infrastructures Security, CRITIS 2015, held in Berlin, Germany, in October 2015.The 18 full and 6 short papers presented in this volume were carefully reviewed and selected from 54 submissions. They are organized in topical sections named: critical information infrastructure protection; ... Leer más

$53.49 USD

This book constitutes revised selected papers from the 10th International Conference on Critical Information Infrastructures Security, CRITIS 2015, held in Berlin, Germany, in October 2015.The 18 full and 6 short papers presented in this volume were carefully reviewed and selected from 54 submissions. They are organized in topical sections named: critical information infrastructure protection;
... Leer más
Symbiotic Interaction

5th International Workshop, Symbiotic 2016, Padua, Italy, September 29–30, 2016, Revised Selected Papers

Edición de Luciano Gamberini, Anna Spagnolli, Giulio Jacucci, Benjamin Blankertz, Jonathan Freeman ...

Series series Springer Nature Proceedings Computer Science
This book is published open access under a CC BY license.This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016.The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes ... Leer más

Gratis

This book is published open access under a CC BY license.This book constitutes the proceedings of the 5th International Workshop on Symbiotic Interaction, Symbiotic 2016, held in Padua, Italy, in October 2016.The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The idea of symbiotic systems put forward in this workshop capitalizes
... Leer más
Intelligent Robotics and Applications

15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II

Edición de Honghai Liu, Zhouping Yin, Lianqing Liu, Li Jiang, Guoying Gu, Xinyu Wu, Weihong Ren ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications ... Leer más

$117.69 USD

The 4-volume set LNAI 13455 - 13458 constitutes the proceedings of the 15th International Conference on Intelligent Robotics and Applications, ICIRA 2022, which took place in Harbin China, during August 2022.The 284 papers included in these proceedings were carefully reviewed and selected from 442 submissions. They were organized in topical sections as follows: Robotics, Mechatronics, Applications
... Leer más
Network and Parallel Computing

17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers

Edición de Xin He, En Shao, Guangming Tan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 17th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2020, held in Zhengzhou, China, in September 2020.The 34 full and 7 short papers presented in this volume were carefully reviewed and selected from 95 submissions. They were organized in topical sections named: accelerator; AI; algorithm; architecture and hardware; big ... Leer más

$117.69 USD

This book constitutes the proceedings of the 17th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2020, held in Zhengzhou, China, in September 2020.The 34 full and 7 short papers presented in this volume were carefully reviewed and selected from 95 submissions. They were organized in topical sections named: accelerator; AI; algorithm; architecture and hardware; big
... Leer más
Web and Wireless Geographical Information Systems

16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

Edición de Miguel R. Luaces, Farid Karimipour ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2018, held in A Coruña, Spain, in May 2018.The 15 full papers included in the volume were carefully reviewed and selected from 20 submissions. They deal with theoretical, technical, and practical issues in the field of wireless and Internet technologies ... Leer más

$42.79 USD

This book constitutes the refereed proceedings of the 16th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2018, held in A Coruña, Spain, in May 2018.The 15 full papers included in the volume were carefully reviewed and selected from 20 submissions. They deal with theoretical, technical, and practical issues in the field of wireless and Internet technologies
... Leer más
Human-Computer Interaction. Human Values and Quality of Life

Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III

Edición de Masaaki Kurosu ...

Series Libro 3 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326 ... Leer más

$96.29 USD

The three-volume set LNCS 12181, 12182, and 12183 constitutes the refereed proceedings of the Human Computer Interaction thematic area of the 22nd International Conference on Human-Computer Interaction, HCII 2020, which took place in Copenhagen, Denmark, in July 2020.*A total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings from a total of 6326
... Leer más
Social Informatics

12th International Conference, SocInfo 2020, Pisa, Italy, October 6–9, 2020, Proceedings

Edición de Samin Aref, Kalina Bontcheva, Marco Braghieri, Frank Dignum, Fosca Giannotti, Francesco Grisolia, Dino Pedreschi ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the proceedings of the 12th International Conference on Social Informatics, SocInfo 2020, held in Pisa, Italy, in October 2020. The 30 full and 3 short papers presented in these proceedings were carefully reviewed and selected from 99 submissions. The papers presented in this volume cover a broad range of topics, ranging from works that ground information-system design on ... Leer más

$90.89 USD

This volume constitutes the proceedings of the 12th International Conference on Social Informatics, SocInfo 2020, held in Pisa, Italy, in October 2020. The 30 full and 3 short papers presented in these proceedings were carefully reviewed and selected from 99 submissions. The papers presented in this volume cover a broad range of topics, ranging from works that ground information-system design on
... Leer más
Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Edición de Brijesh Dongol, Elena Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and ... Leer más

$53.49 USD

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and
... Leer más
Advanced Data Mining and Applications

21st International Conference, ADMA 2025, Kyoto, Japan, October 22–24, 2025, Proceedings, Part III

Edición de Masatoshi Yoshikawa, Xiaofeng Meng, Yang Cao, Chuan Xiao, Weitong Chen, Yanda Wang ...

Series Libro 3 - Springer Nature Proceedings Computer Science
This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22–24, 2025. ... Leer más

$85.59 USD

This five-volume set, constitutes the refereed proceedings of the 21st International Conference on Advanced Data Mining and Applications, ADMA 2025, held in Kyoto, Japan, during October 22–24, 2025.
... Leer más
Pattern Recognition and Computer Vision

6th Chinese Conference, PRCV 2023, Xiamen, China, October 13–15, 2023, Proceedings, Part XII

Edición de Qingshan Liu, Hanzi Wang, Zhanyu Ma, Weishi Zheng, Hongbin Zha, Xilin Chen, Liang Wang, Rongrong Ji ...

Series Libro 12 - Springer Nature Proceedings Computer Science
The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13–15, 2023.The 532 full papers presented in these volumes were selected from 1420 submissions. The papers have been organized in the following topical sections: Action Recognition, Multi-Modal Information ... Leer más

$85.59 USD

The 13-volume set LNCS 14425-14437 constitutes the refereed proceedings of the 6th Chinese Conference on Pattern Recognition and Computer Vision, PRCV 2023, held in Xiamen, China, during October 13–15, 2023.The 532 full papers presented in these volumes were selected from 1420 submissions. The papers have been organized in the following topical sections: Action Recognition, Multi-Modal Information
... Leer más
OpenMP: Advanced Task-Based, Device and Compiler Programming

19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13–15, 2023, Proceedings

Edición de Simon McIntosh-Smith, Michael Klemm, Bronis R. de Supinski, Tom Deakin, Jannis Klinkenberg ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support; ... Leer más

$69.49 USD

This book constitutes the proceedings of the 19th International Workshop on OpenMP, IWOMP 2023, held in Bristol, UK, during September 13–15, 2023.The 15 full papers presented in this book were carefully reviewed and selected from 20 submissions. The papers are divided into the following topical sections: OpenMP and AI; Tasking Extensions; OpenMP Offload Experiences; Beyond Explicit GPU Support;
... Leer más
Hybrid Artificial Intelligent Systems

15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings

Edición de Enrique Antonio de la Cal, José Ramón Villar Flecha, Héctor Quintián, Emilio Corchado ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020.The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and ... Leer más

$96.29 USD

This book constitutes the refereed proceedings of the 15th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2020, held in Gijón, Spain, in November 2020.The 65 regular papers presented in this book were carefully reviewed and selected from 106 submissions. The papers are grouped into these topics: advanced data processing and visualization techniques; bio-inspired models and
... Leer más
Contactless VLSI Measurement and Testing Techniques

de Selahattin Sayil ...

Series series Engineering (R0)
This book provides readers with a comprehensive overview of the state-of-the-art in optical contactless probing approaches, in order to fill a gap in the literature on VLSI Testing. The author highlights the inherent difficulties encountered with the mechanical probe and testability design approaches for functional and internal fault testing and shows how contactless testing might resolve many of ... Leer más

$96.29 USD

This book provides readers with a comprehensive overview of the state-of-the-art in optical contactless probing approaches, in order to fill a gap in the literature on VLSI Testing. The author highlights the inherent difficulties encountered with the mechanical probe and testability design approaches for functional and internal fault testing and shows how contactless testing might resolve many of
... Leer más
Shared-Memory Synchronization

de Michael L. Scott, Trevor Brown ...

Series series Synthesis Collection of Technology (R0)
This book offers a comprehensive survey of shared-memory synchronization, with an emphasis on “systems-level” issues. It includes sufficient coverage of architectural details to understand correctness and performance on modern multicore machines, and sufficient coverage of higher-level issues to understand how synchronization is embedded in modern programming languages.The primary intended ... Leer más

$48.19 USD

This book offers a comprehensive survey of shared-memory synchronization, with an emphasis on “systems-level” issues. It includes sufficient coverage of architectural details to understand correctness and performance on modern multicore machines, and sufficient coverage of higher-level issues to understand how synchronization is embedded in modern programming languages.The primary intended
... Leer más
Carbon Nanotubes for Interconnects

Process, Design and Applications

Edición de Jean Dijon, Antonio Maffucci, Aida Todri-Sanial ...

Series series Engineering (R0)
This book provides a single-source reference on the use of carbon nanotubes (CNTs) as interconnect material for horizontal, on-chip and 3D interconnects. The authors demonstrate the uses of bundles of CNTs, as innovative conducting material to fabricate interconnect through-silicon vias (TSVs), in order to improve the performance, reliability and integration of 3D integrated circuits (ICs). This ... Leer más

$96.29 USD

This book provides a single-source reference on the use of carbon nanotubes (CNTs) as interconnect material for horizontal, on-chip and 3D interconnects. The authors demonstrate the uses of bundles of CNTs, as innovative conducting material to fabricate interconnect through-silicon vias (TSVs), in order to improve the performance, reliability and integration of 3D integrated circuits (ICs). This
... Leer más
Advanced Logic Synthesis

Edición de Rolf Drechsler, André Inácio Reis ...

Series series Engineering (R0)
This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and ... Leer más

$96.29 USD

This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe techniques that will enable readers to take advantage of recent advances in big data techniques and
... Leer más

Kobo Rakuten

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Arquitectura de sistemas informáticos

Organizational Network Analysis

Network Design

Modelling Transitions

Scalable Data Pipelines

Computer Security – ESORICS 2022

Languages and Compilers for Parallel Computing

Scheduling and Reconfiguration of Real-Time Systems

High-speed Serial Buses in Embedded Systems

Critical Information Infrastructures Security

Symbiotic Interaction

Intelligent Robotics and Applications

Network and Parallel Computing

Web and Wireless Geographical Information Systems

Human-Computer Interaction. Human Values and Quality of Life

Social Informatics

Integrated Formal Methods

Advanced Data Mining and Applications

Pattern Recognition and Computer Vision

OpenMP: Advanced Task-Based, Device and Compiler Programming

Hybrid Artificial Intelligent Systems

Contactless VLSI Measurement and Testing Techniques

Shared-Memory Synchronization

Carbon Nanotubes for Interconnects

Advanced Logic Synthesis