Search results for "Computer Science Academy"
Items we need to order for you
Graph-Grammars and Their Application to Computer Science
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part II contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars.
R 3,090.38
Categorical Methods in Computer Science
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.
R 1,566.66
Graph Grammars and Their Application to Computer Science
This volume contains papers selected from the contributionsto the 4th International Workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on the stateof the artand newest trends to researchers active in the area and forscientists who would like to know more about graph grammars.The topics of the papers range from foundations throughalgorithmic and implemental aspects to various issues thatarise in application areas like concurrent computing,functional and logic programming, software engineering,computer graphics, artificial intelligence and biology. Thecontributing authors are F.-J. Brandenburg, H. Bunke, T.C.Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A.Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari,M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R.Sleep, A. Rosenfeld, J. Winkowski and others.
R 3,106.55
