23 resultater (0,21462 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Formal Approaches to Software Testing - Andreas Ulrich

Formal Approaches to Software Testing - Andreas Ulrich

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness..

DKK 583.95
1

Theory and Applications of Satisfiability Testing - Armando Tacchella

Theory and Applications of Satisfiability Testing - Armando Tacchella

This book is devoted to the 6th International Conference on Theory and - plications of Satis?ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5-8,2003. SAT 2003followedthe WorkshopsonS- is?ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis?ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the..

DKK 606.95
1

Testing of Communicating Systems - Rachida Dssouli

Testing of Communicating Systems - Rachida Dssouli

This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr¿ eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP. Following the trends initiated at the 16th edition of the conference held in Oxford, UK, the ?rst call for papers issued in summer 2004 called for contri- tions from the general software..

DKK 593.95
1

Testing of Communicating Systems - Robert M. Hierons

Testing of Communicating Systems - Robert M. Hierons

This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne's College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored events that started in 1988. The previous events were held in Vancouver, Canada (1988); B- lin, Germany (1989); McLean, USA (1990); Leidschendam, Netherlands (1991); Montreal, Canada (1992); Pau, France (1993);..

DKK 580.95
1

Primality Testing in Polynomial Time - Martin Dietzfelbinger

Primality Testing in Polynomial Time - Martin Dietzfelbinger

On August 6, 2002,a paper with the title ¿PRIMES is in P¿, by M. Agrawal, N. Kayal, and N. Saxena, appeared on the website of the Indian Institute of Technology at Kanpur, India. In this paper it was shown that the ¿primality problem¿hasädeterministic algorithm¿ that runs in ¿polynomial time¿. Finding out whether a given number n is a prime or not is a problem that was formulated in ancient times, and has caught the interest of mathema- ciansagainandagainfor centuries. Onlyinthe 20thcentury,with..

DKK 573.95
1

Progress in VLSI Design and Test - Hafizur Rahaman

Progress in VLSI Design and Test - Hafizur Rahaman

This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012.The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays,..

DKK 260.95
1

Numerical Mathematics - Alfio Quarteroni

Numerical Mathematics - Alfio Quarteroni

Numerical mathematics proposes, develops, analyzes and applies methods from scientific computing to several fields including analysis, linear algebra, geometry, approximation theory, functional equations, optimization and differential equations. This book provides the mathematical foundations of numerical methods and demonstrate their performance on examples, exercises and real-life applications. This is done using the MATLAB software environment, which allows an easy implementation and testing of..

DKK 962.95
1

Non-destructive Materials Characterization and Evaluation - Walter Arnold

Non-destructive Materials Characterization and Evaluation - Walter Arnold

This book is devoted to non-destructive materials characterization (NDMC) using different non-destructive evaluation techniques. It presents theoretical basis, physical understanding, and technological developments in the field of NDMC with suitable examples for engineering and materials science applications. It is written for engineers and researchers in R&D, design, production, quality assurance, and non-destructive testing and evaluation. The relevance of NDMC is to achieve higher reliability,..

DKK 1627.95
1

New Analytic and Geometric Methods in Inverse Problems - E. Somersalo

New Analytic and Geometric Methods in Inverse Problems - E. Somersalo

In inverse problems, the aim is to obtain, via a mathematical model, information on quantities that are not directly observable but rather depend on other observable quantities. Inverse problems are encountered in such diverse areas of application as medical imaging, remote sensing, material testing, geosciences and financing. It has become evident that new ideas coming from differential geometry and modern analysis are needed to tackle even some of the most classical inverse problems. This book..

DKK 1144.95
1

Statistical Decision Theory - Nicholas T. Longford

Statistical Decision Theory - Nicholas T. Longford

This monograph presents a radical rethinking of how elementary inferences should be made in statistics, implementing a comprehensive alternative to hypothesis testing in which the control of the probabilities of the errors is replaced by selecting the course of action (one of the available options) associated with the smallest expected loss.Its strength is that the inferences are responsive to the elicited or declared consequences of the erroneous decisions, and so they can be closely tailored to..

DKK 571.95
1

Dependable Computing - Marco Vieira

Dependable Computing - Marco Vieira

This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and..

DKK 529.95
1

The Method of Approximate Inverse: Theory and Applications - Thomas Schuster

The Method of Approximate Inverse: Theory and Applications - Thomas Schuster

Inverse problems arise whenever one tries to calculate a required quantity from given measurements of a second quantity that is associated to the first one. Besides medical imaging and non-destructive testing, inverse problems also play an increasing role in other disciplines such as industrial and financial mathematics. Hence, there is a need for stable and efficient solvers. The book is concerned with the method of approximate inverse which is a regularization technique for stably solving inverse..

DKK 725.95
1

Fuzzy Statistics - James J. Buckley

Fuzzy Statistics - James J. Buckley

1. 1 Introduction This book is written in four major divisions. The first part is the introductory chapters consisting of Chapters 1 and 2. In part two, Chapters 3-11, we develop fuzzy estimation. For example, in Chapter 3 we construct a fuzzy estimator for the mean of a normal distribution assuming the variance is known. More details on fuzzy estimation are in Chapter 3 and then after Chapter 3, Chapters 4-11 can be read independently. Part three, Chapters 12- 20, are on fuzzy hypothesis testing...

DKK 1125.95
1