springer apr 1996 (216 resultados)

Taschenbuch. Condición: Neu. Neuware -'.a story of great mathematicians and their achievements, of practical successes and failures, and of human perfidy and generosity.this is one of the still too rare occasions in which mathematicians are shown as frail, flesh-and-blood creatures.a very worthwhile book.' -CHOICESpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen Berechenbarkeit Interessierten geeignet; vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Now in new trade paper editions, these classic biographies of two of the greatest 20th Century mathematicians are being released under the Copernicus imprint. These noteworthy accounts of the lives of David Hilbert and Richard Courant are closely related: Courant's story is, in many ways, seen as the sequel to the story of Hilbert. Originally published to great acclaim, both books explore the dramatic scientific history expressed in the lives of these two great scientists and described in the lively, nontechnical writing style of Contance Reid.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The purpose of this book is to present the available (sometimes only partial) solutions to the two fundamental problems: the existence problem and the classification problem for holomorphic structures in a given topological vector bundle over a compact complex surface. Special features of the nonalgebraic surfaces case, like irreducible vector bundles and stability with respect to a Gauduchon metric, are considered. The reader requires a grounding in geometry at graduate student level. The book will be of interest to graduate students and researchers in complex, algebraic and differential geometry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Englisch.

Buch. Condición: Neu. Neuware -'Medical scientists use the word `iatrogenic' to refer to disabilities that are the consequence of medical treatment. We believe that some such word might be coined to refer to philosophical difficulties for which philosophers themselves are responsible' Sir Peter Medawar Arguing that quantum theory as it stands is perhaps the most comprehensive, well-verified, and successful theory in the history of science, the author clears away the impression that it is an incomplete, philosophically flawed, and self-contradictory theory. In simple terms accessible to anyone with a little prior knowledge of science, Wallace examines the numerous 'paradoxes' and 'difficulties' claimed for quantum mechanics, and shows that they are due to excesses of interpretation that have been imposed on the theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book is devoted to the design and analysis of techniques enabling intelligent and dynamic cooperation and communication among agents in a distributed environment. A flexible theoretical formalism is developed in detail and it is demonstrated how this approach can be used for the design of agent architectures in practice. The formal part of this work is based on a variant of the BDI logic introduced by Georgeff and Rao. This book, for the first time, outlines this formalism in some depth. The most important practical benefit provided is the concept of cooperation protocols allowing the representation of various methods of cooperation and possible patterns of dialogue.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94, held in Odense, Denmark, in August 1994.The 15 revised full papers included in the book were carefully selected from the workshop contributions; they address various current aspects of multi-agent systems, with a certain focus on applicational aspects. In addition, there is an invited paper 'Agents: towards a society in which humans and computers cohabitate' by Mario Tokoro.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Buch. Condición: Neu. Neuware -Vielen Menschen ist nicht bewußt, daß sich das Klima der Erde im Verlauf der Zeit ständig geändert hat. Erst im ausgehenden 19. Jahrhundert wurde bekannt, daß im Quartär weite Teile Europas vom Eis bedeckt waren, und die Entwicklung der Menschheit sehr stark von dieser Vereisung beeinflußt war. Seit bekannt ist, daß der Mensch aktiv in die Klimaentwicklung eingreift, wird dieses Thema oft kontrovers diskutiert. Seit 20 Jahren arbeiten Wissenschaftler durch Sammlung von Daten und Entwicklung komplexer Computermodelle an der Vorhersagemöglichkeit der Klimaentwicklung. Der Leser wird vor allem durch die Darstellung der Klimageschichte der Erde in verständlicher Form in die Problematik der Beurteilung zukünftiger Klimaänderungen eingeführt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Evolutionary computing, inspired by the biological world, is one of the emergent technologies of our time. Being essentially a software activity, it has been successfully applied, e.g. for optimization and machine learning in various areas. The tremendous increase in computational power and, more recently, the appearance of a new generation of programmable logic devices allow for a new approach to designing computing machines inspired by biological models: it is now possible to make the hardware itself evolve.This book is based on a workshop on evolvable hardware, held in Lausanne, Switzerland, in October 1995. It reports the state of the art of research in this field and presents two introductory chapters, written with the novice reader in mind.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming, CAAP '96, held in Linköping, Sweden, in April 1996.The 21 full revised papers presented were selected from 44 submissions; also included are invited papers by Samson Abramsky and Frank Pfenning. In keeping with the tradition of the CAAP conferences, this volume covers algebraic, logical, and combinatorial properties of discrete structures and their application to computer science, in particular to the theory of computation and to programming theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents the refereed proceedings of the Sixth International Conference on Compiler Construction, CC '96, held in Linköping, Sweden in April 1996.The 23 revised full papers included were selected from a total of 57 submissions; also included is an invited paper by William Waite entitled 'Compiler Construction: Craftsmanship or Engineering '. The book reports the state of the art in the area of theoretical foundations and design of compilers; among the topics addressed are program transformation, software pipelining, compiler optimization, program analysis, program inference, partial evaluation, implementational aspects, and object-oriented compilers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents the refereed proceedings of the 9th European Knowledge Acquisition Workshop, EKAW '96, held in Nottingham, UK, in May 1996.The 23 revised full papers included address the most relevant theoretical and applicational aspects of knowledge acquisition with a certain emphasis on the acquisition of knowledge for the modelling or automation of complex problem-solving behaviour. The volume is organized in sections on theoretical and general issues, eliciting knowledge from textual or other sources, data-mining, group elicitation, and planning.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume presents a collection of revised refereed papers selected from the contributions presented at the European Conference on Artificial Evolution, AE '95, held in Brest, France, in September 1995; also included are a few papers from the predecessor conference, AE '94.Besides two invited surveys on evolution strategies and evolutionary programming, 24 full papers are presented. They are grouped into sections on evolutionary computation theory, genetic algorithm techniques, coevolution, neural networks, image processing, and applications to various optimization and other problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Dieses Lehrbuch ist quantitativen Methoden der Produktionsplanung, -steuerung und -kontrolle gewidmet. Neben Verfahren zur Lösung traditioneller Probleme der Produktionsplanung (Prognoseverfahren, Lagerhaltung und Losgrößenplanung, Materialbedarfsplanung, Maschinenbelegungsplanung, integrierte Produktionsplanung) werden leistungsfähige Methoden zur Planung spezieller Produktionssegmente (Werkstattfertigung, Fließfertigung, Zentrenproduktion, Einzel- und Kleinserienfertigung, Just-in-Time-Produktion) dargestellt. Wie in der modernen angelsächsischen Literatur zum Produktions- und Operations-Management werden im Unterschied zu den meisten deutschsprachigen Lehrbüchern der Produktionswirtschaft auch die Standort- und Layoutplanung und die Qualitätssicherung ausführlich behandelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Scheme provides a flexible and powerful language for programming embodying many of the best features of logical and functional programming. This enjoyable book provides readers with an introduction to programming in Scheme by constructing a series of interesting and re-usable programs. The book includes two diskettes containing MIT Scheme to run on Windows PCs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents the refereed proceedings of the International Workshop on Parallel Symbolic Languages and Systems, PSLS '95, held in Beaune, France, in October 1995.The 21 full papers included in the book were carefully selected for presentation at the meeting and thoroughly revised afterwards. Parallel symbolic computing has gained in importance for high-performance computing; in recent years, many applications have been implemented using C, C++, and their parallel extensions. This volume is organized in sections on evaluation strategies, programming tools, irregular data structures and applications, systems, and distributed models and systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The NE Pacific Ocean is considered the birthplace of many fundamental ideas for modern plate tectonics theory. In this book the orogenic belts of this region are discussed in a single, internally consistent tectonic concept. Geological information is considered the most reliable. Geophysical models are tested for compatibility with observable geological data. The new concept avoids force-fitting interpretations to preconceived assumptions regarding accreted far-traveled terranes in the Cordillera and continental-oceanic plate interactions in the entire region.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -For those who didn't buy the first edition, welcome aboard. For those who did buy the first edition, welcome back, and thanks for making the second edition possible. For those who bought the first edition and are standing in the book store wondering whether to buy the second, what's in it for you Well, for one thing, it's smaller. (No, no! Don't leave!) I tried to make the first edition a kind of master reference for antiviral protection. That meant I included a lot of stuff that I thought might possibly be helpful, even if I had some doubts about it. This time I've tried to be a little more selective. I've added a little more material to Chapter 4 (Computer Opera tions and Viral Operations) dealing with the question of computer vi ruses infecting data files and the new 'macro' viruses. I've added two new sections to Chapter 7 (The Virus and Society). One looks at the increasing problem of false alarms while the other looks at the ethics of virus writing and exchange.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The EUROCRYPT ¿96 conference was sponsored by the International Asso- ation for Cryptologic Research (IACR)l, in cooperation with the University of Saragossa. It took place at the Palacio de Congresos in Saragossa, Spain, during May 12-16, 1996. This was the fifteenth annual EUROCRYPT conference (this name has been used since the third conference held in 1984), each of which has been held in a different city in Europe. For the second time, proceedings were available at the conference. JosC Pastor Franco, the General Chair, was resp- sible for local organization and registration. His contribution to the snccess of the conference is gratefully acknowledged. The Program Committee considered 126 submitted papers and selected 34 for presentation. Each paper was sent to all members of the Program Committee and was assigned to at least three of them for careful evaluation. There were also two invited talks. James L. Massey, this year¿s IACR Distinguished Ltcturer, gave a lecture entitled ¿The difficulty with difficulty¿. Massey is the third to receive this honor, the first two being Gustavus Simmons and Adi Shamir. Shafi Goldwasser gave an invited talk entitled ¿Multi party secure protocols: past and present¿. These proceedings contain revised versions of the 34 contributed talks. While the papers were carefully selected, they have not been refereed like submissions to a refereed journal. The authors bear full responsibility for the contents of their papers. Some authors may write final versions of their papers for publication in a refereed journal.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Orthogonal Functions may be divided into two classes. The class of continuous systems and the discontinuous class of piecewise constant systems. Problems arise because continuous systems form an unsatisfactory basis for the expansion of functions containing discontinuities whilst piecewise constant systems insert artificial discontinuities into all representations. Since these two classes of functions would be unsuccessful in coping with functions that possess both continuity and discontinuity we must look to General Hybrid Orthogonal Functions (GHOF) which have been shown to be the most appropriate in such situations. This book introduces the system of GHOF, discusses its properties, develops an operational algebra for the discretization of continuous dynamic systems on the system of GHOF and illustrates its use as a flexible and powerful framework of computational tools in a wide range of systems and control.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Critical tradition has established a certain way of reading Ezra Pound, one that places the meanings of the words on the page at the centre of interest and neglects poetic communication. The present study contributes to the recent challenge to this critical orthodoxy, which has led to his canonization as a 'difficult' poet, by investigating the pragmatic dimension of Pound's work. In its effort to reconstruct the dynamic communicative interface between Pound and his audiences in the early period of his career (1908-1925), this study draws on relevance theory, a recent sharpening in pragmatic theory, not so much to produce a 'new' reading of his poetry, but to suggest how Pound became difficult: it is argued that the relative success and failure of his poetry to enhance cognitive and civic renewal depended on the dialectic between his presumptions of audience and the interpretive expectations and skills of his actual historical readers.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 196 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Behandelt wird in diesem Buch nicht nur der Standardstoff des Grundstudiums wie Güternachfrage- und Arbeitsangebot der Konsumenten, Güterangebot- und Faktornachfrage der Unternehmen und die Analyse von Märkten, sondern auch Lösungen neuerer Probleme wie Spieltheorie, Externe Effekte, Öffentliche Güter, Humankapitalbildung und Institutionen. Dieses Buch unterscheidet sich von anderen Lehr- oder Aufgabenbüchern dadurch, daß durch die konsequente Anwendung eines Frage-Antwort-Stils der Stoff in kurzen Lerneinheiten dargeboten wird. Es eignet sich daher sowohl zum Selbststudium als auch zum prüfungsvorbereitenden Lernen. Alle Fragestellungen werden in der Regel sowohl graphisch als auch analytisch behandelt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Deutsch.

Buch. Condición: Neu. Neuware -Permutation Groups form one of the oldest parts of group theory. Through the ubiquity of group actions and the concrete representations which they afford, both finite and infinite permutation groups arise in many parts of mathematics and continue to be a lively topic of research in their own right. The book begins with the basic ideas, standard constructions and important examples in the theory of permutation groups.It then develops the combinatorial and group theoretic structure of primitive groups leading to the proof of the pivotal O'Nan-Scott Theorem which links finite primitive groups with finite simple groups. Special topics covered include the Mathieu groups, multiply transitive groups, and recent work on the subgroups of the infinite symmetric groups. This text can serve as an introduction to permutation groups in a course at the graduate or advanced undergraduate level, or for self- study. It includes many exercises and detailed references to the current literature.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linköping, Sweden, in April 1996.The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification, programming paradigms, program semantics, advanced type systems, program analysis, program transformation, and implementation techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, held in Cesena, Italy in April 1996. Over the last few years, a new class of models, formalisms, and mechanisms for describing concurrent and distributed computations has emerged. A characteristic feature of these coordination languages and models is that they are based on (generative) communication via a shared data space. The 21 revised full papers presented were selected from a total of 78 submissions; also included are three invited papers and 10 posters. All in all, these papers report the state of the art in this young and active area of research and development.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -From the viewpoint of an 'industrial' this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic programming is a fascinating area in computer science, which held for years - and still does - the promise of freeing ourselves from programming based on the 'Von Neumann' machine. In addition computer programming has long been for solid theoretical foundations. While conventional engineering, dealing mainly with 'analogical complexity', developed over some hundred years a complete body of mathematical tools, no such toolset was available for 'digital complexity'. The only mathematical discipline which deals with digital complexity is logic and Prolog is certainly the operational tool which comes closest to the logical programming ideal. So, why does Prolog, despite nearly twenty years of development, still appear to many today to be more of a research or academic tool, rather than an industrial programming language A few reasons may explain this: First, I think Prolog suffers from having been largely assimilated into - and thus followed the fate of - Artificial Intelligence. Much hype in the late 1980 created overexpectations and failed to deliver, and the counterreaction threw both AI and Prolog into relative obscurity. In a way, maybe this is a new chance for the Prolog community: the ability to carry out real work and progress without the disturbance of limelights and the unrealistic claims of various gurus. Second, programming in Prolog is a new experience for computer professionals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Buch. Condición: Neu. Neuware -The Nature of the Book This book is a text for a first course in statistical concepts and methods. It introduces the analysis of data and statistical inference and explains various methods in enough detail so that the student can apply them. Little mathematical background is required; only high school algebra is used. No mathematical proof is given in the body of the text, although algebraic demonstrations are given in appendices at the ends of some chapters. The exposition is based on logic, verbal explanations, figures, and numerical examples. The verbal and conceptual levels are higher than the mathematical leveL The concepts and methods of statistical analysis are illustrated by more than 100 interesting real-life data sets. Some examples are taken from daily life; many deal with the behavioral sciences, some with business, the health sciences, the physical sciences, and engineering. The exercises are of varying degrees of difficulty. This book is suitable for undergraduates in many majors and for grad uate students in the health sciences, behavioral sciences, and education. It has grown out of our experience over many years of teaching such courses. An earlier text by T. W. Anderson and S. L. Sclove, The Statistical Analysis of Data, had similar objectives and was of a similar nature. 740 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The aim of this book is to discuss various aspects associated with disseminating personal or business data collected in censuses or surveys or copied from administrative sources. The problem is to present the data in such a form that they are useful for statistical research and to provide sufficient protection for the individuals or businesses to whom the data refer. The major part of this book is concerned with how to define the disclosure problem and how to deal with it in practical circumstances.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.