Proceedings of the Estonian Academy of Sciences Physics and Mathematics

Proceedings of the Estonian Academy of Sciences  Physics and Mathematics
Author :
Publisher :
Total Pages : 64
Release : 2006-12
ISBN 10 :
ISBN 13 :
Language : EN, FR, DE, ES & NL

Proceedings of the Estonian Academy of Sciences Physics and Mathematics Book Description:


RELATED BOOKS:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Language: en
Pages: 390
Authors: Roland Backhouse, Roy Crole, Jeremy Gibbons
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and allegory theory. This textbook-like tutorial presents, besides an introduction, eight coherently written
Experimental Mechanics of Solids
Language: en
Pages: 743
Authors: Cesar A. Sciammarella, Federico M. Sciammarella
Categories: Science
Type: BOOK - Published: 2012-04-30 - Publisher: John Wiley & Sons

Experimental solid mechanics is the study of materials to determine their physical properties. This study might include performing a stress analysis or measuring the extent of displacement, shape, strain and stress which a material suffers under controlled conditions. In the last few years there have been remarkable developments in experimental
Semigroups and Automata
Language: en
Pages: 472
Authors: Uno Kaljulaid, Jaak Peetre, Jaan Penjam
Categories: Mathematics
Type: BOOK - Published: 2006-01-01 - Publisher: IOS Press

"This volume provides a selection of previously published papers and manuscripts of Uno Kaljulaid, an eminent Estonian algebraist of the last century. The central part of the book is the English translation of Kaljulaid's 1979 Candidate thesis, which originally was typewritten in Russian and manufactured in not so many copies.
Nigel J. Kalton Selecta
Language: en
Pages: 777
Authors: Fritz Gesztesy, Gilles Godefroy, Loukas Grafakos, Igor Verbitsky
Categories: Mathematics
Type: BOOK - Published: 2016-07-05 - Publisher: Birkhäuser

This is the second part of a two volume anthology comprising a selection of 49 articles that illustrate the depth, breadth and scope of Nigel Kalton’s research. Each article is accompanied by comments from an expert on the respective topic, which serves to situate the article in its proper context,
Mathematics of Program Construction
Language: en
Pages: 404
Authors: Dexter Kozen, Carron Shankland
Categories: Computers
Type: BOOK - Published: 2004-09-21 - Publisher: Springer

This book constitutes the refereed proceedings of the 7th International Conference on the Mathematics of Program Construction, MPC 2004, held in Stirling, Scotland, UK in July 2004. The 19 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are programming theory, programming methodology,