Zobrazeno 1 - 10
of 14
pro vyhledávání: '"63"'
Autor:
Karsten M. Decker, Rene M. Rehmann
Massively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important for high-performance computing. The growing acceptance of MPSs in academia is clearly apparent. However, in industrial co
Autor:
Alfred Kersch, William J. Morokoff
Computer simulation of semiconductor processing equipment and devices requires the use of a wide variety of numerical methods. Of these methods, the Monte Carlo approach is perhaps most fundamentally suited to mod eling physical events occurring on
Autor:
Yorick Hardy, Willi H. Steeb
'Classical and Quantum computing'provides a self-contained, systematic and comprehensive introduction to all the subjects and techniques important in scientific computing. The style and presentation are readily accessible to undergraduates and gradua
Autor:
Christian Prehofer
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica tions, higher-order
Autor:
Harley Flanders
Guide to this Book My main objective is to teach programming in Pascal to people in the hard sciences and technology, who don't have much patience with the standard textbooks with their lengthy, pedantic approach, and their many examples of no intere
Autor:
Giuseppe Castagna
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other
Autor:
Franck van Breughel
During the last three decades several different styles of semantics for program ming languages have been developed. This book compares two of them: the operational and the denotational approach. On the basis of several exam ples we show how to de
Autor:
Erwin Engeler
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differ ent circumstances,
Autor:
P.-L. Curien
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