Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Functional

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


Product Description

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.

Additional Information

Manufacturer:Springer
Brand:Peter E Lauer
Publisher:Springer
Studio:Springer
EAN:9783540568834
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

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

Buy Now:
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada (Lecture Notes in Computer Science)

Brand: Peter E Lauer
4.1 out of 5 stars with 55 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$119.00
$104.48
You Save: 12%


Quantity:  

 


View More In Functional.

 


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.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


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, ...

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...

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...

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...

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...

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...

mpn: black & white tables, figures, ean: 9781111526504, isbn: 1111526508,
From the respected instructor and author Paul Addison, PRINCIPLES OF PROGRAM DESIGN: PROBLEM SOLVING WITH JAVASCRIPT presents the fundamental concepts of good program design, illustrated and reinforced by hands-on examples using JavaScript. Why JavaS...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.