Springer aug 1993 (268 risultati)

Buch. Condizione: Neu. Neuware -Applies the methods of modern quality to the testing of digital integrated circuits. Explains new paradigms and techniques ranging from SSI to high-level VLSI, and how to match testing methods to the design and physical layout of the device. Accounts for the change in the electronics industry from a.…

Buch. Condizione: Neu. Neuware - One: Introduction. Two: Markets, Firms and Publicly Held Corporations. Three: Securities Regulations, Market Efficiency, and the Role of the SEC. Four: The Law of Insider Trading. Five: The Empirical Literature on Insider Trading: an Overview. Six: Insiders and Outsiders: an Empirical Analysis of Price and Volume Runups Preceding Tender Offer Announcements. Seven: Public Policy towards Insider Trading: a Proposal for Decriminalization. References. Index.…

Buch. Condizione: Neu. Neuware - Preface. Section 1: Scattering Mechanisms. Section 2: High Frequency Measurements and Mechanisms. Section 3: Reverberation Modelling. Section 4: ARSRP Mid-Atlantic Ridge Experiment. Section 5: Low Frequency Measurements. Section 6: Volume Scattering. Section 7: Signal Processing Issues. Section 8: Applications. Author Index. Subject Index. …

Buch. Condizione: Neu. Neuware - Published as a companion to Volume 12, the current volume presents the latest advances in electron paramagnetic resonance of iron proteins, metalloproteins, and free radicals. The book features a diskette containing programs for iron ERP spectral simulation and ENDOR analyses.…

Buch. Condizione: Neu. Neuware - Law is traditionally conceived as consisting of norms of conduct and power-conferring norms. This conception, however, is unable to account for a variety of elements of modern legal systems that differ significantly from the classical notions. This book concerns the problem of which results of human activity can obtain legal validity. The author makes use of recent findings in speech act theory, especially John R. Searle and Daniel Vanderveken's illocutionary logic. He sets out a theory of legal norms conceived as institutional legal facts resulting from performances of speech acts specified in power-conferring norms. The theory provides a classification of acts-in-the-law and of legal norms resulting from performances of these. Finally, the transition is made from institutional legal facts to legal institutions. The book is a contribution to the institutional theory of law as developed by N. MacCormick and O. Weinberger.…

Buch. Condizione: Neu. Neuware - The present volume is the first attempt to bring together, in a comprehensive and comparative manner, the vast knowledge accumulated on the mycoplasma cell membranes. The state-of-the-art coverage includes physical studies of lipid organization and dynamics in mycoplasma membranes, the role of cholesterol in mycoplasma membranes, spiralins, and eight other subjects.…

Buch. Condizione: Neu. Neuware - Cell Colonies: Fractal Growth and Morphological Change in Bacterial Colony Formation; M. Matsushita, et al. Surfaces and Interfaces: Dynamic Scaling in Surface Growth Phenomena; F. Family. Diffusion Limited Aggregation, Viscous Fingering and Fracture: Ionic Concentration and Electric Field in Fractal Electrodeposition; M. Rosso, et al. Cellular Patterns: 2D Manifolds Arising from Local Interactions; H. Terrones, et al. Dynamical Systems: Order, Pattern Selection, and Noise in Low-Dimensional Systems; M. San Miguel. Self-Replication: Molecular Quasi-Species in Hopfield Replication Landscapes; P. Tarazona. Self-Organization: Effects of Noise on Self-Organized Critical Phenomena; A. Diaz-Guilera. Measurement and Characterization: The Practical Measurement of Fractal Parameters; E.H. Dooijes, Z.R. Struzik. 36 additional articles. Index.…

Buch. Condizione: Neu. Neuware - The common bean (Phaseolus vulgaris L.) is the most important pulse crop in Latin America, as well as in large parts of Asia and Africa. It is particularly important due to its ability, in symbiosis with Rhizobium bacteria, to fix atmospheric nitrogen and due to its high nutrient value.Incorporating contributions from plant breeders, microbiologists, plant physiologists and soil scientists, this volume reports the results of an FAO/IAEA Coordinated Research Programme (1985--1991), whose main objective was to enhance yield and biological nitrogen fixation in common bean by reducing its reliance on soil and fertilizer nitrogen.The volume will be invaluable to scientists working on biological nitrogen fixation and legume production.…

Buch. Condizione: Neu. Neuware - Main Economic Policy Areas of the EC: After 1992 is a completely rewritten version of past editions. It examines successes and problems associated with the EC's main economic policy areas and makes proposals for the future. For the first time, a chapter on the very important policy area of transport is included.This volume is an indispensable course book and handbook for all individuals interested in the European Community's main policy areas at the beginning of the coming into effect of the Single European Market.…

Buch. Condizione: Neu. Neuware - When first conceived, not only was the aim of Protocols for Oligo nucleotides and Analogs to provide wide coverage of the ohgonuc- otide chemistry field for readers who are well versed within the field, but also to give investigators just entering into the field a new perspective. The very first book on this topic was edited and published by Michael Gait in 1984, in whose laboratory I encountered the newer aspects of oligonucleotide chemistry. Since then, oligonucleotide research has developed to such an extent that its uses extend far beyond basic studies, and now find wide application throughout clinical science as well. Until recently, the major application of oligonucleotides has been in the area of DNA-based diagnostic and 'antisense oligonucleotid- based therapeutic approaches. However, oligonucleotides are now also being used as therapeutic agents and are thus frequently found in clinical trials in humans. Synthesis of unmodified oligonucleotides using automated synthe sizers has become a common practice in numerous laboratories. How ever, improvements on the existing techniques and the introduction of ever newer methods for oligonucleotide synthesis is constantly driving ahead in the leading research laboratories. And several new oligonucle otide analogs have been synthesized and studied for their individual prop erties in recent years. The present volume strives to bring the readers the most up-to-date information on the newest aspects of synthesis of oligo nucleotides and their analogs. A separate volume covers synthesis of oligonucleotide conjugates, along with most of the analytical techniques presently used for analysis of oligonucleotides.…

Buch. Condizione: Neu. Neuware - Nature is totally amoral! There are at least 3-4 million people in France alone who suffer from arterial hypertension, and whose cardiovascular system is submitted day and night to both a haemodynamic and hormonal stress. In all cases, the vasculature hypertrophies as does the myocardium. This growth process is obviously mainly detrimental at the outset since it lowers compliance of the arteries and makes them stiffer. In contrast, myocardial hypertrophy is initially beneficial since the growth process multiplies the number of contractile units and by so doing improves external work. In addition, according to Starling's law, wall stress is lowered. Growth factors playa major role in this amoral process as a trigger for hypertrophy at the vascular level, and very likely at the level of the myocardium. Another major point of interest is the role of growth factors as determinants of restenosis after angioplasty and also of atherogenesis. Several chapters in this book are directly or indirectly concerned with this problem which is far from being purely academic since several groups are currently trying to control these processes by gene transfer. Certainly, one of the major clinical questions arising from such studies is why restenosis is not more frequent in clinical practice. After de-endotheliazation, the biologist would predict on the basis of recent studies on growth factors, and in contrast with current clinical opinion, that hypertrophy would occur in all cases with more or less complete restenosis.…

Taschenbuch. Condizione: Neu. Neuware - In der Antike mythisch verklärt, später als Rohstoffquelle verbraucht, sind Wale und Delphine mittlerweile zu Publikumslieblingen und Symboltieren des Naturschutzes geworden. Wolfgang Gewalt pflegt seit mehr als einem Vierteljahrhundert fast täglichen Umgang mit diesen faszinierenden Tieren - im Zoo und draußen im freien Meer. Er erzählt von der Herkunft der Wale und Delphine, ihrem Lernvermögen, ihrer Sprache und ihrem Verhalten. Locker und verständlich erhält der Leser damit einen unmittelbaren Einblick in den heutigen Stand der Walkunde.…

Taschenbuch. Condizione: Neu. Neuware - Das Buch gibt einen umfassenden Überblick über die Hardware- und Software-Konzepte, auf denen moderne Rechnersysteme beruhen, von den Arbeitsplatzrechnern bis zu den Supercomputern und den zukünftigen massiv-parallelen Rechnern. Im Anschluß an die Betrachtung der Architektur sequentieller Rechner, ihrer Prozessoren und ihrer Speicherhierarchien werden die Grundlagen für die Parallelarbeit dargelegt. Zunächst werden die Prinzipien der Parallelarbeit im Prozessor behandelt, was zu den VLIW-Maschinen und den superskalaren Prozessoren führt, und die damit verbundenen Compilerprobleme erörtert. Ein Kapitel ist den SIMD-Architekturen in Form der Vektormaschinen oder der Anordnungen gleichartiger Rechnerelemente gewidmet. Ein eigenes Kapitel stellt ausführlich und mit Beispielen die Prinzipien der Datenstruktur-Architekturen und der Sprach-Architekturen dar. Datenstruktur-Architekturen sind dahingehend optimiert, datenparallele Anwendungen mit komplexen Datenstrukturtypen möglichst effizient zu bearbeiten. Sprach-Architekturen dienen der Unterstützung von Sprachen wie Lisp und Prolog. Datenflußarchitekturen werden in einem eigenen Kapitel ausführlich behandelt. Die letzten drei Kapitel sind den Parallelrechnern gewidmet: Aus den Programmiermodellen für massiv-parallele Architekturen werden die verschiedenen Architekturformen abgeleitet. Die Eigenschaften der einzelnen Architekturformen, die zentrale Frage der Kommunikationslatenz und die spezifischen Softwarefragen werden gründlich behandelt. Das Buch zeichnet sich durch eine sehr systematische Darstellung aus sowie auch dadurch, daß nicht nur auf die Hardware-Architekturen eingegangen wird, sondern ebenso sehr auf die relevanten Fragen der Systemsoftware und Programmierung.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The number field sieve is an algorithm for finding the prime factors of large integers. It depends on algebraic number theory. Proposed by John Pollard in 1988, the method was used in 1990 to factor the ninth Fermat number, a 155-digit integer. The algorithm is most suited to numbers of a special form, but there is a promising variant that applies in general. This volume contains six research papers that describe the operation of the number field sieve, from both theoretical and practical perspectives. Pollard's original manuscript is included. In addition, there is an annotated bibliography of directly related literature. 148 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 254 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This graduate level textbook deals with analyzing and forecasting multiple time series. It considers a wide range of multiple time series models and methods. The models include vector autoregressive, vector autoregressive moving average, cointegrated, and periodic processes as well as state space and dynamic simultaneous equations models. Least squares, maximum likelihood, and Bayesian methods are considered for estimating these models. Different procedures for model selection or specification are treated and a range of tests and criteria for evaluating the adequacy of a chosen model are introduced. The choice of point and interval forecasts is considered and impulse response analysis, dynamic multipliers as well as innovation accounting are presented as tools for structural analysis within the multiple time series context. This book is accessible to graduate students in business and economics. In addition, multiple time series courses in other fields such as statistics and engineering may be based on this book. Applied researchers involved in analyzing multiple time series may benefit from the book as it provides the background and tools for their task. It enables the reader to perform his or her analyses in a gap to the difficult technical literature on the topic. 568 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book puts emphasis on developing the basic ideas behind the different approaches to non-equilibrium thermodynamics and on applying them to solids. After a survey about different approaches an introduction to their common fundamentals is given in the first part. In the second part the mechanical behavior of special materials such as viscoelasticity, viscoplasticity, viscoelastoplasticity, and thermoplasticity are discussed. The third part is devoted to extended thermodynamics. The basic ideas, phenomenological as well as microscopical, are reviewed and applied to thermo- and viscoelastic materials. Electromagnetic solids showing dielectric relaxation, such as ceramics, showing electromagneto-mechanical hysteresis and superconductivity are treated in the fourth part. In the last part stability with regard to constitutive equations is investigated. Especially stability of quasi-static processes and of elastic-plastic systems are discussed. 340 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We have only begun to understand the experimental nature ofsoftware engineering, the role of empirical studies andmeasurement within software engineering, and the mechanismsneeded to apply them successfully. This volume presents theproceedings of a workshop whose purpose was to gather thosemembers of the software engineering community who support anengineering approach based upon empirical studies to providean interchange of ideas and paradigms for research.The papers in the volume are grouped into six partscorresponding to the workshop sessions: The experimentalparadigm in software engineering; Objectives and context ofmeasurement/experimentation; Procedures and mechanisms formeasurement/experimentation; Measurement-based modeling;packaging for reuse/reuse of models; and technologytransfer, teaching and training. Each part opens with akeynote paper and ends with a discussion summary.The workshop served as an important event in continuing tostrengthen empirical software engineering as a majorsubdiscipline ofsoftware engineering. The deep interactionsand important accomplishments from the meeting documented inthese proceedings have helped identify key issues in movingsoftware engineering as a whole towards a true engineeringdiscipline. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the fourth EuropeanSoftware Engineering Conference. It contains 6 invitedpapers and 27 contributed papers selected from more than 135submissions.The volume has a mixtureof themes. Some, such as softwareengineering and computer supported collaborative work, areforward-looking and anticipate future developments; others,such as systems engineering, are more concerned with reportsof practical industrial applications. Some topics, such assoftware reuse, reflect the fact that some of the concernsfirst raised in 1969 when software engineering was bornremain unsolved problems.The contributed papers are organized under the followingheadings: requirements specification, environments, systemsengineering, distributed software engineering, real-timesystems, software engineering and computer supportedcollaborative work, software reuse, software process, andformal aspects of software engineering. 536 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A synthetic presentation of the theory of yield design is illustrated by examples such as the stability analysis of reinforced soil structures and the resistance of long fiber reinforced composite materials. The classical limit analysis theory when standard elastic perfectly plastic behaviour can be assumed yields a more precise assessment of the global bearing capacities of structures and makes optimal limit design possible. Structural optimal design is also studied with respect to eigenvalues as well as Structural Topology and Design Optimization. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Elimination of measles and poliomyelitis diseases from the globe is a priority goal of the World Health Organization. For the first time, in a single volume comprising thirty-one well-documented chapters, internationally recognized experts provide a state-of-the-art treatment of these two important viral diseases. The book offers a wide range of new findings and references on the latest advances regarding the measles and poliomyelitis:- global and molecular genetic epidemiology, characteristics and diseases surveillance- all available vaccines and research to produce more safe and more potent-biotechnologyvaccines- immunization programmes, considering the available vaccines and possibility of vaccinal associations in strategy to eliminate/eradicate these diseases- immunity to infections and immunogenicity of vaccines- virus genomes organization and antigenic structures related to vaccine characteristics, stressing their role in immunization strategies- needs of global cooperation, using all available resources, vaccines and strategies to achieve the global control of the diseases.It is addressed to all public health professionals concerned with measles and poliomyelitis control, especially in hospitals, clinics, governmental health services, international health services, centers of infectious diseases, research institutes, medical schools, vaccine producers and experts in immunization strategies and programmes. 424 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 7thEuropean Knowledge Acquisition Workshop (EKAW `93), held inToulouse and Caylus, France, in September 1993.Traditionally the EKAW workshops deal with the variousaspects of knowledge acquisition as a crucial topic inartificial intelligence as well as in computer science,engineering in general, and cognitive science. EKAW `93 hadist emphasis on knowledge acquisition for knowledge-basedsystems; besides the scientific workshop on the inter-disciplinary topic of knowledge acquisition there also wasoffered an open day as a users' forum open to the public.This proceedings contains the best papers presented at thescientific workshop after they had been selected by aninternational program committee consisting of leadingexperts in the field. The volume includes two surveys by GuyBoy and Brian Gaines and is divided in two main parts: thefirst part on problem solving models has sections onbuilding steps, support tools, and comparison of approaches;the second part on life cycle and methodologies is dividedin sections on refinement, methodologies, workbenches, andelicitation techniques. 468 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Graphs can be used to convey information about relationshipsin many applications. State transition diagrams, PERT/CPMcharts, and entity-relationship diagrams are a few examplesof many applications involving graphs. Typically, nodes inthe graph represent items in the application and the edgesrepresent the relationships among these items. A grapheditor is an interactive tool that presents a graph to theuser pictorially and allows the user to edit the graph.This monograph presents the design of an extendible grapheditor, which is a graph editor that can be adapted easilyto many different application areas. Several fundamental andrecurring problem areas associated with graph editors areinvestigated and a solution is proposed for each. The topicsinvestigated are:- Graph layout: a layout constraint mechanism is presentedwhich can easily be combined with various graph layoutalgorithms.- Graphical abstraction: a novel clustering techniquecallededge concentration is presented which can reduce theapparent complexity of the graph.- Persistence: the graph structures produced by theeditorcan be kept in long-term storage using a standardized,external format for graphs.- Extendibility: the design of the proposed graph editormakes it easy to adapt to various applications.To demonstrate their feasibility, the proposed solutionshave been incorporated into EDGE, an extendible graph editorprotoype. 212 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. The aim of this meeting wastobring together researchers working in the fields ofcomputational logic and proof theory. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science. In both disciplines methods were inventedwhich arecrucial to one another. This volume contains theproceedings of the symposium. It contains contributions by36 authors from 10 different countries. In addition to 10invited papers there are 26 contributed papers selected fromover 50 submissions. 372 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains papers first presented at the SecondInternational Workshop on Field-Programmable Logic andApplications (FPL '92), held in Vienna, Austria, inAugust-September 1992.The growing importance of field-programmable devices,especially of field-programmable gate arrays, isdemonstrated by the increased number of papers submitted in1992. Of the 70 papers submitted, 23 were selected for thisbook. The first three papers were invited and discussstrategic issues and give surveys. Three papers deal withnew FPGA architectures and five papers introduce methods andtools. The last twelve papers report applications focusingon rapid prototyping or new FPGA-based computerarchitectures.The invited papersare: 'Overview of complex array-basedPLDs' by G. Biehl; 'Technologies and utilization of fieldprogrammable gate arrays' by J. Isoaho, A. Nummela, andH.Tenhunen; and 'Some considerations on field-programmablegate arrays and their impact on system design' by A.Sangiovanni-Vincentelli. 232 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Ninth Conferenceon Fundamentalsof Computation Theory (FCT 93) held inSzeged, Hungary, in August 1993. The conference was devotedto a broad range of topics including:- Semanticsand logical concepts in the theory of computingand formal specification- Automata and formal languages- Computational geometry, algorithmic aspects of algebra andalgebraic geometry, cryptography- Complexity (sequential, parallel, distributed computing,structure, lower bounds, complexity of analytical problems,general concepts)- Algorithms (efficient, probabilistic, parallel,sequential, distributed)- Counting and combinatorics in connection with mathematicalcomputer scienceThe volume contains the texts of 8 invitedlectures and 32short communications selected by the international programcommittee from a large number of submitted papers. 488 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 18thInternational Symposium on Mathematical Foundations ofComputer Science, MFCS '93, held in Gdansk, Poland,August-September 1993.The MFCS symposia, organized annually in Poland and theformer Czechoslovakia since 1972, have a long andwell-established tradition. Over the years they have servedas a meeting ground for specialists from all branches oftheoretical computer science, in particular- algorithms and complexity, automata theory and theory oflanguages,- concurrent, distributed and real-time systems,- the theory of functional, logic and object-orientedprogramming,- lambda calculus and type theory,- semantics and logics of programs,and others. The volume contains 12 invitedlectures and 56contributed papers selected from 133 submissions. 804 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Computational geometry is the part of theoretical computerscience that concerns itself with geometrical objects; itaims to define efficient algorithms for problems involvingpoints, lines, polygons, and so on. The field has gainedpopularity very rapidly during the last decade. This ispartly due to the many application areas of computationalgeometry and partly due to the beauty of the field itself.This monograph focuses on three problems that arise inthree-dimensional computational geometry. The first problemis the ray shooting problem: preprocess a set of polyhedrainto a data structure such that the first polyhedron that ishit by a query ray can be determined quickly. The secondproblem is that of computing depth orders: we want to sort aset of polyhedra such thatif one polyhedron is (partially)obscured by another polyhedron then it comes first in theorder. The third problem is the hidden surface removalproblem: given a set of polyhedra and a view point, computewhich parts of the polyhedra are visible from the viewpoint. These three problems involve issues that arefundamental to three-dimensional computational geometry.The book also contains a large introductory part discussingthe techniques used to tackle the problems. This part shouldinterest not only those who need the background for the restof the book but also anyone who wants to know more aboutsome recent techniques in computational geometry. 220 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -There are several theories of programming. The first usable theory, often called 'Hoare's Logic', is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications. 260 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 5thInternational Conference on Computer Analysis of Images andPatterns (CAIP'93), held in Budapest, Hungary, in September1993.Formerly, the events in this biennial conference series werethought as a forum where East European researchers andprofessionals from academia and industry had an opportunityto discuss their results and ideas with Western colleaguesactive in image processing and pattern recognition. Now,CAIP'93 has a much more international scope, and in thefuture these conferences will not any longertake place onlyin East European countries, but roam throughout wholeEurope.Besides invited talks by Belikova, Gimel'farb, Haralick andRoska, the volume contains 114 contributions, eitherpresented as lectures or posters and carefully selected by ahighly competent international program committee from atotal of some 230 submissions; thus the book gives athorough survey on recent research results and theirapplications in image processing and pattern recognition.The proceedings is organized in 20 sections, for example onimage data structures, image processing, edges and contours,Hough transforms and related methods, shape, motion, 3-Dvision, character recognition and document processing,biomedical applications, industrial applications, and neuralnetworks. 884 pp. Englisch.…