Rakuten Kobo

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Edited by Mauricio Ayala-Rincón, César A. Muñoz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017.The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in
... Read more
Multi-finger Haptic Interaction

Edited by Ignacio Galiana, Manuel Ferre ...

Series series Computer Science (R0)
Multi-finger Haptic Interaction presents a panorama of technologies and methods for multi-finger haptic interaction, together with an analysis of the benefits and implications of adding multiple-fingers to haptic applications.Research topics covered include:design and control of advanced haptic devices;multi-contact point simulation algorithms;interaction techniques and implications in human ... Read more

$89.99 USD

Multi-finger Haptic Interaction presents a panorama of technologies and methods for multi-finger haptic interaction, together with an analysis of the benefits and implications of adding multiple-fingers to haptic applications.Research topics covered include:design and control of advanced haptic devices;multi-contact point simulation algorithms;interaction techniques and implications in human
... Read more
Mastering phpMyAdmin 3.3.x for Effective MySQL Management

A complete guide to get started with phpMyAdmin 3.3 and master its features

by Marc Delisle ...

This is a step-by-step instructional guide to get you started easily with phpMyAdmin and teach you to manage and perform database functions on your database. You will first be introduced to the interface and then build basic tables and perform both simple and advanced functions on the created database. The book progresses gradually and you will follow it best by reading it sequentially. If you are ... Read more

$25.99 USD or Free with Kobo Plus

This is a step-by-step instructional guide to get you started easily with phpMyAdmin and teach you to manage and perform database functions on your database. You will first be introduced to the interface and then build basic tables and perform both simple and advanced functions on the created database. The book progresses gradually and you will follow it best by reading it sequentially. If you are
... Read more
Mastering Swift

Mastering Swift

by Jon Hoffman ...

Key FeaturesBook DescriptionIf you are a developer that learns best by looking at, and working with, code, then this book is for you. A basic understanding of Apple's tools is beneficial but not mandatory.What you will learnPrototype and test code in a PlaygroundUnderstand the basics of Swift, including operators, collections, control flows, and functionsCreate and use Classes, Structures, and ... Read more

$41.99 USD or Free with Kobo Plus

Key FeaturesBook DescriptionIf you are a developer that learns best by looking at, and working with, code, then this book is for you. A basic understanding of Apple's tools is beneficial but not mandatory.What you will learnPrototype and test code in a PlaygroundUnderstand the basics of Swift, including operators, collections, control flows, and functionsCreate and use Classes, Structures, and
... Read more
Design Amazônico

Histórias contadas por profissionais caboclos

by Josiane Nascimento, Narle Teixeira, Sylker Teles, Felipe Cumaru, Victor Maxwell, Wilson Prata, Valéria Romano, Juan Oliveira, Guto Kawakami ...

Este livro foi escrito para designers, educadores e educadoras, pesquisadores e pesquisadoras em qualquer nível de carreira, desde pessoas que desejam entrar na área do Design até profissionais com longas jornadas no mercado.Nesta obra trazemos histórias independentes, ou seja, cada pessoa autora escreveu e narrou um case de trabalho, uma pesquisa ou alguma experiência que teve com Design. Logo, ... Read more

$15.99 USD or Free with Kobo Plus

Este livro foi escrito para designers, educadores e educadoras, pesquisadores e pesquisadoras em qualquer nível de carreira, desde pessoas que desejam entrar na área do Design até profissionais com longas jornadas no mercado.Nesta obra trazemos histórias independentes, ou seja, cada pessoa autora escreveu e narrou um case de trabalho, uma pesquisa ou alguma experiência que teve com Design. Logo,
... Read more
Windows 10 Development Recipes

A Problem-Solution Approach in HTML and JavaScript

by Senthil Kumar, Lohith Goudagere Nagaraj, Pathik Rawal, Pryank Rohilla ...

Series series Professional and Applied Computing (R0)
This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScript.Each recipe includes a concise statement of the problem and the approach you should take in order to solve it. A full code solution is also given, along with an in-depth explanation, so you can ... Read more

$49.99 USD

This book is a practical guide to solving the everyday problems encountered when building apps for Windows 10 devices, including desktops, laptops, tablets, and phones, using HTML5, CSS3 and JavaScript.Each recipe includes a concise statement of the problem and the approach you should take in order to solve it. A full code solution is also given, along with an in-depth explanation, so you can
... Read more
Regular Nanofabrics in Emerging Technologies

Design and Fabrication Methods for Nanoscale Digital Circuits

by M. Haykel Ben Jamaa ...

Series series Engineering (R0)
Regular Nanofabrics in Emerging Technologies gives a deep insight into both fabrication and design aspects of emerging semiconductor technologies, that represent potential candidates for the post-CMOS era. Its approach is unique, across different fields, and it offers a synergetic view for a public of different communities ranging from technologists, to circuit designers, and computer scientists. ... Read more

$143.99 USD

Regular Nanofabrics in Emerging Technologies gives a deep insight into both fabrication and design aspects of emerging semiconductor technologies, that represent potential candidates for the post-CMOS era. Its approach is unique, across different fields, and it offers a synergetic view for a public of different communities ranging from technologists, to circuit designers, and computer scientists.
... Read more
Graph Transformation

12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Edited by Esther Guerra, Fernando Orejas ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019.The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and
... Read more
Mastering Shiny

by Hadley Wickham ...

Master the Shiny web framework—and take your R skills to a whole new level. By letting you move beyond static reports, Shiny helps you create fully interactive web apps for data analyses. Users will be able to jump between datasets, explore different subsets or facets of the data, run models with parameter values of their choosing, customize visualizations, and much more.Hadley Wickham from ... Read more

$48.99 USD

Master the Shiny web framework—and take your R skills to a whole new level. By letting you move beyond static reports, Shiny helps you create fully interactive web apps for data analyses. Users will be able to jump between datasets, explore different subsets or facets of the data, run models with parameter values of their choosing, customize visualizations, and much more.Hadley Wickham from
... Read more
Computer Vision – ECCV 2024

18th European Conference, Milan, Italy, September 29 – October 4, 2024, Proceedings, Part LXXIV

Edited by Aleš Leonardis, Elisa Ricci, Stefan Roth, Olga Russakovsky, Torsten Sattler, Gül Varol ...

Series series Springer Nature Proceedings Computer Science
The multi-volume set of LNCS books with volume numbers 15059 upto 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as Computer vision, ... Read more

$80.99 USD

The multi-volume set of LNCS books with volume numbers 15059 upto 15147 constitutes the refereed proceedings of the 18th European Conference on Computer Vision, ECCV 2024, held in Milan, Italy, during September 29–October 4, 2024.The 2387 papers presented in these proceedings were carefully reviewed and selected from a total of 8585 submissions. They deal with topics such as Computer vision,
... Read more
Betriebssysteme

Grundlagen und Konzepte

by Rüdiger Brause ...

Series series Computer Science and Engineering (German Language)
Der Autor präsentiert die Grundlagen und Konzepte der heutigen Betriebssysteme und behandelt die Gebiete Prozesse (Prozesszustände, Prozessscheduling, Prozesssynchronisation und Prozesskommunikation), Speicherverwaltung (virtueller Speicher, paging, swapping), Dateiverwaltung (Files, Ordner, Sicherheitsmechanismen), Ein-und Ausgabeverwaltung (Treiber, I/O-memory mapping, Systemfunktionen) sowie ... Read more

$40.99 USD

Der Autor präsentiert die Grundlagen und Konzepte der heutigen Betriebssysteme und behandelt die Gebiete Prozesse (Prozesszustände, Prozessscheduling, Prozesssynchronisation und Prozesskommunikation), Speicherverwaltung (virtueller Speicher, paging, swapping), Dateiverwaltung (Files, Ordner, Sicherheitsmechanismen), Ein-und Ausgabeverwaltung (Treiber, I/O-memory mapping, Systemfunktionen) sowie
... Read more
Transactions on Foundations for Mastering Change I

Edited by Bernhard Steffen ...

Series series Computer Science (R0)
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. ... Read more

$49.99 USD

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.
... Read more
MATLAB Differential Equations

by Cesar Lopez ...

Series series Professional and Applied Computing (R0)
MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java ... Read more

$49.99 USD

MATLAB is a high-level language and environment for numerical computation, visualization, and programming. Using MATLAB, you can analyze data, develop algorithms, and create models and applications. The language, tools, and built-in math functions enable you to explore multiple approaches and reach a solution faster than with spreadsheets or traditional programming languages, such as C/C++ or Java
... Read more
Proceedings of the Second European Conference on Computer-Supported Cooperative Work

ECSCW ’91

Edited by Liam Bannon, Mike Robinson, K. Schmidt ...

Series series Computer Science (R0)
$143.99 USD
Immersive Learning Research Network

5th International Conference, iLRN 2019, London, UK, June 23–27, 2019, Proceedings

Edited by Dennis Beck, Anasol Peña-Rios, Todd Ogle, Daphne Economou, Markos Mentzelopoulos, Leonel Morgado, Christian Eckhardt, Johanna Pirker, Roxane Koitz-Hristov, Jonathon Richter, Christian Gütl, Michael Gardner ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the refereed proceedings of the 5th International Conference of the Immersive Learning Network, iLRN 2019, held in London, UK, in June 2019.The 18 revised full papers and presented in this volume were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on science, technology, engineering, and mathematics (STEM); disciplinary ... Read more

$49.99 USD

This volume constitutes the refereed proceedings of the 5th International Conference of the Immersive Learning Network, iLRN 2019, held in London, UK, in June 2019.The 18 revised full papers and presented in this volume were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on science, technology, engineering, and mathematics (STEM); disciplinary
... Read more
Human-Robot Interaction

Evaluation Methods and Their Standardization

Edited by Céline Jost, Brigitte Le Pévédic, Tony Belpaeme, Cindy Bethel, Dimitrios Chrysostomou, Nigel Crook, Marine Grandgeorge, Nicole Mirnig ...

Series series Social Sciences (R0)
This book offers the first comprehensive yet critical overview of methods used to evaluate interaction between humans and social robots. It reviews commonly used evaluation methods, and shows that they are not always suitable for this purpose. Using representative case studies, the book identifies good and bad practices for evaluating human-robot interactions and proposes new standardized ... Read more

$170.99 USD

This book offers the first comprehensive yet critical overview of methods used to evaluate interaction between humans and social robots. It reviews commonly used evaluation methods, and shows that they are not always suitable for this purpose. Using representative case studies, the book identifies good and bad practices for evaluating human-robot interactions and proposes new standardized
... Read more
HCI in Business, Government and Organizations. Supporting Business

4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

Edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan ...

Series Book 2 - Springer Nature Proceedings Computer Science
This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication ... Read more

$49.99 USD

This 2-volume set constitutes the refereed proceedings of the 4th International Conference on HCI in Business, Government and Organizations, HCIBGO 2017, held as part of the 19 International Conference on Human-Computer Interaction , HCII 2017, which took place in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication
... Read more
Contemporary Methods for Speech Parameterization

by Todor Ganchev ...

Series series Engineering (R0)
Contemporary Methods for Speech Parameterization offers a general view of short-time cepstrum-based speech parameterization and provides a common ground for further in-depth studies on the subject. Specifically, it offers a comprehensive description, comparative analysis, and empirical performance evaluation of eleven contemporary speech parameterization methods, which compute short-time cepstrum ... Read more

$40.99 USD

Contemporary Methods for Speech Parameterization offers a general view of short-time cepstrum-based speech parameterization and provides a common ground for further in-depth studies on the subject. Specifically, it offers a comprehensive description, comparative analysis, and empirical performance evaluation of eleven contemporary speech parameterization methods, which compute short-time cepstrum
... Read more
Human-Computer Interaction: Design and Evaluation

17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part I

Edited by Masaaki Kurosu ...

Series Book 1 - Springer Nature Proceedings Computer Science
The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development ... Read more

$49.99 USD

The 3-volume set LNCS 9169, 9170, 9171 constitutes the refereed proceedings of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences was carefully reviewed and selected from 4843 submissions. These papers address the latest research and development
... Read more
Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Edited by Nadia Polikarpova, Steve Schneider ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems,
... Read more
Wisdom, Well-Being, Win-Win

19th International Conference, iConference 2024, Changchun, China, April 15–26, 2024, Proceedings, Part III

Edited by Isaac Sserwanga, Hideo Joho, Jie Ma, Preben Hansen, Dan Wu, Masanori Koizumi, Anne J. Gilliland ...

Series Book 3 - Springer Nature Proceedings Computer Science
The Three-volume set LNCS 14596, 14597 and 14598 constitutes the proceedings of the 19th International Conference on Wisdom, Well-Being, Win-Win, iConference 2024, which was hosted virtually by University of Tsukuba, Japan and in presence by Jilin University, Changchun, China, during April 15–26, 2024.The 36 full papers and 55 short papers are presented in these proceedings were carefully reviewed ... Read more

$134.99 USD

The Three-volume set LNCS 14596, 14597 and 14598 constitutes the proceedings of the 19th International Conference on Wisdom, Well-Being, Win-Win, iConference 2024, which was hosted virtually by University of Tsukuba, Japan and in presence by Jilin University, Changchun, China, during April 15–26, 2024.The 36 full papers and 55 short papers are presented in these proceedings were carefully reviewed
... Read more
Ajax Hacks

Tips & Tools for Creating Responsive Web Sites

by Bruce W. Perry ...

Ajax, the popular term for Asynchronous JavaScript and XML, is one of the most important combinations of technologies for web developers to know these days. With its rich grouping of technologies, Ajax developers can create interactive web applications with XML-based web services, using JavaScript in the browser to process the web server response.Taking complete advantage of Ajax, however, ... Read more

$17.99 USD

Ajax, the popular term for Asynchronous JavaScript and XML, is one of the most important combinations of technologies for web developers to know these days. With its rich grouping of technologies, Ajax developers can create interactive web applications with XML-based web services, using JavaScript in the browser to process the web server response.Taking complete advantage of Ajax, however,
... Read more
Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

Edited by Cas Cremers, Anja Lehmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and
... Read more
Ultimate Machine Learning with Scikit-Learn

Unleash the Power of Scikit-Learn and Python to Build Cutting-Edge Predictive Modeling Applications and Unlock Deeper Insights Into Machine Learning (English Edition)

by Parag Saxena ...

Master the Art of Data Munging and Predictive Modeling for Machine Learning with Scikit-LearnBook Description“Ultimate Machine Learning with Scikit-Learn” is a definitive resource that offers an in-depth exploration of data preparation, modeling techniques, and the theoretical foundations behind powerful machine learning algorithms using Python and Scikit-Learn.Beginning with foundational ... Read more

$24.95 USD or Free with Kobo Plus

Master the Art of Data Munging and Predictive Modeling for Machine Learning with Scikit-LearnBook Description“Ultimate Machine Learning with Scikit-Learn” is a definitive resource that offers an in-depth exploration of data preparation, modeling techniques, and the theoretical foundations behind powerful machine learning algorithms using Python and Scikit-Learn.Beginning with foundational
... 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: