O avanço tecnológico e da computação gráfica nas últimas décadas nos levou a um novo patamar digital: o universo das tecnologias tridimensionais. Hoje, as possibilidades de atuar numa produção 3D sã……続きを見る
Car electronics and digital processing technology have been used to improve the efficiency and performance of engines for decades, yet the main focus is still on static or pseudo-static mode, while ……続きを見る
This book highlights the critical challenge of improving the design and performance of hip implants, which are essential for enhancing patient outcomes in hip replacement surgeries. The book focuses……続きを見る
Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate the……続きを見る
The Reference Model of Open Distributed Processing (RM-ODP) is an international standard that provides a solid basis for describing and building widely distributed systems and applications in a syst……続きを見る
著者：Akira Maruoka
出版社： Springer London
発売日： 2015年12月29日
This textbook presents a thorough foundation to the theory of computation. Combining intuitive descriptions and illustrations with rigorous arguments and detailed proofs for key topics, the logicall……続きを見る
Whether you are a project manager looking to lead blockchain projects, a developer who would like to create blockchain-based applications, or a student with an interest, this book will provide you w……続きを見る
This book is a collection of all papers presented at the 2015 International Workshop on Wireless Communication and Network (IWWCN 2015), which was held on August 21-23, 2015 in Kunming, Yunnan, Chin……続きを見る
A revolucionária linguagem de consulta e manipulação de dados, GraphQL, definitivamente veio para ficar. Ela tem conquistado grandes empresas nos mais diversos ramos, desde redes sociais, até mesmo ……続きを見る
This book focuses on a new type of inclusive consumer decision-making process model (CDM) related to new leading-edge consumers. There have been two main types of CDMs for consumer behavior: one is ……続きを見る
Build your own robo-advisor in Python to manage your investments and get up and running in no time
Purchase of the print or Kindle book includes a free PDF eBook
Key Features
Explore the use cases,……続きを見る
著者：Hiroakira Ono
出版社： Springer Nature Singapore
発売日： 2019年08月03日
This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been……続きを見る
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques in……続きを見る
