Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science)
Huge Savings Item! Save 13% on the Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science) by Peter E Lauer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to
This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications in these disciplines. The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systemspresented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.
|Brand:||Peter E Lauer|
|Item Weight:||1.29 pounds|
|Item Size:||0.94 x 9.25 x 9.25 inches|
|Package Weight:||1.35 pounds|
|Package Size:||6.1 x 0.9 x 0.9 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Peter E Lauer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Brand: Birkhäuser
ean: 9780817647377, isbn: 0817647376,
This book develops theory and algorithms leading to systematic waveform design in time-frequency space. The key tool employed in the work is the Zak transform, which provides a two-dimensional image for sequences, the Fourier transform, convolution, ...
By Brand: Springer
ean: 9780792335832, isbn: 079233583X,
Many problems in science, technology and engineering are posed in the form of operator equations of the first kind, with the operator and RHS approximately known. But such problems often turn out to be ill-posed, having no solution, or a non-unique s...
By Anthony Sofo
ean: 9780306478055, isbn: 0306478056,
"This book collects in one volume the author’s considerable results in the area of the summation of series and their representation in closed form, and details the techniques by which they have been obtained... the calculations are given in plenty ...
ean: 9780470484135, isbn: 0470484136,
Most existing books on wavelets are either too mathematical or they focus on too narrow a specialty. This book provides a thorough treatment of the subject from an engineering point of view. It is a one-stop source of theory, algorithms, applications...
By Brand: Birkhäuser
ean: 9780817636548, isbn: 0817636544,
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, th...
ean: 9781402074011, isbn: 1402074018,
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification le...
ean: 9783319483108, isbn: 3319483102,
This reference text, now in its second edition, offers a modern unifying presentation of three basic areas of nonlinear analysis: convex analysis, monotone operator theory, and the fixed point theory of nonexpansive operators. Taking a unique compreh...
By Brand: Cambridge University Press
ean: 9780521631242, isbn: 0521631246,
Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structur...
By Andrea Asperti
ean: 9780521621120, isbn: 0521621127,
All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal red...
By Cengage Learning
mpn: black & white tables, figures, ean: 9781111526504, isbn: 1111526508,