著者: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……続きを見る
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……続きを見る
While the significance of networks in various human behavior and activities has a history as long as human's existence, network awareness is a recent scientific phenomenon. The neologism network sci……続きを見る
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 ……続きを見る
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……続きを見る
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……続きを見る
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The s……続きを見る
著者: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……続きを見る
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,……続きを見る