Rakuten Kobo

Electronic Voting

Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings

Edición de Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the Second International Joint Conference on Electronic Voting, E-Vote-ID 2017, held in Bregenz, Austria, in October 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 keynote talks. The papers deal with security, usability and technical issues; administrative, ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the Second International Joint Conference on Electronic Voting, E-Vote-ID 2017, held in Bregenz, Austria, in October 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 keynote talks. The papers deal with security, usability and technical issues; administrative,
... Leer más
Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Edición de Leonardo de Moura ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, ... Leer más

$80.99 USD

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications,
... Leer más
Visual Studio 2019 In Depth

Discover and make use of the powerful features of the Visual Studio 2019 IDE to develop better and faster mobile, web, and desktop applications (English Edition)

de Ockert du Preez ...

This book peeks into every corner of the Visual Studio IDE and will help you get started with the latest 2019 version. Right from installation, you’ll discover new features within the tool and the optimal way to use the features you may already know. You'll learn, for example, how to extend Visual Studio with your own customizations, so that you can make it perform the way you want. You will then ... Leer más

$14.99 USD o gratis con Kobo Plus

This book peeks into every corner of the Visual Studio IDE and will help you get started with the latest 2019 version. Right from installation, you’ll discover new features within the tool and the optimal way to use the features you may already know. You'll learn, for example, how to extend Visual Studio with your own customizations, so that you can make it perform the way you want. You will then
... Leer más
De ISM methode versie 5

Dé praktische basis voor modern IT-servicemanagement en klanttevredenheid

de Wim Hoving ...

De kwaliteit van IT-diensten is cruciaal voor vrijwel iedere organisatie. Goede, flexibele en stabiele IT-diensten zijn niet alleen de ruggengraat, maar ook het onderscheidend vermogen. Vrijwel iedere organisatie is tegenwoordig een IT-organisatie met een specialisme. Dit stelt grote eisen aan de kwaliteiten van de IT-dienstverlening. Om maximaal ondersteunend te kunnen zijn aan de ... Leer más

$50.99 USD o gratis con Kobo Plus

De kwaliteit van IT-diensten is cruciaal voor vrijwel iedere organisatie. Goede, flexibele en stabiele IT-diensten zijn niet alleen de ruggengraat, maar ook het onderscheidend vermogen. Vrijwel iedere organisatie is tegenwoordig een IT-organisatie met een specialisme. Dit stelt grote eisen aan de kwaliteiten van de IT-dienstverlening. Om maximaal ondersteunend te kunnen zijn aan de
... Leer más
Evaluation of the Fraunhofer Open Source IMS Core platform with special focus on the Call Session Control Function (CSCF)

de DI(FH) Mag. Rainer Hallwachs ...

Diploma Thesis from the year 2007 in the subject Computer Science - Applied, grade: 1, University of Applied Sciences Technikum Vienna, course: Betriebliche Informationsnetze basierend auf SIP bzw. verwandten Protokollen wie SDP, RTP usw., language: English, abstract: Given the increasing penetration of Internet Protocol (IP) technologies and the tremendous growth in wireless data traffic, the ... Leer más

$46.21 USD

Diploma Thesis from the year 2007 in the subject Computer Science - Applied, grade: 1, University of Applied Sciences Technikum Vienna, course: Betriebliche Informationsnetze basierend auf SIP bzw. verwandten Protokollen wie SDP, RTP usw., language: English, abstract: Given the increasing penetration of Internet Protocol (IP) technologies and the tremendous growth in wireless data traffic, the
... Leer más
Data Management: a gentle introduction – 2nd edition

Balancing theory and practice

de Bas van Gils ...

#html-body [data-pb-style=EGG8YBP]{justify-content:flex-start;display:flex;flex-direction:column;background-position:left top;background-size:cover;background-repeat:no-repeat;background-attachment:scroll}The overall objective of this second edition is to reaffirm that data management is an exciting and valuable capability - one that deserves dedicated time and effort. Building on the foundation ... Leer más

$57.99 USD o gratis con Kobo Plus

#html-body [data-pb-style=EGG8YBP]{justify-content:flex-start;display:flex;flex-direction:column;background-position:left top;background-size:cover;background-repeat:no-repeat;background-attachment:scroll}The overall objective of this second edition is to reaffirm that data management is an exciting and valuable capability - one that deserves dedicated time and effort. Building on the foundation
... Leer más
Building a Web App with Blazor and ASP .Net Core

Create a Single Page App with Blazor Server and Entity Framework Core

de Jignesh Trivedi ...

Blazor is a new, open-source, and SPA web framework that allows you to build a web application using C# and HTML. Blazor enables you to write C# code instead of JavaScript.This book is a comprehensive guide about the new modern Blazor framework. It begins with an introduction to the Blazor and its components and concepts. It explains how you can start the development process, what tools you can ... Leer más

$14.99 USD o gratis con Kobo Plus

Blazor is a new, open-source, and SPA web framework that allows you to build a web application using C# and HTML. Blazor enables you to write C# code instead of JavaScript.This book is a comprehensive guide about the new modern Blazor framework. It begins with an introduction to the Blazor and its components and concepts. It explains how you can start the development process, what tools you can
... Leer más
Oracle Database Performance and Scalability

A Quantitative Approach

de Henry H. Liu ...

Series Libro 12 - Quantitative Software Engineering Series
The innovative performance and scalability features with each newer edition of the Oracle database system can present challenges for users. This book teaches software developers and students how to effectively deal with Oracle performance and scalability issues throughout the entire life cycle of developing Oracle-based applications. Using real-world case studies to deliver key theories and ... Leer más

$102.00 USD

The innovative performance and scalability features with each newer edition of the Oracle database system can present challenges for users. This book teaches software developers and students how to effectively deal with Oracle performance and scalability issues throughout the entire life cycle of developing Oracle-based applications. Using real-world case studies to deliver key theories and
... Leer más
Kanban Change Leadership

Creating a Culture of Continuous Improvement

de Klaus Leopold, Siegfried Kaltenecker ...

Explains how and why Kanban offers a new approach to change in 21st Century businessesThis book provides an understanding of what is necessary to properly understand change management with Kanban as well as how to apply it optimally in the workplace. The book emphasizes critical aspects, several traps which users repeatedly fall into, and presents some practical guidelines for Kanban change ... Leer más

$72.00 USD

Explains how and why Kanban offers a new approach to change in 21st Century businessesThis book provides an understanding of what is necessary to properly understand change management with Kanban as well as how to apply it optimally in the workplace. The book emphasizes critical aspects, several traps which users repeatedly fall into, and presents some practical guidelines for Kanban change
... Leer más
Software Specification Methods

Edición de Henri Habrias, Marc Frappier ...

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS. ... Leer más

$163.00 USD

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
... Leer más
FPGA Prototyping by VHDL Examples

Xilinx MicroBlaze MCS SoC

de Pong P. Chu ...

A hands-on introduction to FPGA prototyping and SoC designThis Second Edition of the popular book follows the same “learning-by-doing” approach to teach the fundamentals and practices of VHDL synthesis and FPGA prototyping. It uses a coherent series of examples to demonstrate the process to develop sophisticated digital circuits and IP (intellectual property) cores, integrate them into an SoC ... Leer más

$102.00 USD

A hands-on introduction to FPGA prototyping and SoC designThis Second Edition of the popular book follows the same “learning-by-doing” approach to teach the fundamentals and practices of VHDL synthesis and FPGA prototyping. It uses a coherent series of examples to demonstrate the process to develop sophisticated digital circuits and IP (intellectual property) cores, integrate them into an SoC
... Leer más
Refinement in Z and Object-Z

Foundations and Advanced Applications

de Eerke A. Boiten, John Derrick ...

Series series Computer Science (R0)
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:Data refinement and its application to ZGeneralisations of ... Leer más

$89.09 USD

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes:Data refinement and its application to ZGeneralisations of
... Leer más
Web Information Systems and Technologies

9th International Conference, WEBIST 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers

Edición de Karl-Heinz Krempels, Alexander Stocker ...

Series series Springer Nature Proceedings Computer Science
This book contains the thoroughly refereed and revised best papers from the 9th International Conference on Web Information Systems and Technologies, WEBIST 2013, held in Aachen, Germany, in May 2013, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and co-organized by the RWTH Aachen University.The 15 papers presented in this book were ... Leer más

$49.49 USD

This book contains the thoroughly refereed and revised best papers from the 9th International Conference on Web Information Systems and Technologies, WEBIST 2013, held in Aachen, Germany, in May 2013, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), and co-organized by the RWTH Aachen University.The 15 papers presented in this book were
... Leer más
Rapid Prototyping Software for Avionics Systems

Model-oriented Approaches for Complex Systems Certification

de Nicolas Larrieu, Antoine Varet ...

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production.This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the ... Leer más

$142.00 USD

The design, implementation and validation of avionics and aeronautical systems have become extremely complex tasks due to the increase of functionalities that are deployed in current avionics systems and the need to be able certify them before putting them into production.This book proposes a methodology to enable the rapid prototyping of such a system by considering from the start the
... Leer más
Microsoft Project 2019 For Dummies

de Cynthia Snyder Dionisio ...

Keep projects on trackMicrosoft Project 2019 is a powerhouse project management, portfolio management, and resource management tool. Whether you’re a full-time project manager or manage projects as part of a larger set of duties, Microsoft Project 2019 For Dummies will get you thinking and operating at the level of a project management guru.Written by a noted project management pro, this book ... Leer más

$18.00 USD

Keep projects on trackMicrosoft Project 2019 is a powerhouse project management, portfolio management, and resource management tool. Whether you’re a full-time project manager or manage projects as part of a larger set of duties, Microsoft Project 2019 For Dummies will get you thinking and operating at the level of a project management guru.Written by a noted project management pro, this book
... Leer más
FPGA Prototyping by SystemVerilog Examples

Xilinx MicroBlaze MCS SoC Edition

de Pong P. Chu ...

A hands-on introduction to FPGA prototyping and SoC designThis is the successor edition of the popular FPGA Prototyping by Verilog Examples text. It follows the same “learning-by-doing” approach to teach the fundamentals and practices of HDL synthesis and FPGA prototyping. The new edition uses a coherent series of examples to demonstrate the process to develop sophisticated digital circuits and IP ... Leer más

$98.00 USD

A hands-on introduction to FPGA prototyping and SoC designThis is the successor edition of the popular FPGA Prototyping by Verilog Examples text. It follows the same “learning-by-doing” approach to teach the fundamentals and practices of HDL synthesis and FPGA prototyping. The new edition uses a coherent series of examples to demonstrate the process to develop sophisticated digital circuits and IP
... Leer más
Software Engineering for Self-Adaptive Systems III. Assurances

International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Edición de Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese ...

Series series Springer Nature Proceedings Computer Science
A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation ... Leer más

$49.49 USD

A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation
... Leer más
Rapid Mashup Development Tools

First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers

Edición de Florian Daniel, Cesare Pautasso ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the First International Rapid Mashup Challenge, RMC 2015, held on June 23, 2015, in Rotterdam, The Netherlands, in conjunction with the 15th International Conference on Web Engineering, ICWE 2015.The 2015 edition of the challenge is the first installment of a series of challenges that aim to engage researchers and practitioners in a competition for ... Leer más

$49.49 USD

This book constitutes the refereed proceedings of the First International Rapid Mashup Challenge, RMC 2015, held on June 23, 2015, in Rotterdam, The Netherlands, in conjunction with the 15th International Conference on Web Engineering, ICWE 2015.The 2015 edition of the challenge is the first installment of a series of challenges that aim to engage researchers and practitioners in a competition for
... Leer más
BiSL ® Next in uitvoering

de Machteld Meijer, Yvette Backer ...

Business-informatiemanagement (BIM) speelt een grote rol in de aansluiting tussen business en IT. In 2001 is voor het eerst een model beschreven voor business-informatiemanagement: BiSL® (Business information Services Library). In die tijd was er veelal sprake van watervalsgewijze systeemontwikkeling. Bovendien was de wereld nog lang niet zo gedigitaliseerd als nu en was het samenwerken als ... Leer más

$50.99 USD o gratis con Kobo Plus

Business-informatiemanagement (BIM) speelt een grote rol in de aansluiting tussen business en IT. In 2001 is voor het eerst een model beschreven voor business-informatiemanagement: BiSL® (Business information Services Library). In die tijd was er veelal sprake van watervalsgewijze systeemontwikkeling. Bovendien was de wereld nog lang niet zo gedigitaliseerd als nu en was het samenwerken als
... Leer más
Vibe Coders Guide to Vibing

de Apekusay ...

YOU BUILT THE THING. BUT IS IT SAFE?For years, non-technical builders could only dream of it: an idea in your head, a real product in the world — no CS degree, no developer to beg, no permission required.Then AI agents arrived, and suddenly people who had never written a line of code were shipping real software. It's the same feeling as watching the Star Trek communicator become a mobile phone — ... Leer más

$4.99 USD o gratis con Kobo Plus

YOU BUILT THE THING. BUT IS IT SAFE?For years, non-technical builders could only dream of it: an idea in your head, a real product in the world — no CS degree, no developer to beg, no permission required.Then AI agents arrived, and suddenly people who had never written a line of code were shipping real software. It's the same feeling as watching the Star Trek communicator become a mobile phone —
... Leer más
High Performance Computing for Computational Science -- VECPAR 2014

11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Edición de Kengo Nakajima, Osni Marques, Michel Daydé ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, large ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on High Performance Computing for Computational Science, VECPAR 2014, held in Eugene, OR, USA, in June/July 2014.The 25 papers presented were carefully reviewed and selected of numerous submissions. The papers are organized in topical sections on algorithms for GPU and manycores, large
... Leer más
Machine Learning Methods for Engineering Application Development

de Prasad Lokulwar, Basant Verma, N Thillaiarasu, Kailash Kumar, Mahip Bartere, Dharam Singh ...

This book is a quick review of machine learning methods for engineering applications. It provides an introduction to the principles of machine learning and common algorithms in the first section. Proceeding chapters summarize and analyze the existing scholarly work and discuss some general issues in this field. Next, it offers some guidelines on applying machine learning methods to software ... Leer más

$49.69 USD

This book is a quick review of machine learning methods for engineering applications. It provides an introduction to the principles of machine learning and common algorithms in the first section. Proceeding chapters summarize and analyze the existing scholarly work and discuss some general issues in this field. Next, it offers some guidelines on applying machine learning methods to software
... Leer más
Distributed Ledger Technology

7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers

Edición de Naipeng Dong, Babu Pillai, Guangdong Bai, Mark Utting ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 7th International Symposium, SDLT 2023, held in Brisbane, QLD, Australia, during November 30 – December 1, 2023.The 8 full papers and the short paper included in this volume were carefully reviewed and selected from 32 submissions. The volume focuses on current systems and new solutions to create a scientific background for a solid development of ... Leer más

$62.99 USD

This book constitutes the proceedings of the 7th International Symposium, SDLT 2023, held in Brisbane, QLD, Australia, during November 30 – December 1, 2023.The 8 full papers and the short paper included in this volume were carefully reviewed and selected from 32 submissions. The volume focuses on current systems and new solutions to create a scientific background for a solid development of
... Leer más
Recoverable Mutual Exclusion

de Sahil Dhoked, Wojciech Golab, Neeraj Mittal ...

Series series eBColl Synthesis Collection 12
This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic disks. The authors include all of the major contributions published to date, and also convey some perspective regarding how the ... Leer más

$40.99 USD

This book discusses the recent research work on designing efficient fault-tolerant synchronization mechanisms for concurrent processes using the relatively new persistent memory technology that combines the low latency benefits of DRAM with the persistence of magnetic disks. The authors include all of the major contributions published to date, and also convey some perspective regarding how the
... 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: