Rakuten Kobo

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Edición de Maurice H. ter Beek, Rosemary Monahan ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; ... Leer más

$76.49 USD

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method;
... Leer más
Demystifying Computation: A Hands-on Introduction

de Apostolos Syropoulos ...

Problem solving in computing is referred to as computational thinking. The theory behind this concept is challenging in its technicalities, yet simple in its ideas. This book introduces the theory of computation from its inception to current form of complexity; from explanations of how the field of computer science was formed using classical ideas in mathematics by Gödel, to conceptualization of ... Leer más

$34.19 USD

Problem solving in computing is referred to as computational thinking. The theory behind this concept is challenging in its technicalities, yet simple in its ideas. This book introduces the theory of computation from its inception to current form of complexity; from explanations of how the field of computer science was formed using classical ideas in mathematics by Gödel, to conceptualization of
... Leer más
Social Coordination Frameworks for Social Technical Systems

Edición de Huib Aldewereld, Olivier Boissier, Virginia Dignum, Pablo Noriega, Julian Padget ...

Series series Law and Criminology (R0)
This book addresses the question of how to achieve social coordination in Socio-Cognitive Technical Systems (SCTS). SCTS are a class of Socio-Technical Systems that are complex, open, systems where several humans and digital entities interact in order to achieve some collective endeavour. The book approaches the question from the conceptual background of regulated open multiagent systems, with the ... Leer más

$89.09 USD

This book addresses the question of how to achieve social coordination in Socio-Cognitive Technical Systems (SCTS). SCTS are a class of Socio-Technical Systems that are complex, open, systems where several humans and digital entities interact in order to achieve some collective endeavour. The book approaches the question from the conceptual background of regulated open multiagent systems, with the
... Leer más
Agile Testing

An Overview

de Florian Heuer ...

As software moves increasingly to online distribution and frequent updates Agile development is fast becoming the norm. If you're considering moving from traditional development processes to Agile this book will give you the knowledge you need to get off to a smooth start. ... Leer más

$2.99 USD o gratis con Kobo Plus

As software moves increasingly to online distribution and frequent updates Agile development is fast becoming the norm. If you're considering moving from traditional development processes to Agile this book will give you the knowledge you need to get off to a smooth start.
... Leer más
Android Studio 2 Essentials

A fast-paced guide to get you up and running with Android application development using Android Studio 2

de Belén Cruz Zapata ...

A fast-paced guide to get you up and running with Android application development using Android Studio 2Key Features\[\*\] Configure, build, and run Android projects with Android Studio 2\[\*\] Test your apps using the Android emulator and learn how to manage virtual devices\[\*\] Explore how Android Studio 2 can be made a part of your workflow to reduce the overall development timeBook ... Leer más

$27.89 USD o gratis con Kobo Plus

A fast-paced guide to get you up and running with Android application development using Android Studio 2Key Features\[\*\] Configure, build, and run Android projects with Android Studio 2\[\*\] Test your apps using the Android emulator and learn how to manage virtual devices\[\*\] Explore how Android Studio 2 can be made a part of your workflow to reduce the overall development timeBook
... Leer más
XProc 3.0 Programmer Reference

de Erik Siegel ...

XProc 3.0 is a programming language for processing XML, JSON, and other documents in pipelines. XProc chains conversions and other steps, allowing for potentially complex processing. XProc is especially useful for applications, such as publishing, where content may come from multiple input sources, pass through multiple processing steps and result in multiple output streams.XProc 3.0 Programmer ... Leer más

$20.49 USD

XProc 3.0 is a programming language for processing XML, JSON, and other documents in pipelines. XProc chains conversions and other steps, allowing for potentially complex processing. XProc is especially useful for applications, such as publishing, where content may come from multiple input sources, pass through multiple processing steps and result in multiple output streams.XProc 3.0 Programmer
... Leer más
Neural Information Processing

25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

Edición de Long Cheng, Andrew Chi Sing Leung, Seiichi Ozawa ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural ... Leer más

$49.49 USD

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.The 401 full papers presented were carefully reviewed and selected from 575 submissions. The papers address the emerging topics of theoretical research, empirical studies, and applications of neural
... Leer más
Software Process Quality

Management and Control

de Ron S. Kenett, Emanuel Baker ...

Using actual examples of software process improvement from the private sector and government, this work demonstrates how quality systems, measurement techniques and performance evaluations work. It presents a methodology for analyzing an ongoing software development process and establishing a rational plan for process improvement. ... Leer más

$385.00 USD

Using actual examples of software process improvement from the private sector and government, this work demonstrates how quality systems, measurement techniques and performance evaluations work. It presents a methodology for analyzing an ongoing software development process and establishing a rational plan for process improvement.
... Leer más
Methods and Models in Mathematical Programming

de S. A. MirHassani, F. Hooshmand ...

Series series Mathematics and Statistics (R0)
This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.Undergraduate and postgraduate students of different ... Leer más

$98.99 USD

This book focuses on mathematical modeling, describes the process of constructing and evaluating models, discusses the challenges and delicacies of the modeling process, and explicitly outlines the required rules and regulations so that the reader will be able to generalize and reuse concepts in other problems by relying on mathematical logic.Undergraduate and postgraduate students of different
... Leer más
Logic and Its Applications

8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Edición de Md. Aquil Khan, Amaldev Manuel ...

Series series Springer Nature Proceedings Computer Science
This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. ... Leer más

$49.49 USD

This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role.
... Leer más
New Trends in Model and Data Engineering

MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings

Edición de Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 ... Leer más

$49.49 USD

This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3
... Leer más
MOOC Learning Platform Development

de Varun Gupta, Durg Singh Chauhan, Thomas Hanne ...

The work presented in this book is based on empirical study undertaken as a case study to understand the challenges faced in massively open online course (MOOC) based learning and experimentation to understand the challenges for presenting theoretical and practical courses. The book proposes a flexible online platform. This solution provides flexibility in distance learning processes including ... Leer más

$33.99 USD

The work presented in this book is based on empirical study undertaken as a case study to understand the challenges faced in massively open online course (MOOC) based learning and experimentation to understand the challenges for presenting theoretical and practical courses. The book proposes a flexible online platform. This solution provides flexibility in distance learning processes including
... Leer más
Complex IT Project Management

16 Steps to Success

de Peter Schulte ...

Project Managers leading massive IT projects--defined as projects rolling out deliverables across geographic boundaries with budgets ranging well into the millions--need a unique level of expertise and an arsenal of personal and professional skills to successfully accomplish their tasks. Large IT initiatives inherently contain business conditions, ... Leer más

$91.99 USD

Project Managers leading massive IT projects--defined as projects rolling out deliverables across geographic boundaries with budgets ranging well into the millions--need a unique level of expertise and an arsenal of personal and professional skills to successfully accomplish their tasks. Large IT initiatives inherently contain business conditions,
... Leer más
Advanced Parallel Processing Technologies

13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

Edición de Pen-Chung Yew, Per Stenström, Junjie Wu, Xiaoli Gong, Tao Li ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019.The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections named: System Support for Neural Networks; Scheduling and File Systems; ... Leer más

$49.49 USD

This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019.The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections named: System Support for Neural Networks; Scheduling and File Systems;
... Leer más
Practical Enterprise Software Development Techniques

Tools and Techniques for Large Scale Solutions

de Edward Crookshanks ...

Series series Professional and Applied Computing (R0)
This expanded and updated edition of "Practical Enterprise Software Development Techniques" includes a new chapter which explains what makes enterprise scale software development different from other development endeavors. Chapter 4 has been expanded with additional coverage of code review, bug tracker systems and agile software applications. The chapter order has been changed in response to ... Leer más

$44.99 USD

This expanded and updated edition of "Practical Enterprise Software Development Techniques" includes a new chapter which explains what makes enterprise scale software development different from other development endeavors. Chapter 4 has been expanded with additional coverage of code review, bug tracker systems and agile software applications. The chapter order has been changed in response to
... Leer más
Neuronale Netze - Implementierung eines Hopfield Netzes in Java

de Stefan Tantow ...

Studienarbeit aus dem Jahr 2001 im Fachbereich Informatik - Angewandte Informatik, Note: 2, Hochschule Hannover (Fachbereich Informatik), Veranstaltung: Künstliche Intelligenz, Sprache: Deutsch, Abstract: Ein Neuronales Netz (Hopfield) soll den Trend einer Ziffernfolge erkennen und am Ausgang anzeigen. Dieses Verfahren wird häufig bei Preisentwicklungen, Aktienkursen, Umsatzzahlen usw. benötigt. ... Leer más

$13.70 USD

Studienarbeit aus dem Jahr 2001 im Fachbereich Informatik - Angewandte Informatik, Note: 2, Hochschule Hannover (Fachbereich Informatik), Veranstaltung: Künstliche Intelligenz, Sprache: Deutsch, Abstract: Ein Neuronales Netz (Hopfield) soll den Trend einer Ziffernfolge erkennen und am Ausgang anzeigen. Dieses Verfahren wird häufig bei Preisentwicklungen, Aktienkursen, Umsatzzahlen usw. benötigt.
... Leer más
Instant Android Fragmentation Management How-to

de 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 ... Leer más

$13.29 USD o gratis con 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
... Leer más
An Introduction to Design Science

de Paul Johannesson, Erik Perjons ...

Series series Computer Science (R0)
This book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on presenting design science studies and ethical principles for design science, and also offers novel instruments for visualizing the results, both in ... Leer más

$62.99 USD

This book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on presenting design science studies and ethical principles for design science, and also offers novel instruments for visualizing the results, both in
... Leer más
Create Web Charts with jqPlot

de Fabio Nelli ...

Series series Professional and Applied Computing (R0)
Create Web Charts with jqPlotshows how to convert your data into eye-catching, innovative, animated, and highly interactive browser-based charts. This book is suitable for developers of all experience levels and needs: for those who love fast and effective solutions, you can use the jqPlot library to generate charts with amazing effects and animations using only a few lines of code.By the end of ... Leer más

$35.99 USD

Create Web Charts with jqPlotshows how to convert your data into eye-catching, innovative, animated, and highly interactive browser-based charts. This book is suitable for developers of all experience levels and needs: for those who love fast and effective solutions, you can use the jqPlot library to generate charts with amazing effects and animations using only a few lines of code.By the end of
... Leer más
Configuration Management Best Practices

Practical Methods that Work in the Real World

de Leslie Sachs, Bob Aiello ...

Successfully Implement High-Value Configuration Management Processes in Any Development EnvironmentAs IT systems have grown increasingly complex and mission-critical, effective configuration management (CM) has become critical to an organization’s success. Using CM best practices, IT professionals can systematically manage change, avoiding unexpected problems introduced by changes to hardware, ... Leer más

$34.19 USD

Successfully Implement High-Value Configuration Management Processes in Any Development EnvironmentAs IT systems have grown increasingly complex and mission-critical, effective configuration management (CM) has become critical to an organization’s success. Using CM best practices, IT professionals can systematically manage change, avoiding unexpected problems introduced by changes to hardware,
... Leer más
Enterprise Cloud Computing for Non-Engineers

Edición de Frank M. Groom, Stephan S. Jones ...

Series series Technology for Non-Engineers
This book provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services. It then addresses the basics of operating a Cloud computing data center, the services offered from Cloud providers, the carrier role in connecting users to data centers, and the process of interconnecting Cloud data centers to form a flexible processing unit. It also ... Leer más

$62.99 USD

This book provides a technical description of cloud computing technologies, covering cloud infrastructure and platform services. It then addresses the basics of operating a Cloud computing data center, the services offered from Cloud providers, the carrier role in connecting users to data centers, and the process of interconnecting Cloud data centers to form a flexible processing unit. It also
... Leer más
Public-Key Cryptography – PKC 2018

21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

Edición de Michel Abdalla, Ricardo Dahab ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 10769 and 10770 constitutes the refereed proceedings of the 21st IACR International Conference on the Practice and Theory of Public-Key Cryptography, PKC 2018, held in Rio de Janeiro, Brazil, in March 2018.The 49 revised papers presented were carefully reviewed and selected from 186 submissions. They are organized in topical sections such as Key-Dependent-Message and ... Leer más

$49.49 USD

The two-volume set LNCS 10769 and 10770 constitutes the refereed proceedings of the 21st IACR International Conference on the Practice and Theory of Public-Key Cryptography, PKC 2018, held in Rio de Janeiro, Brazil, in March 2018.The 49 revised papers presented were carefully reviewed and selected from 186 submissions. They are organized in topical sections such as Key-Dependent-Message and
... Leer más
Embedded Systems Circuits and Programming

de Julio Sanchez, Maria P. Canton ...

During the development of an engineered product, developers often need to create an embedded system—a prototype—that demonstrates the operation/function of the device and proves its viability. Offering practical tools for the development and prototyping phases, Embedded Systems Circuits and Programming provides a tutorial on microcontroller programming and the basics of embedded design.The book ... Leer más

$159.99 USD

During the development of an engineered product, developers often need to create an embedded system—a prototype—that demonstrates the operation/function of the device and proves its viability. Offering practical tools for the development and prototyping phases, Embedded Systems Circuits and Programming provides a tutorial on microcontroller programming and the basics of embedded design.The book
... Leer más
Introduction to Programming

Learn to program in Java with data structures, algorithms, and logic

de Nick Samoylov ...

Get a solid understanding of Java fundamentals to master programming through a series of practical stepsKey Features\[\*\] Enjoy your first step into the world of programming\[\*\] Understand what a language is and use its features to build applications\[\*\] Learn about a wide variety of programming applicationsBook DescriptionHave you ever thought about making your computer do what you want it ... Leer más

$34.19 USD o gratis con Kobo Plus

Get a solid understanding of Java fundamentals to master programming through a series of practical stepsKey Features\[\*\] Enjoy your first step into the world of programming\[\*\] Understand what a language is and use its features to build applications\[\*\] Learn about a wide variety of programming applicationsBook DescriptionHave you ever thought about making your computer do what you want it
... Leer más

eReaders

Aplicaciones

Accesorios

Carrito de compra

¡Obtienes el tratamiento VIP!

Tu carrito de compra está vacío

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Disponible el:

1 audiolibro mensual

+ Prueba gratis de 30 días

Recomendado para ti

eBooks de Desarrollo de software

Mostrar: