Search results for "Set Sytes"
Items we need to order for you
R 341.00
R 1,679.00
R 1,315.70
Descriptive Set Theory and Dynamical Systems
In recent years there has been a growing interest in the interactions between descriptive set theory and various aspects of the theory of dynamical systems, including ergodic theory and topological dynamics. This volume, first published in 2000, contains a collection of survey papers by leading researchers covering a wide variety of recent developments in these subjects and their interconnections. This book provides researchers and graduate students interested in either of these areas with a guide to work done in the other, as well as with an introduction to problems and research directions arising from their interconnections.
R 3,343.67
Analytic Methods in Systems and Software Testing
A comprehensive treatment of systems and software testing using state of the art methods and tools This book provides valuable insights into state of the art software testing methods and explains, with examples, the statistical and analytic methods used in this field. Numerous examples are used to provide understanding in applying these methods to real-world problems. Leading authorities in applied statistics, computer science, and software engineering present state-of-the-art methods addressing challenges faced by practitioners and researchers involved in system and software testing. Methods include: machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability modeling. Analytic Methods in Systems and Software Testing presents its comprehensive collection of methods in four parts: Part I: Testing Concepts and Methods; Part II: Statistical Models; Part III: Testing Infrastructures; and Part IV: Testing Applications. It seeks to maintain a focus on analytic methods, while at the same time offering a contextual landscape of modern engineering, in order to introduce related statistical and probabilistic models used in this domain. This makes the book an incredibly useful tool, offering interesting insights on challenges in the field for researchers and practitioners alike. Compiles cutting-edge methods and examples of analytical approaches to systems and software testing from leading authorities in applied statistics, computer science, and software engineeringCombines methods and examples focused on the analytic aspects of systems and software testingCovers logistic regression, machine learning, Bayesian methods, graphical models, experimental design, generalized regression, and reliability modelsWritten by leading researchers and practitioners in the field, from diverse backgrounds including research, business, government, and consultingStimulates research at the theoretical and practical level Analytic Methods in Systems and Software Testing is an excellent advanced reference directed toward industrial and academic readers whose work in systems and software development approaches or surpasses existing frontiers of testing and validation procedures. It will also be valuable to post-graduate students in computer science and mathematics.
R 3,190.00
R 585.00
R 574.00
R 2,738.92
Notes on Set Theory
The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. It is also viewed as a foundation of mathematics so that "to make a notion precise" simply means "to define it in set theory." This book gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets, and also attempts to explain how mathematical objects can be faithfully modeled within the universe of sets. In this new edition the author has added solutions to the exercises, and rearranged and reworked the text to improve the presentation.
R 2,496.74
Notes on Set Theory
The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. It is also viewed as a foundation of mathematics so that "to make a notion precise" simply means "to define it in set theory." This book gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets, and also attempts to explain how mathematical objects can be faithfully modeled within the universe of sets. In this new edition the author has added solutions to the exercises, and rearranged and reworked the text to improve the presentation.
R 1,958.84
R 1,041.00
Lectures on the Religion of the Semites (Second and Third Series)
The outstanding nineteenth-century biblical scholar and Semitist William Robertson Smith gave three courses of Burnett Lectures on the Religion of the Semites at Aberdeen just over a century ago. The first series, published in 1889 (2nd edn, 1894), has long been a classic work. The second and third series were never published, owing to the author's ill health; however, the manuscript of them still exists in the Cambridge University Library and was recently discovered by John Day, who has produced this edited version of the work to commemorate the centenary of Smith's death. The Lectures, which constitute a work of considerable Semitic and Classical learning, are on the following subjects: Feasts, Priests and the Priestly Oracle, Prophecy and Divination, Semitic Polytheism and Cosmogony. Dr Day has written an Introduction, which evaluates the work and includes nineteenth-century press reports of the Lectures.
R 1,441.00
Programming and Proof System ATES
Today, people use a large number of "systems" ranging in complexity from washing machines to international airline reservation systems. Computers are used in nearly all such systems: accuracy and security are becoming increasingly essential. The design of such computer systems should make use of development methods as systematic as those used in other engineering disciplines. A systematic development method must provide a way of writing specifications which are both precise and concise; it must also supply a way of relating design to specification. A concise specification can be achieved by restricting attention to what a system has to do: all considerations of implementation details are postponed. With computer systems, this is done by: 1) building an abstract model of the system -operations being specified by pre-and post-conditions; 2) defining languages by mapping program texts onto some collection of objects modelizing the concepts of the system to be dealt with, whose meaning is understood; 3) defining complex data objects in terms of abstractions known from mathematics. This last topic, the use of abstract data types, pervades all work on specifications and is necessary in order to apply ideas to systems of significant complexity. The use of mathematics based notations is the best way to achieve precision. 1.1 ABSTRACT DATA TYPES, PROOF TECHNIQUES From a practical point of view, a solution to these three problems consists to introduce abstract data types in the programming languages, and to consider formal proof methods.
R 3,168.27
Advanced Testing of Systems-of-Systems, Volume 2
As a society today, we are so dependent on systems-of-systems that any malfunction has devastating consequences, both human and financial. Their technical design, functional complexity and numerous interfaces justify a significant investment in testing in order to limit anomalies and malfunctions. Based on more than 40 years of practice, this book goes beyond the simple testing of an application – already extensively covered by other authors – to focus on methodologies, techniques, continuous improvement processes, load estimates, metrics and reporting, which are illustrated by a case study. It also discusses several challenges for the near future. Pragmatic and clear, this book displays many examples and references that will help you improve the quality of your systemsof-systems efficiently and effectively and lead you to identify the impact of upstream decisions and their consequences. Advanced Testing of Systems-of-Systems 2 deals with the practical implementation and use of the techniques and methodologies proposed in the first volume.
R 5,373.00
R 1,485.28
R 487.00
Rough Set–Based Classification Systems
This book demonstrates an original concept for implementing the rough set theory in the construction of decision-making systems. It addresses three types of decisions, including those in which the information or input data is insufficient. Though decision-making and classification in cases with missing or inaccurate data is a common task, classical decision-making systems are not naturally adapted to it. One solution is to apply the rough set theory proposed by Prof. Pawlak.The proposed classifiers are applied and tested in two configurations: The first is an iterative mode in which a single classification system requests completion of the input data until an unequivocal decision (classification) is obtained. It allows us to start classification processes using very limited input data and supplementing it only as needed, which limits the cost of obtaining data. The second configuration is an ensemble mode in which several rough set-based classification systems achieve the unequivocal decision collectively, even though the systems cannot separately deliver such results.
R 3,021.58
Notes on Logic and Set Theory
This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for the first time. The book is based on lectures given at the University of Cambridge and covers the basic concepts of logic: first order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. There are also chapters on recursive functions, the axiom of choice, ordinal and cardinal arithmetic and the incompleteness theorems. Dr Johnstone has included numerous exercises designed to illustrate the key elements of the theory and to provide applications of basic logical concepts to other areas of mathematics. Consequently the book, while making an attractive first textbook for those who plan to specialise in logic, will be particularly valuable for mathematics and computer scientists whose primary interests lie elsewhere.
R 2,884.29
Car Multimedia Systeme Modell-basiert testen mit SysML
Oliver Alt beschreibt sein Verfahren, Testfälle für den Systemtest von Car Multimedia Systemen automatisiert aus einem speziell konzipierten Systemmodell zu generieren. Neue Ansätze sind dabei die durchgängige Modellierung mit Hilfe von Aktivitätsdiagrammen, die Anwendung funktional gleicher Testfälle auf technisch verschiedene Systeme und der Einsatz der Systembeschreibungssprache OMG SysML
R 2,214.29
![Synopsis Actorum S. [i.e. Sanctae] Sedis in Causa Societatis Iesu](http://exclusivebooks.co.za/cdn/shop/files/9781020920097.jpg?height=645&pad_color=fff&v=1715066533&width=315)
