Rakuten Kobo

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Edición de Alessandro Abate, Gilles Geeraerts ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of
... Leer más
Verified Software. Theories, Tools and Experiments

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers

Edición de Jonathan Protzenko, Azalea Raad ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development,
... Leer más
Learning FPGAs

Digital Design for Beginners with Mojo and Lucid HDL

de Justin Rajewski ...

Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this practical guide, author Justin Rajewski shows you hands-on how to create FPGA projects, whether you’re a programmer, engineer, product designer, or maker. You’ll quickly go from the basics to designing your ... Leer más

$30.99 USD

Learn how to design digital circuits with FPGAs (field-programmable gate arrays), the devices that reconfigure themselves to become the very hardware circuits you set out to program. With this practical guide, author Justin Rajewski shows you hands-on how to create FPGA projects, whether you’re a programmer, engineer, product designer, or maker. You’ll quickly go from the basics to designing your
... Leer más
Excel für technische Berufe

Beispiele, Tipps und Tricks aus der Praxis

de Harald Nahrstedt ...

Series series Computer Science and Engineering (German Language)
Es werden alle Methoden in Excel beschrieben, die keiner Programmierung bedürfen. Anhand von Praxisbeispielen aus vielen Bereichen der Technik z. B. Elektronik oder technische Chemie wird der effektive Einsatz der Methoden unter Excel beschrieben. Dieses Arbeitsbuch ist eine Ergänzung zum bestehenden Buch Excel + VBA desselben Autors. ... Leer más

$35.99 USD

Es werden alle Methoden in Excel beschrieben, die keiner Programmierung bedürfen. Anhand von Praxisbeispielen aus vielen Bereichen der Technik z. B. Elektronik oder technische Chemie wird der effektive Einsatz der Methoden unter Excel beschrieben. Dieses Arbeitsbuch ist eine Ergänzung zum bestehenden Buch Excel + VBA desselben Autors.
... Leer más
Чистый дизайн. Практика эмпирического проектирования ПО

de Кент Бек ...

Traducido por Евгений Матвеев ...

Грязный код создает проблемы. Чтобы код было проще читать, проходится проводить его очистку, разбивая на части, с которыми удобно работать. Кент Бек, создатель методологии экстремального программирования и первопроходец в области паттернов проектирования, рассказывает нам, где и когда лучше проводить очистку для улучшения кода с учетом общей структуры системы. Книга не заставляет читателя ... Leer más

$10.99 USD o gratis con Kobo Plus

Грязный код создает проблемы. Чтобы код было проще читать, проходится проводить его очистку, разбивая на части, с которыми удобно работать. Кент Бек, создатель методологии экстремального программирования и первопроходец в области паттернов проектирования, рассказывает нам, где и когда лучше проводить очистку для улучшения кода с учетом общей структуры системы. Книга не заставляет читателя
... Leer más
Managing Software Engineering Knowledge

Edición de Claes Wohlin, Ross Jeffery, Aybüke Aurum, Meliha Handzic ...

Series series Computer Science (R0)
Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as changing requirements, team dynamics, and high staff turnover. Thus the management of knowledge and experience is a key means of systematic software ... Leer más

$89.99 USD

Software development is a complex problem-solving activity with a high level of uncertainty. There are many technical challenges concerning scheduling, cost estimation, reliability, performance, etc, which are further aggravated by weaknesses such as changing requirements, team dynamics, and high staff turnover. Thus the management of knowledge and experience is a key means of systematic software
... Leer más
REST: From Research to Practice

Edición de Cesare Pautasso, Erik Wilde ...

Series series Engineering (R0)
This volume provides an overview and an understanding of REST (Representational State Transfer). Discussing the constraints of REST the book focuses on REST as a type of web architectural style. The focus is on applying REST beyond Web applications (i.e., in enterprise environments), and in reusing established and well-understood design patterns when doing so. The reader will be able to understand ... Leer más

$89.99 USD

This volume provides an overview and an understanding of REST (Representational State Transfer). Discussing the constraints of REST the book focuses on REST as a type of web architectural style. The focus is on applying REST beyond Web applications (i.e., in enterprise environments), and in reusing established and well-understood design patterns when doing so. The reader will be able to understand
... Leer más
Reliability Aspect of Cloud Computing Environment

de Vikas Kumar, R. Vidhyalakshmi ...

Series series Computer Science (R0)
This book presents both qualitative and quantitative approaches to cloud reliability measurements, together with specific case studies to reflect the real-time reliability applications. Traditional software reliability models cannot be used for cloud reliability evaluation due to the changes in the development architecture and delivery designs. The customer–vendor relationship mostly comes to a ... Leer más

$89.99 USD

This book presents both qualitative and quantitative approaches to cloud reliability measurements, together with specific case studies to reflect the real-time reliability applications. Traditional software reliability models cannot be used for cloud reliability evaluation due to the changes in the development architecture and delivery designs. The customer–vendor relationship mostly comes to a
... Leer más
Go Programming for Data Processing

Building High-Performance Pipelines and Streams

de Randy H. Mills ...

Go Programming for Data Processing: Building High-Performance Pipelines and StreamsAbout the technology:Go, the open-source programming language by Google, is quickly becoming a favorite for building high-performance data pipelines. This book dives deep into Go's built-in concurrency features and efficient memory management, making it perfect for real-time data processing.Whether you're working ... Leer más

$6.70 USD

Go Programming for Data Processing: Building High-Performance Pipelines and StreamsAbout the technology:Go, the open-source programming language by Google, is quickly becoming a favorite for building high-performance data pipelines. This book dives deep into Go's built-in concurrency features and efficient memory management, making it perfect for real-time data processing.Whether you're working
... Leer más
Information and Communications Security

19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings

Edición de Sihan Qing, Chris Mitchell, Liqun Chen, Dongmei Liu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 19th International Conference on Information and Communications Security, ICICS 2017, held in Beijing, China, in December 2017.The 43 revised full papers and 14 short papers presented were carefully selected from 188 submissions. The papers cover topics such as Formal Analysis and Randomness Test; Signature Scheme and Key Management; Algorithms ... Leer más

$98.99 USD

This book constitutes the refereed proceedings of the 19th International Conference on Information and Communications Security, ICICS 2017, held in Beijing, China, in December 2017.The 43 revised full papers and 14 short papers presented were carefully selected from 188 submissions. The papers cover topics such as Formal Analysis and Randomness Test; Signature Scheme and Key Management; Algorithms
... Leer más
Identity, Authentication, and Access Management in OpenStack

Implementing and Deploying Keystone

de Henry Nash, Brad Topol, Steve Martinelli ...

Keystone—OpenStack's Identity service—provides secure controlled access to a cloud’s resources. In OpenStack environments, Keystone performs many vital functions, such as authenticating users and determining what resources users are authorized to access.Whether the cloud is private, public, or dedicated, access to cloud resources and security is essential. This practical guide to using Keystone ... Leer más

$15.99 USD

Keystone—OpenStack's Identity service—provides secure controlled access to a cloud’s resources. In OpenStack environments, Keystone performs many vital functions, such as authenticating users and determining what resources users are authorized to access.Whether the cloud is private, public, or dedicated, access to cloud resources and security is essential. This practical guide to using Keystone
... Leer más
Fundamentals of Software Engineering

7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Edición de Mehdi Dastani, Marjan Sirjani ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to ... Leer más

$49.99 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017.The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to
... Leer más
Software Process Improvement and Capability Determination

16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings

Edición de Paul M. Clarke, Rory V. O'Connor, Terry Rout, Alec Dorling ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Software Process Improvement and Capability Determination, SPICE 2016, held in Dublin, Ireland, in June 2016.The 28 full papers presented together with 5 short papers were carefully reviewed and selected from 52 submissions. The papers are organized in the following topical sections: SPI in regulated and safety ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 16th International Conference on Software Process Improvement and Capability Determination, SPICE 2016, held in Dublin, Ireland, in June 2016.The 28 full papers presented together with 5 short papers were carefully reviewed and selected from 52 submissions. The papers are organized in the following topical sections: SPI in regulated and safety
... Leer más
Lexicon of PMP Terminology

Lexicon of Tech and Business, #19

de Mustafa Al-Dori ...

Series Libro 19 - Lexicon of Tech and Business
Master PMP Terminology Instantly with the Ultimate Reference GuideUnlock the language of project management with the Lexicon of PMP Terminology - your fast-track guide to 400 must-know PMP terms. Designed for PMP exam candidates, project managers, and business leaders, this book delivers clear, concise definitions without the complexity of traditional textbooks.Key Features400 Key Terms: From ... Leer más

$9.99 USD o gratis con Kobo Plus

Master PMP Terminology Instantly with the Ultimate Reference GuideUnlock the language of project management with the Lexicon of PMP Terminology - your fast-track guide to 400 must-know PMP terms. Designed for PMP exam candidates, project managers, and business leaders, this book delivers clear, concise definitions without the complexity of traditional textbooks.Key Features400 Key Terms: From
... Leer más
Formal Methods for Safety and Security

Case Studies for Aerospace Applications

Edición de Yogananda Jeppu, Manju Nanda ...

Series series Engineering (R0)
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book ... Leer más

$80.99 USD

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book
... Leer más
Mastering Chef

Build, deploy, and manage your IT infrastructure to deliver a successful automated system with Chef in any environment

de Mayank Joshi ...

Key FeaturesBook DescriptionIf you have used Chef before and are interested in automation of infrastructure and want to develop your own tools to manage large-scale infrastructures, then this book is for you.What you will learnGet familiar with the Chef ecosystem and its associated componentsUse Ruby and Chef together to write effective infrastructure codeExplore various aspects of the Chef API, ... Leer más

$37.99 USD o gratis con Kobo Plus

Key FeaturesBook DescriptionIf you have used Chef before and are interested in automation of infrastructure and want to develop your own tools to manage large-scale infrastructures, then this book is for you.What you will learnGet familiar with the Chef ecosystem and its associated componentsUse Ruby and Chef together to write effective infrastructure codeExplore various aspects of the Chef API,
... Leer más
Mastering REST APIs

Boosting Your Web Development Journey with Advanced API Techniques

de Sivaraj Selvaraj ...

Series series Professional and Applied Computing (R0)
Embark on a transformative journey into the nuances of API design and implementation. This comprehensive guide will equip you with the prowess to craft APIs that exemplify excellence, optimize performance, fortify security, and elevate user experience.From grasping the core tenets of REST architecture to navigating diverse frameworks like Node.js with Express, Ruby on Rails, Django, Laravel with ... Leer más

$49.99 USD

Embark on a transformative journey into the nuances of API design and implementation. This comprehensive guide will equip you with the prowess to craft APIs that exemplify excellence, optimize performance, fortify security, and elevate user experience.From grasping the core tenets of REST architecture to navigating diverse frameworks like Node.js with Express, Ruby on Rails, Django, Laravel with
... Leer más
An Extreme Tagging System as a Game With a Purpose

de Dennis Hartrampf ...

Master's Thesis from the year 2012 in the subject Computer Science - Software, grade: 2,3, Free University of Berlin (Institut für Informatik), language: English, abstract: This thesis proposes a way to contribute to the data generation process for the Semantic Web. It picks up the idea of Extreme Tagging Systems (ETS), which are an extension to well-known Collaborative Tagging Systems (CTS) like ... Leer más

$39.00 USD

Master's Thesis from the year 2012 in the subject Computer Science - Software, grade: 2,3, Free University of Berlin (Institut für Informatik), language: English, abstract: This thesis proposes a way to contribute to the data generation process for the Semantic Web. It picks up the idea of Extreme Tagging Systems (ETS), which are an extension to well-known Collaborative Tagging Systems (CTS) like
... Leer más
Szenariobasierte Evaluation von Open Source ESBs zum Einsatz in einer Cloud-basierten Softwareinfrastruktur

de Andreas Beckers ...

Masterarbeit aus dem Jahr 2012 im Fachbereich Informatik - Software, Note: 1,3, Fachhochschule Dortmund (Fraunhofer Institut für Software- und Systemtechnik), Sprache: Deutsch, Abstract: Cloud-Computing ist aktuell ein sehr gefragtes Konzept. So wird zurzeit an den Fraunhofer Instituten für Software- und Systemtechnik (ISST) und Materialﬂuss und Logistik (IML) eine Cloud-basierte ... Leer más

$36.14 USD

Masterarbeit aus dem Jahr 2012 im Fachbereich Informatik - Software, Note: 1,3, Fachhochschule Dortmund (Fraunhofer Institut für Software- und Systemtechnik), Sprache: Deutsch, Abstract: Cloud-Computing ist aktuell ein sehr gefragtes Konzept. So wird zurzeit an den Fraunhofer Instituten für Software- und Systemtechnik (ISST) und Materialﬂuss und Logistik (IML) eine Cloud-basierte
... Leer más
Ableitung personaler Wissensdomänen aus Navigationspfaden in einer Online-Enzyklopädie – Implementierung eines Prototyps „Simpedia“

de Marcel Minke ...

Doktorarbeit / Dissertation aus dem Jahr 2012 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Universität Hildesheim (Stiftung) (Mathematik, Naturwissenschaften, Wirtschaft und Informatik), Sprache: Deutsch, Abstract: In der heutigen Informationsgesellschaft erweist sich der effiziente Umgang mit dem Produktionsfaktor Wissen als entscheidender Wettbewerbsfaktor. Aufgrund der ... Leer más

$42.17 USD

Doktorarbeit / Dissertation aus dem Jahr 2012 im Fachbereich Informatik - Angewandte Informatik, Note: 1,0, Universität Hildesheim (Stiftung) (Mathematik, Naturwissenschaften, Wirtschaft und Informatik), Sprache: Deutsch, Abstract: In der heutigen Informationsgesellschaft erweist sich der effiziente Umgang mit dem Produktionsfaktor Wissen als entscheidender Wettbewerbsfaktor. Aufgrund der
... Leer más
C# 6.0 and the .NET 4.6 Framework

de ANDREW TROELSEN, Philip Japikse ...

Series Libro 6.0 - Professional and Applied Computing (R0)
This new 7th edition of Pro C# 6.0 and the .NET 4.6 Platform has been completely revised and rewritten to reflect the latest changes to the C# language specification and new advances in the .NET Framework. You'll find new chapters covering all the important new features that make .NET 4.6 the most comprehensive release yet, including:A Refined ADO.NET Entity Framework Programming ModelNumerous IDE ... Leer más

$53.99 USD

This new 7th edition of Pro C# 6.0 and the .NET 4.6 Platform has been completely revised and rewritten to reflect the latest changes to the C# language specification and new advances in the .NET Framework. You'll find new chapters covering all the important new features that make .NET 4.6 the most comprehensive release yet, including:A Refined ADO.NET Entity Framework Programming ModelNumerous IDE
... Leer más
The Binary Language of Music

de Brian Rigsby ...

Music has life and movement and texture. It can be dissonant or pretty, raucus or serene, crunchy or clean. Music can be powerful enough to cause a riot, or quiet enough for meditation. When the groove is right, it can cause you to bob your head or shake your hips. It can bring you back to bygone era, evoke the feel of 1930's Paris, or recall a long forgotten love.As human beings, we are ... Leer más

$2.99 USD o gratis con Kobo Plus

Music has life and movement and texture. It can be dissonant or pretty, raucus or serene, crunchy or clean. Music can be powerful enough to cause a riot, or quiet enough for meditation. When the groove is right, it can cause you to bob your head or shake your hips. It can bring you back to bygone era, evoke the feel of 1930's Paris, or recall a long forgotten love.As human beings, we are
... Leer más
Correct Software in Web Applications and Web Services

Edición de Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger ...

Series series Computer Science (R0)
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they ... Leer más

$49.99 USD

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they
... Leer más
Computational Methods in Systems Biology

17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Edición de Luca Bortolussi, Guido Sanguinetti ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019.The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 17th International Conference on Computational Methods in Systems Biology, CMSB 2019, held in Trieste, Italy, in September 2019.The 14 full papers, 7 tool papers and 11 posters were carefully reviewed and selected from 53 submissions. Topics of interest include formalisms for modeling biological processes; models and their biological
... 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: