Développement de logiciels eBooks

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 3 - Springer Nature Proceedings Computer Science
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, ... En savoir plus

$102.49 CAD

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification,
... En savoir plus
Software Requirements

Encapsulation, Quality, and Reuse

par Rick Lutowski ...

Software Requirements: Encapsulation, Quality, and Reuse describes how to make requirements easy to change by using encapsulation. It introduces the Freedom methodology that shows how to encapsulate requirements thereby promoting reuse and quality. Encapsulating requirements reduces software life cycle costs by making requirements and the code that implements them more adaptable to changing ... En savoir plus

$229.48 CAD

Software Requirements: Encapsulation, Quality, and Reuse describes how to make requirements easy to change by using encapsulation. It introduces the Freedom methodology that shows how to encapsulate requirements thereby promoting reuse and quality. Encapsulating requirements reduces software life cycle costs by making requirements and the code that implements them more adaptable to changing
... En savoir plus
Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods

Transportation by Road and Rail

par Bogdan I. Vamanu, Adrian V. Gheorghe, Polinpapilinho F. Katina ...

Collections series Engineering (R0)
This book addresses a key issue in today’s society: the safer transport of dangerous goods, taking into account people, the environment and economics. In particular, it offers a potential approach to identifying the issues, developing the models, providing the methods and recommending the tools to address the risks and vulnerabilities involved. We believe this can only be achieved by assessing ... En savoir plus

$115.29 CAD

This book addresses a key issue in today’s society: the safer transport of dangerous goods, taking into account people, the environment and economics. In particular, it offers a potential approach to identifying the issues, developing the models, providing the methods and recommending the tools to address the risks and vulnerabilities involved. We believe this can only be achieved by assessing
... En savoir plus
Analytical and Stochastic Modelling Techniques and Applications

23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

Modifié par Sabine Wittevrongel, Tuan Phung-Duc ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016.The 21 full papers presented in this book were carefully reviewed and selected from 30 submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, held in Cardiff, UK, in August 2016.The 21 full papers presented in this book were carefully reviewed and selected from 30 submissions. The papers discuss the latest developments in analytical, numerical and simulation algorithms for
... En savoir plus
Advances in Cryptology – EUROCRYPT 2018

37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III

Modifié par Jesper Buus Nielsen, Vincent Rijmen ...

Collections Livre 3 - Springer Nature Proceedings Computer Science
The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2018, held in Tel Aviv, Israel, in April/May 2018.The 69 full papers presented were carefully reviewed and selected from 294 submissions. The papers are organized into the following topical ... En savoir plus

$179.39 CAD

The three volumes LNCS 10820, 10821, and 10822 constitute the thoroughly refereed proceedings of the 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2018, held in Tel Aviv, Israel, in April/May 2018.The 69 full papers presented were carefully reviewed and selected from 294 submissions. The papers are organized into the following topical
... En savoir plus
Software Reuse: Methods, Models, Costs, second edition

par Ronald J. Leach ...

This book is an updated edition of the previous McGraw-Hill edition, which was an essential guide to successful reuse across the entire software life cycle. It explains in depth the fundamentals, economics, and metrics of software reuse. The bottom line is good news for designers of complex systems: Systematic software reuse can succeed, even if the underlying technology is changing rapidly ... En savoir plus

$11.99 CAD ou Gratuit avec Kobo Plus

This book is an updated edition of the previous McGraw-Hill edition, which was an essential guide to successful reuse across the entire software life cycle. It explains in depth the fundamentals, economics, and metrics of software reuse. The bottom line is good news for designers of complex systems: Systematic software reuse can succeed, even if the underlying technology is changing rapidly
... En savoir plus
Semantic Web Services

Advancement through Evaluation

Modifié par Brian Blake, Liliana Cabral, Birgitta König-Ries, Ulrich Küster, David Martin ...

Collections series Computer Science (R0)
Over the last decade, a great amount of effort and resources have been invested in the development of Semantic Web Service (SWS) frameworks. Numerous description languages, frameworks, tools, and matchmaking and composition algorithms have been proposed. Nevertheless, when faced with a real-world problem, it is still very hard to decide which of these different approaches to use.In this book, the ... En savoir plus

$115.29 CAD

Over the last decade, a great amount of effort and resources have been invested in the development of Semantic Web Service (SWS) frameworks. Numerous description languages, frameworks, tools, and matchmaking and composition algorithms have been proposed. Nevertheless, when faced with a real-world problem, it is still very hard to decide which of these different approaches to use.In this book, the
... En savoir plus
Rigorous Software Development

An Introduction to Program Verification

par Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida ...

Collections series Computer Science (R0)
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self ... En savoir plus

$44.29 CAD

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self
... En savoir plus
Data Management Technologies and Applications

5th International Conference, DATA 2016, Colmar, France, July 24-26, 2016, Revised Selected Papers

Modifié par Chiara Francalanci, Markus Helfert ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Data Technologies and Applications, DATA 2016, held in Colmar, France, in July 2016. The 9 revised full papers were carefully reviewed and selected from 50 submissions. The papers deal with the following topics: databases, data warehousing, data mining, data management, data security, knowledge and ... En savoir plus

$64.09 CAD

This book constitutes the thoroughly refereed proceedings of the Fourth International Conference on Data Technologies and Applications, DATA 2016, held in Colmar, France, in July 2016. The 9 revised full papers were carefully reviewed and selected from 50 submissions. The papers deal with the following topics: databases, data warehousing, data mining, data management, data security, knowledge and
... En savoir plus
Transactions on Computational Collective Intelligence XVIII

Modifié par Ngoc Thanh Nguyen ...

Collections series Computer Science (R0)
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition ... En savoir plus

$64.09 CAD

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition
... En savoir plus
Cross-Cultural Design

9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Modifié par Pei-Luen Patrick Rau ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 9th International Conference on Cross-Cultural Design, CCD 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 9th International Conference on Cross-Cultural Design, CCD 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, held in Vancouver, Canada, in July 2017. HCII 2017 received a total of 4340 submissions, of which 1228 papers were accepted for publication after a careful reviewing process. The papers thoroughly
... En savoir plus
Interactive Modeling and Simulation in Business System Design

par Ella Roubtsova ...

Collections series Computer Science (R0)
This classroom-texted textbook/reference presents a set of useful modeling techniques, describing how these can be combined into a powerful framework for the analysis and design of business systems. These techniques follow an interactive modeling and simulation (IMS) approach, enabling the modeling and simulation of separate parts of the system at different levels of abstraction, and the ... En savoir plus

$64.09 CAD

This classroom-texted textbook/reference presents a set of useful modeling techniques, describing how these can be combined into a powerful framework for the analysis and design of business systems. These techniques follow an interactive modeling and simulation (IMS) approach, enabling the modeling and simulation of separate parts of the system at different levels of abstraction, and the
... En savoir plus
Software Design for Resilient Computer Systems

par Igor Schagaev, Kaegi Thomas ...

Collections series Engineering (R0)
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a ... En savoir plus

$140.89 CAD

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a
... En savoir plus
Early Software Reliability Prediction

A Fuzzy Logic Approach

par Ajeet Kumar Pandey, Neeraj Kumar Goyal ...

Collections series Engineering (R0)
The development of software system with acceptable level of reliability and quality within available time frame and budget becomes a challenging objective. This objective could be achieved to some extent through early prediction of number of faults present in the software, which reduces the cost of development as it provides an opportunity to make early corrections during development process. The ... En savoir plus

$115.29 CAD

The development of software system with acceptable level of reliability and quality within available time frame and budget becomes a challenging objective. This objective could be achieved to some extent through early prediction of number of faults present in the software, which reduces the cost of development as it provides an opportunity to make early corrections during development process. The
... En savoir plus
Software Engineering Methods Design and Application

Proceedings of 13th Computer Science Online Conference 2024, Volume 1

Modifié par Radek Silhavy, Petr Silhavy ...

Collections series Springer Nature Proceedings excluding Computer Science
This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its integration into system engineering is pivotal in advancing computer science research. It features the carefully reviewed proceedings of the Software Engineering Research in System Science session of ... En savoir plus

$280.49 CAD

This book dives into contemporary research methodologies, emphasising the innovative use of machine learning and statistical techniques in software engineering. Exploring software engineering and its integration into system engineering is pivotal in advancing computer science research. It features the carefully reviewed proceedings of the Software Engineering Research in System Science session of
... En savoir plus
Applying Blockchain Technology

Concepts and Trends

Modifié par Javaid Iqbal, Alwi Bamhdi, Bilal Ahmad Pandow, Faheem Syeed Masoodi ...

Blockchain technology has the potential to revolutionize the way to conduct transactions and share information. It is having a significant impact on a wide range of industries. Applying Blockchain Technology: Concepts and Trends is an in-depth guide exploring the world of blockchain technology. Beginning with an introduction to concepts related to blockchain and its application, the book delves ... En savoir plus

$126.41 CAD

Blockchain technology has the potential to revolutionize the way to conduct transactions and share information. It is having a significant impact on a wide range of industries. Applying Blockchain Technology: Concepts and Trends is an in-depth guide exploring the world of blockchain technology. Beginning with an introduction to concepts related to blockchain and its application, the book delves
... En savoir plus
Machine Learning and Knowledge Discovery in Databases. Research Track

European Conference, ECML PKDD 2025, Porto, Portugal, September 15–19, 2025, Proceedings, Part V

Modifié par Rita P. Ribeiro, Bernhard Pfahringer, Nathalie Japkowicz, Pedro Larrañaga, Alípio M. Jorge, Carlos Soares, Pedro H. Abreu, João Gama ...

Collections Livre 5 - Springer Nature Proceedings Computer Science
This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.The 300 full papers presented here, together with 15 demo papers, were carefully reviewed and selected from 1253 submissions. The papers presented in these ... En savoir plus

$102.49 CAD

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Portugal, September 15–19, 2025.The 300 full papers presented here, together with 15 demo papers, were carefully reviewed and selected from 1253 submissions. The papers presented in these
... En savoir plus
Advanced Research in Technologies, Information, Innovation and Sustainability

ARTIIS 2025, International Workshops, Cartagena de Indias, Colombia, October 21–23, 2025, Revised Selected Papers, Part II

Modifié par Teresa Guarda, Filipe Portela, Maria Fernanda Augusto ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.The 59 full papers and 8 short papers included in these volumes were carefully reviewed and selected from 177 submissions. ... En savoir plus

$140.89 CAD

This two volume set consists of the peer-reviewed papers from 15 workshops of the 2025 International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.The 59 full papers and 8 short papers included in these volumes were carefully reviewed and selected from 177 submissions.
... En savoir plus
Advanced Research in Technologies, Information, Innovation and Sustainability

5th International Conference, ARTIIS 2025, Cartagena de Indias, Colombia, October 21–23, 2025, Revised Selected Papers, Part I

Modifié par Teresa Guarda, Filipe Portela, Maria Fernanda Augusto, Jairo R. Coronado-Hernández ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.The 91 full papers and 10 short papers included in these proceedings were carefully reviewed and selected from 266 submissions. These ... En savoir plus

$115.29 CAD

This three-volume set constitutes the revised selected papers from the 5th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2025, ARTIIS 2025, held in Cartagena de Indias, Colombia, during October 21–23, 2025.The 91 full papers and 10 short papers included in these proceedings were carefully reviewed and selected from 266 submissions. These
... En savoir plus
Mastering Software Quality Assurance

Best Practices, Tools and Techniques for Software Developers

par Murali Chemuturi ...

This comprehensive reference on software development quality assurance addresses all four dimensions of quality: specifications, design, construction and conformance. It focuses on quality from both the micro and macro viewpoint. From a micro view, it details the aspect of building-in quality at the component level to help ensure that the overall deliverable has ingrained quality. From a macro ... En savoir plus

$51.99 CAD ou Gratuit avec Kobo Plus

This comprehensive reference on software development quality assurance addresses all four dimensions of quality: specifications, design, construction and conformance. It focuses on quality from both the micro and macro viewpoint. From a micro view, it details the aspect of building-in quality at the component level to help ensure that the overall deliverable has ingrained quality. From a macro
... En savoir plus
Intelligent Robotics and Applications

18th International Conference, ICIRA 2025, Okayama, Japan, August 6–9, 2025, Proceedings, Part III

Modifié par Takayuki Matsuno, Honghai Liu, Lianqing Liu, Zhouping Yin, Xiangyang Zhu, Weihong Ren, Zhiyong Wang, Yixuan Sheng ...

Collections Livre 3 - Springer Nature Proceedings Computer Science
The 3-volume set, LNAI 16074-16076, constitutes the proceedings of the 18th International Conference on Intelligent Robotics and Applications, ICIRA 2025, which took place in Okayama, Japan, during August 6-9, 2025.The 165 full papers included in these proceedings were carefully reviewed and selected from 329 submissions.They were organized in topical sections as follows:Part 1: Robotic Dexterous ... En savoir plus

$102.49 CAD

The 3-volume set, LNAI 16074-16076, constitutes the proceedings of the 18th International Conference on Intelligent Robotics and Applications, ICIRA 2025, which took place in Okayama, Japan, during August 6-9, 2025.The 165 full papers included in these proceedings were carefully reviewed and selected from 329 submissions.They were organized in topical sections as follows:Part 1: Robotic Dexterous
... En savoir plus
Software Engineering Measurement

par Ph.D. Munson ...

The product of many years of practical experience and research in the software measurement business, this technical reference helps you select what metrics to collect, how to convert measurement data to management information, and provides the statistics necessary to perform these conversions. The author explains how to manage software development ... En savoir plus

$119.54 CAD

The product of many years of practical experience and research in the software measurement business, this technical reference helps you select what metrics to collect, how to convert measurement data to management information, and provides the statistics necessary to perform these conversions. The author explains how to manage software development
... En savoir plus
Generative AI Architecture with LLMs, RAG, and Vector DB

Build GenAI apps with prompt engineering, RAG, Vector DBs, Azure OpenAI, and semantic search

par Mehmet Ozkaya ...

Design enterprise-ready GenAI architectures with LLMs, prompt engineering, RAG, fine-tuning, Vector DBs, semantic search, .NET, Ollama, OpenAI, Azure OpenAI, and Azure AI Search for production apps and modern support workflows.Key FeaturesDesign enterprise GenAI apps using LLMs, prompt engineering, RAG, fine-tuning, and Vector DBsBuild .NET workflows with OpenAI, Ollama, Qdrant, Azure OpenAI, and ... En savoir plus

$32.79 CAD

PRÉCOMMANDER

Design enterprise-ready GenAI architectures with LLMs, prompt engineering, RAG, fine-tuning, Vector DBs, semantic search, .NET, Ollama, OpenAI, Azure OpenAI, and Azure AI Search for production apps and modern support workflows.Key FeaturesDesign enterprise GenAI apps using LLMs, prompt engineering, RAG, fine-tuning, and Vector DBsBuild .NET workflows with OpenAI, Ollama, Qdrant, Azure OpenAI, and
... En savoir plus
Engineering Applications of Neural Networks

27th International Conference, EANN 2026, Chania, Crete, Greece, July 16–19, 2026, Proceedings, Part I

Modifié par Lazaros Iliadis, Ilias Maglogiannis, Marios Antonakakis, Chrisina Jayne ...

Collections Livre 1 - Springer Nature Proceedings excluding Computer Science
The two-volume set CCIS 3024 + 3025 constitutes the refereed proceedings of the 27th International Conference on Engineering Applications of Neural Networks, EANN 2026, held in Chania, Crete, Greece, during July 16-19, 2026.The 51 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 112 submissions.They are grouped into the following topics: LLMs, NLP, ... En savoir plus

$108.89 CAD

The two-volume set CCIS 3024 + 3025 constitutes the refereed proceedings of the 27th International Conference on Engineering Applications of Neural Networks, EANN 2026, held in Chania, Crete, Greece, during July 16-19, 2026.The 51 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 112 submissions.They are grouped into the following topics: LLMs, NLP,
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Développement de logiciels

Afficher :