Rakuten Kobo

Logic for Programming, Artificial Intelligence, and Reasoning

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, ... Read more

$49.99 USD

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,
... Read more
Advances in Human Factors in Robots and Unmanned Systems

Proceedings of the AHFE 2019 International Conference on Human Factors in Robots and Unmanned Systems, July 24-28, 2019, Washington D.C., USA

Edited by Jessie Chen ...

Series series Springer Nature Proceedings excluding Computer Science
This book focuses on the importance of human factors in the development of safe and reliable unmanned systems. It discusses current challenges such as how to improve the perceptual and cognitive abilities of robots, develop suitable synthetic vision systems, cope with degraded reliability in unmanned systems, predict robotic behavior in case of a loss of communication, the vision for future ... Read more

$89.99 USD

This book focuses on the importance of human factors in the development of safe and reliable unmanned systems. It discusses current challenges such as how to improve the perceptual and cognitive abilities of robots, develop suitable synthetic vision systems, cope with degraded reliability in unmanned systems, predict robotic behavior in case of a loss of communication, the vision for future
... Read more
Intelligent System Algorithms and Applications in Science and Technology

Edited by Sunil Pathak, Pramod Kumar Bhatt, Sanjay Kumar Singh, Ashutosh Tripathi, Pankaj Kumar Pandey ...

The 21st century has witnessed massive changes around the world in intelligence systems in order to become smarter, energy efficient, reliable, and cheaper. This volume explores the application of intelligent techniques in various fields of engineering and technology. It addresses diverse topics in such areas as machine learning-based intelligent systems for healthcare, applications of artificial ... Read more

$179.99 USD

The 21st century has witnessed massive changes around the world in intelligence systems in order to become smarter, energy efficient, reliable, and cheaper. This volume explores the application of intelligent techniques in various fields of engineering and technology. It addresses diverse topics in such areas as machine learning-based intelligent systems for healthcare, applications of artificial
... Read more
Advanced Multimedia and Ubiquitous Engineering

FutureTech & MUE

Edited by Hai Jin, Young-Sik Jeong, Muhammad Khurram Khan, James J. (Jong Hyuk) Park ...

Series series Springer Nature Proceedings Computer Science
This volume presents selected papers from prominent researchers participating in the 11th International Conference on Future Information Technology and the 10th International Conference on Multimedia and Ubiquitous Engineering, Beijing, China, April 20-22, 2016.These large international conferences provided an opportunity for academic and industry professionals to discuss recent progress in the ... Read more

$143.99 USD

This volume presents selected papers from prominent researchers participating in the 11th International Conference on Future Information Technology and the 10th International Conference on Multimedia and Ubiquitous Engineering, Beijing, China, April 20-22, 2016.These large international conferences provided an opportunity for academic and industry professionals to discuss recent progress in the
... Read more
Ambient Findability

What We Find Changes Who We Become

by Peter Morville ...

How do you find your way in an age of information overload? How can you filter streams of complex information to pull out only what you want? Why does it matter how information is structured when Google seems to magically bring up the right answer to your questions? What does it mean to be "findable" in this day and age? This eye-opening new book examines the convergence of information and ... Read more

$17.99 USD

How do you find your way in an age of information overload? How can you filter streams of complex information to pull out only what you want? Why does it matter how information is structured when Google seems to magically bring up the right answer to your questions? What does it mean to be "findable" in this day and age? This eye-opening new book examines the convergence of information and
... Read more
Migrating from Drupal to Backdrop

by Todd Tomlinson ...

Series series Professional and Applied Computing (R0)
Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in ... Read more

$35.99 USD

Migrate an existing Drupal 6 or 7 website to Backdrop and discover why you should consider using Backdrop when building a new website. You'll learn what Backdrop is, how to install and configure Backdrop, and create and manage content. Migrating from Drupal to Backdrop focuses on the user who is responsible for building, maintaining, and managing an organization's website and who is interested in
... Read more
Typed PHP

Stronger Types For Cleaner Code

by Christopher Pitt ...

Series series Professional and Applied Computing (R0)
Discover how stronger types mean cleaner, more efficient, and optimized PHP applications. This unique book looks at typed PHP: PHP types, strings, regular expressions, and more from PHP 7 as found in standard PHP libraries, user libraries, extensions, and cross-compilers. You'll see how to create a set of reusable tools that unify and ease the scalar types of PHP.PHP has a rich history and a ... Read more

$23.99 USD

Discover how stronger types mean cleaner, more efficient, and optimized PHP applications. This unique book looks at typed PHP: PHP types, strings, regular expressions, and more from PHP 7 as found in standard PHP libraries, user libraries, extensions, and cross-compilers. You'll see how to create a set of reusable tools that unify and ease the scalar types of PHP.PHP has a rich history and a
... Read more
Collaboration and Technology

22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings

Edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Conference on Collaboration and Technology, CRIWG 2016, held in Kanazawa, Japan, in September 2016.The 10 revised full papers presented together with 3 work-in-progress papers werecarefully reviewed and selected from 27 submissions. The papers refl****ect the current diversity of collaborative computing research and its ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 22nd International Conference on Collaboration and Technology, CRIWG 2016, held in Kanazawa, Japan, in September 2016.The 10 revised full papers presented together with 3 work-in-progress papers werecarefully reviewed and selected from 27 submissions. The papers refl****ect the current diversity of collaborative computing research and its
... Read more
Design, User Experience, and Usability: Design Discourse

4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part I

Edited by Aaron Marcus ...

Series Book 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences. The total of 1462 papers and 246 posters ... Read more

$49.99 USD

The three-volume set LNCS 9186, 9187, and 9188 constitutes the proceedings of the 4th International Conference on Design, User Experience, and Usability, DUXU 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA, in August 2015, jointly with 13 other thematically similar conferences. The total of 1462 papers and 246 posters
... Read more
British Versions of Book II of Euclid’s Elements: Geometry, Arithmetic, Algebra (1550–1750)

by Leo Corry ...

Series Book 2 - History (R0)
This book discusses the changing conceptions about the relationship between geometry and arithmetic within the Euclidean tradition that developed in the British context of the sixteenth and seventeenth century. Its focus is on Book II of the Elements and the ways in which algebraic symbolism and methods, especially as recently introduced by François Viète and his followers, took center stage as ... Read more

$49.99 USD

This book discusses the changing conceptions about the relationship between geometry and arithmetic within the Euclidean tradition that developed in the British context of the sixteenth and seventeenth century. Its focus is on Book II of the Elements and the ways in which algebraic symbolism and methods, especially as recently introduced by François Viète and his followers, took center stage as
... Read more
Thinking with Diagrams

Edited by Alan F. Blackwell ...

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research ... Read more

$134.99 USD

This book provides an introductory overview of the rapid growth in interdisciplinary research into Thinking with Diagrams. Diagrammatic representations are becoming more common in everyday human experience, yet they offer unique challenges to cognitive science research. Neither linguistic nor perceptual theories are sufficient to completely explain their advantages and applications. These research
... Read more
Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

Edited by Emilio Tuosto, Chun Ouyang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model ... Read more

$40.99 USD

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model
... Read more
Requirements Engineering

by Elizabeth Hull, Jeremy Dick, Ken Jackson ...

Series series Computer Science (R0)
We live in a commercial world where much of our work is undertaken through a project -oriented approach. This has the advantage of determining the cost and time of the project to be undertaken, which in their turn are based on the knowledge of what the project is to deliver. Computing is no different in this regard, and so in order to organize our activities, we need to know what it is that is to ... Read more

$80.99 USD

We live in a commercial world where much of our work is undertaken through a project -oriented approach. This has the advantage of determining the cost and time of the project to be undertaken, which in their turn are based on the knowledge of what the project is to deliver. Computing is no different in this regard, and so in order to organize our activities, we need to know what it is that is to
... Read more
Multimedia Interaction and Intelligent User Interfaces

Principles, Methods and Applications

Edited by Ling Shao, Caifeng Shan, Jiebo Luo, Minoru Etoh ...

Series series Computer Science (R0)
Consumer electronics (CE) devices, providing multimedia entertainment and enabling communication, have become ubiquitous in daily life. However, consumer interaction with such equipment currently requires the use of devices such as remote controls and keyboards, which are often inconvenient, ambiguous and non-interactive. An important challenge for the modern CE industry is the design of user ... Read more

$89.99 USD

Consumer electronics (CE) devices, providing multimedia entertainment and enabling communication, have become ubiquitous in daily life. However, consumer interaction with such equipment currently requires the use of devices such as remote controls and keyboards, which are often inconvenient, ambiguous and non-interactive. An important challenge for the modern CE industry is the design of user
... Read more
Sharing Data and Models in Software Engineering

by Tim Menzies, Ekrem Kocaguneli, Burak Turhan, Leandro Minku, Fayola Peters ...

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting with a background section of practical lessons and warnings for beginner data scientists for software engineering, this edited volume proceeds to identify critical questions of contemporary software ... Read more

$80.99 USD

Data Science for Software Engineering: Sharing Data and Models presents guidance and procedures for reusing data and models between projects to produce results that are useful and relevant. Starting with a background section of practical lessons and warnings for beginner data scientists for software engineering, this edited volume proceeds to identify critical questions of contemporary software
... Read more
Neural Correlates of Quality Perception for Complex Speech Signals

by Jan-Niklas Antons ...

Series series Engineering (R0)
This book interconnects two essential disciplines to study the perception of speech: Neuroscience and Quality of Experience, which to date have rarely been used together for the purposes of research on speech quality perception. In five key experiments, the book demonstrates the application of standard clinical methods in neurophysiology on the one hand and of methods used in fields of research ... Read more

$89.99 USD

This book interconnects two essential disciplines to study the perception of speech: Neuroscience and Quality of Experience, which to date have rarely been used together for the purposes of research on speech quality perception. In five key experiments, the book demonstrates the application of standard clinical methods in neurophysiology on the one hand and of methods used in fields of research
... Read more
Advanced Social Interaction with Agents

8th International Workshop on Spoken Dialog Systems

Edited by Maxine Eskenazi, Laurence Devillers, Joseph Mariani ...

Series series Engineering (R0)
This book presents lectures given at the 8th International Workshop on Spoken Dialog Systems. As agents evolve in terms of their ability to carry on a dialog with users, several qualities are emerging as essential components of a successful system. Users do not carry on long conversations on only one topic—they tend to switch between several topics. Thus the authors are observing the emergence of ... Read more

$89.99 USD

This book presents lectures given at the 8th International Workshop on Spoken Dialog Systems. As agents evolve in terms of their ability to carry on a dialog with users, several qualities are emerging as essential components of a successful system. Users do not carry on long conversations on only one topic—they tend to switch between several topics. Thus the authors are observing the emergence of
... Read more
A List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella ...

Series series Computer Science (R0)
This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute ... Read more

$49.99 USD

This volume is published in Honor of Philip Wadler on the occasion of his 60th birthday, and the collection of papers form a Festschrift for him. The contributions are made by some of the many who know Phil and have been influenced by him. The research papers included here represent some of the areas in which Phil has been active, and the editors thank their colleagues for agreeing to contribute
... Read more
Toward Robotic Socially Believable Behaving Systems - Volume II

Modeling Social Signals

Edited by Anna Esposito, Lakhmi C. Jain ...

Series series Engineering (R0)
This volume presents a collection of research studies on sophisticated and functional computational instruments able to recognize, process, and store relevant situated interactional signals, as well as, interact with people, displaying reactions (under conditions of limited time) that show abilities of appropriately sensing and understanding environmental changes, producing suitable, autonomous, ... Read more

$89.99 USD

This volume presents a collection of research studies on sophisticated and functional computational instruments able to recognize, process, and store relevant situated interactional signals, as well as, interact with people, displaying reactions (under conditions of limited time) that show abilities of appropriately sensing and understanding environmental changes, producing suitable, autonomous,
... Read more
Ant: The Definitive Guide

Complete Build Management for Java

by Steve Holzner ...

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full ... Read more

$25.99 USD

Soon after its launch, Ant succeeded in taking the Java world by storm, becoming the most widely used tool for building applications in Java environments. Like most popular technologies, Ant quickly went through a series of early revision cycles. With each new version, more functionality was added, and more complexity was introduced. Ant evolved from a simple-to-learn build tool into a full
... Read more
Migratory Interactive Applications for Ubiquitous Environments

Edited by Fabio Paternò ...

Series series Computer Science (R0)
Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications through a variety of interactive devices (including cell phones, PDA's, desktop computers, digital television sets, and intelligent watches). A frustrating limitation is that people have to start their session over again from the beginning at each ... Read more

$89.99 USD

Ubiquitous environments are important because they allow users to move about freely and continue the interaction with the available applications through a variety of interactive devices (including cell phones, PDA's, desktop computers, digital television sets, and intelligent watches). A frustrating limitation is that people have to start their session over again from the beginning at each
... Read more
Verification and Evaluation of Computer and Communication Systems

11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is ... Read more

$49.99 USD

This book constitutes the proceedings of the 11th International Conference International Conference on Veriﬁcation and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017.The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is
... Read more
CODING INTERVIEWS G U I D E

Essential Guide to Prepare You with the Most Effective Case Studies and Coding Interview Questions

by Olivia Miller ...

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike. ... Read more

$4.99 USD

What if you could learn everything you need to ace the coding interview in just a few hours?You can.This book will give you the tools and resources to prepare for your next coding interview and ace it easily. You'll learn how to preparefor your first coding interview and how to answer common questions.This book is perfect for both newbies and experienced professionals alike.
... Read more
Land Your Dream Design Job

A Guide for Product Designers, From Portfolio to Interview to Job Offer

by Dan Shilov ...

Design is hard. Finding the right job doesn't have to be.As designers, we spend considerable effort in honing our craft and staying up to date on the latest design trends. Shouldn't we apply the same rigor when we're looking for that dream design job?Land Your Dream Design Job is a comprehensive book about landing a product design role in a startup, agency, or tech company. It covers the entire ... Read more

$18.99 USD

Design is hard. Finding the right job doesn't have to be.As designers, we spend considerable effort in honing our craft and staying up to date on the latest design trends. Shouldn't we apply the same rigor when we're looking for that dream design job?Land Your Dream Design Job is a comprehensive book about landing a product design role in a startup, agency, or tech company. It covers the entire
... 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: