When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Pra
- Item No : 146432326325
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $56.81
-
* Item Description
-
The Nile on eBay 
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
Estimates reveal that there are some 200 million heterozygous carriers of abnormal hemoglobins genes worldwide, and tens of thousands of severely affected patients. Effective application of imaging techniques is essential to combat the continuing development of the disease and to ensure risk-free follow-up of the chronically ill. This is the first book to offer complete coverage of such radiologic applications with both conventional and the most modern imaging modalities. Interventional radiology, marrow transplantation, prenatal diagnosis by ultrasonography, and radiotherapy for bone marrow heterotopia are also featured.
FORMAT
PaperbackLANGUAGE
EnglishCONDITION
Brand New
Notes
Springer Book Archives
Table of Contents
Models and equality for logical programming.- Fifth generation computer project: Current research activity and future plans.- A compositive abstraction algorithm for combinatory logic.- Linear logic and lazy computation.- The natural dynamic semantics of mini-Standard ML.- Listlog — A PROLOG extension for list processing.- Intensional negation of logic programs: Examples and implementation techniques.- Improving the execution speed of compiled Prolog with modes, clause selection, and determinism.- Simulation results of a multiprocessor PROLOG architecture based on a distributed and/or graph.- Generating efficient code from strictness annotations.- Hoisting: Lazy evaluation in a cold climate.- Inductive assertion method for logic programs.- Higher order generalization in program derivation.- Implementing algebraically specified abstract data types in an imperative programming language.- A declarative environment for concurrent logic programming.- Or-parallel execution models of Prolog.- Retractions: A functional paradigm for logic programming.- Refined strategies for semantic unification.- Extensional models for polymorphism.- A type discipline for program modules.- Theory and practice of canonical term functors in abstract data type specifications.
Promotional
Springer Book Archives
Details
ISBN354017611XShort Title TAPSOFT 87 PROCEEDINGS OF THESeries Lecture Notes in Computer ScienceLanguage EnglishISBN-10 354017611XISBN-13 9783540176114Media BookFormat PaperbackSeries Number 250Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPlace of Publication BerlinCountry of Publication GermanyEdited by Robert A. KowalskiAuthor Ugo MontanariBirth 1942Pages 336Illustrations XIV, 336 p.Subtitle Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)DOI 10.1007/b33840;10.1007/BFb0014968Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KGEdition Description 1987 ed.Year 1987Edition 1987thPublication Date 1987-02-27DEWEY 004Audience Undergraduate
-
- The Lost Super Foods
- $ 37.00
- The Self-Sufficient Backyard
- $ 37.00
- A Navy Seals BUG IN GUIDE
- $ 39.00
- Childrens Books Phonics Lot 60
- $ 34.99
