Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Trial of Jeanne Catherine
  • Language: en
  • Pages: 167

Trial of Jeanne Catherine

This page-turning translation of a seventeenth-century infanticide trial tells the story of a single mother accused of poisoning two children, including her own.

Compiler Construction
  • Language: en
  • Pages: 309

Compiler Construction

  • Type: Book
  • -
  • Published: 2003-06-29
  • -
  • Publisher: Springer

ETAPS2000 was the third instance of the EuropeanJoint Conferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ?ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Analysis of Laminar Flow over a Backward Facing Step
  • Language: de
  • Pages: 427
Compiler Construction
  • Language: en
  • Pages: 383

Compiler Construction

  • Type: Book
  • -
  • Published: 2003-06-29
  • -
  • Publisher: Springer

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Des Ulcérations et des perforations intestinales dans le cancer du rectum, par le Dr François Thomasset
  • Language: fr
  • Pages: 76
Finite Element Methods for Navier-stokes Equations
  • Language: en
  • Pages: 218

Finite Element Methods for Navier-stokes Equations

  • Type: Book
  • -
  • Published: 1980
  • -
  • Publisher: Unknown

None

Finite Elements in Water Resources
  • Language: en
  • Pages: 805

Finite Elements in Water Resources

This book is the edited proceedings of the Fifth International Conference on Finite Elements in Water Resources, held at the University of Vermont, USA in June 1984. This Conference cont inues the successful series started at Princeton University in 1976, followed by the Conference in Imperial College, London, UK in 1978, the third Conference at the University of Mississippi, USA in 1980 and the fourth at the University of Hannover, Germany in 1982. The objective of this Conference is to provide engineers and scientists interested in water resources with the state-of-t- art on finite element modelling. The Proceedings review the basic theory and applications of the technique in groundwater a...

Languages, Compilers, and Run-Time Systems for Scalable Computers
  • Language: en
  • Pages: 309

Languages, Compilers, and Run-Time Systems for Scalable Computers

  • Type: Book
  • -
  • Published: 2003-07-31
  • -
  • Publisher: Springer

This book constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computing, LCR 2000, held in Rochester, NY, USA in May 2000. The 22 revised full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on data-intensive computing, static analysis, openMP support, synchronization, software DSM, heterogeneous/-meta-computing, issues of load, and compiler-supported parallelism.

Implementation of Finite Element Methods for Navier-Stokes Equations
  • Language: en

Implementation of Finite Element Methods for Navier-Stokes Equations

  • Type: Book
  • -
  • Published: 1981
  • -
  • Publisher: Unknown

None

Mountain
  • Language: en
  • Pages: 812

Mountain

  • Type: Book
  • -
  • Published: 1973
  • -
  • Publisher: Unknown

None