Listing 1 - 10 of 40 << page
of 4
>>
Sort by

Dissertation
Proeve van retrospectieve bibliografie van verslagen en mededelingen van congressen in België 1875-1957
Authors: ---
Year: 1967 Publisher: Brussel : Belgische commissie voor bibliografie,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Congresses --- Bibliography.


Multi
Das Gesellschaftsrecht der Konzerne im internationalen Vergleich : ein Symposium des Max-Planck-Instituts für ausländisches und internationales Privatrecht, Hamburg
Authors: ---
ISBN: 3789020907 Year: 1991 Publisher: Baden-Baden : Nomos,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Foodborne listeriosis
Authors: --- --- ---
ISBN: 0444811869 Year: 1990 Volume: 2 Publisher: Amsterdam,New York : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Obstetric care, pregnancy risk factors and perinatal outcome in the Province of Uusimaa, Finland, in 1980-1981
Author:
ISBN: 9519347496 Year: 1987 Volume: 203 Publisher: Helsinki Duodecim

Loading...
Export citation

Choose an application

Bookmark

Abstract

Fundamental questions in quantum mechanics : proceedings of the conference on fundamental questions in quantum mechanics held at the State University of New York at Albany, April 12-14, 1984
Authors: ---
ISBN: 2881240585 Year: 1986 Publisher: New York, NY : Gordon & Breach,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Protein phosphatases : substrate specificity and enzyme regulation by second-site phosphorylation : [thesis... ]
Authors: ---
ISSN: 07707703 ISBN: 9061862604 Year: 1988 Volume: 1 Publisher: Leuven Leuven University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Le théâtre Arena (São Paulo 1953-1977) : du "théâtre en rond" au "théâtre populaire"
Authors: ---
ISBN: 2853992756 Year: 1991 Publisher: Aix-en-Provence Université de Provence

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
Paleontology in China, 1979
Authors: --- ---
ISBN: 0813721873 Year: 1981

Loading...
Export citation

Choose an application

Bookmark

Abstract


Dissertation
Tokyo Olympiad : een humanistisch document
Authors: --- ---
Year: 2015 Publisher: Leuven KU Leuven. Faculteit Letteren

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
Author:
ISBN: 3540566252 0387566252 354047613X Year: 1993 Volume: vol 669 Publisher: Berlin New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal methods based on mathematics. This interest has come from the success of a number of experiments on real industrial applications. Thus, there is not only a belief, but also evidence, that the study of computer programs as mathematical objects leads to more efficient methods for constructing them. The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, June 29 - July 3, 1992. The conference was organized by the Oxford University Programming Research Group, and continued the theme set by the first - the use of crisp, clear mathematics in the discovery and design of algorithms. The second conference gives evidence of the ever-widening impact of precise mathematical methods in program development. There are papers applying mathematics not only to sequential programs but also to parallel and on-current applications, real-time and reactive systems, and to designs realised directly in hardware. The volume includes 5 invited papers and 19 contributed papers.

Listing 1 - 10 of 40 << page
of 4
>>
Sort by