Account
Orders
Advanced search
The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols...
The research papers in this volume describe recent, original developments in techniques, tools and applications in the area of communication system performance. Involved in the project are researchers from the world's leading universities, research institutes and...
The proliferation of databases within organizations have made it imperative to allow effective sharing of information from these disparate database systems. In addition, it is desirable that the individual systems must maintain a certain degree of autonomy over their...
The complexity of large systems in public administration progresses in terms of both quality and quantity year after year. Mastering complex systems is therefore assuming an increasing dominance in this area. Learning to master evolving systems needs at least a...
Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven...
The importance of Broadband Communications in shaping the future telecommunication network has achieved world-wide recognition. This volume validates the huge significance of the field and explores key items concerning research, development and applications.The ideas...
Since the first INTERACT Conference in September 1984, the field of Human-Computer Interaction has received increasing attention from researchers and industrial practitioners, the importance of the topic now being widely recognized. Technological developments have made...
The contributions in this volume, made by distinguished statisticians in several frontier areas of research in multivariate analysis, cover a broad field and indicate future directions of research.The topics covered include discriminant analysis, multidimensional...
Radicals arose originally from structural investigations in rings, but later on they infiltrated into various branches of algebra, as well as into topology and relational structures. This volume is the result of a conference attended by mathematicians from all five...
The institute of annual Tinbergen Lectures was established by the Royal Netherlands Economic Association in honour of one of its greatest members, Jan Tinbergen. Collected in this volume are the six Tinbergen lectures which have been delivered from 1987 onwards by...
Developments in Cell Biology, Volume 1: Development and Differentiation in the Cellular Slime Moulds is a collection of papers from the proceedings of the International Workshop held at Porto Conte, Sardinia on April 12-16, 1977. This collection of papers deals with a...
Colloquia Mathematica Societatis Jânos Bolyai, 37: Finite and Infinite Sets, Vol. I focuses on the principles, operations, and approaches involved in finite and infinite sets. The selection first elaborates on essential chains and squares, cellular automata in trees,...
Contributions to Universal Algebra focuses on the study of algebra. The compilation first discusses the congruence lattice of pseudo-simple algebras; elementary properties of limit reduced powers with applications to Boolean powers; and congruent lattices of 2-valued...
Bibliotheca Mathematica: A Series of Monographs on Pure and Applied Mathematics, Volume VIII: Geometry of Numbers focuses on bodies and lattices in the n-dimensional euclidean space. The text first discusses convex bodies and lattice points and the covering constant...
Bibliotheca Mathematica: A Series of Monographs on Pure and Applied Mathematics, Volume V: Axiomatic Projective Geometry, Second Edition focuses on the principles, operations, and theorems in axiomatic projective geometry, including set theory, incidence propositions,...
Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results focuses on basic concepts and results of mathematical logic and the study of formalized theories. The manuscript first elaborates on sentential logic and first-order predicate logic....
Computer Science and Multiple-Valued Logic: Theory and Applications focuses on the processes, methodologies, and approaches involved in multiple-valued logic and its relationship to computer science. The selection first tackles an introduction to multiple-valued...
Lacunary Polynomials Over Finite Fields focuses on reducible lacunary polynomials over finite fields, as well as stem polynomials, differential equations, and gaussian sums. The monograph first tackles preliminaries and formulation of Problems I, II, and III,...
L. E. J. Brouwer Collected Works, Volume 2: Geometry, Analysis, Topology, and Mechanics focuses on the contributions and principles of Brouwer on geometry, topology, analysis, and mechanics, including non-Euclidean spaces, integrals, and surfaces. The publication first...
Matrix Calculus, Second Revised and Enlarged Edition focuses on systematic calculation with the building blocks of a matrix and rows and columns, shunning the use of individual elements. The publication first offers information on vectors, matrices, further...
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
Sign up to get our latest ebook recommendations and special offers