Springer new york aug 1995 (21 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Many problems in classical mechanics can now be readily solved using computers. This text integrates Maple, a general-purpose symbolic computation program, into the traditional sophomore- or junior-level mechanics course. Intended primarily as a supplement to a standard text, it discusses all the topics usually covered in the course and shows how to solve problems using Maple and how to display solutions graphically to gain further insight. The text is self-contained and can also be used for self-study or as the primary text in a mechanics course. 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Interactive 3-D Graphics in Windows is a hands-on book which uses a component software approach to help Visual C++ programmers quickly and easily develop windows-integrated, interactive 3-D graphics applications. The book includes JOEY, a 3-D user interface toolkit which addresses interaction issues not dealt with in the Microsoft User Interface Style Guide. JOEY provides a 3-D user interface, 3-D tools OLE Linking and Embedding and OLE automation within the MFC framework so that the application programmer can focus on application functionality. Using this book and JOEY, an experienced Visual C++ programmer can create an interactive 3-D application in a few hours. Roy Hall and Danielle Forsyth are the founders of Crisis in Perspective, Inc. in Portland, Oregon. Crisis in Perspective develops modeling systems for architects and building professionals which facilitate modeling and animation in the same way that word processors facilitate written document design; powerful, flexible, and extensive modeling systems for people that do not yet know exactly what they want to build. 388 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In order to obtain many of the classical results in the theory of statistical estimation, it is usual to impose regularity conditions on the distributions under consideration. In small sample and large sample theories of estimation there are well established sets of regularity conditions, and it is worth while to examine what may follow if any one of these regularity conditions fail to hold. 'Non-regular estimation' literally means the theory of statistical estimation when some or other of the regularity conditions fail to hold. In this monograph, the authors present a systematic study of the meaning and implications of regularity conditions, and show how the relaxation of such conditions can often lead to surprising conclusions. Their emphasis is on considering small sample results and to show how pathological examples may be considered in this broader framework. 196 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a textbook on the history, philosophy and foundations of mathematics. One of its aims is to present some interesting mathematics, not normally taught in other courses, in a historical and philosophical setting. The book is intended mainly for undergraduate mathematics students, but also for students in the sciences, humanities and education with a strong interest in mathematics. It proceeds in historical order from about 1800 BC to 1800 AD and then presents some selected topics of foundational interest from the 19th and 20th centuries. Among other material in the first part, the authors discuss the renaissance method for solving cubic and quartic equations and give rigorous elementary proofs that certain geometrical problems posed by the ancient Greeks (e.g. the problem of trisecting an arbitrary angle) cannot be solved by ruler and compass constructions. Among the topics in the second part, they sketch a proof of Gödel's incompleteness theorem and discuss some of its implications, and also present the elements of category theory. The authors' approach to most of these matters is new. 348 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Interactive 3-D Graphics in Windows is a hands-on book which uses a component software approach to help Visual C++ programmers quickly and easily develop windows-integrated, interactive 3-D graphics applications. The book includes JOEY, a 3-D user interface toolkit which addresses interaction issues not dealt with in the Microsoft User Interface Style Guide. JOEY provides a 3-D user interface, 3-D tools OLE Linking and Embedding and OLE automation within the MFC framework so that the application programmer can focus on application functionality. Using this book and JOEY, an experienced Visual C++ programmer can create an interactive 3-D application in a few hours. Roy Hall and Danielle Forsyth are the founders of Crisis in Perspective, Inc. in Portland, Oregon. Crisis in Perspective develops modeling systems for architects and building professionals which facilitate modeling and animation in the same way that word processors facilitate written document design; powerful, flexible, and extensive modeling systems for people that do not yet know exactly what they want to build.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Illustrated Handbook of Cardiac Surgery is adapted from the Second Edition of the color illustrated Manual of Cardiac Surgery (Springer-Verlag, 1995). The Illustrated Handbook of Cardiac Surgery communicates all the important informa tion, but eliminates the detailed explanation of judgment and technique that is relevant only to cardiac surgeons or other individuals intensely interested in these details. The chapters covering operations explain the basic concepts and fundamentals of the operations. A selection of the most important biblio graphic sources follows each chapter, but are not cited in the text. Individuals interested in more exhaustive coverage of information sources should consult the Second Edition of the Manual of Cardiac Surgery. The Illustrated Handbook of Cardiac Surgery should appeal to all individuals caring for cardiac surgical patients: cardiologists, anesthesiologists, radiolo gists, general surgery residents rotating on cardiac surgery, medical students, physician assistants, nurses, perfusionists, and all other members of the car diac surgery team. It should even appeal to laypeople who want to read about cardiac surgery in more depth than is available in lay publications. Our attempt has been to produce a book that is clearly written, clearly illustrated, and affordable. The techniques chosen are those developed over three decades of clinical practice and resident training at the Oregon Health Sciences University and St. Vincent Hospital, Portland, Oregon, and Sutter Memorial Hospital, Sacra mento, California. These techniques have served us well. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Why is TeX so hard to use Because it is in essence a programming language and so it is best viewed from this perspective. In this book, the author presents a complete course in TeX which will be suitable for users of TeX who want to advance beyond the basics. The initial chapters introduce the essential workings of TeX, including a detailed discussion of boxes and glue. Later chapters cover a wide range of advanced topics such as: macros, conditionals, tokens, leaders, file I/O, the line- and page-break algorithms, and output routines. Throughout, numerous examples are given and exercises (with answers) provide a means for readers to test their understanding of the material. As a result, no serious user of TeX will want to be without this text. 512 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS). 532 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In 1991, a new international standard for Fortran was released which contained specifications for a new version of the language known as Fortran 90. It provides for dramatic extensions to previous Fortran versions. This book is a comprehensive tutorial to Fortran 90 that relies mainly on a large number of short, but complete programming examples to illustrate the differences between the new language and traditional Fortran. The author gives thorough explanations of terminology and concepts which were not in general use before the release of the new standard. Readers are assumed to have a working knowledge of one of the earlier versions of Fortran, but otherwise no prior knowledge of Fortran 90 is assumed. 516 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Like its predecessor, this second volume presents detailed applications of Bayesian statistical analysis, each of which emphasizes the scientific context of the problems it attempts to solve. The emphasis of this volume is on biomedical applications. These papers were presented at a workshop at Carnegie-Mellon University in 1993. 384 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing processes such as a nuclear reactor. With the expanding use of computers in safety-critical areas, where failure is potentially disastrous, correctness is crucial. This has led to the introduction of formal verification techniques, which give both users and designers of software and hardware systems greater confidence that the systems they build meet the desired specifications. Framework The approach promoted in this book is based on the use of temporal logic for specifying properties of reactive systems, and develops an extensive verification methodology for proving that a system meets its temporal specification. Reactive programs must be specified in terms of their ongoing behavior, and temporal logic provides an expressive and natural language for specifying this behavior. Our framework for specifying and verifying temporal properties of reactive systems is based on the following four components: 1. A computational model to describe the behavior of reactive systems. The model adopted in this book is that of a Fair Transition System (FTS).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -'Why is 'lEX so hard to use ' is the most frequent comment/complaint made by (frustrated) 'lEX users. The answer: Because it is programmable (has many features commonly found in programming languages), because it pays attention to detail, and because its creator has developed it for his own use (perhaps also his administrative assistant's) and not for general use. The material presented here is a direct result of this complaint and is an attempt to make it easier for inexperienced users to get the kind of high-quality typesetting that is possible with 'lEX. The material is based on classes taught since 1985, and on the author's personal experience with 'lEX, which includes writing three books and numerous articles, handouts, and letters. Both introductory and advanced material is included here. There are many examples as well as a detailed discussion of topics, such as valign and emergencystretch, that are only briefly touched upon in The TpJXbook. Chapter 20 describes the macros used to typeset this book; it also lists the METAFONT programs for the special characters used.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -In 1991, a new international standard for Fortran was released which contained specifications for a new version of the language known as Fortran 90. It provides for dramatic extensions to previous Fortran versions. This book is a comprehensive tutorial to Fortran 90 that relies mainly on a large number of short, but complete programming examples to illustrate the differences between the new language and traditional Fortran. The author gives thorough explanations of terminology and concepts which were not in general use before the release of the new standard. Readers are assumed to have a working knowledge of one of the earlier versions of Fortran, but otherwise no prior knowledge of Fortran 90 is assumed.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 516 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The integration of manufacturing planning functions, using artificial intelligence techniques, is essential for the effective and efficient operation of advanced manufacturing systems. This book provides an introduction to the integration of intelligent manufacturing systems for both present and next generation manufacturing. Because of its central importance, the book emphasizes the integration of the process planning functions. 354 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As editor of the Springer-Verlag Series in Psychopathology, Lauren Alloy knew of my work in cognitive psychophysiology to study processing anomalies in nonpatients at risk for psychopathology and invited me to edit a book for the series. This evolved into an opportunity to address an aspect of the unfortunate nature-nurture battle in the field, which too often emphasizes genes and macrolevel environment. Extreme positions are often taken (sometimes unwittingly), even though a great deal of the actual research is between the extremes, including laboratory psycho logical and psychophysiological studies. There is more to biology than genes and even more to it than things like brain imaging, enlarged ventricles, glucose metabolism rate, and receptor density, which have received a great deal of attention in recent years. of studies at the One goal of this book is to provide demonstrations intersection between psychology and biology via psychophysiology. In parallel, another goal is to showcase solid psychological research that may bear directly on what are often considered biological issues. For example, Chapter 4, by Walker and colleagues, can be considered classically psychological, because the authors focus on overt behavior. Yet some of the importance of their work is its implication of a particular biological process involved in the gross motor behavior anomalies they have identified in the etiology of schizophrenia. Similarly, whereas in Chapter 7, Klein and Anderson articulate the behavioral high-risk paradigm quite well, in Chapter 10, Yee relies on their approach in pursuing psycho physiological research on risk for depression. 322 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Illustrated Handbook of Cardiac Surgery is adapted from the Second Edition of the color illustrated Manual of Cardiac Surgery (Springer-Verlag, 1995). The Illustrated Handbook of Cardiac Surgery communicates all the important informa tion, but eliminates the detailed explanation of judgment and technique that is relevant only to cardiac surgeons or other individuals intensely interested in these details. The chapters covering operations explain the basic concepts and fundamentals of the operations. A selection of the most important biblio graphic sources follows each chapter, but are not cited in the text. Individuals interested in more exhaustive coverage of information sources should consult the Second Edition of the Manual of Cardiac Surgery. The Illustrated Handbook of Cardiac Surgery should appeal to all individuals caring for cardiac surgical patients: cardiologists, anesthesiologists, radiolo gists, general surgery residents rotating on cardiac surgery, medical students, physician assistants, nurses, perfusionists, and all other members of the car diac surgery team. It should even appeal to laypeople who want to read about cardiac surgery in more depth than is available in lay publications. Our attempt has been to produce a book that is clearly written, clearly illustrated, and affordable. The techniques chosen are those developed over three decades of clinical practice and resident training at the Oregon Health Sciences University and St. Vincent Hospital, Portland, Oregon, and Sutter Memorial Hospital, Sacra mento, California. These techniques have served us well.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Within the framework of so-called second generation expert systems [62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions [166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual model is the KADS model of expertise which is characterized by its clear distinction of different know ledge types and by the usage of specific modeling primitives to describe these different knowledge types [185]. The semi formal KADS expertise model entails all the advantages and disadvantages which have been identified for semi-formal system models e.g. in the software engineering community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -As editor of the Springer-Verlag Series in Psychopathology, Lauren Alloy knew of my work in cognitive psychophysiology to study processing anomalies in nonpatients at risk for psychopathology and invited me to edit a book for the series. This evolved into an opportunity to address an aspect of the unfortunate nature-nurture battle in the field, which too often emphasizes genes and macrolevel environment. Extreme positions are often taken (sometimes unwittingly), even though a great deal of the actual research is between the extremes, including laboratory psycho logical and psychophysiological studies. There is more to biology than genes and even more to it than things like brain imaging, enlarged ventricles, glucose metabolism rate, and receptor density, which have received a great deal of attention in recent years. of studies at the One goal of this book is to provide demonstrations intersection between psychology and biology via psychophysiology. In parallel, another goal is to showcase solid psychological research that may bear directly on what are often considered biological issues. For example, Chapter 4, by Walker and colleagues, can be considered classically psychological, because the authors focus on overt behavior. Yet some of the importance of their work is its implication of a particular biological process involved in the gross motor behavior anomalies they have identified in the etiology of schizophrenia. Similarly, whereas in Chapter 7, Klein and Anderson articulate the behavioral high-risk paradigm quite well, in Chapter 10, Yee relies on their approach in pursuing psycho physiological research on risk for depression.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 322 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thrips (fhysanoptera) are very small insects, widespread throughout the world with a preponderance of tropical species, many temperate ones, and even a few living in arctic regions. Of the approximately 5,000 species so far identified, only a few hundred are crop pests, causing serious damage or transmitting diseases to growing crops and harvestable produce in most countries. Their fringed wings confer a natural ability to disperse widely, blown by the wind. Their minute size and cryptic behavior make them difficult to detect either in the field or in fresh vegetation transported during international trade of vegetables, fruit and ornamental flowers. Many species have now spread from their original natural habitats and hosts to favorable new environments where they often reproduce rapidly to develop intense damaging infestations that are costly to control. Over the past decade there have been several spectacular examples of this. The western flower thrips has expanded its range from the North American continent to Europe, Australia and South Africa. Thrips palmi has spread from its presumed origin, the island of Sumatra, to the coast of Florida, and threatens to extend its distribution throughout North and South America. Pear thrips, a known orchard pest of Europe and the western United States and Canada has recently become a major defoliator of hardwood trees in Vermont and the neighboring states. Local outbreaks of other species are also becoming problems in field and glasshouse crops as the effectiveness of insecticides against them decline. 656 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book gives a self-contained introduction to the dynamic martingale approach to marked point processes (MPP). Based on the notion of a compensator, this approach gives a versatile tool for analyzing and describing the stochastic properties of an MPP. In particular, the authors discuss the relationship of an MPP to its compensator and particular classes of MPP are studied in great detail. The theory is applied to study properties of dependent marking and thinning, to prove results on absolute continuity of point process distributions, to establish sufficient conditions for stochastic ordering between point and jump processes, and to solve the filtering problem for certain classes of MPPs. 508 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The International Workshop on Quantum Communications and Measurement was held at the University of Nottingham from July 10-16, 1994. It followed the successful meeting on Quantum Aspects of Optical Communications in Paris in November 1990. This time the conference was devoted to mathematical, physical and engineering aspects of quantum noise, signal processing and quantum informa tion in open systems, quantum channels, and optical communications. It brought research workers in the experimental and engineering aspects of quantum optics and communication systems into contact with theoreticians working in quantum probability and measurement theory. The workshop was attended by more than 130 participants from 22 different countries. The largest groups [after the UK (31)] were from Japan (19) and from Russia (14). The subjects discussed included the mathematical foundations of quantum communication systems, experiments and devices, the problem of collapse and continuous measurement, quantum input and output processes, causality and nondemolition observation, squeezed states, quan tum jumps, state diffusion and spontaneous localization, filtering and control in quantum systems, and new quantum optical phenomena and effects, including non classical light. These new mathematical and physical ideas were stimulated by recent advances in generation and detection of light with low quantum noise and the development of techniques for trapping a single atom over an extended period of time, making it possible to observe individual quantum phenomena at the macroscopic level.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 548 pp. Englisch.…