Springer mai 1999 (296 resultados)

Buch. Condición: Neu. Neuware - With contributions from distinguished international authors, the material presented here focuses upon new findings in the field of control including interesting applications. As well as being informative, it is a useful tool for practitioners of systems and control to ascertain new developments in the field.…

Buch. Condición: Neu. Neuware - This volume deals with fundamental problems of the natural sciences and the philosophy of nature. The issues addressed touch upon the many research areas of Hans Primas, and they reflect both the depth and the breadth of his interests, ranging from nuclear magnetic resonance spectroscopy, theoretical chemistry, theory reduction, the measurement problem, holism and realism in quantum theory, to the dialogue between W. Pauli and C.G. Jung. Each individual contribution is prefaced by a short editorial introduction, relating diverse topics to each other and embedding them in a wider frame. Audience: This book will be an inspiring source of knowledge for everyone who is seriously interested in research in basic topics of physics, chemistry, and their philosophical aspects.…

Buch. Condición: Neu. Neuware - Foreword. Preface. Acknowledgements. About the Author. 1. ASIC Design Methodology. 2. Tutorial. 3. Basic Concepts. 4. Synopsys Technology Library. 5. Partitioning and Coding Styles. 6. Constraining Designs. 7. Optimizing Designs. 8. Design for Test. 9. Links to Layout & Post-Layout Optimization. 10. SDF Generation. 11. PrimeTime Basics. 12. Static Timing Analysis. Appendix. Index.…

Buch. Condición: Neu. Neuware - This book covers significant discoveries in the rapidly advancing field of metals and genetics. The aim of this volume is to bring together investigators from diverse fields of clinical medicine, genetics, biochemistry, and chemistry to reflect on the broad implications of direct and indirect interactions of metals and genetic components. The volume is divided into five sections. The first discusses genetic response to environmental exposure to metals. The section on metal carcinogenesis and metal caused DNA damage presents the latest advances in our knowledge of the molecular mechanisms of metal-induced mutagenis and carcinogenesis. A section is devoted to metals and neurodegenerative diseases. The identification of several disease genes related to metals is a major breakthrough in recent years. The section on genetics and biochemistry of metal-related diseases presents authoritative accounts of current information on both inherited and acquired metal-related diseases. They have discussed the genetics and pathophysiology of these diseases and reported the cloning, expression, purification, and characterization of gene products. Exciting results have been reported recently describing regulation of gene expression by metals. Chapters in this section on metals and gene regulation report recent advances dealing with the mechanism of metal-mediated regulation and control of gene expression.…

Buch. Condición: Neu. Neuware - This volume contains up-to-date information on aldehyde dehydrogenase, alcohol dehydrogenase, short- and medium-chain dehydrogenase, and reductases. Sixty-nine contributions provide a wide variety of information on enzymology, molecular biology, and metabolic aspects of these carbonyl metabolizing oxido-reductases. Much new information is provided, including previously unreported three-dimensional structures of enzymes and new aspects of gene regulation, along with sequence alignments, metabolism and enzyme mechanisms.…

Buch. Condición: Neu. Neuware - Rotifera VIII: A Comparative Approach is a record of the proceedings of the VIIIth International Rotifer Symposium which was held in Collegeville, Minnesota, USA, on June 22-27, 1997. It contains review papers and reports of recent research findings along with the presentation of new methods in rotifer biology. The publications contained in this volume reflect the wide diversity of approaches, methods of analysis and conclusions that characterize research on the Rotifera. Some of the topics addressed are: rotifer distribution, responses to biotic and abiotic factors, genetic profile of individuals and populations, rotifer feeding and mating behavior, morphology, phylogeny and taxonomy. These studies will be of great interest to invertebrate zoologists and limnologists, particularly those interested in freshwater habitats.…

Buch. Condición: Neu. Neuware - In the following essays discussing clinical ethics consultation, three sorts of reflective writing are presented. The first is a description of a clinical ethics consultation, more generously detailed than most that have been published, yet obviously limited as a documentation of the experiences at its source. It is followed by three examples of a second kind in the probing commentaries by highly regarded figures in biomedical and clinical ethics - François Baylis, Tom Tomlinson, and Barry Hoffmaster. Finally, these are followed by a third variety of reflection in the form of responses to those three commentaries, by Bilton and Stuart G. Finder, and my Afterword - a further reflection on some of the issues and questions intrinsic to clinical ethics consultation and to these various essays. The consultation itself was conducted by Bliton; but Finder not only assisted at one point (he is the `colleague' mentioned in Bliton's manuscript) but frequently participated in the discussions that are invariably part of our clinical ethics consultative practice in our Center for Clinical and Research Ethics at Vanderbilt University Medical Center. It was thus natural for Finder to participate in the response. Each of these essays is fascinating and important on its own; together, however, they constitute a truly unusual and, we believe, very significant contribution that will hopefully figure prominently in subsequent discussions, and in shaping and deepening an endeavor - clinical ethics - still in much-needed search of its own discipline, method rationale and place in the domain of clinical practice more generally. This group of essays is also quite unique, addressing as it does the coherence of a form of practice - and, it must be emphasized, several forms of writing about as well as theoretical proposals for understanding that practice - whose current and future character remains very much in contention. That a situationsuch as the one discussed here often provokes strong and passionate responses will be no surprise &endash; whether because of its relative novelty, its risky nature, the high stakes involved, or something else. It is in any event a striking feature of ethics consultations that the people directly or even indirectly involved tend at times to feel rather passionately about what is said (and not said), what is done (and not done), and what is then reported (or, it may be, left out). Even so, such energetic feelings, much less the candor of my colleague's response to such passion, are rarely if ever apparent from published reports. For this reason alone, a considerable debt of gratitude is surely owed to our commentators &endash; reflective and deliberative, yet passionate and forceful as each of them are.…

Buch. Condición: Neu. Neuware - This study describes the diverse experiences and political opinions of the colonial Anglican clergy during the American Revolution. As an intercolonial study, it depicts regional variations, but also the full range of ministerial responses including loyalism, neutrality, and patriotism. Rhoden explores the extraordinary dilemmas which tested these members of the King's church, from the 1760s controversy over a proposed episcopate to the 1780s formation of the Episcopal Church, and thoroughly demonstrates the impact of the Revolution on their lives and their church. …

Buch. Condición: Neu. Neuware - 2 first-person point of view, I acknowledge these possible handicaps and try to overcome them. Other people may coherently judge that I am incapable of figuring out correctly what I rationally ought to do, or they may inform me of reasons of which I had heretofore been ignorant, or they may try to help me overcome intellectual hindrances. Like me, these people would be assuming that the goal is to identify what I really rationally ought to do. Nevertheless, we are concerned with reasons for the agent to act in a certain way, rather than with reasons, say, for someone to want it to be the case that the agent act. Thus to be a reason in our sense is to be a consideration which has an appropriate guiding role to play in the. agents deliberation. (An agent is guided by reasons if she determines what to do in light of the reasons. ) Suppose then that a nor mative theory says that it is supremely desirable, or that it rationally ought to be the case, that agents act in a way that maximizes the general utility, but that (since the general utility is never in fact maximized by those who pay attention to it) considerations of the general utility should play no role in the agents' deliberation. Such a theory would not be said to ascribe to agents a reason to maximize the general utility on our usage.…

Buch. Condición: Neu. Neuware - Susan Kemper A debate about the role of working memory in language processing has become center-most in psycholinguistics (Caplan & Waters, in press; Just & Carpenter, 1992; Just, Carpenter, & Keller, 1996; Waters & Caplan, 1996). This debate concerns which aspects of language processing are vulnerable to working memory limitations, how working memory is best measured, and whether compensatory processes can offset working memory limitations. Age-comparative studies are particularly relevant to this debate for several reasons: difficulties with language and communication are frequently mentioned by older adults and signal the onset of Alzheimer's dementia and other pathologies associated with age; older adults commonly experience working memory limitations that affect their ability to perform everyday activities; the rapid aging of the United States population has forced psychologists and gerontologists to examine the effects of aging on cognition, drawing many investigators to the study of cognitive aging. Older adults constitute ideal population for studying how working memory limitations affect cognitive performance, particularly language and communication. Age-comparative studies of cognitive processes have advanced our understanding of the temporal dynamics of cognition as well as the working memory demands of many types of tasks (Kliegl, Mayr, & Krampe, 1994; Mayr & Kliegl, 1993). The research findings reviewed in this volume have clear implications - for addressing the practical problems of older adults as consumers of leisure ti- reading, radio and television broadcasts, as targets of medical, legal, and financial documents, and as participants in a web of service agencies and volunteer activities.…

Buch. Condición: Neu. Neuware - Knowledge Representation and Relation Nets introduces a fresh approach to knowledge representation that can be used to organize study material in a convenient, teachable and learnable form. The method extends and formalizes concept mapping by developing knowledge representation as a structure of concepts and the relationships among them. Such a formal description of analogy results in a controlled method of modeling `new' knowledge in terms of `existing' knowledge in teaching and learning situations, and its applications result in a consistent and well-organized approach to problem solving. Additionally, strategies for the presentation of study material to learners arise naturally in this representation. While the theory of relation nets is dealt with in detail in part of this book, the reader need not master the formal mathematics in order to apply the theory to this method of knowledge representation. To assist the reader, each chapter starts with a brief summary, and the main ideas are illustrated by examples. The reader is also given an intuitive view of the formal notions used in the applications by means of diagrams, informal descriptions, and simple sets of construction rules. Knowledge Representation and Relation Nets is an excellent source for teachers, courseware designers and researchers in knowledge representation, cognitive science, theories of learning, the psychology of education, and structural modeling.…

Buch. Condición: Neu. Neuware - Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques advocates the viability of using fuzzy and annealing methods in solving scheduling problems for parallel computing systems. The book proposes new techniques for both static and dynamic scheduling, using emerging paradigms that are inspired by natural phenomena such as fuzzy logic, mean-field annealing, and simulated annealing. Systems that are designed using such techniques are often referred to in the literature as `intelligent' because of their capability to adapt to sudden changes in their environments. Moreover, most of these changes cannot be anticipated in advance or included in the original design of the system. Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques provides results that prove such approaches can become viable alternatives to orthodox solutions to the scheduling problem, which are mostly based on heuristics. Although heuristics are robust and reliable when solving certain instances of the scheduling problem, they do not perform well when one needs to obtain solutions to general forms of the scheduling problem. On the other hand, techniques inspired by natural phenomena have been successfully applied for solving a wide range of combinatorial optimization problems (e.g. traveling salesman, graph partitioning). The success of these methods motivated their use in this book to solve scheduling problems that are known to be formidable combinatorial problems. Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques is an excellent reference and may be used for advanced courses on the topic.…

Buch. Condición: Neu. Neuware - Since the establishment of the CAAD Futures Foundation in 1985, CAAD experts from all over the world meet every two years to present and document the state of the art of research in Computer Aided Architectural Design. Together, the series provides a good record of the evolving state of research in this area over the last fourteen years. The Proceedings this year is the eighth in the series. The conference held at Georgia Institute of Technology in Atlanta, Georgia, includes twenty-five papers presenting new and exciting results and capabilities in areas such as computer graphics, building modeling, digital sketching and drawing systems, Web-based collaboration and information exchange. An overall reading shows that computers in architecture is still a young field, with many exciting results emerging out of both greater understanding of the human processes and information processing needed to support design and also the continuously expanding capabilities of digital technology.…

Buch. Condición: Neu. Neuware - In the past few years, antisense methodology has moved from in vitro studies to in vivo studies and first human trials. While the basic concept of antisense technology is simple, the methodological problems associated with its use are numerous and complex. Antisense- based methods have proven to be a field of research where careful attention to experimental protocols and appropriate controls is necessary. The Manual of Antisense Methodology emphasizes the application of antisense oligonucleotides, and is a guide for the identification of antisense and non-antisense effects in different experimental settings. The work is organized into three sections: antisense application in vitro, antisense application in vivo (animal models) and finally, clinical antisense studies. Where at all possible, the methods are described in sufficient detail to allow reproduction of a given experiment. The Manual of Antisense Methodology will be of interest to researchers in immunology, cancer research, pharmacology and internal medicine; and physicians conducting clinical studies in these fields. …

Buch. Condición: Neu. Neuware - In this global society, manufacturers compete in many ways, and information infrastructures play a critical role in ensuring the right information is available at the right time and the right place to support informed decision making. The traditional approach that assumes all information can be located on a single mainframe and accessed by everybody in the enterprise has fallen by the wayside, and new infrastructures supporting extended or virtual enterprises and globally distributed supply chains are becoming increasingly vital to successful, competitive organizations. Functions, data, and information must be made be available to all without regard to location, accessibility, or the ability to view in a native format. This book is a result of a conference, which brought together a number of leading experts from around the world that work on topics related to the design, implementation, and use of information infrastructures for manufacturing. These experts presented their views on the state of the art, and on a wide variety of topics related to the title. The topics range from the establishment of a generic enterprise framework, which can be used for the design of a supporting information infrastructure to details of how geometric surfaces should be merged together. Although not an exhaustive publication, we believe that the publications in this book represent the state of the art in this research is essential reading for anyone who is attempting the design or development of an information infrastructure for all aspects of Manufacturing.…

Buch. Condición: Neu. Neuware - The electric power industry is currently undergoing an unprecedented reform. The deregulation of electricity supply industry has introduced new opportunity for competition to reduce the cost and cut the price. It is a tremendous challenge for utilities to maintain an economical and reliable supply of electricity in such an environment. Faced by an increasingly complicated existence, power utilities need efficient tools and aids to ensure that electrical energy of the desired quality can be provided at the lowest cost. The overall objective, both for short-term and long-term operations, is then to find the best compromise between the requirements of security and economy. That is, effective tools are urgently required to solve highly constrained optimisation problems. In recent years, several major modem optimisation techniques have been applied to power systems. A large number of papers and reports have been published. In this respect, it is timely to edit a book on this topic with an aim to report the state of the art development internationally in this area.…

Buch. Condición: Neu. Neuware - This volume is a collection of the papers given at the workshop on Fracture Scaling, held at the University of Maryland, USA, 10-12 June 1999, under the sponsorship of the Office of Naval Research, Arlington, VA, USA. These papers can be grouped under five major themes: Micromechanical analysis Size effects in fiber composites Scaling and heterogeneity Computational aspects and nonlocal or gradient models Size effects in concrete, ice and soils . This workshop is the result of a significant research effort, supported by the Office of Naval Research, into the problems of scaling of fracture in fiber composites, and generally into the problems of scaling in solid mechanics. These problems, which are of interest for many materials, especially all quasibrittle materials, share similar characteristics. Thus, progress in the understanding of scaling problems for one material may help progress for another material. This makes it clear that a dialogue between researchers in various fields of mechanics is highly desirable and should be promoted. In view of this, this volume should be of interest to researchers and advanced graduate students in materials science, solid mechanics and civil engineering.…

Buch. Condición: Neu. Neuware - Although rigidity has been studied since the time of Lagrange (1788) and Maxwell (1864), it is only in the last twenty-five years that it has begun to find applications in the basic sciences. The modern era starts with Laman (1970), who made the subject rigorous in two dimensions, followed by the development of computer algorithms that can test over a million sites in seconds and find the rigid regions, and the associated pivots, leading to many applications. This workshop was organized to bring together leading researchers studying the underlying theory, and to explore the various areas of science where applications of these ideas are being implemented.…

Buch. Condición: Neu. Neuware - The quality of human life has been maintained and enhanced for generations by the use of trees and their products. In recent years, ever rising human population growth has put a tremendous pressure on trees and tree products; growing awareness of the potential of previously unexploited tree resources; and environmental pollution have both accelerated the development of new technologies for tree propagation, breeding and improvement. Biotechnology of trees may be the answer to solve the problems which can not be solved by conventional breeding methods. The combination of biotechnology and conventional methods such as plant propagation and breeding could become a novel approach to improving and multiplying a large number of the trees and woody plants. So far, plant tissue culture technology has largely been exploited by commercial companies in propagation of ornamentals, especially foliage house plants. Generally, tissue culture of woody plants has been recalcitrant. However, limited success has been achieved in tissue culture of angiosperm and gymnosperm woody plants. A number of recent reports on somatic embryogenesis in woody plants such as Norway spruce (Picea abies), Loblolly pine (Pinus taeda), Sandalwood (Santalum album), Citrus and mango (Mangifera indica), offer a ray of hope for inexpensive clonal propagation for large-scale production of plants or 'emblings' or somatic seedlings; protoplast work; cryopreservation; genetic transformation; and synthetic or artificial or manufactured seed production.…

Hardcover. Condición: gut. Auflage: 2. Aufl. (6. Mai 1999). Ein praktischer Leitfaden zur Einführung und Umsetzung von Facility Management. Die Themen reichen vom kostenstellenorientierten Flächenmanagement bis zur technischen Bewirtschaftung des Gebäudebestandes. Die verschiedenen Ausgangssituationen bei Neubauprojekten und bestehenden Objekten werden berücksichtigt. Das Buch gibt Antwort auf folgende Fragen:- Welchen Nutzen bietet Facility Management? - Welche Hürden gibt es bei der Umsetzung? - Wodurch werden Kosteneinsparungen erzielt? - Welche Hilfsmittel und Werkzeuge eignen sich am besten? Grundlage der Darstellung ist der Aufbau eines Gebäudeinformationssystems zur Bereitstellung der frühzeitigen, gezielten und umfassenden Information. Die 3. Auflage enthält Umsetzungsbeispiele aus der Beratungspaxis der Autoren. Was ist Facility Management? - Probleme bei der Einführung eines Gebäudeinformationssystems - Ansätze zur Kostensparung mit einem Informationssystem? - Hilfsmittel und Werkzeuge - Strukturwandel in der Immobilienbewirtschaftung - Situation Immobilienmarkt - Dokumentation des Gebäudebestands - Nutzungsmanagement mit CAD-gestützten Informationssystemen. Gebäudemanagement - Energiemanagement bei Hochbauten - Praxistips zur Einführung von Facility Management - Praxistips zur Einführung eines Gebäudeinformationssystems - Strategisches und operatives Facility Management. Praxisbeispiele Buchrückseite Ein praktischer Leitfaden zur Einführung und Umsetzung von Facility Management. Die Themen reichen vom kostenstellenorientierten Flächenmanagement bis zur technischen Bewirtschaftung des Gebäudebestandes. Die verschiedenen Ausgangssituationen bei Neubauten und Bestandsprojekten werden berücksichtigt. Grundlage der Darstellung ist der Aufbau eines Gebäudeinformationssystems zur Bereitstellung der frühzeitigen, gezielten und umfassenden Information. Unter Berücksichtigung der Bedeutung eines strategischen Facility Management und der Diskussion zu den Vor- und Nachteilen des Outsourcing werden in der 3. Auflage Tips aus der Praxis für die Praxis gegeben. Das Buch gibt Antworten auf folgende Fragen- Welchen Nutzen bietet Facility Man In deutscher Sprache. 177 pages. 23,8 x 15,4 x 1,4 cm.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Intended to teach readers Java and object orientation, as well as presenting object oriented design and analysis, Java for Practitioners is written such that it is possible to dip into chapters as required. It introduces concepts by getting the reader to follow exercises, rather than by extensive discussion, and includes the new release 1.2 of Java. Practicals are included at the of each chapter, as well as the Java Self-Tester, designed to allow readers to determine whether they are ready to take the Sun Java Certification exam, and follows a similar format and style to the actual Online Certification Examination. In short, a thoroughly comprehensive guide. 670 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 267 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book deals with the major problems that Japan and East Asian countries have faced during the turbulent years of their reconstruction and development from 1945 to the present time. The Development Report of the World Bank 1993 on the same subject was given the subtitle East Asian Miracle. I have never thought, however, that the impressive achievement of East Asian development was a miracle in any sense. Indeed, as this book tries to show, Japanese and Asian development has been the fruit of the sweat, tears, and blood of all East Asian nations. The efforts and sacrifices involved in the process of their development after World War II are no less than those during the war itself. One should not overlook the fact that almost all the peoples of East Asia have achieved not just economic development but indeed new nation-building after hundreds of years of coloni al submission. It is my assertion in this book that even economists' analyses of Asian development should pay attention to not only the logos but also the pathos of develop ment in this last half of twentieth century. Ever since I became the director of the Center for Southeast Asian Studies at Kyoto University in 1969, I have written extensively in English as well as in Japanese on the various problems arising in the Japanese and other Asian economies. 292 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Natural Semantics has become a popular tool among programming language researchers for specifying many aspects of programming languages. However, due to the lack of practical tools for implementation, the natural semantics formalism has so far largely been limited to theoretical applications. This book introduces the rational meta-language RML as a practical language for natural semantics specifications. The main part of the work is devoted to the problem of compiling natural semantics, actually RML, into highly efficient code. For this purpose, an effective compilation strategy for RML is developed and implemented in the rml2c compiler. This compiler ultimately produces low-level C code. Benchmarking results show that rml2c-produced code is much faster than code resulting from compilers based on alternative implementation approaches. 264 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The liberalisation in the telecommunication market and thus the advent of competition has had a tremendous impact on business in this area. New operators have started to offer telecommunication services in competition with the classical national network operators. This in turn will have an impact on the market share, the tariff structure, the Quality of Service (QoS) and the services offered to the end customers. A way to maintain or increase revenue for network operators is to additionally offer new services to the customers. The final target is a so-called 'Full Service Network (FSN)', which is capable of offering all types of bi-directional multimedia services. The provisioning of new telecommunication services in general and new multimedia services in particular is made possible by the availability of several new technologies as well as through advances in standardisation. R&D policies world-wide but especially in Europe have forced the development of new networking technologies such as ATM, xDSL and HFC as well as new video technologies as defined by DVB and DAVIC. 596 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentation at IPCO VII, the Seventh Conference on Integer Programming and Combinatorial Optimization, Graz,Austria,June9{11,1999.Thismeetingisaforumforresearchersandpr- titioners working on various aspects of integer programming and combinatorial optimization. The aim is to present recent developments in theory, compu- tion, and applications of integer programming and combinatorial optimization. Topics include, but are not limited to: approximation algorithms, branch and bound algorithms, computational biology, computational complexity, compu- tional geometry, cutting plane algorithms, diophantine equations, geometry of numbers, graph and network algorithms, integer programming, matroids and submodular functions, on-line algorithms, polyhedral combinatorics, scheduling theory and algorithms, and semide nite programs. IPCO was established in 1988 when the rst IPCO program committee was formed. IPCO I took place in Waterloo (Canada) in 1990, IPCO II was held in Pittsburgh (USA) in 1992, IPCO III in Erice (Italy) 1993, IPCO IV in Cop- hagen (Denmark) 1995, IPCO V in Vancouver (Canada) 1996, and IPCO VI in Houston (USA) 1998. IPCO is held every year in which no MPS (Mathematical Programming Society) International Symposium takes place: 1990, 1992, 1993, 1995,1996,1998,1999,2001,2002,2004,2005,2007,2008,::::::Since the MPS meeting is triennial, IPCO conferences are held twice in everythree-year period. As a rule, in even years IPCO is held somewhere in Northern America, and in odd years it is held somewhere in Europe. In response to the call for papers for IPCO 99, the program committee - ceived99submissions,indicatingastrongandgrowinginterestintheconference. 472 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost. 472 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX 99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont-` a-Mousson near Nancy (1997), and Oist- wijk near Tilburg (1998). TABLEAUX 99 marks the rst time the conference has been held in North America. Tableau and related methods have been found to be convenient and e ective for automating deduction in various non-standard logics as well as in classical logic. Examples taken from this meeting alone include temporal, description, tense, quantum, modal, projective, hybrid, intuitionistic, and linear logics. - eas of application include veri cation of software and computer systems, ded- tive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all aspects theoretical foundations, implementation techniques, systems devel- ment and applications of the mechanization of reasoning with tableaux and related methods. 344 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Symposium on High-Performance Computing, ISHPC'99, held in Kyoto, Japan in May 1999.The 23 revised full papers presented were carefully selected from a total of 61 submissions. Also included are the abstracts of several invited talks and 12 reviewed short papers corresponding to the poster presentations given at the symposium. The papers address many current issues in high-performance computing and communication, regarding hardware and network architectures as well as regarding software and theoretical foundations; also advanced applications are studied in a variety of fields including modeling, visualisation, and computational science. 428 pp. Englisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the past decade visualization established its importance both in scientific research and in real-world applications.In this book 21 research papers and 9 case studies report on the latest results in volume and flow visualization and information visualization. Thus it is a valuable source of information not only for researchers but also for practitioners developing or using visualization applications. 356 pp. Englisch.…