Springer springer vieweg jul 1990 (8 resultados)

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The central topics of this volume are enumerative geometry and intersection theory. The contributions are original (refereed) research papers.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 316 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -These proceedings contain original (refereed) research articles by specialists from many countries, on a wide variety of aspects of Navier-Stokes equations. Additionally, 2 survey articles intended for a general readership are included: one surveys the present state of the subject via open problems, and the other deals with the interplay between theory and numerical analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 252 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 408 pp. Englisch.…

Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Specification and transformation of programs' 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. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 516 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the texts of papers presented at the Second Irish Conference on Artificial Intelligence and Cognitive Science, held at Dublin City University in September 1989. This Conference has now become the major annual forum in Ireland for the presentation and discussion of current research work in the multi-disciplinary area of Artificial Intelligence. Papers in this volume have been divided into seven sections which vary in their subject matter. Image processing, human-computer interaction, planning, applications and theory of expert systems, learn ing, speech, and natural language processing and semantics repre sents as broad a spectrum of AI and AI-related topics as can be found in current AI research. This harmonises quite well with the aims and scope of the AICS'89 conference which were to provide a forum for industry and academic research to discuss AI and AI-related topics and we were delighted that such a broad coverage of topics was achieved. Despite the broad nature, however, none of the papers are primarily review articles; each paper presents new research results within its own specific area.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 360 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents the state of the art of temporal analysis and cost minimization of projects, as well as project planning under limited resources where the projects are modelled by GERT networks. Basic concepts are summarized and the book is self-contained.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The aim of the present proceedings volume is to discuss recent advances in the mathematical representation of engineering, socio-technical and socio-economical systems as well as in the optimization of their performance. The papers presented are extended versions of about 100 lectures (plenary lectures as well as lectures of the parallel sessions) of the conference. All papers include original researching results of the authors. Some have the character of a survey.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 976 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Bringing together scientists from the various disciplines of chemistry who are actively engaged in developing software and using computers to solve their problems was the main objective of the 4th workshop 'Computers in Chemistry' (November 22-24, 1989) held in Hochfilzen, Tyrol. Fields covered include molecular modelling, chemometrics, synthesis planning, computer science.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 436 pp. Englisch.…