Springer berlin heidelberg aug 1995 (77 risultati)

Buch. Condizione: Neu. Neuware - Die Autoren dieses Standardwerks haben für die dritte Auflage alle Kapitel grundlegend überarbeitet und dem neuesten Erkenntnisstand angepaßt; zahlreiche neue Konservierungsstoffe wurden berücksichtigt. Das erfolgreiche Grundkonzept wurde beibehalten: Ein allgemeiner Teil führt in die wesentlichen Grundlagen der chemischen Lebensmittelkonservierung ein; im speziellen Teil werden die einzelnen Konservierungsstoffe, ihre Eigenschaften und Anwendungsgebiete behandelt. Das Ziel der Autoren ist dabei stets, Grundlagen für die praktische Anwendung zu vermitteln und Zusammenhänge erkennbar werden zu lassen. Auf die historische Entwicklung und international bedeutsame Tendenzen wird der Leser ebenfalls hingewiesen.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Most books devoted to the theory of the integral have ignored the nonabsolute integrals, despite the fact that the journal literature relating to these has become richer and richer. The aim of this monograph is to fill this gap, to perform a study on the large number of classes of real functions which have been introduced in this context, and to illustrate them with many examples. This book reports on some recent advances in the theory of real functions and can serve as a textbook for a course in the subject, and to stimulate further research in this exciting field. 332 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Crypto '95 conference was sponsored by the International Association for Cryptologic Research (IACR), in cooperation with the IEEE Computer - ciety Technical Committee on Security and Privacy, and the Computer Science Department of the University of California, Santa Barbara. It took place at the University of California, Santa Barbara, from August 27-31, 1995. This was the fifteenth annual Crypto conference; all have been held at UCSB. For the second time, proceedings were available at the conference. The General Chair, Stafford Tavares, was responsible for local organization and registration. The Program Committee considered 151 papers and selected 36 for pres- tation. There were also two invited talks. Robert Morris, Sr. gave a talk on 'Ways of Losing Information,' which included some non-cryptographic means of leaking secrets that are often overlooked by cryptographers. The second talk, 'Cryptography - Myths and Realities,' was given by Adi Shamir, this year's IACR Distinguished Lecturer. Shamir is the second person to receive this honor, the first having been Gus Simmons at Crypto '94. These proceedings contain revised versions of the 36 contributed talks. Each paper was sent to at least three members of the program committee for c- ments. Revisions were not checked on their scientific aspects. Some authors will write final versions of their papers for publication in refereed journals. Of course, the authors bear full responsibility for the contents of their papers. 480 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is designed to be a comprehensive treatment of linear methods to optimal control of bilinear systems. The unified theme of this book is the use of dynamic programming in order to simplify and decompose required computations for the optimal control of bilinear-quadratic systems. There are numerous examples of bilinear control systems that provide great challenges to engineers, mathematicians and computer scientists: these include nuclear reactors, missile intercept problems and mechanical brake systems. The book also examines two special classes of bilinear-quadratic control problems: namely singularly perturbed and weakly coupled bilinear control systems. The usefulness of the presented methods to these two types of control problem is demonstrated by several real control system examples. 148 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, held in Lyon, France in September 1995. This workshop series addresses issues related to deriving efficient parallel solutions to irregularly structured problems and aims at fostering cooperation between practitioners and theoreticians in the field.Besides three invited papers, 20 full papers and eight short contributions are presented, all selected during a highly competitive refereeing process; the volume is organized in sections on programming methods and compiling techniques, mapping and scheduling, applications, and optimization. 428 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 1994 Workshop on the Theory and Application of Cryptographic Techniques, EUROCRYPT '94, held in Perugia, Italy in May 1994.The 36 revised full papers presented in the book are selected from 137 submissions and address all current research and advanced applicational aspects of cryptography; in addition, there are 11 short papers originating from the best special presentations accepted for the traditional rump session. The papers are organized in sections on secret sharing, hash functions, signatures, cryptosystems, pseudorandom generators, authentication codes, key agreement and key distribution, protocols, cryptanalysis and block ciphers, and number theory and algorithms. 500 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 9th International Workshop on Distributed Algorithms, WDAG '95, held in Le Mont-Saint-Michel, France in September 1995.Besides four invited contributions, 18 full revised research papers are presented, selected from a total of 48 submissions during a careful refereeing process. The papers document the progress achieved in the area since the predecessor workshop (LNCS 857); they are organized in sections on asynchronous systems, networks, shared memory, Byzantine failures, self-stabilization, and detection of properties. 352 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for knowledge-based systems supported by the German Federal Ministry of Research and Technology during the years 1991 - 1994. This research effort was focused on the study of fundamental learnability problems integrating theoretical research with the development of tools and experimental investigation.The contributions by 11 participants in the GOSLER project is complemented by contributions from 23 researchers from abroad. Thus the volume provides a competent introduction to algorithmic learning theory. 532 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Fourth International Workshop on Algorithms and Data Structures, WADS '95, held in Kingston, Canada in August 1995.The book presents 40 full refereed papers selected from a total of 121 submissions together with invited papers by Preparata and Bilardi, Sharir, Toussaint, and Vitanyi and Li. The book addresses various aspects of algorithms, data structures, computational geometry, scheduling, computational graph theory, and searching. 536 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains thoroughly refereed full versions of the best papers presented at the 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, held in Neuchâtel, Switzerland in August 1993.The volume opens with a detailed introduction by the volume editors bringing the papers in line and offering a readers' guide. The 15 full research papers reflect the state-of-the-art in this dynamic field of research; they are organized in sections on emergence of global properties, emergence of sociality, multi-agent planning, multi-agent communication, and multi-agent architectures. 264 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Sixth International Conference on Computer Analysis of Images and Patterns, CAIP '95, held in Prague, Czech Republic in September 1995.The volume presents 61 full papers and 75 posters selected from a total of 262 submissions and thus gives a comprehensive view on the state-of-the-art in computer analysis of images and patterns, research, design, and advanced applications. The papers are organized in sections on invariants, segmentation and grouping, optical flow, model recovery and parameter estimation, low level vision, motion detection, structure and matching, active vision and shading, human face recognition, calibration, contour, and sessions on applications in diverse areas. 984 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory. 528 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book studies ergodic-theoretic aspects of random dynam- ical systems, i.e. of deterministic systems with noise. It aims to present a systematic treatment of a series of recent results concerning invariant measures, entropy and Lyapunov exponents of such systems, and can be viewed as an update of Kifer's book. An entropy formula of Pesin's type occupies the central part. The introduction of relation numbers (ch.2) is original and most methods involved in the book are canonical in dynamical systems or measure theory. The book is intended for people interested in noise-perturbed dynam- ical systems, and can pave the way to further study of the subject. Reasonable knowledge of differential geometry, measure theory, ergodic theory, dynamical systems and preferably random processes is assumed. 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Alle, die wissen wollen, was sie auf der Haut tragen, finden in diesem Buch die nötigen Informationen. Ein interessanter Blick hinter die Kulissen der Textilindustrie und ein Wegweiser für gesundheitsbewußte Verbraucher. 176 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the best carefully revised full papers selected from the presentations accepted for the AI '93 and AI '94 Workshop on Evolutionary Computation held in Australia.The 21 papers included cover a wide range of topics in the field of evolutionary computation, from constrained function optimization to combinatorial optimization, from evolutionary programming to genetic programming, from robotic strategy learning to co-evolutionary game strategy learning. The papers reflect important recent progress in the field; more than half of the papers come from overseas. 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Protein engineering endeavors to design new peptides and proteins or to change the structural and/or functional characteristics of existing ones for specific purposes, opening the way for the development of new drugs. This work develops in a comprehensive way the theoretical formulation for the methods used in computer-assisted modeling and predictions, starting from the basic concepts and proceeding to the more sophisticated methods, such as Monte Carlo and molecular dynamics. An evaluation of the approximations inherent to the simulations will allow the reader to obtain a perspective of the possible deficiencies and difficulties and approach the task with realistic expectations. Examples from the authors laboratories, as well as from the literature provide useful information. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book emerged from lecture notes of a course taught in the second year to students of Computer Science at the Federal Institute of Tech nology, Zurich. The topic of hardware design plays a relatively minor role in Compu ter Science curricula at many universities. Most courses concentrate on the various aspects of theory, software, and of information sys tems. Students therefore obtain few opportunities to deal with con crete engineering problems and physical devices. We consider this as rather unfortunate, particularly for technical universities. As a result, we observe a growing gap between interest in and understanding of design issues involving not only software but also hardware and inter faces. This is regrettable at a time when new and advanced solutions to many problems are often crucially influenced by recent hardware de velopments, at a time when the engineer needs to be competent in both software and hardware issues in order to fmd an optimally inte grated, competitive solution. It turns out that the hesitation of many students in Computer Science to take an active interest in hardware - his or her daily tool! - does not only stem from a preference of 'clean', abstract concepts with a corre sponding distaste for dealing with concrete components, construction techniques, and the 'dirty' realities inflicted by nature, but also stems from the lack of a bridge between the two realms. 224 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In this paper a nearly perfected concept of basic training in the field of 'Computer Integrated Manufacturing (CIM)' has been explained. With the help of detailed studies conducted in part by the Department of Technology and Education. Department of Mechanical and Industrial Engineering, University of Dortmund the necessity of basic training at all levels for employees in Computer Integrated Manufacturing was verified. Then the new requirements for employees were indicated with respect to the 'ability to act'. Moreover, the didactic demands of the concept for basic subject-specific training were clearly stipulated. In summary, this concept has to include the invariant, indispensable, fundamental and exemplary contents and the basic options of CIM work organisation which are most important today and in the near future. Then a configuration was presented to meet these demands: the multimedia system of the CIM Learnil)g Factory, subsidised by the EC in the COMETT programme. The CIM Learning Factory consists of ¿ a well-operating 'model factory', where activities like job management, production control, design, manufacturing, including loading, material transport and assembly as well as quality control and warehousing, are flexibly shown in functional models and are controlled by means of cross-linked computers (MPC); during the training the cross-linked computer structure is used like a language laboratory; ¿ two different 'teachware packages', the first for the target group of designers and decision-makers, the second for skilled workers and plant management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -My interest in microsimulation started to develop when I was exposed to the works of Guy Orcutt and his associates on microsimulation of households in the USA, and those of Gunnar Eliasson and his associates on simulatio~ of Swedish firms. Their approaches promised the exciting possibility to represent an by simulating the behaviour of individual microeconomic entire economic system units on a computer. The construction of a large scale microsimulation model seemed to be a worthwhile adventure which could yield much more detailed results than existing models. It was also evident that microsimulation of firms is a relatively underdeveloped area, in spite of the large number of operational microsimulation models of households in the USA and Europe. Developing the computer implementation has been an integral part of the research. Translating initially vague ideas into mathematical formulae and subsequently into a structured computer language provides a testing ground for 10Bical consistency of ideas. When writing this book I have purposefully abstained from describing the computer program and dedicated solution algorithms. The reason is that the book is primarily directed towards readers interested in economics and therefore uses the language of economics and not that of computer science. The simulation model has been programmed for the personal computer in Turbo Pascal. Sophisticated memory management techniques have lifted constraints on the number of firms which can be simulated on the PC. 300 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applications, held in Aspen Grove, Utah, USA in September 1995.The 26 papers selected by the program committee for inclusion in this volume document the advances in the field achieved since the predecessor conference. The papers presented fall into three general categories: representation of formalisms in higher order logic; applications of mechanized higher order logic; and enhancements to the HOL and other theorem proving systems. 416 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995.The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics. 452 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Fifth International Workshop on Field-Programmable Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995.The volume presents 46 full revised papers carefully selected by the program committee from a large number and wide range of submissions. The papers document the progress achieved since the predecessor conference (see LNCS 849). They are organized in sections on architectures, platforms, tools, arithmetic and signal processing, embedded systems and other applications, and reconfigurable design and models. 468 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Laser-Beam Interactions with Materials treats, from a physicist's point of view, the wide variety of processes that lasers can induce in materials. Physical phenomena ranging from optics to shock waves are discussed, as are applications in such diverse fields as semiconductor annealing, hole drilling and fusion plasma production. The approach taken emphasizes the fundamental ideas and their interrelations. The newcomer is given the necessary important background material, while the active research worker finds a critical and comprehensive review of the field. 212 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used 'formal method' both in industry and application, the volume is of high relevance for the whole formal methods community. 596 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the First Annual International Conference on Computing and Combinatorics, COCOON '95, held in Xi'an, China in August 1995.The 52 thoroughly refereed full papers and the 22 short presentations included in this volume were selected from a total of 120 submissions. All current aspects of theoretical computer science and combinatorial mathematics related to computing are addressed; in particular, there are sections on complexity theory, graph drawing, computational geometry, databases, graph algorithms, distributed programming and logic, combinatorics, machine models, combinatorial designs, algorithmic learning, algorithms, distributed computing, and scheduling. 676 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the 8th International Conference on Image Analysis and Processing, ICIAP '95, held in Sanremo, Italy in September 1995 under the sponsorship of the International Association of Pattern Recognition IAPR.The volume presents 108 papers selected from more than 180 submissions together with six invited contributions. The papers are written by a total of 265 contributing authors and give a comprehensive state-of-the-art report on all current issues of image analysis and processing. Theoretical aspects are addressed as well as systems design and advanced applications, particularly in medical imaging. 788 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995.The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi. 612 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Third International Conference on Parallel Computing Technologies, PaCT '95, held in St. Petersburg, Russia in September 1995.The volume presents 45 revised full papers selected from a total of 98 submissions, including six invited presentations. The proceedings is organized in parts on theory, software, hardware and architecture, and applications to large-scale problems. Parallel processing technologies are shown to be the touchstone of parallel theories, models, languages, and programming systems. 516 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the First International EURO-PAR Conference on Parallel Processing, held in Stockholm, Sweden in August 1995. EURO-PAR is the merger of the former PARLE and CONPAR-VAPP conference series; the aim of this merger is to create the premier annual scientific conference on parallel processing in Europe.The book presents 50 full revised research papers and 11 posters selected from a total of 196 submissions on the basis of 582 reviews. The scope of the contributions spans the full spectrum of parallel processing ranging from theory over design to application; thus the volume is a 'must' for anybody interested in the scientific aspects of parallel processing or its advanced applications. 756 pp. Englisch.…