Digital twin, blackchain, and wireless sensor networks can work together to improve services in the smart city. Big data derived from wireless sensor networks can be integrated to accommodate the exchange of real-time data between citizens, governments, and organizations. Meer
A nuts–and–bolts guide to conducting your own professional–quality surveys without paying professional fees. How can you gauge public support for a cause or test the market for a product or service? Meer
Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Meer
Mobile Interaction Design shifts the design perspective away from the technology and concentrates on usability; in other words the book concentrates on developing interfaces and devices with a great deal of sensitivity to human needs, desires and capabilities. Meer
Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. Meer
Your company can save tons of money by taking advantage of Asterisk, an open–source PBX that allows you to bridge data and voice communications.
Asterisk for Dummies saves you all the worries and confusion with its easy–to–use, step–by–step walkthrough of the entire program that will have you set up in no time! Meer
This book shows how densities arise in simple deterministic systems. There has been explosive growth in interest in physical, biological and economic systems that can be profitably studied using densities. Meer
This rigourous and self-contained book describes mathematical and, in particular, stochastic methods to assess the performance of networked systems. It consists of three parts. Meer
Hidden Markov processes (HMPs) are important objects of study in many areas of pure and applied mathematics, including information theory, probability theory, dynamical systems and statistical physics, with applications in electrical engineering, computer science and molecular biology. Meer
Improve the performance of relational databases with indexes designed for today′s hardware
Over the last few years, hardware and software have advanced beyond all recognition, so it′s hardly surprising that relational database performance now receives much less attention. Meer
Human factors is one of the critical issues in Information Technology, as industry realizes the need to change from technology-oriented goals to meet the demands of computer users. Meer
A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O), while at the same time being able to verify programs. Meer
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. Meer
The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists. Meer
First published in 1991, this thesis concentrates upon the design of three-dimensional, rather than the traditional two-dimensional, circuits. The theory behind such circuits is presented in detail, together with experimental results. Meer
First published in 1996, this collection of essays by distinguished computer scientists celebrates the achievements of research and speculates about the unsolved problems in computer science that require future investigation. Meer
In today's security-conscious society, real-world applications for authentication or identification require a highly accurate system for recognizing individual humans. Meer
Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. Meer
The logic and methodology of design is examined in this book from the perspective of computer science. Computers provide the context for this examination both by discussion of the design process for hardware and software systems and by consideration of the role of computers in design in general. Meer
Semiotics, the science of signs, has long been recognised as an important discipline for understanding information and communications. Moreover it has found wide application in other areas of computer science, as it offers an effective insight into organisations and the computer systems that support them. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books