Rakuten Kobo

HPC@Green IT

Green High Performance Computing Methods

de Ralf Gruber, Vincent Keller ...

Series series Computer Science (R0)
Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. However, the focus of these discussions is often on single, isolated, and speci?c architectural and technological improvements for power reduction and conservation, while ignoring the fact that power ef?ciency as a ratio of performance to power ... Leer más

$49.99 USD

Making the most ef?cient use of computer systems has rapidly become a leading topic of interest for the computer industry and its customers alike. However, the focus of these discussions is often on single, isolated, and speci?c architectural and technological improvements for power reduction and conservation, while ignoring the fact that power ef?ciency as a ratio of performance to power
... Leer más
Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Edición de Tiziana Margaria, Bernhard Steffen ...

Series Libro 2 - Springer Nature Proceedings Computer Science
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Leer más

$49.99 USD

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual
... Leer más
Principles of Formal Quantitative Analysis

Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday

Edición de Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz ...

Series series Computer Science (R0)
This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor ... Leer más

$71.99 USD

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor
... Leer más
Ultimate Full-Stack Web Development with MEVN

Learn From Designing to Deploying Production-Gr7ade Web Applications with MongoDB, Express, Vue, and Node.js on AWS, Azure, and GCP (English Edition)

de Bhargav Bachina ...

Craft Production-Grade Web Apps with MEVN on AWS, Azure, & GCPBook DescriptionEmbark on a journey into modern web development with the Ultimate Full Stack Web Development with MEVN to build robust, scalable applications using MongoDB, Express. js, Vue. js, and Node. js.Starting with fundamental concepts and installation steps, this book progresses to advanced topics and hands-on coding exercises, ... Leer más

$29.95 USD o gratis con Kobo Plus

Craft Production-Grade Web Apps with MEVN on AWS, Azure, & GCPBook DescriptionEmbark on a journey into modern web development with the Ultimate Full Stack Web Development with MEVN to build robust, scalable applications using MongoDB, Express. js, Vue. js, and Node. js.Starting with fundamental concepts and installation steps, this book progresses to advanced topics and hands-on coding exercises,
... Leer más
Knowledge-Based Software Engineering: 2020

Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020

Edición de Maria Virvou, Hiroyuki Nakagawa, Lakhmi C. Jain ...

Series series Springer Nature Proceedings Computer Science
This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24–26, 2020. JCKBSE 2020 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it be rescheduled as an online conference.JCKBSE is a well-established, international, biennial ... Leer más

$134.99 USD

This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24–26, 2020. JCKBSE 2020 was originally planned to take place in Larnaca, Cyprus. Unfortunately, the COVID-19 pandemic forced it be rescheduled as an online conference.JCKBSE is a well-established, international, biennial
... Leer más
Design Thinking Research

Making Design Thinking Foundational

Edición de Hasso Plattner, Christoph Meinel, Larry Leifer ...

Series series Business and Management (R0)
This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA and Hasso Plattner Institute in Potsdam, Germany. The authors offer readers a closer look at Design Thinking with its processes of innovations and methods. The contents of the articles range from how to design ideas, methods and technologies via creativity experiments and ... Leer más

$170.99 USD

This book summarizes the results of Design Thinking Research carried out at Stanford University in Palo Alto, California, USA and Hasso Plattner Institute in Potsdam, Germany. The authors offer readers a closer look at Design Thinking with its processes of innovations and methods. The contents of the articles range from how to design ideas, methods and technologies via creativity experiments and
... Leer más
Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Edición de Alexander Romanovsky, Elena A. Troubitsyna ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance,
... Leer más
Beyond the QA Interview

Master Quality Assurance and Build a Solid Career

de Ahmed El-Deeb ...

Series series Professional and Applied Computing (R0)
Build a sustainable, future-proof career in Quality Assurance. Focusing on both broader strategies for building a long-lasting and fruitful career, as well as tactical interview preparation, this book is a comprehensive roadmap to developing the technical, functional, and soft skills that will help you stand out in the job market.The book takes a two-pronged approach to building your career in ... Leer más

$53.99 USD

Build a sustainable, future-proof career in Quality Assurance. Focusing on both broader strategies for building a long-lasting and fruitful career, as well as tactical interview preparation, this book is a comprehensive roadmap to developing the technical, functional, and soft skills that will help you stand out in the job market.The book takes a two-pronged approach to building your career in
... Leer más
Greek Gods' take on the Effective Project Manager

- discover your inner Zeus when managing projects in a fun and practical way using real life experiences and examples

de Peter C. Williams ...

Let the Greek Gods help you discover your inner Zeus when managing projects! Whether you are a novice or an experienced project manager, this book will help. With over 520 colourful illustrations, easy-to-follow real-life examples and useful tips, the Greek Gods’ take on the effective project manager is a fun, yet practical way to learn more about the exciting world of project management ... Leer más

$12.99 USD o gratis con Kobo Plus

Let the Greek Gods help you discover your inner Zeus when managing projects! Whether you are a novice or an experienced project manager, this book will help. With over 520 colourful illustrations, easy-to-follow real-life examples and useful tips, the Greek Gods’ take on the effective project manager is a fun, yet practical way to learn more about the exciting world of project management
... Leer más
Meteor

Criando aplicações web real-time com JavaScript

de Caio Ribeiro Pereira ...

O JavaScript já é uma opção real de desenvolvimento server-side. Trabalhar com a mesma linguagem que utilizamos no front-end é também uma grande vantagem. Diversos frameworks surgiram e, sem dúvida, o Meteor é que mais se destaca. Neste livro, venha desenvolver sua própria rede social do zero implementando funcionalidades que interagem em tempo real, além de também aprender a trabalhar com ... Leer más

$9.99 USD o gratis con Kobo Plus

O JavaScript já é uma opção real de desenvolvimento server-side. Trabalhar com a mesma linguagem que utilizamos no front-end é também uma grande vantagem. Diversos frameworks surgiram e, sem dúvida, o Meteor é que mais se destaca. Neste livro, venha desenvolver sua própria rede social do zero implementando funcionalidades que interagem em tempo real, além de também aprender a trabalhar com
... Leer más
Agile Softwareentwicklung

Grundlagen und Praktiken im modernen Software Engineering

de Eos A.I. Saage ...

Series Libro 3 - Software
Dieses Buch bietet einen umfassenden Einblick in die agile Softwareentwicklung und dient als praxisorientierter Leitfaden für das moderne Software Engineering. Es richtet sich an alle, die ihre Kenntnisse im Bereich Software Projektmanagement und Softwareentwicklung vertiefen und die Prinzipien der agilen Softwareentwicklung erfolgreich in ihren Projekten anwenden möchten.Der Inhalt führt Sie ... Leer más

$18.99 USD o gratis con Kobo Plus

Dieses Buch bietet einen umfassenden Einblick in die agile Softwareentwicklung und dient als praxisorientierter Leitfaden für das moderne Software Engineering. Es richtet sich an alle, die ihre Kenntnisse im Bereich Software Projektmanagement und Softwareentwicklung vertiefen und die Prinzipien der agilen Softwareentwicklung erfolgreich in ihren Projekten anwenden möchten.Der Inhalt führt Sie
... Leer más
Distributed Virtual Worlds

Foundations and Implementation Techniques Using VRML, Java, and CORBA

de Stephan Diehl ...

Series series Computer Science (R0)
Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet ... Leer más

$49.99 USD

Recently, with the success of Java and the existence of different interfaces be tween VRML and Java, it became possible to implement three-dimensional internet applications on standard VRML browsers (Plugins) using Java. With the widespread use of VRML-Browsers, e.g., as part of the Netscape Com municator and Microsoft's Internet Explorerstandard distributions, everyone connected to the internet
... Leer más
Microsoft Dynamics AX 2012 R3 Reporting Cookbook Update

Over 90 recipes to help you resolve your new SSRS Reporting woes in Dynamics AX 2012 R3

de Deepak Agarwal, Chhavi Aggarwal, Kamalakannan Elangovan ...

Key FeaturesBook DescriptionMicrosoft Dynamics AX 2012 R3 Reporting Cookbook is recommended for Dynamics AX developers and .NET-based SSRS developers looking to familiarize themselves with the new AX reporting framework.What you will learnCreate and deploy reports in AX 2012 R3Understand the SSRS report programming flowModify the reporting frameworkCreate RDPbased reportsDesign tabular matrices ... Leer más

$49.99 USD o gratis con Kobo Plus

Key FeaturesBook DescriptionMicrosoft Dynamics AX 2012 R3 Reporting Cookbook is recommended for Dynamics AX developers and .NET-based SSRS developers looking to familiarize themselves with the new AX reporting framework.What you will learnCreate and deploy reports in AX 2012 R3Understand the SSRS report programming flowModify the reporting frameworkCreate RDPbased reportsDesign tabular matrices
... Leer más
Moderne C-Programmierung

Kompendium und Referenz

de Helmut Schellong ...

Series series Computer Science and Engineering (German Language)
Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der ... Leer más

$49.99 USD

Dieses Buch wendet sich an Entwickler, die bereits über erste Erfahrungen in der Programmierung verfügen. Es fördert den effizienten, strukturierten Umgang mit C. Das vorgestellte Detailwissen hilft zudem bei der Entwicklung eigener Ideen und Konzepte für vielfältige Anwendungsgebiete und zeigt viele Feinheiten der Sprache. Einen Schwerpunkt der Darstellung bildet der Einsatz von C in der
... Leer más
Software Technologies

12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

Edición de Enrique Cabello, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and
... Leer más
Leading Lean

Ensuring Success and Developing a Framework for Leadership

de Jean Dahl ...

Companies from startups to corporate giants face massive amounts of disruption today. Now more than ever, organizations need nimble and responsive leaders who know how to exploit the opportunities that change brings. In this insightful book, Jean Dahl, a senior executive and expert in the Lean mindset and its methods, demonstrates why you need to embrace Modern Lean principles and thinking to ... Leer más

$28.99 USD

Companies from startups to corporate giants face massive amounts of disruption today. Now more than ever, organizations need nimble and responsive leaders who know how to exploit the opportunities that change brings. In this insightful book, Jean Dahl, a senior executive and expert in the Lean mindset and its methods, demonstrates why you need to embrace Modern Lean principles and thinking to
... Leer más
Foundational and Practical Aspects of Resource Analysis

4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

Edición de Marko van Eekelen, Ugo Dal Lago ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions. ... Leer más

$49.99 USD

This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
... Leer más
Perspectives of System Informatics

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Edición de Manuel Mazzara, Andrei Voronkov ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis,
... Leer más
FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Edición de Keijiro Araki, Stefania Gnesi, Dion Mandrioli ...

Series series Computer Science (R0)
ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings ... Leer más

$89.99 USD

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings
... Leer más
Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Edición de Cyrille Artho, Axel Legay, Doron Peled ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, ... Leer más

$49.99 USD

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016.The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems,
... Leer más
Certifiable Software Applications 1

Main Processes

de Jean-Louis Boulanger ...

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. ... Leer más

$116.99 USD

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed.
... Leer más
Becoming a Better Programmer

A Handbook for People Who Care About Code

de Pete Goodliffe ...

If you’re passionate about programming and want to get better at it, you’ve come to the right source. Code Craft author Pete Goodliffe presents a collection of useful techniques and approaches to the art and craft of programming that will help boost your career and your well-being.Goodliffe presents sound advice that he’s learned in 15 years of professional programming. The book’s standalone ... Leer más

$24.99 USD

If you’re passionate about programming and want to get better at it, you’ve come to the right source. Code Craft author Pete Goodliffe presents a collection of useful techniques and approaches to the art and craft of programming that will help boost your career and your well-being.Goodliffe presents sound advice that he’s learned in 15 years of professional programming. The book’s standalone
... Leer más
Socio-technical Design of Ubiquitous Computing Systems

Edición de Klaus David, Kurt Geihs, Jan Marco Leimeister, Alexander Roßnagel, Ludger Schmidt, Gerd Stumme, Arno Wacker ...

Series series Computer Science (R0)
By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis.Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from ... Leer más

$49.99 USD

By using various data inputs, ubiquitous computing systems detect their current usage context, automatically adapt their services to the user’s situational needs and interact with other services or resources in their environment on an ad-hoc basis.Designing such self-adaptive, context-aware knowledge processing systems is, in itself, a formidable challenge. This book presents core findings from
... Leer más
Video Processing in the Cloud

de Rafael Silva Pereira, Karin K. Breitman ...

Series series Computer Science (R0)
As computer systems evolve, the volume of data to be processed increases significantly, either as a consequence of the expanding amount of available information, or due to the possibility of performing highly complex operations that were not feasible in the past. Nevertheless, tasks that depend on the manipulation of large amounts of information are still performed at large computational cost, i.e ... Leer más

$49.99 USD

As computer systems evolve, the volume of data to be processed increases significantly, either as a consequence of the expanding amount of available information, or due to the possibility of performing highly complex operations that were not feasible in the past. Nevertheless, tasks that depend on the manipulation of large amounts of information are still performed at large computational cost, i.e
... 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: