Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool.
Raster graphics differs from the more traditional vector or line graphics in the sense that images are not made up from line segments but from discrete elements orderly arranged in a two-dimensional rectangular region.
This volume is a record of the Workshop on Window Management held at the Ruth- erford Appleton Laboratory's Cosener's House between 29 April and 1 May 1985.
This volume presents a selection of papers presented at the 3rd European Workshop on Appl ications and Theory of Petri Nets that took place in Villa Monastero, Varenna (Italy) in the period September 27 - September 30, 1982.
This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "e;Systemes Paralleles et Distribues"e; and the Gl Special Interest Group "e;Petrinetze und verwandte Systemmodelle"e;, Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981.
Die Fachtagungen, die der Fachausschuß 2 PROGRAMMIERSPRACH~N der Gesellschaft für Informatik*) seit 1971 regelmäßig, nunmehr zum sechsten Mal, veranstaltet und in Ta gungsbänden dokumentiert, geben Zeugnis von dem jeweiligen Selbst-Verständnis des Faches PROGRAMMIERSPRACHEN, zumindest aus der Sicht einiger seiner Repräsentanten und der Vortragenden.
"e;Specification and transformation of programs"e; is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.
This work presents a purely classical first-order logical approach to the field of study in theoretical computer science sometimes referred to as the theory of programs, or programming theory.
Advances in microelectronic technology have made massivelyparallel computing a reality and triggered an outburst ofresearch activity in parallel processing architectures andalgorithms.
This volume contains papers presented at the NATO sponsored Advanced Research Workshop on "e;Software for Parallel Computation"e; held at the University of Calabria, Cosenza, Italy, from June 22 to June 26, 1992.
Control technology is a new learning environment whichoffers the opportunity to take up the economic andeducational challenge of enabling people to adapt to newtechnologies and use them to solve problems.
