Rakuten Kobo

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their
... Read more
Automating Software Tests Using Selenium

by Hugo Peres ...

Automating Software Tests Using Selenium is a practical manual aimed at all professionals and companies in the systems area and who aim to improve the quality of their services and / or products in a simple, efficient and low cost.In this book you will find the features that the Selenium tool provides to implement a robust automated testing environment, such as: writing / executing test scripts, ... Read more

$7.39 CAD or Free with Kobo Plus

Automating Software Tests Using Selenium is a practical manual aimed at all professionals and companies in the systems area and who aim to improve the quality of their services and / or products in a simple, efficient and low cost.In this book you will find the features that the Selenium tool provides to implement a robust automated testing environment, such as: writing / executing test scripts,
... Read more
Computer Safety, Reliability, and Security

SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Edited by Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's ... Read more

$102.99 CAD

This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Västerås, Sweden, in September 2018.The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year's
... Read more
The Essentials of Modern Software Engineering

Free the Practices from the Method Prisons!

by Ivar Jacobson, Harold "Bud" Lawson, Pan-Wei Ng, Paul E. McMahon, Michael Goedicke ...

Series series ACM Books
The first course in software engineering is the most critical. Education must start from an understanding of the heart of software development, from familiar ground that is common to all software development endeavors.This book is an in-depth introduction to software engineering that uses a systematic, universal kernel to teach the essential elements of all software engineering methods.This kernel ... Read more

$61.99 CAD

The first course in software engineering is the most critical. Education must start from an understanding of the heart of software development, from familiar ground that is common to all software development endeavors.This book is an in-depth introduction to software engineering that uses a systematic, universal kernel to teach the essential elements of all software engineering methods.This kernel
... Read more
Beginning C++ Compilers

An Introductory Guide to Microsoft C/C++ and MinGW Compilers

by Berik I. Tuleuov, Ademi B. Ospanova ...

Series series Professional and Applied Computing (R0)
This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is ... Read more

$65.99 CAD

This book focuses on how to install C/C++ compilers on Linux and Windows platforms in a timely and efficient way. Installing C/C++ compilers, especially Microsoft compilers, typically takes quite a lot of time because it comes with Microsoft Visual Studio for the vast majority of users. Installing Visual Studio requires usually about 40 GB of disk space and a large amount of RAM, so it is
... Read more
AI Development Guide

by Jaehee Song ...

You don't need to know how to code to build with AI. You just need to think clearly.AI Development Guide is a practical handbook for anyone who wants to use AI to solve real problems — without writing a single line of code. Whether you're a business owner tired of waiting on developers, a professional drowning in repetitive tasks, or simply someone with an idea and no technical background, this ... Read more

$5.99 CAD or Free with Kobo Plus

You don't need to know how to code to build with AI. You just need to think clearly.AI Development Guide is a practical handbook for anyone who wants to use AI to solve real problems — without writing a single line of code. Whether you're a business owner tired of waiting on developers, a professional drowning in repetitive tasks, or simply someone with an idea and no technical background, this
... Read more
Emerging Technologies for Education

Second International Symposium, SETE 2017, Held in Conjunction with ICWL 2017, Cape Town, South Africa, September 20–22, 2017, Revised Selected Papers

Edited by Rynson Lau, Yueh-Min Huang, Marc Spaniol, Chun-Hung Yuen, Tien-Chi Huang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Symposium, SETE 2017, held in conjunction with ICWL 2017, Cape Town, South Africa, in September 2017.The 52 full and 13 short papers were carefully reviewed and selected from 123 submissions. This symposium attempts to provide opportunities for the crossfertilization of knowledge and ideas from ... Read more

$64.99 CAD

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Symposium, SETE 2017, held in conjunction with ICWL 2017, Cape Town, South Africa, in September 2017.The 52 full and 13 short papers were carefully reviewed and selected from 123 submissions. This symposium attempts to provide opportunities for the crossfertilization of knowledge and ideas from
... Read more
Wireless Sensor Networks

11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers

Edited by Jianzhong Li, Huadong Ma, Keqiu Li, Li Cui, Limin Sun, Zenghua Zhao, Xiaofei Wang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017.The 28 revised full papers were carefully reviewed and selected from 213 submissions. The papers are organized in topical sections on wireless sensor networks; energy efficiency and harvesting; data fusion; mobile computing and social services. ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017.The 28 revised full papers were carefully reviewed and selected from 213 submissions. The papers are organized in topical sections on wireless sensor networks; energy efficiency and harvesting; data fusion; mobile computing and social services.
... Read more
Oracle Quick Guides Part 3 - Coding in Oracle: SQL and PL/SQL

by Malcolm Coxall ...

Series Book 3 - Oracle Quick Guides
This is Part 3 of a series of quick learning guides for Oracle designers, developers and managers. Part 3 introduces completely new entrants to the main concepts of the SQL language and to the use and development of Oracle's PL/SQL procedural version of SQL.The guide includes details of how to install and use a SQL*Plus client and the basic use of Oracle's SQL Developer tool. The guide also ... Read more

$4.53 CAD

This is Part 3 of a series of quick learning guides for Oracle designers, developers and managers. Part 3 introduces completely new entrants to the main concepts of the SQL language and to the use and development of Oracle's PL/SQL procedural version of SQL.The guide includes details of how to install and use a SQL*Plus client and the basic use of Oracle's SQL Developer tool. The guide also
... Read more
Instant Android Fragmentation Management How-to

by Gianluca Pacchiella ...

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. Get the job done and learn as you go. Written in the easy to understand Packt How-to format, this book offers the solution to the big issues in Android application development. If you want the best possible reviews for your apps, regardless of device or Android operating system, then ... Read more

$15.99 CAD or Free with Kobo Plus

Filled with practical, step-by-step instructions and clear explanations for the most important and useful tasks. Get the job done and learn as you go. Written in the easy to understand Packt How-to format, this book offers the solution to the big issues in Android application development. If you want the best possible reviews for your apps, regardless of device or Android operating system, then
... Read more
Automated Theorem Proving in Software Engineering

by Johann M. Schumann ...

Series series Computer Science (R0)
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm ... Read more

$64.99 CAD

This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm
... Read more
Software Engineering for Embedded Systems

Methods, Practical Techniques, and Applications

Edited by Robert Oshana ...

This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems. With this book you will learn: - The principles ... Read more

$88.99 CAD

This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems. With this book you will learn: - The principles
... Read more
Voice Application Development for Android

by Michael F. McTear, Zoraida Callejas ...

This book will give beginners an introduction to building voice-based applications on Android. It will begin by covering the basic concepts and will build up to creating a voice-based personal assistant. By the end of this book, you should be in a position to create your own voice-based applications on Android from scratch in next to no time.Voice Application Development for Android is for all ... Read more

$25.99 CAD or Free with Kobo Plus

This book will give beginners an introduction to building voice-based applications on Android. It will begin by covering the basic concepts and will build up to creating a voice-based personal assistant. By the end of this book, you should be in a position to create your own voice-based applications on Android from scratch in next to no time.Voice Application Development for Android is for all
... Read more
Conceptual Modeling

37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings

Edited by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling, Guoliang Li, Mong Li Lee ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 37th International Conference on Conceptual Modeling, ER 2018, held in XI'an, China, in October 2018.The 30 full and 13 short papers presented together with 3 keynotes were carefully reviewed and selected from 151 submissions.This events covers a wide range of following topics: Conceptual modeling studies, ontological modeling, semi-structured ... Read more

$64.99 CAD

This book constitutes the refereed proceedings of the 37th International Conference on Conceptual Modeling, ER 2018, held in XI'an, China, in October 2018.The 30 full and 13 short papers presented together with 3 keynotes were carefully reviewed and selected from 151 submissions.This events covers a wide range of following topics: Conceptual modeling studies, ontological modeling, semi-structured
... Read more
E Governance Data Center, Data Warehousing and Data Mining

Vision to Realities

by Sonali Agarwal, M. D. Tiwari, Iti Tiwari ...

This book attempts to disseminate information about several E Governance projects and possible Data Mining benefits which are the future of good governance in India. Strategic Management of these projects through Data Mining would certainly encourage policy makers to understand better models of E Governance, thorough evaluation of projects, perceptive interrelations between projects, keeping track ... Read more

$80.99 CAD

This book attempts to disseminate information about several E Governance projects and possible Data Mining benefits which are the future of good governance in India. Strategic Management of these projects through Data Mining would certainly encourage policy makers to understand better models of E Governance, thorough evaluation of projects, perceptive interrelations between projects, keeping track
... Read more
Arquitetura de software distribuído

Boas práticas para um mundo de microsserviços

by Flávio Lisboa ...

Com constantes evoluções, adições de novas funcionalidades e integrações com outros sistemas, os softwares têm se tornado cada vez mais complexos, mais difíceis de serem entendidos. Dessa forma, fazer com que os custos de manutenção desses softwares não ultrapassem o valor que eles entregam às companhias é um desafio para a arquiteta ou arquiteto de software. Neste livro, Flávio Lisboa, por meio ... Read more

$12.99 CAD or Free with Kobo Plus

Com constantes evoluções, adições de novas funcionalidades e integrações com outros sistemas, os softwares têm se tornado cada vez mais complexos, mais difíceis de serem entendidos. Dessa forma, fazer com que os custos de manutenção desses softwares não ultrapassem o valor que eles entregam às companhias é um desafio para a arquiteta ou arquiteto de software. Neste livro, Flávio Lisboa, por meio
... Read more
Applying Computational Intelligence for Social Good

Track, Understand and Build a Better world

by Preetha Evangeline David, P Anandhakumar ...

Series Book 132 - Advances in Computers
Applying Computational Intelligence for Social Good: Track, Understand and Build a Better World, Volume 132 presents views on how Computational Intelligent and ICT technologies can be applied to ease or solve social problems by sharing examples of research results from studies of social anxiety, environmental issues, mobility of the disabled, and problems in social safety. Sample chapters in this ... Read more

$160.99 CAD

Applying Computational Intelligence for Social Good: Track, Understand and Build a Better World, Volume 132 presents views on how Computational Intelligent and ICT technologies can be applied to ease or solve social problems by sharing examples of research results from studies of social anxiety, environmental issues, mobility of the disabled, and problems in social safety. Sample chapters in this
... Read more
Mastering Python

Learn Python Step-by-Step with Practical Projects

by Amelia Hartman ...

"Mastering Python: From Basics to Expert-Level Programming: Learn Python Step-by-Step with Practical Projects" will help you unleash the potential of Python and advance your programming abilities. This thorough manual is intended to assist seasoned developers in advancing their skills and turning novices into competent programmers.This book lays a solid foundation for your journey by guiding you ... Read more

$11.99 CAD

"Mastering Python: From Basics to Expert-Level Programming: Learn Python Step-by-Step with Practical Projects" will help you unleash the potential of Python and advance your programming abilities. This thorough manual is intended to assist seasoned developers in advancing their skills and turning novices into competent programmers.This book lays a solid foundation for your journey by guiding you
... Read more
Innovations and Interdisciplinary Solutions for Underserved Areas

7th International Conference, InterSol 2024, Dakar, Senegal, July 3–4, 2024, Proceedings

Edited by Kebe Cheikh M. F. Kebe, Assane Gueye, Ababacar Ndiaye, Ndèye Awa Sene, Amadou-Seidou Maiga ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2024, held in Dakar, Senegal, during July 3–4, 2024.The 29 full papers included in this book were carefully reviewed and selected from 134 submissions. They are classified under the following headings: Energy, ... Read more

$96.99 CAD

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Innovations and Interdisciplinary Solutions for Underserved Areas, InterSol 2024, held in Dakar, Senegal, during July 3–4, 2024.The 29 full papers included in this book were carefully reviewed and selected from 134 submissions. They are classified under the following headings: Energy,
... Read more
Computational Science and Its Applications – ICCSA 2024

24th International Conference, Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part II

Edited by Osvaldo Gervasi, Beniamino Murgante, Chiara Garau, David Taniar, Ana Maria A. C. Rocha, Maria Noelia Faginas Lago ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1–4, 2024.The 53 full papers, 6 short papers and 3 PHD showcase papers included in these volumes were carefully reviewed and selected from a total of 207 submissions. The papers focus on the ... Read more

$102.99 CAD

The two-volume LNCS set 14813 and 14814 constitutes the refereed proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held in Hanoi, Vietnam, during July 1–4, 2024.The 53 full papers, 6 short papers and 3 PHD showcase papers included in these volumes were carefully reviewed and selected from a total of 207 submissions. The papers focus on the
... Read more
Hardening Windows

by Jonathan Hassell ...

Series series Professional and Applied Computing (R0)
System administrators know the Internet is a hostile environment. They can't tell when a hacker will attempt to gain access to the SQL server, but they can bet that there will be an attempt soon. Because the operating system is vital to a computer's functioning, and because it's the only layer between the machine's available resources and its users, it's critical that the operating system resist ... Read more

$32.99 CAD

System administrators know the Internet is a hostile environment. They can't tell when a hacker will attempt to gain access to the SQL server, but they can bet that there will be an attempt soon. Because the operating system is vital to a computer's functioning, and because it's the only layer between the machine's available resources and its users, it's critical that the operating system resist
... Read more
Learning Elixir

Unveil many hidden gems of programming functionally by taking the foundational steps with Elixir

by Kenny Ballou, Kenneth Ballou ...

Unveil many hidden gems of programming functionally by taking the foundational steps with ElixirKey Features\[\*\] Explore the functional paradigms of programming with Elixir through use of helpful examples\[\*\]Concise step-by-step instructions to teach you difficult technical concepts\[\*\]Bridge the gap between functional programming and ElixirBook DescriptionElixir, based on Erlang’s virtual ... Read more

$33.99 CAD or Free with Kobo Plus

Unveil many hidden gems of programming functionally by taking the foundational steps with ElixirKey Features\[\*\] Explore the functional paradigms of programming with Elixir through use of helpful examples\[\*\]Concise step-by-step instructions to teach you difficult technical concepts\[\*\]Bridge the gap between functional programming and ElixirBook DescriptionElixir, based on Erlang’s virtual
... Read more
Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Edited by Arie Gurfinkel, Sanjit A. Seshia ...

Series series Springer Nature Proceedings Computer Science
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and ... Read more

$64.99 CAD

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.The 12 revised full papers presented were carefully revised and selected from 25 submissions.The goal of this conference is to advance the state of the art in the science and
... Read more
Agile Project Management using Team Foundation Server 2015

by Joachim Rossberg ...

Series series Professional and Applied Computing (R0)
This book will help you get started with agile project management using Microsoft’s latest releases of its market-leading Team Foundation Server (TFS) 2015, and Visual Studio Team Services (VSTS). The book demonstrates agile concepts and how to implement them using TFS/VSTS.Many organizations are using agile practices today. Agility has become a key enabler for running better projects with more ... Read more

$47.99 CAD

This book will help you get started with agile project management using Microsoft’s latest releases of its market-leading Team Foundation Server (TFS) 2015, and Visual Studio Team Services (VSTS). The book demonstrates agile concepts and how to implement them using TFS/VSTS.Many organizations are using agile practices today. Agility has become a key enabler for running better projects with more
... 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

Software Development eBooks

Show: