Rakuten Kobo

Database in Depth

Relational Theory for Practitioners

by C.J. Date ...

This book sheds light on the principles behind the relational model, which is fundamental to all database-backed applications--and, consequently, most of the work that goes on in the computing world today. Database in Depth: The Relational Model for Practitioners goes beyond the hype and gets to the heart of how relational databases actually work.Ideal for experienced database developers and ... Read more

$20.99 USD

This book sheds light on the principles behind the relational model, which is fundamental to all database-backed applications--and, consequently, most of the work that goes on in the computing world today. Database in Depth: The Relational Model for Practitioners goes beyond the hype and gets to the heart of how relational databases actually work.Ideal for experienced database developers and
... Read more
Creativity and Rationale

Enhancing Human Experience by Design

Edited by John M. Carroll ...

Series series Computer Science (R0)
Creativity and rationale comprise an essential tension in design. They are two sides of the coin; contrary, complementary, but perhaps also interdependent. Designs always serve purposes. They always have an internal logic. They can be queried, explained, and evaluated. These characteristics are what design rationale is about. But at the same time designs always provoke experiences and insights. ... Read more

$89.99 USD

Creativity and rationale comprise an essential tension in design. They are two sides of the coin; contrary, complementary, but perhaps also interdependent. Designs always serve purposes. They always have an internal logic. They can be queried, explained, and evaluated. These characteristics are what design rationale is about. But at the same time designs always provoke experiences and insights.
... Read more
Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Edited by Catherine Dubois, Burkhart Wolff ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal
... Read more
Formal Methods and Software Engineering

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Edited by Luke Ong, Zhenhua Duan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods
... Read more
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Edited by Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Series series Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Read more

$89.99 USD

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... Read more
Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings

Edited by Bor-Yuh Evan Chang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; ... Read more

$49.99 USD

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017.The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages;
... Read more
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence

4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for ... Read more

$53.99 USD

This book constitutes the proceedings of the 4th OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2017.The 11 full papers presented in this book were carefully reviewed and selected from 14 submissions. The papers discuss a variety of ideas for extending the OpenSHMEM specification and making it efficient for current and next generation systems. This includes new research for
... Read more
Numbers and Computers

by Ronald T. Kneusel ...

Series series Computer Science (R0)
This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring, ... Read more

$58.99 USD

This is a book about numbers and how those numbers are represented in and operated on by computers. It is crucial that developers understand this area because the numerical operations allowed by computers, and the limitations of those operations, especially in the area of floating point math, affect virtually everything people try to do with computers. This book aims to fill this gap by exploring,
... Read more
Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang ...

Series series Springer Nature Proceedings Computer Science
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have ... Read more

$49.99 USD

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have
... Read more
Let's Play with Excel

by Anurag Pandey ...

Let's Play with ExcelWhat can you really make Excel do with VBA?Excel is much more than a tool for entering data, making tables, and performing calculations. With VBA, logical thinking, and a little creativity, you can automate repetitive work, manipulate data, generate useful documents, solve programming problems, and explore possibilities that go beyond ordinary spreadsheet operations.Let's Play ... Read more

$3.99 USD or Free with Kobo Plus

Let's Play with ExcelWhat can you really make Excel do with VBA?Excel is much more than a tool for entering data, making tables, and performing calculations. With VBA, logical thinking, and a little creativity, you can automate repetitive work, manipulate data, generate useful documents, solve programming problems, and explore possibilities that go beyond ordinary spreadsheet operations.Let's Play
... Read more
Data Analytics and Management in Data Intensive Domains

20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

Edited by Yannis Manolopoulos, Sergey Stupnikov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 20th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2018, held in Moscow, Russia, in October 2018.The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 54 submissions. The papers are organized in the following topical sections: FAIR data ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 20th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2018, held in Moscow, Russia, in October 2018.The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 54 submissions. The papers are organized in the following topical sections: FAIR data
... Read more
Modelling Housing Market Search

Edited by William A. V. Clark ...

Series series Routledge Revivals
Originally published in 1982, this book contains research in the area of econometric modelling in the housing market, including that which has extended to the use of search models. The subjects covered include the importance of racial differences, spatial aspects of residential search and information provision and its effect on the behaviour of the buyers. The combination of careful analytic ... Read more

$48.99 USD

Originally published in 1982, this book contains research in the area of econometric modelling in the housing market, including that which has extended to the use of search models. The subjects covered include the importance of racial differences, spatial aspects of residential search and information provision and its effect on the behaviour of the buyers. The combination of careful analytic
... Read more
Artificial Intelligence in Finance

by Yves Hilpisch ...

The widespread adoption of AI and machine learning is revolutionizing many industries today. Once these technologies are combined with the programmatic availability of historical and real-time financial data, the financial industry will also change fundamentally. With this practical book, you'll learn how to use AI and machine learning to discover statistical inefficiencies in financial markets ... Read more

$55.99 USD

The widespread adoption of AI and machine learning is revolutionizing many industries today. Once these technologies are combined with the programmatic availability of historical and real-time financial data, the financial industry will also change fundamentally. With this practical book, you'll learn how to use AI and machine learning to discover statistical inefficiencies in financial markets
... Read more
Advances in Human Factors in Cybersecurity

AHFE 2020 Virtual Conference on Human Factors in Cybersecurity, July 16–20, 2020, USA

Edited by Isabella Corradini, Enrico Nardelli, Tareq Ahram ...

Series series Springer Nature Proceedings excluding Computer Science
This book reports on the latest research and developments in the field of human factors in cybersecurity. It analyzes how the human vulnerabilities can be exploited by cybercriminals and proposes methods and tools to increase cybersecurity awareness. The chapters cover the social, economic and behavioral aspects of the cyberspace, providing a comprehensive perspective to manage cybersecurity risks ... Read more

$134.99 USD

This book reports on the latest research and developments in the field of human factors in cybersecurity. It analyzes how the human vulnerabilities can be exploited by cybercriminals and proposes methods and tools to increase cybersecurity awareness. The chapters cover the social, economic and behavioral aspects of the cyberspace, providing a comprehensive perspective to manage cybersecurity risks
... Read more
Artificial General Intelligence

13th International Conference, AGI 2020, St. Petersburg, Russia, September 16–19, 2020, Proceedings

Edited by Ben Goertzel, Aleksandr I. Panov, Alexey Potapov, Roman Yampolskiy ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020.The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions. The papers cover topics such as AGI architectures, artificial creativity and AI safety, transfer ... Read more

$80.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Artificial General Intelligence, AGI 2020, held in St. Petersburg, Russia, in September 2020.The 30 full papers and 8 short papers presented in this book were carefully reviewed and selected from 60 submissions. The papers cover topics such as AGI architectures, artificial creativity and AI safety, transfer
... Read more
Clinical Image-Based Procedures

11th Workshop, CLIP 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Proceedings

Edited by Yufei Chen, Marius George Linguraru, Raj Shekhar, Stefan Wesarg, Marius Erdt, Klaus Drechsler, Cristina Oyarzun Laura ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022.The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient ... Read more

$53.99 USD

This book constitutes the proceedings of the 11th Workshop on Clinical Image-Based Procedures, CLIP 2022, which was held in conjunction with MICCAI 2022, in Singapore in September 2022.The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They focus on the applicability of basic research methods in the clinical practice by creating holistic patient
... Read more
C# 10 Quick Syntax Reference

A Pocket Guide to the Language, APIs, and Library

by Mikael Olsson ...

Series Book 10 - Professional and Applied Computing (R0)
Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes, ... Read more

$28.99 USD

Discover what's new in C# and .NET for Windows programming. This book is a condensed code and syntax reference to the C# programming language, updated with the latest features of version 10 for .NET 6.You'll review the essential C# 10 and earlier syntax, not previously covered, in a well-organized format that can be used as a handy reference. Specifically, unions, generic attributes,
... Read more
The Algorithmic Dimension

Five Artists in Conversation

by Francesca Franco ...

Series series Computer Science (R0)
Fifty years after the first experiments in computational art, international interest in the history of this subject remains strong and at the same time almost uncovered. This book began with the exhibition Algorithmic Signs, which was conceived, researched and curated by Francesca Franco in Venice in 2017. The origins of the exhibition included a series of meetings that gathered together the most ... Read more

$152.99 USD

Fifty years after the first experiments in computational art, international interest in the history of this subject remains strong and at the same time almost uncovered. This book began with the exhibition Algorithmic Signs, which was conceived, researched and curated by Francesca Franco in Venice in 2017. The origins of the exhibition included a series of meetings that gathered together the most
... Read more
Distributed Artificial Intelligence

Third International Conference, DAI 2021, Shanghai, China, December 17–18, 2021, Proceedings

Edited by Jie Chen, Jérôme Lang, Christopher Amato, Dengji Zhao ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Third International Conference on Distributed Artificial Intelligence, DAI 2021, held in Shanghai, China, in December 2021.The 15 full papers presented in this book were carefully reviewed and selected from 31 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent ... Read more

$62.99 USD

This book constitutes the refereed proceedings of the Third International Conference on Distributed Artificial Intelligence, DAI 2021, held in Shanghai, China, in December 2021.The 15 full papers presented in this book were carefully reviewed and selected from 31 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent
... Read more
Fintech Policy Tool Kit For Regulators and Policy Makers in Asia and the Pacific

by Asian Development Bank ...

The rapid growth of fintech services in Asia and the Pacific can help countries leapfrog the challenges of traditional financial services infrastructure and dramatically increase access to financial services. An inclusive fintech ecosystem is essential to support economic growth, greater equality, and lower poverty levels. This publication details how to better understand and provide an enabling ... Read more

$5.99 USD

The rapid growth of fintech services in Asia and the Pacific can help countries leapfrog the challenges of traditional financial services infrastructure and dramatically increase access to financial services. An inclusive fintech ecosystem is essential to support economic growth, greater equality, and lower poverty levels. This publication details how to better understand and provide an enabling
... Read more
Internet of Things (IoT) in 5G Mobile Technologies

Edited by George Mastorakis, Jordi Mongay Batalla, Constandinos X. Mavromoustakis ...

Series series Engineering (R0)
This book reports on the latest advances in the modeling, analysis and efficient management of information in Internet of Things (IoT) applications in the context of 5G access technologies. It presents cutting-edge applications made possible by the implementation of femtocell networks and millimeter wave communications solutions, examining them from the perspective of the universally and ... Read more

$170.99 USD

This book reports on the latest advances in the modeling, analysis and efficient management of information in Internet of Things (IoT) applications in the context of 5G access technologies. It presents cutting-edge applications made possible by the implementation of femtocell networks and millimeter wave communications solutions, examining them from the perspective of the universally and
... Read more
Java Design Patterns

by Vaskaran Sarcar ...

Series series Professional and Applied Computing (R0)
Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The examples are chosen so you will be able to absorb the core concepts easily and quickly.This book presents the topic of design patterns in Java in such a way that anyone can grasp the idea. By giving easy ... Read more

$28.99 USD

Learn how to implement design patterns in Java: each pattern in Java Design Patterns is a complete implementation and the output is generated using Eclipse, making the code accessible to all. The examples are chosen so you will be able to absorb the core concepts easily and quickly.This book presents the topic of design patterns in Java in such a way that anyone can grasp the idea. By giving easy
... Read more
Interactions with Search Systems

by Ryen W. White ...

Information seeking is a fundamental human activity. In the modern world, it is frequently conducted through interactions with search systems. The retrieval and comprehension of information returned by these systems is a key part of decision making and action in a broad range of settings. Advances in data availability coupled with new interaction paradigms, and mobile and cloud computing ... Read more

$54.99 USD

Information seeking is a fundamental human activity. In the modern world, it is frequently conducted through interactions with search systems. The retrieval and comprehension of information returned by these systems is a key part of decision making and action in a broad range of settings. Advances in data availability coupled with new interaction paradigms, and mobile and cloud computing
... Read more
Software Technologies

10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

Edited by Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; ... Read more

$49.99 USD

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management;
... Read more

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Programming eBooks

Show: