Rakuten Kobo

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
Engineering Trustworthy Software Systems

6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

Edición de Jonathan P. Bowen, Cláudio Gomes, Zhiming Liu ...

Series series Springer Nature Proceedings Computer Science
This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming; ... Leer más

$49.99 USD

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engineering Trustworthy Software Systems, SETSS 2024, held in Chongqing, China, in April 14-21, 2024.The 5 full papers and 2 short papers were carefully reviewed and selected from 7 submissions. The proceedings focuses on-Preparatory Course: Introduction to Mathematical Logic and Logic of Programming;
... 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
Enterprise Information Systems

26th International Conference, ICEIS 2024, Angers, France, April 28–30, 2024, Revised Selected Papers, Part I

Edición de Slimane Hammoudi, Alexander Brodsky, Joaquim Filipe, Michał Śmiałek ...

Series Libro 1 - Springer Nature Proceedings Computer Science
The two volume set LNBIP 566 - 567 constitutes the refereed post-conference proceedings of the 26th International Conference on Enterprise Information Systems, ICEIS 2024, which was held in Angers, France, during April 2024.The 19 full papers and 18 short papers presented were carefully reviewed and selected from 244 submissions. The proceedings also include one invited paper in full paper length. ... Leer más

$80.99 USD

The two volume set LNBIP 566 - 567 constitutes the refereed post-conference proceedings of the 26th International Conference on Enterprise Information Systems, ICEIS 2024, which was held in Angers, France, during April 2024.The 19 full papers and 18 short papers presented were carefully reviewed and selected from 244 submissions. The proceedings also include one invited paper in full paper length.
... Leer más
Web Service Contract Design and Versioning for SOA

de Thomas Erl, Anish Karmarkar, Priscilla Walmsley, Hugo Haas, Kevin Liu, Andre Tost, James Pasley, David Orchard, L. Yalcinalp Ph.D. ...

The Ultimate Guide for Designing and Governing Web Service ContractsFor Web services to succeed as part of SOA, they require balanced, effective technical contracts that enable services to be evolved and repeatedly reused for years to come. Now, a team of industry experts presents the first end-to-end guide to designing and governing Web service contracts. Writing for developers, architects, ... Leer más

$52.99 USD

The Ultimate Guide for Designing and Governing Web Service ContractsFor Web services to succeed as part of SOA, they require balanced, effective technical contracts that enable services to be evolved and repeatedly reused for years to come. Now, a team of industry experts presents the first end-to-end guide to designing and governing Web service contracts. Writing for developers, architects,
... Leer más
Informatics in Schools. Fundamentals of Computer Science and Software Engineering

11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings

Edición de Sergei N. Pozdniakov, Valentina Dagienė ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 11th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2018, held in St. Petersburg, Russia, in October 2018.The 29 full papers presented in this volume were carefully reviewed and selected from 74 submissions. They were organized in topical sections named: role of programming and algorithmics in ... Leer más

$49.99 USD

This book constitutes the proceedings of the 11th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2018, held in St. Petersburg, Russia, in October 2018.The 29 full papers presented in this volume were carefully reviewed and selected from 74 submissions. They were organized in topical sections named: role of programming and algorithmics in
... Leer más
Software-Based Acoustical Measurements

de Federico Miyara ...

Series series Physics and Astronomy (R0)
This textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system) to obtain sophisticated measurements usually requiring expensive equipment. It emphasizes the use of free, open source, and multiplatform software. Many commercial acoustical measurement systems use ... Leer más

$62.99 USD

This textbook provides a detailed introduction to the use of software in combination with simple and economical hardware (a sound level meter with calibrated AC output and a digital recording system) to obtain sophisticated measurements usually requiring expensive equipment. It emphasizes the use of free, open source, and multiplatform software. Many commercial acoustical measurement systems use
... Leer más
Git Version Control Cookbook

de Aske Olsson, Rasmus Voss ...

This practical guide contains a wide variety of recipes, taking you through all the topics you need to know about to fully utilize the most advanced features of the Git system. If you are a software developer or a build and release engineer who uses Git in your daily work and want to take your Git knowledge to the next level, then this book is for you. To understand and follow the recipes included ... Leer más

$26.99 USD o gratis con Kobo Plus

This practical guide contains a wide variety of recipes, taking you through all the topics you need to know about to fully utilize the most advanced features of the Git system. If you are a software developer or a build and release engineer who uses Git in your daily work and want to take your Git knowledge to the next level, then this book is for you. To understand and follow the recipes included
... Leer más
Computational Methods in Systems Biology

16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

Edición de Milan Češka, David Šafránek ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 16th International Conference on Computational Methods in Systems Biology, CMSB 2018, held in BRNO, Czech Republic, in September 2018.The 15 full and 7 short papers presented together with 5 invited talks were carefully reviewed and selected from 46 submissions. Topics of interest include formalisms for modeling biological processes; models and ... Leer más

$58.99 USD

This book constitutes the refereed proceedings of the 16th International Conference on Computational Methods in Systems Biology, CMSB 2018, held in BRNO, Czech Republic, in September 2018.The 15 full and 7 short papers presented together with 5 invited talks were carefully reviewed and selected from 46 submissions. Topics of interest include formalisms for modeling biological processes; models and
... Leer más
Practical Bot Development

Designing and Building Bots with Node.js and Microsoft Bot Framework

de Szymon Rozga ...

Series series Professional and Applied Computing (R0)
Explore the concept of bots and discover the motivation behind working with these new apps with messaging platforms. This book is an accessible resource teaching the basic concepts behind bot design and implementation. Each chapter builds on previous topics and, where appropriate, real working code is shown that implements the concepts. By just picking up a code editor, you can start creating ... Leer más

$53.99 USD

Explore the concept of bots and discover the motivation behind working with these new apps with messaging platforms. This book is an accessible resource teaching the basic concepts behind bot design and implementation. Each chapter builds on previous topics and, where appropriate, real working code is shown that implements the concepts. By just picking up a code editor, you can start creating
... Leer más
Conceptual Modeling

41st International Conference, ER 2022, Hyderabad, India, October 17–20, 2022, Proceedings

Edición de Jolita Ralyté, Sharma Chakravarthy, Mukesh Mohania, Manfred A. Jeusfeld, Kamalakar Karlapalem ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022.The 19 full and 11 short papers were carefully reviewed and selected from 82 submissions. The papers are organzed in the following topical sections: foundations of conceptual modeling; ontologies and their applications; applications of ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022.The 19 full and 11 short papers were carefully reviewed and selected from 82 submissions. The papers are organzed in the following topical sections: foundations of conceptual modeling; ontologies and their applications; applications of
... Leer más
Introduction to Software Testing

A Practical Guide to Testing, Design, Automation, and Execution

de Panagiotis Leloudas ...

Series series Professional and Applied Computing (R0)
Get started and hit the ground running in the world of software testing. This simple and practical guide teaches you the fundamentals of software testing, with no prior experience required.You will start by learning functional and non-functional software testing. Then you will gain an understanding of the primary responsibilities of a tester in the Software Development Life Cycle and how to plan ... Leer más

$49.99 USD

Get started and hit the ground running in the world of software testing. This simple and practical guide teaches you the fundamentals of software testing, with no prior experience required.You will start by learning functional and non-functional software testing. Then you will gain an understanding of the primary responsibilities of a tester in the Software Development Life Cycle and how to plan
... Leer más
Search-Based Software Engineering

7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

Edición de Yvan Labiche, Márcio Barros ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015.The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software
... Leer más
Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Edición de Jonathan P. Bowen, Huibiao Zhu ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of ... Leer más

$49.99 USD

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of
... Leer más
Microsoft Mapping

Geospatial Development with Bing Maps and C#

de Ray Rischpater, Carmen Au ...

Series series Professional and Applied Computing (R0)
Geospatial mapping applications have become hugely popular in recent years. With smart-phone and tablet numbers snow-balling this trend looks set to continue well into the future. Indeed, it is true to say that in today’s mobile world location-aware apps are becoming the norm rather than the exception.In Microsoft Mapping author Ray Rischpater showcases Microsoft's Bing Maps API and demonstrates ... Leer más

$53.99 USD

Geospatial mapping applications have become hugely popular in recent years. With smart-phone and tablet numbers snow-balling this trend looks set to continue well into the future. Indeed, it is true to say that in today’s mobile world location-aware apps are becoming the norm rather than the exception.In Microsoft Mapping author Ray Rischpater showcases Microsoft's Bing Maps API and demonstrates
... Leer más
AI-Driven Software Testing

Transforming Software Testing with Artificial Intelligence and Machine Learning

de Srinivasa Rao Bittla ...

Series series Professional and Applied Computing (R0)
AI-Driven Software Testing explores how Artificial Intelligence (AI) and Machine Learning (ML) are revolutionizing quality engineering (QE), making testing more intelligent, efficient, and adaptive.The book begins by examining the critical role of QE in modern software development and the paradigm shift introduced by AI/ML. It traces the evolution of software testing, from manual approaches to AI ... Leer más

$53.99 USD

AI-Driven Software Testing explores how Artificial Intelligence (AI) and Machine Learning (ML) are revolutionizing quality engineering (QE), making testing more intelligent, efficient, and adaptive.The book begins by examining the critical role of QE in modern software development and the paradigm shift introduced by AI/ML. It traces the evolution of software testing, from manual approaches to AI
... 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: