Softwareudvikling

Gem søgning

Numerical Software Verification

Numerical Software Verification View_Book

Software Configuration Management

Jessica Keyes Software Configuration Management View_Book

Manage Software Testing

Peter Farrell-Vinay Manage Software Testing View_Book

Leveraging the Wisdom of the Crowd in Software Testing

Rajini Padmanaban, Mukesh Sharma Leveraging the Wisdom of the Crowd in Software Testing View_Book

Service-Oriented Computing – ICSOC 2018 Workshops

Service-Oriented Computing – ICSOC 2018 Workshops View_Book

Principles of Security and Trust

Principles of Security and Trust View_Book

The Introduction to Private Cloud using Oracle Exadata and Oracle Database

Okcan Yasin Saygili The Introduction to Private Cloud using Oracle Exadata and Oracle Database View_Book

Social Software Engineering

Jessica Keyes Social Software Engineering View_Book

Implementing and Developing Cloud Computing Applications

David E. Y. Sarna Implementing and Developing Cloud Computing Applications View_Book

Enjoying Natural Computing

Enjoying Natural Computing View_Book

Formal Methods in Outer Space

Formal Methods in Outer Space View_Book

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty View_Book

Frontiers of Combining Systems

Frontiers of Combining Systems View_Book

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

Leveraging Applications of Formal Methods, Verification and Validation: Tools and... View_Book

Computer Information Systems and Industrial Management

Computer Information Systems and Industrial Management View_Book

Provenance and Annotation of Data and Processes

Provenance and Annotation of Data and Processes View_Book

Automated Deduction – CADE 28

Automated Deduction – CADE 28 View_Book

Software Engineering for Variability Intensive Systems

Software Engineering for Variability Intensive Systems View_Book

Tests and Proofs

Tests and Proofs View_Book

High Performance Computing

High Performance Computing View_Book

Distributed Applications and Interoperable Systems

Distributed Applications and Interoperable Systems View_Book

Model-Driven Engineering of Information Systems

Model-Driven Engineering of Information Systems View_Book

Computer Technology and Computer Programming

Computer Technology and Computer Programming View_Book

Resilience in the Digital Age

Resilience in the Digital Age View_Book

Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation View_Book

Software Engineering for Absolute Beginners

Nico Loubser Software Engineering for Absolute Beginners View_Book

Advances in Conceptual Modeling

Advances in Conceptual Modeling View_Book

Open Systems Dependability

Open Systems Dependability View_Book

Distributed System Design

Jie Wu Distributed System Design View_Book

Deductive Software Verification: Future Perspectives

Deductive Software Verification: Future Perspectives View_Book