springer berlin heidelberg okt 2012 (Oltre 1.900 risultati)

Taschenbuch. Condizione: Neu. Neuware -The book describes from a historical point of view how cosmic rays were discovered. The book describes the research in cosmic rays. The main focus is on how the knowledge was gained, describing the main experiments and the conclusions drawn. Biographical sketches of main researchers are provided. Cosmic rays have an official date of discovery which is linked to the famous balloon flights of the Austrian physicist Hess in 1912. The year 2012 can therefore be considered the centenary of the discovery.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains 9 thoroughly refereed and revised papers detailing recent advances in research on designing trading agents and mechanisms for agent-mediated e-commerce. They were originally presented at the 12th International Workshop on Agent-Mediated Electronic Commerce (AMEC 2010), collocated with AAMAS 2010 in Toronto, Canada, or the 2010 Workshop on Trading Agent Design and Analysis (TADA 2010), collocated with EC 2010 in Cambridge, MA, USA.The papers examine emerging topics such as ad auctions and supply chains, or the interactions between competing markets, and present novel algorithms and rigorous theoretical results. Several of them evaluate their results using real data from large e-commerce sites or from experiments with human traders.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the International Conference on Trusted Systems, INTRUST 2012, held in London, UK, in December 2012. The 6 revised full papers presented together with 3 short invited papers and a short paper which formed the basis for a panel session were carefully reviewed and selected from 19 submissions. The papers are organized in topical section on automated analysis, security and trust, mobile trust, security of distributed systems, evaluation and analysis, and embedded security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 128 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Multiple Access Communications, MACOM 2012, held in Maynooth, Ireland, in November 2012. The 13 full papers and 5 demo and poster papers presented were carefully reviewed and selected from various submissions. The papers are organized in topical sections on network coding, handling interference and localization techniques at PHY/MAC layers, wireless access networks, and medium access control.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the International Conference on Data and Knowledge Engineering, ICDKE 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 13 revised full papers of ICDKE 2012 were carefully reviewed and selected from 53 submissions. The papers cover the following topics: artificial intelligence and data engineering; knowledge discovery and data management; information extraction and retrieval and data security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constellation of cooperating search services, using the ranking and joining of results as the dominant factors for service composition. The field is multi-disciplinary in nature and takes advantage of contributions from other research areas such as knowledge representation, human-computer interfaces, psychology, sociology, economics, and legal sciences. This book is the third in the Search Computing series and contains a collection of 16 papers, which in most cases were contributed to several workshops during 2011 organized by members of the Search Computing project in the context of major international conferences: ExploreWeb at ICWE 2011, Very Large Data Search and DBRank at VLDB 2011, DATAVIEW at ECOWS 2011, and OrdRing at ISWC 2011. The papers provide very useful insights on search computing problems and issues. The book has been divided into four parts focussing on: extraction and integration; query and visualization paradigms; exploring linked data; and games, social search and economics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Internet and Distributed Computing Systems, IDCS 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 22 revised full papers of IDCS 2012 presented were carefully reviewed and selected from 80 submissions. The papers cover the following topics: ad-hoc and sensor networks; internet and Web technologies; network operations and management; information infrastructure; resilience; fault tolerance and availability.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 9th International Workshop on Economics of Grids, Clouds, Systems, and Services, GECON 2012, held in Berlin, Germany, in November 2012. The 12 revised full papers presented together with 6 work in progress papers were carefully reviewed and selected from more than 36 submissions. The papers are organized in the following topical sections: market mechanisms, pricing and negotiation; resource allocation, scheduling and admission control; work in progress on tools and techniques for cost-efficient service selection; market modeling; trust; cloud computing in education; and work in progress on cloud adoption and business models.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Pakistan has recently reformed its arbitration laws and laws on the recognition and enforcement of foreign arbitration agreements and awards. These reforms relate to both international commercial and investment arbitration. This book highlights the changes brought about by the recent enactments and explains the relationships between the old and new legislation. It provides a detailed and up-to-date analysis of Pakistani case law on foreign arbitration agreements and awards. Part I describes the background of arbitration laws in Pakistan. Part II explains the applicable substantive and procedural rules for the recognition and enforcement of foreign arbitration agreements and awards and other important issues, such as the severability of arbitration clauses from main agreements, questions of public policy, and interim measures supporting foreign arbitration. Part III analyses the recent enactments that implement the New York and the ICSID Conventions in Pakistan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 64 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book begins with the physical and biological characterization of the four North American deserts and a description of the primary adaptations of plants to environmental stress. In the following chapters the authors present case studies of key species representing dominant growth forms of the North American deserts, and provide an up-to-date and comprehensive review of the major patterns of adaptations in desert plants. One chapter is devoted to several important exotic plants that have invaded North American deserts. The book ends with a synthesis of the adaptations and resource requirements of North American desert plants. Further, it addresses how desert plants may respond to global climate change.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Contents: Azencott, R. : Large deviations and applications.- Freidlin, Mark I. Semi-linear PDE's and limit theorems for large deviations- Varadhan, Srinivasa R.S.: Large deviations and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -¿In order to precisely model real-life systemsor man-made devices, both nonlinear and dynamicpropertiesneed to be taken into account. The generic, black-box model based on Volterra and Wiener series iscapable of representingfairlycomplicated nonlinear and dynamic interactions, however, the resulting identification algorithms are impractical, mainly due to their computational complexity. One of the alternatives offering fast identification algorithms is the block-oriented approach, in which systems of relatively simple structures are considered. The book provides nonparametric identification algorithms designed for such systems together with the description of their asymptotic and computational properties. ¿ ¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -InhaltsangabeSection 1.- 1 Basic Instrumentation and Troubleshooting.- 2 Preoperative and Postoperative Care in Patients Undergoing Laparoscopic Surgery.- 3 Pneumoperitoneum.- 4 Laparoscopy in Trauma and Emergency Surgery.- Section 2.- 5 Laparoscopic Intraoperative Cholangiography.- 6 Laparoscopic Cholecystectomy: The French Technique.- 7 Laparoscopic Cholecystectomy: The American Technique.- 8 Laparoscopic Intraoperative Ultrasonography.- 9 Laparoscopic Transcystic Duct Common Bile Duct Exploration.- 10 Laparoscopic Transcystic Ampullary Balloon Dilation.- 11 Laparoscopic Antegrade Transcystic Sphincterotomy.- 12 Laparoscopic Choledochotomy.- 13 Avoiding and Classifying Common Bile Duct Injuries During Laparoscopic Cholecystectomy.- Section 3.- 14 Laparoscopic Anatomy of the Abdominal Wall.- 15 Laparoscopic Transabdominal Preperitoneal Hernia Repair.- 16 Laparoscopic Near-Total Preperitoneal Hernia Repair.- Section 4.- 17 Thoracoscopic Heller's Myotomy.- 18 Laparoscopic Heller's Myotomy.- 19 Thoracoscopic Resection of Esophageal Tumors.- 20 Endoscopic Lewis-Tanner Esophagogastrectomy for Tumors of the Esophagogastric Junction.- 21 Laparoscopic Nissen's Fundoplication.- Section 5.- 22 Laparoscopic Gastrostomy.- 23 Laparoscopic Bypass for Inoperable Cancer of the Pancreas.- 24 Laparoscopic Cystogastrostomy for Pancreatic Pseudocyst.- 25 Combined Laparoscopic and Endoscopic Excision of Gastric Mucosal Lesions.- 26 Laparoscopic Posterior Truncal Vagotomy and Anterior Seromyotomy.- 27 Laparoscopic Highly Selective Vagotomy.- 28 Laparoscopic Billroth II Gastrectomy.- 29 Staging Laparoscopy for Gastric Cancer.- Section 6.- 30 Laparoscopic Splenectomy.- 31 Laparoscopic Right Adrenalectomy.- 32 Laparoscopic Left Adrenalectomy.- 33 Laparoscopic Resection of the Tail of the Pancreas.- 34 Laparoscopic Nephrectomy.- 35 Laparoscopic Pelvic Lymphadenectomy.- Section 7.- 36 Laparoscopic Appendectomy.- 37 Laparoscopic Enterolysis.- 38 Laparoscopic Jejunostomy.- 39 Nomenclature in Laparoscopic Colon Surgery.- 40 Dissection and Resection Facilitated Laparoscopic Right Hemicolectomy.- 41 Laparoscopic Transverse Colectomy.- 42 Laparoscopic Left Colectomy.- 43 Laparoscopic Low Anterior Resection.- 44 Laparoscopic Abdominoperineal Rectum Extirpation.- 45 Laparoscopic Rectopexy.- 46 Laparoscopic Hartmann's Procedure and Hartmann's Reversal Procedure.- 47 Transanal Endoscopic Microsurgery.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This state-of-the-art-survey documents the Fluid Construction Grammar (FCG), a new formalism for the representation of lexicons and grammars, which has been used in a wide range of case studies for different languages, both for studying specific grammatical phenomena and design patterns, as for investigating language learning and language evolution. The book focuses on the many complex computational issues that arise when writing challenging real world grammars and hence emphasises depth of analysis rather than broad scope. The volume contains 13 contributions organized in 5 parts from 'Basic', and 'Implementation', over 'Case Studies', and 'Formal Analysis', up to 3 papers presenting a 'Conclusion'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Galenical pharmacy or galenics is the science dealing with the pro duction of drug substances from raw materials, the purity of such substances, their formulation into pharmaceutical preparations with the desired effects and safety in use, and the quality control, stability and storage of the preparations. The field has taken its name from the Greek physician Galen (131-201 A.D.), who had a profound influence on medicine for many centuries because he collected and systematized the medicinal knowledge of his time. The discovery of insulin is attributed to Banting and Best who, in 1921, prepared an extract of the pancreas of the fetal calf and showed that the extract was capable of reducing the blood sugar level of a diabetic dog. This outstanding discovery gave rise to the rapid develop ment of the manufacture of insulin of bovine and porcine origin. By 1925, two Danish manufacturers of insulin preparations were established; both have since been in the forefront ofthe development of insulin preparations, the latest achievement being the marketing of human insulin by Novo in 1982. The development of highly purified human insulin produced semisynthetically from porcine insulin or by DNA recombinant methods are significant contributions to safe and efficient insulin therapy. Insulin is a protein which is destroyed in the gastrointestinal tract.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Molchanov, S.: Lectures on random media.- Zeitouni, Ofer: Random walks in random environment.-den Hollander, Frank: Random polymers¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 572 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These notes are a record of a course given in Algiers from 10th to 21st May, 1965. Their contents are as follows. The first two chapters are a summary, without proofs, of the general properties of nilpotent, solvable, and semisimple Lie algebras. These are well-known results, for which the reader can refer to, for example, Chapter I of Bourbaki or my Harvard notes. The theory of complex semisimple algebras occupies Chapters III and IV. The proofs of the main theorems are essentially complete; however, I have also found it useful to mention some complementary results without proof. These are indicated by an asterisk, and the proofs can be found in Bourbaki, Groupes et Algebres de Lie, Paris, Hermann, 1960-1975, Chapters IV-VIII. A final chapter shows, without proof, how to pass from Lie algebras to Lie groups (complex-and also compact). It is just an introduction, aimed at guiding the reader towards the topology of Lie groups and the theory of algebraic groups. I am happy to thank MM. Pierre Gigord and Daniel Lehmann, who wrote up a first draft of these notes, and also Mlle. Franl(oise Pecha who was responsible for the typing of the manuscript.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 88 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Given that context-free grammars (CFG) cannot adequately describe natural languages, grammar formalisms beyond CFG that are still computationally tractable are of central interest for computational linguists. This book provides an extensive overview of the formal language landscape between CFG and PTIME, moving from Tree Adjoining Grammars to Multiple Context-Free Grammars and then to Range Concatenation Grammars while explaining available parsing techniques for these formalisms. Although familiarity with the basic notions of parsing and formal languages is helpful when reading this book, it is not a strict requirement. The presentation is supported with many illustrations and examples relating to the different formalisms and algorithms, and chapter summaries, problems and solutions. The book will be useful for students and researchers in computational linguistics and in formal language theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -¿¿¿¿¿¿¿Supply chain management (SCM) strives for creating competitive advantage and value for customers by integrating business processes from end users through original suppliers. However, the question of how SCM influences the value of a firm is not fully answered. Various conceptual frameworks that explain the coherence of SCM and company value, comprehended as value-based SCM, are well accepted in scientific research, but quantitative approaches to value-based SCM are found rather seldom. The book contributes to this research gap by proposing quantitative models that allow for assessing influences of SCM on the value of a firm. Opposed to existing models that limit the observation to chosen facets of SCM or selected value drivers, this holistic approach is adequate to ¿ reflect configurational and operational aspects of SCM, ¿ cover all phases of the product life cycle, ¿ financially compare value impacts of profitability-related and asset-related value drivers, and ¿ assess influences of dynamics and uncertainties on company value.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Buch. Condizione: Neu. Neuware -Statistical surveys represent an important source of scientific knowledge and a valid decision support tool in many fields, from social studies to economics, market research, health studies, and others. Scientists have tackled most of the methodological issues concerning surveys and the scientific literature offers excellent proposals for planning and conducting surveys. Nevertheless, surveys often require the achievement of aims that either deviate from the methodology or do not have a specific solution at all.This book focuses on survey theory and applications, providing insight and innovative solutions to face problems in data collection and integration, complex sample design, opinion questionnaire design, and statistical estimation.Formal rigour and simple language, together with real-life examples, will make the book suitable to both practitioners involved in applied research and to academics interested in scientific developments in the survey field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -How can established models and methods be employed for the understanding and change of organisations One of the key issues presented in this book is bridging the communication gap between business leaders and IT experts in companies and public services. This is facilitated by combining different models for the development of corporate strategies, business processes and information support. The leading idea behind this book is to present different perspectives on business modelling, based on established theories and practical experiences. The book offers advanced knowledge and relevant information on the key issues in business modelling for today`s organisations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Increasing efficiency in generating national income and improving equity in its distribution among economic agents is at the forefront of priorities of most modern economies. This book presents a model which aims to maximize a symmetrical welfare function under certain constraints which consider both efficiency and equity, i.e. taxes and subsidies, implemented by a public authority. The model is numerically implemented and considers a set of economic agents with starting incomes that satisfy Pareto income law under various values of the alpha parameter. Also, the model implementations respect the social production function. Various experiments are presented which show how income inequality (measured by means of the Lorenz curve and, what I call, the Lorenz-Gini inequality index) and measures of poverty are sensibly reduced by redistributing national income without lowering efficiency in production. A case study, or application, of Italian personal income in 2008 is also presented.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Buch. Condizione: Neu. Neuware -The author describes the current state of the art in the theory of invariant random fields. This theory is based on several different areas of mathematics, including probability theory, differential geometry, harmonic analysis, and special functions. The present volume unifies many results scattered throughout the mathematical, physical, and engineering literature, as well as itintroduces new results from this area first proved by the author. The book also presents many practical applications, in particular in such highly interesting areas as approximation theory, cosmology and earthquake engineering. It is intended for researchers and specialists working in the fields of stochastic processes, statistics, functional analysis, astronomy, and engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -'Why are atoms so small ' asks 'naive physicist' in Erwin Schrodinger's book 'What is Life The Physical Aspect of the Living Cell'. 'The question is wrong' answers the author, 'the actual problem is why we are built of such an enormous number of these particles'. The idea that everything is built of atoms is quite an old one. It seems that l Democritus himself borrowed it from some obscure Phoenician source . The arguments for the existence of small indivisible units of matter were quite simple. 2 According to Lucretius observable matter would disappear by 'wear and tear' (the world exists for a sufficiently long, if not infinitely long time) unless there are some units which cannot be further split into parts. th However, in the middle of the 19 century any reference to the atomic structure of matter was considered among European physicists as a sign of extremely bad taste and provinciality. The hypothesis of the ancient Greeks (for Lucretius had translated Epicurean philosophy into Latin hexameters) was at that time seen as bringing nothing positive to exact science. The properties of gaseous, liquid and solid bodies, as well as the behaviour of heat and energy, were successfully described by the rapidly developing science of thermodynamics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Electrochemical Analysis of Proteins and Cells presents the remarkable progress made over the years in the electrochemical analysis of proteins and cells, due to the rapid development of protein electrochemistry together with related technologies such as surface modification, molecular recognition, molecular assembly, and nanotechnology. As an interdisciplinary field combining electrochemistry, analytical chemistry, biochemistry, biophysics, biomedicine and material science, the electrochemical analysis of proteins and cells has attracted broad and extensive research interest. The main emphasis of this book is on the principles of electrochemical strategies and the practical utility of related detection systems, which is of great importance in all biological sciences, such as cell biology and molecular biology, as well as in biomedical fields like cancer research. This brief offers an up-to-date, easy-to-follow presentation of recent advances on the subject and can serve as a supplement for graduate-level courses in analytical chemistry, biochemistry, biophysics, biotechnology, biomedical engineering, etc. It may also help young scientists get an overview of this topic.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 80 pp. Englisch.

Buch. Condizione: Neu. Neuware -Main concepts of quasi-stationary distributions (QSDs) for killed processes are the focus of the present volume. For diffusions, the killing is at the boundary and for dynamical systems there is a trap. The authors present the QSDs as the ones that allow describing the long-term behavior conditioned to not being killed. Studies in this research area started with Kolmogorov and Yaglom and in the last few decades have received a great deal of attention. The authors provide the exponential distribution property of the killing time for QSDs, present the more general result on their existence and study the process of trajectories that survive forever. For birth-and-death chains and diffusions, the existence of a single or a continuum of QSDs is described. They study the convergence to the extremal QSD and give the classification of the survival process. In this monograph, the authors discuss Gibbs QSDs for symbolic systems and absolutely continuous QSDs for repellers.The findingsdescribed are relevant to researchers in the fields of Markov chains, diffusions, potential theory, dynamical systems, and in areas where extinction is a central concept. The theory is illustrated with numerous examples. The volume uniquely presents the distribution behavior of individuals who survive in a decaying population for a very long time. It also provides the background for applications in mathematical ecology, statistical physics, computer sciences, and economics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Hans-Jorg Senn H.-J. Senn (~) Center for Tumor Detection and Prevention, Rorschacherstr. 150, CH-9006 St. Gallen, Switzerland Clinical oncology has centered mainly on developing new strategies and a multitude of new drugs for fighting relapsing and progressive cancer during the last two decades. Furthermore, it has done this with respectable success in quite a number of neoplastic diseases such as acute leukemias and sarcomas in pediatric patients and certain types of aggressive lymphomas, as well as se lected solid tumors such as testicular cancer and choriocarcinoma in adult age. Curatively intended adjuvant chemo-and endocrine-therapies of several 'main killers' among prevalent cancer types, especially breast and colon can cer, have also become successful and health-politically meaningful therapeutic targets [1, 2]. However, the net gain in 'cure' of these (mostly pharmacologic) therapeu tic approaches has to be realistically judged as having a moderate impact on the cancer problem as a whole, and the mortality rate of the most frequent tu mor types, which are prevalent in adult life, has with very few exceptions not been substantially decreased over the past two to three decades. Increasingly, health politicians, epidemiologists, and medical journal editors are asking for alternative strategies of lowering cancer incidence and increasing survival, ventilating new and hitherto mostly neglected areas of research such as pri mary and secondary cancer prevention.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Biane, Philippe: Non-commutative stochastic calculus.-Voiculescu, Dan-Virgil: Lectures on free probability.- Guionnet, Alice: Large random matrices: Lectures on macroscopic asymptotics.¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Buch. Condizione: Neu. Neuware -Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common ¿ancestors¿; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and ¿dual-language approaches¿ combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.