Springer springer okt 1995 (282 resultados)

Editorial
Refinar con la Búsqueda avanzada

Filtrar la búsqueda

  • Libros (282)

  • Nuevo (282)

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Inglés

      Editorial: Springer Nature Okt 1995, 1995

      0306451131 / 9780306451133

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 163,34

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - The Nitric Oxide Signal Transduction System (F. Murad). Chemistry and Biochemistry of Nitric Oxide: Mechanisms of Mammalian Nitric Oxide Biosynthesis (P.L. Feldman et al.). Nitric Oxide Synthase Inhibitors: Mechanisms of Action and in vivo Studies (O.W. Griffith). Biosynthesis of Nitric Oxide (B. Mayer). Pharmacology and Drug Development: Initial Clinical Experience with the Intracavernous Application of the Nitric Oxide Donor Sin1 in the Treatment of Patients with Erectile Dysfunction (M.C. Truss et al.). Nitric Oxideinduced Lymphocyte Activation: A Role for G Proteins (H.M. Lander et al.). Nitric Oxide and the Respiratory and Cardiovascular Systems: The Role of Nitric Oxide in Nonadrenergic Noncholinergic Neural Relaxation of Mammalian Airway Smooth Muscle (L. Diamond et al.). Nitric Oxide: A Putative Modulator of Muscarinic Receptor in the Airways Smooth Muscles (N. Allon, Y. Meshulam). Vasculoprotective Actions of Nitric Oxide (A.M. Lefer). Nitric Oxide and Brain Functions: Nitric Oxide and Cerebrovascular Regulation (T. Dalkara, M.A. Moskowitz). Multiparametric Responses to Cortical Spreading Depression under Nitric Oxide Synthesis Inhibition (S. Meilin et al.). 19 additional articles. Index.

    • Idioma: Inglés

      Editorial: Springer Us Okt 1995, 1995

      0792336712 / 9780792336716

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 222,67

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - As its title implies, Advances in Multicriteria Analysis presents the most recent developments in multicriteria analysis and in some of its principal areas of application, including marketing, research and development evaluation, financial planning, and medicine. Special attention is paid to the interaction between multicriteria analysis, decision support systems and preference modeling. The five sections of the book cover: methodology; problem structuring; utility assessment; multi-objective optimisation; real world applications. Audience: Researchers and professionals who are operations researchers, management scientists, computer scientists, statisticians, decision analysts, marketing managers and financial analysts.

    • Idioma: Inglés

      Editorial: Springer Nature B.V. Okt 1995, 1995

      0792396359 / 9780792396352

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 230,74

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - Language, Compilers and Run-time Systems for Scalable Computers contains 20 articles based on presentations given at the third workshop of the same title, and 13 extended abstracts from the poster session. Starting with new developments in classical problems of parallel compiler design, such as dependence analysis and an exploration of loop parallelism, the book goes on to address the issues of compiler strategy for specific architectures and programming environments. Several chapters investigate support for multi-threading, object orientation, irregular computation, locality enhancement, and communication optimization. Issues of the interface between language and operating system support are also discussed. Finally, the load balance issues are discussed in different contexts, including sparse matrix computation and iteratively balanced adaptive solvers for partial differential equations. Some additional topics are also discussed in the extended abstracts. Each chapter provides a bibliography of relevant papers and the book can thus be used as a reference to the most up-to-date research in parallel software engineering.

    • Condición: Nuevo

      EUR 230,74

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 1 disponibles

      Buch. Condición: Neu. Neuware - Business process re-engineering tools offer techniques to model the enterprise and identify opportunities to make change. This book examines the approaches, tools and techniques which support redesign of the enterprise to achieve world class performance.

    • Idioma: Inglés

      Editorial: Springer Nature B.V. Okt 1995, 1995

      0412621606 / 9780412621604

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 230,74

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - Telecommunications today is in the midst of far-reaching changes due to rapid development of new technologies, services and social evolution. This is the first book to model the process of change in telecommunications, including all of the relevant factors. The approach is practical and responsible, based on hard facts and tested models. It deals with fundamental issues affecting the future development of telecoms and its impact on societies and presents views which some will find radical.

    • Idioma: Inglés

      Editorial: Springer Nature B.V. Okt 1995, 1995

      0792332415 / 9780792332411

      Serie: Libro 146 de 214 - Boston Studies in the Philosophy and History of Science

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 230,74

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - In relation to the problems faced today, in contemplation and in practical affairs, philosophers must confront the question `What is knowledge ', and consider whether knowledge has lost its object. Such was the problem placed before the seminar convened by the Philosophical Society of Turkey at Ankara in 1989. The 17 papers derived from the lectures and discussions deal with problems of knowing and believing, of the kinds and criteria of knowledge, of truth and fallibility, and of the cultural as well as individual factors in cognition. The authors include Guido Küng, L. Jonathan Cohen, Ernest Sosa, Arda Denkel, Venant Cauchy, David Evans, Gürol Irzik, Ioanna Kuçuradi, Evandro Agazzi, Richard T. DeGeorge, Kwasi Wiredu, Teo Grünberg, H. Odera Oruka, Jindrich Zeleny, V.A. Lektorsky, Anna-Teresa Tymieniecka, and Francisco Miro Quesada. There is a critical and analytical Prologue by the convener of the Seminar, Ioanna Kuçuradi.

    • Idioma: Inglés

      Editorial: Springer Nature B.V. Okt 1995, 1995

      0792396456 / 9780792396451

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 314,64

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - The scientists and engineers of today are relentless in their continuing study and analysis of the world about us from the microcosm to the macrocosm. A central purpose of this study is to gain sufficient scientific information and insight to enable the development of both representative and useful models of the superabundance of physical processes that surround us. The engineers need these models and the associated insight in order to build the information processing systems and control systems that comprise these new and emerging technologies. Much of the early modeling work that has been done on these systems has been based on the linear time-invariant system theory and its extensive use of Fourier transform theory for both continuous and discrete systems and signals. However many of the signals arising in nature and real systems are neither stationary nor linear but tend to be concentrated in both time and frequency. Hence a new methodology is needed to take these factors properly into account.

    • Idioma: Inglés

      Editorial: Springer Nature B.V. Okt 1995, 1995

      0751402427 / 9780751402421

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 314,64

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - Few polymer chemists have much familiarity with recent developments in the synthesis of speciality polymers. This volume provides up-to-date reviews of areas of current interest and is directed at polymer chemists in the academic world and industry.

    • Idioma: Inglés

      Editorial: Springer Okt 1995, 1995

      0792388895 / 9780792388890

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 330,15

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - Despite recent advances, the pathogenesis and therapy of various forms of chronic inflammatory diseases of the gastrointestinal tract remains problematical. Especially threatening is the possible complication of the development of a malignant growth, but the role of the chronic inflammatory process in this is not known. Three examples are: H. pylori-induced gastritis is associated with gastric lymphomas and carcinomas; there is an increased incidence of intestinal T-cell lymphomas in tropical sprue; and chronic inflammatory bowel diseases, particularly ulcerative colitis, are associated with an increased incidence of carcinoma. In this book, the Proceedings of Falk Symposium No. 81, held in Berlin, November 3-5, 1994, an extensive exchange of information and opinions between international experts yields a state-of-the-art consensus on practical procedures in diagnostics, prophylaxis and therapy.

    • Idioma: Inglés

      Editorial: Springer Us Okt 1995, 1995

      0792396049 / 9780792396048

      • Tapa dura

      Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 435,46

      Envío por EUR 30,50 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. Neuware - Video and Image Processing in Multimedia Systems treats a number of critical topics in multimedia systems, with respect to image and video processing techniques and their implementations. These techniques include: Image and video compression techniques and standards, and Image and video indexing and retrieval techniques. Video and Image Processing in Multimedia Systems is divided into three parts. Part I serves as an introduction to multimedia systems, discussing basic concepts, multimedia networking and synchronization, and an overview of multimedia applications. Part II presents comprehensive coverage of image and video compression techniques and standards, their implementations and applications. Because multimedia data (specifically video and images) require efficient compression techniques in order to be stored and delivered in real-time, video and image compression is a crucial element of an effective multimedia system. In Part III attention is focused on the semantic nature of image and video source material, and how that material may be effectively indexed and retrieved. Topics discussed include static images, full-motion video, and the manner in which compressed representations can facilitate structural analysis. Part III concludes with an extended discussion of a case study. This book serves as an invaluable reference with respect to the most important standards in the field. Video and Image Processing in Multimedia Systems is suitable as a textbook for course use.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540601058 / 9783540601050

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 50,28

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology.This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field. 660 pp. Englisch.

    • Idioma: Inglés

      Editorial: SPRINGER NATURE Okt 1995, 1995

      033364347X / 9780333643471

      • Tapa dura
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides a guide to successful management. Managers need to set the right objectives for the company and clear objectives for themselves. A general manager must develop new strategies that are relevant to the environment and are based on the core competences of the corporation. These strategies will need to yield a long term competitive advantage so that they significantly increase the value of the company over time. This book, by the Chief Executive of a major multinational company, provides many insights and thoughtful consideration of important aspects of successful management. 220 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer New York Okt 1995, 1995

      0387945164 / 9780387945163

      Serie: Libro 110 de 111 - Springer Texts in Statistics

      • Tapa dura
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last two decades, structural equation modeling (SEM) has emerged as a powerful multivariate data analysis tool in social science research settings, especially in the fields of sociology, psychology, and education. Although its roots can be traced back to the first half of this century, when Spearman (1904) developed factor analysis and Wright (1934) introduced path analysis, it was not until the 1970s that the works by Karl Joreskog and his associates (e. g. , Joreskog, 1977; Joreskog and Van Thillo, 1973) began to make general SEM techniques accessible to the social and behavioral science research communities. Today, with the development and increasing avail ability of SEM computer programs, SEM has become a well-established and respected data analysis method, incorporating many of the traditional analysis techniques as special cases. State-of-the-art SEM software packages such as LISREL (Joreskog and Sorbom, 1993a,b) and EQS (Bentler, 1993; Bentler and Wu, 1993) handle a variety of ordinary least squares regression designs as well as complex structural equation models involving variables with arbitrary distributions. Unfortunately, many students and researchers hesitate to use SEM methods, perhaps due to the somewhat complex underlying statistical repre sentation and theory. In my opinion, social science students and researchers can benefit greatly from acquiring knowledge and skills in SEM since the methods-applied appropriately-can provide a bridge between the theo retical and empirical aspects of behavioral research. 268 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540603646 / 9783540603641

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a selection of revised refereed papers taken from the contributions to the Second European Workshop on Case-Based Reasoning, EWCBR-94, held at the Abbaye de Royaumont near Paris in November 1994. The 22 papers included were chosen from a total of 60 submissions. The important evolution by experienced artificial intelligence during the last few years has been essentially influenced by case-based reasoning, particularly by the area of knowledge-based decision support. This book documents the progress achieved in CBR methods and tools during the very recent past. It also outlines the substantial success achieved in the applications domain, especially in the fields of architecture and computer-aided design, task planning, chemical synthesis, maintenance and diagnosis, and law. 324 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540199918 / 9783540199915

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book outlines a new approach to constructing optimal feedback controls for linear control systems that are under the influence of constantly acting bounded perturbations. The optimal synthesis problem is solved by using discrete time systems obtained from continuous ones. Feedback and output feedback are also examined within this context. In cases where only incomplete or imprecise data are available, algorithms for optimal estimators as well as algorithms of optimal identifiers are described. Algorithms for optimal controllers are also constructed. An algorithm for optimal stabilization by bounded controls is also proposed whilst the Appendix of the book contains the outline of the adaptive method of programming which is the foundation for the approach used in the rest of the book. 224 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540605908 / 9783540605904

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains a set of revised refereed papers selected from the presentations at the Second International Workshop on Fast Software Encryption held in Leuven, Belgium, in December 1994.The 28 papers presented significantly advance the state of the art of software algorithms for two cryptographic primitives requiring very high speeds, namely encryption algorithms and hash functions: this volume contains six proposals for new ciphers as well as new results on the security of the new proposals. In addition, there is an introductory overview by the volume editor. The papers are organized in several sections on stream ciphers and block ciphers; other papers deal with new algorithms and protocols or other recent results. 384 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540604790 / 9783540604792

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of the Third International Conference in Broadband Services and Networks, IS&N '95, held in Heraclion, Greece, in October 1995; this book summarizes at the same time the main results of a group of RACE projects sponsored by the European Commission for several years. To meet the new challenges in broadband communication, service engineering has now emerged as a new discipline strongly related to software engineering; particularly the concepts of object-orientation and open distributed processing are being adopted. The book presents 44 full papers and 8 posters selected from 88 submissions. Among the issues addressed are service architecture, usability, communications management, advanced communication services, security, and service creation. 528 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer London, Springer Okt 1995, 1995

      3540199829 / 9783540199823

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the proceedings of the Structures in Concurrency Theory workshop (STRICT) that was held from 11 th to l3th May 1995 in Berlin, Germany. It includes three invited contributions - by J. de Bakker, E. Best et aI, and E. R. Olderog and M. Schenke - and all papers which were submitted and accepted for presentation. Concurrency Theory deals with formal aspects of concurrent systems. It uses partly competing and partly complementary formalisms and structures. The aim of this workshop was to present and compare different formalisms and results in Concurrency Theory. STRICT was organized by the Humboldt-University Berlin and the ESPRIT Basic Research Working Group CALIBAN. Original papers had been sought from all scientists in the field of Concurrency Theory. The Programme Committee selected twenty contributions with various different topics, including Petri Nets, Process Algebras, Distributed Algorithms, Formal Semantics, and others. I am grateful to the Programme Committee and to the other referees for the careful evaluation of the submitted papers. 368 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540604774 / 9783540604778

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book documents the scientific outcome of the International NSF-ARPA Workshop on Object Representation in Computer Vision, held in New York City in December 1994 with invited participants chosen among the recognized experts in the field.The volume presents the complete set of papers in revised full-length versions. In addition, the first paper is a report on the workshop in which the panel discussions as well as the conclusions and recommendations reached by the workshop participants are summarized.Altogether the volume provides an excellent, in-depth view of the state of the art in this active area of research and applications. 376 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1995, 1995

      3540604693 / 9783540604693

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on the Workshop on Evolutionary Computing held in Sheffield, U.K., in April 1995 under the sponsorship of the Society for the Study of Artificial Intelligence and Simulation of Behavior (AISB).The 18 full papers presented were selected during a post-workshop refereeing meeting and chosen from 32 submissions for the workshop.The papers are organized in sections on evolutionary computing theory and techniques, timetabling, routing and scheduling, optimization, signal processing and control, and genetic programming. The collection of papers has a certain bias towards real world applications of evolutionary computing and particularly genetic algorithms. 280 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg Okt 1995, 1995

      3540605797 / 9783540605799

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. 220 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1995, 1995

      3540605843 / 9783540605843

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      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 6th International Conference on Information Systems and Management of Data, CISMOD '95, held in Bombay, India, in November 1995.The book presents 14 revised full papers selected from some 60 submissions together with six invited papers by leading experts. These papers address the central issues of research and advanced application in the area of data management and information systems engineering; they are organized in sections on query processing, distributed systems, performance evaluation, knowledge discovery, real-time database systems, product and process design, and conceptual modelling. 340 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Netherlands Okt 1995, 1995

      0792337646 / 9780792337645

      • Tapa dura
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Probability Theory, Theory of Random Processes and Mathematical Statistics are important areas of modern mathematics and its applications. They develop rigorous models for a proper treatment for various 'random' phenomena which we encounter in the real world. They provide us with numerous tools for an analysis, prediction and, ultimately, control of random phenomena. Statistics itself helps with choice of a proper mathematical model (e.g., by estimation of unknown parameters) on the basis of statistical data collected by observations. This volume is intended to be a concise textbook for a graduate level course, with carefully selected topics representing the most important areas of modern Probability, Random Processes and Statistics. The first part (Ch. 1-3) can serve as a self-contained, elementary introduction to Probability, Random Processes and Statistics. It contains a number of relatively sim ple and typical examples of random phenomena which allow a natural introduction of general structures and methods. Only knowledge of elements of real/complex analysis, linear algebra and ordinary differential equations is required here. The second part (Ch. 4-6) provides a foundation of Stochastic Analysis, gives information on basic models of random processes and tools to study them. Here a familiarity with elements of functional analysis is necessary. Our intention to make this course fast-moving made it necessary to present important material in a form of examples. 272 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer New York Okt 1995, 1995

      0387944346 / 9780387944340

      • Tapa dura
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Accompanying the book, as with all TELOS sponsored publications, is an electronic component. In this case it is a DOS-Diskette produced by one of the coauthors, Paul Wellin. This diskette consists of Mathematica not Elektronisches Buch and packages which contain the codes for all examples and exercises in the book, as well as additional materials intended to extend many ideas covered in the text. It is of great value to teachers, students, and others using this book to learn how to effectively program with Mathematica . 480 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer, Springer Okt 1995, 1995

      3540750126 / 9783540750123

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The subject of cardiac arrhythmias is of practical relevance. Various arrhythmias are found in different clinical situations, such as premature complexes in healthy individuals, supraventricular tachyarrhythmias in patients with Wolff-Parkinson-White snydrome, atrioventricular block, and ventricular fibrillation in cardiopathic conditions, especially in patients with ischemic disease. Topics of major interest are discussed in this volume: malignant ventricular arrhythmias, sudden death, automatic implantable cardioverter defibrillators, syncope, current indications for pacing therapy, radiofrequency catheter ablation, flutter, and atrial fibrillation. 264 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1995, 1995

      3540605800 / 9783540605805

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture. 292 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Berlin Heidelberg, Springer London Okt 1995, 1995

      3540199624 / 9783540199625

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP '95, held in Belgirate, Italy, 11-13 October 1995. The conference continues the series of SAFECOMP conferences which was originated by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7) and reflects the state of the art, experience and new trends in the area of safety-related computer systems. 532 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer Vienna Okt 1995, 1995

      3211827420 / 9783211827420

      Serie: Libro 139 de 433 - CISM International Centre for Mechanical Sciences

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume strives to give comprehensive information about the main aspects of the behaviour and limit states of steel plated structures. In following this objective, the volume presents a complete scientific background (profiting from the fact that the authors of the individual parts of the publication have personally been very active in the corresponding fields of research for an extended period of time), but also establishes design recommendations, procedures and formulae.The significance of the volume may be seen in its challenging current concepts of the analysis of steel plated structures, encouraging progress in the field, and thereby establishing an advanced basis for a more reliable and economical design. 384 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer US Okt 1995, 1995

      0792395832 / 9780792395836

      • Tapa dura
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stochastic processes are found in probabilistic systems that evolve with time. Discrete stochastic processes change by only integer time steps (for some time scale), or are characterized by discrete occurrences at arbitrary times. Discrete Stochastic Processes helps the reader develop the understanding and intuition necessary to apply stochastic process theory in engineering, science and operations research. The book approaches the subject via many simple examples which build insight into the structure of stochastic processes and the general effect of these phenomena in real systems. The book presents mathematical ideas without recourse to measure theory, using only minimal mathematical analysis. In the proofs and explanations, clarity is favored over formal rigor, and simplicity over generality. Numerous examples are given to show how results fail to hold when all the conditions are not satisfied. Audience: An excellent textbook for a graduate level course in engineering and operations research. Also an invaluable reference for all those requiring a deeper understanding of the subject. 290 pp. Englisch.

    • Idioma: Inglés

      Editorial: Springer New York Okt 1995, 1995

      038794558X / 9780387945583

      Serie: Libro 145 de 261 - Universitext

      • Tapa blanda
      • Impresión bajo demanda

      Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 53,49

      Envío por EUR 23,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 2 disponibles

      Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a selection of topics from probability theory. Essentially, the topics chosen are those that are likely to be the most useful to someone planning to pursue research in the modern theory of stochastic processes. The prospective reader is assumed to have good mathematical maturity. In particular, he should have prior exposure to basic probability theory at the level of, say, K.L. Chung's 'Elementary probability theory with stochastic processes' (Springer-Verlag, 1974) and real and functional analysis at the level of Royden's 'Real analysis' (Macmillan, 1968). The first chapter is a rapid overview of the basics. Each subsequent chapter deals with a separate topic in detail. There is clearly some selection involved and therefore many omissions, but that cannot be helped in a book of this size. The style is deliberately terse to enforce active learning. Thus several tidbits of deduction are left to the reader as labelled exercises in the main text of each chapter. In addition, there are supplementary exercises at the end. In the preface to his classic text on probability ('Probability', Addison Wesley, 1968), Leo Breiman speaks of the right and left hands of probability. 156 pp. Englisch.