Springer springer okt 1993 (231 risultati)
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,05
EUR 63,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Introduction. Definitions terminology and basics. Series systems. Active parallel redundancy. Standby redundancy. State-space models and matrix methods. Productiveness of manufacturing systems. Systems of multistate items. Boolean algebra and probability laws for reliability evaluations. Fault tr…ees, success trees and event trees. Networks and directional graphs. Maintained system reliability. Data analysis. The management of system reliability. Appendices. Index.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 129,06
EUR 64,18 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 158,29
EUR 62,84 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - The current work continues Volume 8's exploration of the contribution of history to theory in psychology.
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 168,50
EUR 63,41 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - This is the first book to collect and translate a broad spectrum of philosophical reflection on technology from throughout the Spanish-speaking world. Highlighting work from Chile, Costa Rica, Mexico, Spain and Venezuela -- with further representation from Argentina, Cuba, Colombia, Uruguay, and…the U.S. -- it introduces both affirmatives and critical studies by younger as well as established philosophers. Of special importance are the contributions by Marcos García de la Huerta (Chile), Hugo Padilla (Mexico), Miguel Quintanilla (Spain), Juan David García Bacca (Venezuela), and Ernesto Mayz Vallenilla (Venezuela) -- all of whom are leading and influential authors, none of whom has previously appeared in English. For students and scholars concerned with the philosophy of science and technology, Latin American studies, and interdisciplinary science--technology--society programs, this text contains twenty-five papers addressing issues in the metaphysical, epistemological, ethical, political, historical, and anthropological analysis of technology.
Chemistry and Biology of Pteridines and Folates
International Symposium on Chemistry and Biology of Pteridines
- Rilegato
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 209,48
EUR 68,62 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. Neuware - Chemistry. Tetrahydrobiopterin Dependent Hydroxylases. Tetrahydrobiopterin Regenerating Enzymes. Tetrahydrobiopterin Biosynthesis. Tetrahydrobiopterin Regulation. Tetrahydrobiopterin Deficiency. Nitric Oxide Synthase. Other Functions of Tetrahydrobiopterins. Molybdopterin Cofactors. Synthesis and… Biological Evaluation of AntiFolates. Dihydrofolate Reductase. Thymidylate Synthase. Folylpolyglutamate Synthetase and Hydrolase. OneCarbon Metabolism. Folate Nutrition and Transport. 165 articles. Index.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,14
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Accompanying the oft-noted globalisation of international relations, there is an equally significant trend towards 'localisation' as a range of subnational constituencies and the authorities that represent them respond to externall…y-generated pressures on the one hand, and seek to exploit enhanced opportunities to operate in the international arena on the other. The book examines these developments in the context of the growing international involvement of the non-central governments within federal states. Employing a number of case studies, it argues that the significance of these developments can best be understood as one facet of an increasingly complex, multilayered, diplomacy as national policy makers are forced to negotiate simultaneously with domestic and foreign interests in the pursuit of policy objectives. 249 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,28
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on a course held several times, andagain in 1993, at the ESAT Laboratorium of the Department ofElectrical Engineering at the Katholieke Universiteit Leuvenin Belgium. These courses are intended for both researc…hersin computer security and cryptography and for practitionersin industry and government.The contributors of the 1991 course were invited to submitrevised and updated versions of their papers for inclusionin a book. This volume is the final result; it is well-balanced between basic theory and real life applications,between mathematical background and juridical aspects, andbetween technical developments and standardization issues.Some of the topics are public key cryptography, hashfunctions, secure protocols, digital signatures, securityarchitectures, network security, and data encryptionstandards (DES). 292 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Synge was the victim of a cruel paradox: those who loved his works knew no Irish and those who loved Irish despised his works. Leading international commentators came to accept the assumption that the dramatist knew little or nothi…ng of his native language. This book shows that, on the contrary, Synge's command of Irish was extensive and that this knowledge proved invaluable in the writing of his major plays. This radical reappraisal of Synge's achievement draws extensively on his unpublished papers in the Irish language. In rebutting the nationalist attack on the dramatist with an account of his deep indebtedness to the Gaelic tradition, Dr Kiberd also reveals an Irish Synge who has been consistently neglected by international scholars. This new edition has been augmented by a substantial introductory chapter, reviewing recent developments in Synge criticism and offering a post-colonial interpretation of The Playboy of the Western World. 'A magistirial study of Synge's language and of his imaginative engagement with Gaelic traditions'- Irish Independent 'A devoted, accessible and scholarly book' - Literary Review 294 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book summarizes work done by the authors under theEsprit Tool Use project (1985-1990), at GMD in Karlsruhe andat Berlin University of Technology. It provides acomprehensive description of the generic developmentlanguage Deva d…esigned by the authors. Much of the researchreported in this monograph is inspired by the work of MichelSintzoff on formal program development; he contributed anenlightening Foreword.Deva is essentially a typed functional language with certaindeduction rules. The difference with ordinary languages is,of course, the application domain: the types serve here toexpress propositions such as specifications or programs,rather than just data classes. Its practical applicabilitywas tested on several non-trivial case studies. The wholebook is written using the DVWEB system, a WEB for Deva,beeing implemented at the Berlin University of Technology. 264 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years it has become apparent that an importantpart of the theory of artificial intelligence is concernedwith reasoning on the basis of uncertain, incomplete, orinconsistent information. A variety of formalisms have beende…veloped, including nonmonotonic logic, fuzzy sets,possibility theory, belief functions, and dynamic models ofreasoning such as belief revision and Bayesian networks.Several European research projects have been formed in thearea and the first European conference was held in 1991.This volume contains the papers accepted for presentation atECSQARU-93, the European Conference on SymbolicandQuantitative Approaches to Reasoning and Uncertainty, heldat the University of Granada, Spain, November 8-10, 1993. 408 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Combining field research of outcrop geology andinvestigating the recent formation of carbonate rocks incoastal environments the author gives an introduction insequence stratigraphy. Using computer simulations the bookfocuses on fou…r questions, regarding the geometry ofcarbonate wedges, sequences comparable with geotectoniccycles, their influence by geoidal pulses and thedetermination of these geoidal pulse distribution ingeological time. Examples from the Alps and Florida showthat ramps and divergent patterns, megabreccias, drowning ofcarbonate platforms etc. are results of global short-termsea level falls, interpreted as geoidal eustasy.This volume will be a fruitful supplement for theinterpretation and understanding of sequence stratigraphicsections not only for scientists and students but also forresearchers in the oil andgas industry. 344 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains 22 long papers and 13 short ones selectedfor the Scientific Track of the Third Congress of theItalian Association for Artificial Intelligence. The longpapers report completed work whereas the short papers aremain…ly devoted to ongoing research. The papers reportsignificant work carried out in the different subfields ofartificial intelligence not only in Italy but alsoelsewhere: 8 of the papers come from outside Italy, with 2from the United States and 1 eachfrom Australia, Austria,Germany, The Netherlands, Spain, and Turkey.The papers in the book are grouped into parts on: automatedreasoning; cognitive models; connectionist models andsubsymbolic approaches; knowledge representation andreasoning; languages, architectures and tools for AI;machine learning; natural language; planning and robotics;and reasoning about physical systems and artifacts. 356 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Among unconventional agents and unclassified viruses the contributions to this volume focused on prion-related diseases, with special emphasis on bovine spongiform encephalopathy and human spongiform encephalopathies, and Borna dis…ease virus, an agent known since long time to be pathogenic for horses and sheep, which is now discussed as a potential pathogen for humans. Additionally, the volume contains articles about newly discovered viruses like porcine respiratory and reproductive syndrome virus and viruses that are classified only provisionally like African swine fever virus, hepatitis C and E viruses, or the arteriviruses. 320 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of p…rocessor and circuit technology modern carsand consumer electronics use software to control physicalprocesses. The identifying characteristic of hybrid systemsis that they incorporate both continuous components governedby differential equations and also digital components -digital computers, sensors, and actuators controlled byprograms.This volume of invited refereed papers is inspired by aworkshop on the Theory of Hybrid Systems, held at theTechnical University, Lyngby, Denmark, in October 1992, andby a prior Hybrid Systems Workshop, held at CornellUniversity, USA, in June 1991, organized by R.L. Grossmanand A. Nerode. Some papers are the final versions of paperspresented at these workshops and some are invited papersfrom other researchers who were not able to attend theseworkshops. 488 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume comprises the papers selected for presentationat the international conference on Formal Methods inProgramming and Their Applications, held in Academgorodok,Novosibirsk, Russia, June-July 1993. The conference wasorganize…d by the Institute of Informatics Systems of theSiberian Division of the Russian Academy of Sciences and wasthe first forum organized by the Institute which wasentirely dedicated to formal methods.The main scientific tracks of the conference were centeredaround formal methods of program development and programconstruction. The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics of parallelism- logic of programs- software specification and verification- transformational development and program synthesis. 452 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The impact of man on the biosphere is profound. Quite apart from our capacity to destroy natural ecosystems and to drive species to extinction, we mould the evolution of the survivors by the selection pressures we apply to them. Th…is has implications for the continued health of our natural biological resources and for the way in which we seek to optimise yield from those resources. Of these biological resources, fish stocks are particularly important to mankind as a source of protein. On a global basis, fish stocks provide the major source of protein for human consumption from natural ecosystems, amounting to some seventy million tonnes in 1970. Although fisheries management has been extensively developed over the last century, it has not hitherto considered the evolutionary consequences of fishing activity. While this omission may not have been serious in the past, the ever increasing intensity of exploitation and the deteriorating health of fish stocks has generated an urgent need for a better understanding of evolution driven by harvesting and the implications of this for fish stock management. The foundations for this understanding for the most part come from recent developments in evolutionary biology and are not generally available to fisheries scientists. The purpose of this book is to provide this basis in a form that is both accessible and relevant to fisheries biology. 276 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This was the second in a series of international symposia designed to circulate every two years around North America, Europe, and Asia. The objective is to present and discuss in depth the research results and current developments…in Robotics. A broad spectrum of fields is presented in the papers, e.g. manipulator control, mobile robots, legged locomotion, perception and vision, and control architectures. The papers in the proceedings provide a unique combination of theoretical foundation and experimental validation. The editors have divided the text into ten sections with a synopsis by the editors, and containing four papers each. 584 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of ASIACRYPT '91, thefirst international conference on the theory and applicationof cryptology to be held in the Asian area. It was held atFujiyoshida, near Mount Fuji in Japan, in November 1991….The conference was modeled after the very successful CRYTOand EUROCRYPT series of conferences sponsored by theInternational Association for Cryptologic Research (IACR).The IACR and the Institute of Electronics, Information andCommunication Engineers were sponsors for ASIACRYPT '91.The papers from the conference were improved and correctedfor inclusion in this volume. The papers are grouped intoparts on: differential cryptanalysis and DES-likecryptosystems; hashing and signature schemes; secretsharing, threshold, and authenticationcodes; block ciphers- foundations and analysis; cryptanalysis and new ciphers;proof systems and interactive protocols; public key ciphers- foundations and analysis. Also included are four invitedlectures and impromptu talks from the rump session. 516 pp. Englisch.
Lingua: Inglese
Editore: Springer Vienna Okt 1993, 1993
Serie: Libro 357 di 433 - CISM International Centre for Mechanical Sciences
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is made of the proceedings of EUROCODE 1992 which was held in Udine (Italy) at the CISM, October 27 - 30, 1992. EUROCODE '92 is a continuation as well as an extension of the previous colloquia Trois Journèes sur le codage… and EUROCODE '90, whose proceedings appeared as Lecture Notes in Computer Science (Volumes 388 and 514).The aim of EUROCODE '92 was to attract high level research papers and to encourage interchange of ideas among the areas of coding theory and related fields which share the same tools for applications in the science of communications, theoretical computer science, software engineering and mathematics. Then the book is characterized by a very broad spectrum, ranging from combinatories or algebraic geometry to implementation of coding algorithms.There were about 90 participants to the conference, from the academic and industrial worlds; 53 conferences were selected. The submitted full-papers were separately refereed for publication by at least two international referees. 416 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning Theory, held in Tokyoin October 1992. In addition to 3invited papers, the volumecontains 19 papers accepted for presentation, selected…from29 submitted extended abstracts. The ALT workshops have beenheld annually since 1990 and are organized and sponsored bythe Japanese Society for Artificial Intelligence. The mainobjective of these workshops is to provide an open forum fordiscussions and exchanges of ideasbetween researchers fromvarious backgrounds in this emerging, interdisciplinaryfield of learning theory. The volume is organized into partson learning via query, neural networks, inductive inference,analogical reasoning, and approximate learning. 276 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmic Learning Theory, held inTokyo in November 1993. In addition to 3 invited papers, 29papers were selected from 47 submitted extended abstrac…ts.The workshop was the fourth in a series of ALT workshops,whose focus is on theories of machine learning and theapplication of such theories to real-world learningproblems. The ALT workshops have been held annually since1990, sponsored by the Japanese Society for ArtificialIntelligence. The volume is organized into parts oninductive logic and inference, inductive inference,approximate learning, query learning, explanation-basedlearning, and new learning paradigms. 444 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distributi…on, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field. 408 pp. Englisch.
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph provides an introduction to the theory of topologies defined on the closed subsets of a metric space, and on the closed convex subsets of a normed linear space as well. A unifying theme is the relationship between topology…and set convergence on the one hand, and set functionals on the other. The text includes for the first time anywhere an exposition of three topologies that over the past ten years have become fundamental tools in optimization, one-sided analysis, convex analysis, and the theory of multifunctions: the Wijsman topology, the Attouch--Wets topology, and the slice topology. Particular attention is given to topologies on lower semicontinuous functions, especially lower semicontinuous convex functions, as associated with their epigraphs. The interplay between convex duality and topology is carefully considered and a chapter on set-valued functions is included. The book contains over 350 exercises and is suitable as a graduate text. This book is of interest to those working in general topology, set-valued analysis, geometric functional analysis, optimization, convex analysis and mathematical economics. 356 pp. Englisch.
Lingua: Inglese
Editore: Springer New York Okt 1993, 1993
Serie: Libro 107 di 170 - Undergraduate Texts in Mathematics
- Rilegato
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 59,87
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -' . . . that famous pedagogical method whereby one begins with the general and proceeds to the particular only after the student is too confused to understand even that anymore. ' Michael Spivak This text was written as an antidote to top…ology courses such as Spivak It is meant to provide the student with an experience in geomet describes. ric topology. Traditionally, the only topology an undergraduate might see is point-set topology at a fairly abstract level. The next course the average stu dent would take would be a graduate course in algebraic topology, and such courses are commonly very homological in nature, providing quick access to current research, but not developing any intuition or geometric sense. I have tried in this text to provide the undergraduate with a pragmatic introduction to the field, including a sampling from point-set, geometric, and algebraic topology, and trying not to include anything that the student cannot immediately experience. The exercises are to be considered as an in tegral part of the text and, ideally, should be addressed when they are met, rather than at the end of a block of material. Many of them are quite easy and are intended to give the student practice working with the definitions and digesting the current topic before proceeding. The appendix provides a brief survey of the group theory needed. 296 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,45
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Presenter les fondements et les evolutions de la musiqueoccidentale, d'une maniere nouvelle car completementrationnelle, voila le but premier du 'Vademecum'. Une foismise au point la codification, originale, de tous lesconcepts mus…icaux, Pierre Barbaud peut alors proposer desmethodes de composition avec un ordinateur.Le livre evite, la plupart du temps, toute secheresse gracea de nombreux exemples et a un style ou l'humour et lesreferences litteraires sont frequents. Un chercheur eninformatique,un musicien ayant quelques notionsscientifiques, ou meme toute personne interessee par lesujet, sans pour autant posseder de connaissances techniquesapprofondies, trouveront donc dans le 'Vademecum del'Ingenieur en Musique' les principes generaux leurpermettant de composer de la musique automatiquement, quelque soit le moyen de productiondu son. 248 pp. Französisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,98
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Drawing on official sources in the Russian language, this book presents new factual information about Russian society before and after the attempted coup of August 1991. 249 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph presents the author's studies in musicrecognition aimed at developing a computer system forautomatic notation of performed music. The performance ofsuch a system is supposed to be similar to that of speechrecognition… systems: acoustical data at the input and musicscoreprinting at the output.The approach to pattern recognition employed is thatofartificial perception, based on self-organizing input datain order to segregate patterns before their identificationby artificial intelligencemethods. The special merit of theapproach is that it finds optimal representations of datainstead of directly recognizing patterns. 232 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,89
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers, updated in some cases,presented at the first AISMC (Artificial Intelligence andSymbolic Mathematical Computations)conference, held inKarlsruhe, August 3-6, 1992. This was the first conferenceto be d…evoted to such a topic after a long period when SMCmade no appearance in AI conferences, though it used to bewelcome in the early days of AI. Some conferences were heldrecently on mathematics and AI, but none was directlycomparable in scope to this conference.Because of the novelty of the domain, authors were givenlonger allocations of time than usual in which to presenttheir work. As a result, extended and fruitful discussionsfollowed each paper. The introductory chapter in this book,which was not presented during the conference, reflects inmany ways the flavor of these discussions and aims to setout the framework for future activities in this domain ofresearch. In addition to the introduction, the volumecontains 20 papers. 324 pp. Englisch.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This supplement contains worked out solutions to the chapter end problem sets found in Digital Communication, Second Edition, ISBN 0-7923-9391-0. 124 pp. Englisch.
Lingua: Inglese
Editore: Springer, Basel, Birkhäuser Basel, Birkhäuser Okt 1993, 1993
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1.1 Background The subject of this book is Morse homology as a combination of relative Morse theory and Conley's continuation principle. The latter will be useda s an instrument to express the homology encoded in a Morse complex associate…d to a fixed Morse function independent of this function. Originally, this type of Morse-theoretical tool was developed by Andreas Floer in order to find a proof of the famous Arnold conjecture, whereas classical Morse theory turned out to fail in the infinite-dimensional setting. In this framework, the homological variant of Morse theory is also known as Floer homology. This kind of homology theory is the central topic of this book. But first, it seems worthwhile to outline the standard Morse theory. 1.1.1 Classical Morse Theory The fact that Morse theory can be formulated in a homological way is by no means a new idea. The reader is referred to the excellent survey paper by Raoul Bott [Bol. 236 pp. Englisch.
