This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such...
This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his...
This book consists of lectures that I have given, in Darmstadt since
1974, under various titles, for beginners or students of the third semester.
I have tried to concentrate on those themes concerning numbers, which
seem to me to be the most important on essential and historical grounds,
and which in my opinion...
This book's organizing principle is the interplay between groups and rings, where “rings” includes the ideas of modules. It contains basic definitions, complete and clear theorems (the first with brief sketches of proofs), and gives attention to the topics of algebraic geometry, computers, homology, and...
Bundles, connections, metrics and curvature are the 'lingua franca' of modern differential geometry and theoretical physics. This book will supply a graduate student in mathematics or theoretical physics with the fundamentals of these objects.
Many of the tools used in differential topology are introduced and the...
Ordered sets are ubiquitous in mathematics and have significant applications in computer science, statistics, biology and the social sciences. As the first book to deal exclusively with finite ordered sets, this book will be welcomed by graduate students and researchers in all of these areas. Beginning with definitions of key concepts and...
The Kronecker product of matrices plays a central role in mathematics and in applications found in engineering and theoretical physics. These applications are signal processing, statistical physics, quantum groups and quantum computers. This text provides a comprehensive introduction to the Kronecker product of matrices together with its...
This really is the golden age of Mathematics. It has been said that half
the Mathematics ever created has been in the last 100 years and that half
the mathematicians who have ever lived are alive today. We have seen such
achievements as the resolution of the four-colour problem and Fermat's
last theorem, with the latter being...
In the early 20th century, American sociologist W. I. Thomas
won fame with the statement: ‘If men define situations as real,
they are real in their consequences.’ This fundamental observation
on human behavior, now known as the Thomas theorem,
became a cornerstone of contemporary sociology. The idea that
our...
Although several books cover the coding theory of wireless communications and the hardware technologies and coding techniques of optical CDMA, no book has been specifically dedicated to optical coding theory—until now. Written by renowned authorities in the field, Optical Coding Theory with Prime gathers together in one...
With this second volume, we enter the intriguing world of complex analysis. From the first theorems on, the elegance and sweep of the results is evident. The starting point is the simple idea of extending a function initially given for real values of the argument to one that is defined when the argument is complex. From there, one proceeds to...
For most practicing analysts who use functional analysis, the restriction to Banach spaces seen in most real analysis graduate texts is not enough for their research. This graduate text, while focusing on locally convex topological vector spaces, is intended to cover most of the general theory needed for application to other areas of...
