Springer berlin heidelberg sep 1997 (81 risultati)

Buch. Condizione: Neu. Neuware - For everyone concerned with the technology and application of metals and alloys and with the development of new metallic materials, a detailed knowledge of phase equilibria is indispensable. Also, information on the thermodynamical and crystallographical data of the systems under investigation is essential, and often metastable crystalline phases as well as quasicrystalline or amorphous alloys are of interest. Vol. IV/5 presents all these data. Because of the large amount available of experimental evidence and thermochemical calculations, a presentation in one volume, as it was realized several decades ago in the widely used book of M. Hansen ''Aufbau der Zweistoff-Legierungen'' proved to be impossible. So volume IV/5 had to be divided into several subvolumes which cover - in alphabetical order - all binary systems of importance. Subvolume IV/5H, the eighth of the series, deals with the systems Li-Mi . Nd-Zr. Further subvolumes are in preparation.Some physical properties of the elements.- Crystal structures of the elements.- Allotropic modifications of elements at normal pressure.- High-pressure modifications of elements.- Some thermodynamic properties of the elements.- Enthalpies of transition of elements in the solid state.- Li-X binary systems.- Lr-X binary systems.- Lu-X binary systems.- Md-X binary systems.- Mg-X binary systems.- Mn-X binary systems.- Mo-X binary systems.- N-X binary systems.- Na-X binary systems.- Nb-X binary systems.- Nd-X binary systems.- Index of binary alloys for subvolumes A-H.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Any topological theory of knots and links should be based on simple ideas of intersection and linking. In this book, a general theory of link bordism in manifolds and universal constructions of linking numbers in oriented 3-manifolds are developed. In this way, classical concepts of link theory in the 3-spheres are generalized to a certain class of oriented 3-manifolds (submanifolds of rational homology 3-spheres). The techniques needed are described in the book but basic knowledge in topology and algebra is assumed. The book should be of interst to those working in topology, in particular knot theory and low-dimensional topology. 184 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book lays the algebraic foundations of a Galois theory of linear difference equations and shows its relationship to the analytic problem of finding meromorphic functions asymptotic to formal solutions of difference equations. Classically, this latter question was attacked by Birkhoff and Tritzinsky and the present work corrects and greatly generalizes their contributions. In addition results are presented concerning the inverse problem in Galois theory, effective computation of Galois groups, algebraic properties of sequences, phenomena in positive characteristics, and q-difference equations. The book is aimed at advanced graduate researchers and researchers. 196 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book studies the large-time asymptotic behavior of solutions of the pure initial value problem for linear dispersive equations with constant coefficients and homogeneous symbols in one space dimension. Complete matched and uniformly-valid asymptotic expansions are obtained and sharp error estimates are proved. Using the method of steepest descent much new information on the regularity and spatial asymptotics of the solutions are also obtained. Applications to nonlinear dispersive equations are discussed. This monograph is intended for researchers and graduate students of partial differential equations. Familiarity with basic asymptotic, complex and Fourier analysis is assumed. 228 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On peut aujourd'hui avec Mathématica sur Mac, PC ou station, dans un même cadre et avec une même cohérence, tout à la fois travailler, calculer, programmer, dessiner, tester, vérifier, construire, imaginer, rédiger, mettre en page et démontrer. Ce livre en donne un premier avant-gout par l'exemple, car il a été réalisé entièrement en Mathématica sur MAC. 480 pp. Französisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th Portuguese Conference on Artificial Intelligence, EPIA '97, held in Coimbra, Portugal, in October 1997.The volume presents 24 revised full papers and 9 revised posters selected from 74 submissions from various countries. Also included are two full invited papers and two abstracts of invited talks. The papers are organized in topical sections on automated reasoning and theorem proving; CBR and machine learning; constraints; intelligent tutoring; knowledge representation; multi-agent systems and DAI; nonmonotonic, qualitative and temporal reasoning, and problem solving. 420 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Workshop on Algorithmic Learning Theory, ALT'97, held in Sendai, Japan, in October 1997.The volume presents 26 revised full papers selected from 42 submissions. Also included are three invited papers by leading researchers. Among the topics addressed are PAC learning, learning algorithms, inductive learning, inductive inference, learning from examples, game-theoretical aspects, decision procedures, language learning, neural algorithms, and various other aspects of computational learning theory. 484 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Among the founding fathers of modern quantum physics few have contributed to our basic understanding of its concepts as much as E.P. Wigner. His articles on the epistemology of quantum mechanics and the measurement problem, and the basic role of symmetries were of fundamental importance for all subsequent work. He was also the first to discuss the concept of consciousness from the point of view of modern physics. G.G. Emch edited most of those papers and wrote a very helpful introduction into Wigner's contributions to Natural Philosophy. The book should be a gem for all those interested in the history and philosophy of science. 648 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Workshop on Distributed Algorithms, WDAG '97, held in Saarbrücken, Germany, in September 1997.The volume presents 20 revised full papers selected from 59 submissions. Also included are three invited papers by leading researchers. The papers address a variety of current issues in the area of distributed algorithms and, more generally, distributed systems such as various particular algorithms, randomized computing, routing, networking, load balancing, scheduling, message-passing, shared-memory systems, communication, graph algorithms, etc. 352 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the strictly refereed post-workshop proceedings of the 6th International Workshop on Inductive Logic Programming, ILP-96, held in Stockholm, Sweden, in August 1996.The 21 full papers were carefully reviewed and selected for inclusion in the book in revised version. Also included is the invited contribution 'Inductive logic programming for natural language processing' by Raymond J. Mooney. Among the topics covered are natural language learning, drug design, NMR and ECG analysis, glaucoma diagnosis, efficiency measures for implementations and database interaction, program synthesis, proof encoding and learning in the absence of negative data, and least generalizations under implication ordering. 412 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a thoroughly arranged anthology outlining the state of the art in the emerging area of visual informationsystems. The chapters presented are a selection of thoroughly refereed and revised full papers first presented at the First International Conference on visual Information Systems held in February 1996. Next generation information systems have a high visual content, and there will be a shift in emphasis from a paradigm of predominantly alphanumeric data processing to one of visual information processing. The book provides a detailed introductory chapter, two keynotes by leading authorities, sections on design and architecture, database management and modelling, contend-based search and retrieval, feature extraction and indexing, query model and interface, and object recognition and content organization. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Speech technology, the automatic processing of (spontaneously) spoken language, is now known to be technically feasible. It will become the major tool for handling the confusion of languages with applications including dictation systems, information retrieval by spoken dialog, and speech-to-speech translation. The book gives a throrough account of prosodic phenomena. The author presents in detail the mathematical and comnputational background of the algorithms and statistical models used and develops algorithms enabling the exploitation of prosodic information on various levels of speech understanding, such as syntax, semantics, dialog, and translation. Then he studies the integration of these algorithms in the speech-to-speech translation system VERBMOBIL and in the dialog system EVAR and analyzes the results. 388 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th Congress of the Italian Association for Artificial Intelligence, AI\*IA 97, held in Rome, Italy, in September 1997.The 37 revised full papers and 8 system descriptions presented in the volume were selected from 88 papers submitted. The papers are organized in topical sections on machine learning; natural language processing; perception, vision and robotics; distributed artificial intelligence; and planning. 480 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is a pleasure and an honor to write a foreword for Jennifer Lennon's book Hypermedia Systems and Applications: World Wide Web and Beyond. I am fortunate to have been able to follow the development of this book from an excellent Ph.D. thesis to what I would consider one of the best and most comprehensive books in the area. It has a good chance to become a must for teachers, researchers, and practitioners. For the sake ofthis foreword let us combine the phenomena hypermedia, the Internet, and the WWW by just calling them the Web. Well, this Web surely has become one of the 'super hot topics', from both a scholarly and a commercial point ofview! We have a saying that the Web is like a dog: one year's development of the Web corresponds to seven human years. You will be familiar with Murphy's law: 'Anything that can go wrong will go wrong', and with a plethora of derivatives or specializations thereof like: 'If you are in an otherwise empty locker room, the only other person there is bound to have a locker just on top ofyours'; or: 'If traffic is moving slowly, you are always going to be in the slowest moving lane', and so on. Well, I have coined a version that applies to the Web: 'Whenever you have understood an important new development concerning the Web you can be sure that it is obsolete'. 320 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Inductive Logic Programming, ILP-97, held in Prague, Czech Republic, in September 1997.The volume presents revised versions of nine papers in long version and 17 short papers accepted after a thorough reviewing process. Also included are three invited papers by Usama Fayyad, Jean-Francois Puget, and Georg Gottlob. Among the topics addressed are various logic programming issues, natural language processing, speech processing, abductive learning, data mining, knowledge discovery, and relational database systems. 328 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Artificial Neural Networks, ICANN'97, held in Lausanne, Switzerland,in October 1997. The 201 revised papers presented were selected from a large number of submissions and give a unique documentation of the state of the art in the area. The papers are organized in parts on coding and learning in biology; cortical maps and receptive fields; learning: theory and applications; signal processing: blind source separation, vector quantization, and self-organization; robotics, autonomous agents, and control; speech, vision and pattern recognition; prediction, forecasting and monitoring; and implementations. 1324 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Principles of Document Processing, PODP'96, held in Palo Alto, California, USA, in September 1996. The book contains 13 revised full papers presented as chapters of a coherent, monograph-like book. The papers focus equally on the theory and the practice of document processing. Among the topics covered are theory of media, cross media publishing and multi-modal documents, SGML content models, grammar-compatible stylesheets, multimedia documents, temporal constraints in multimedia, hypertext representation, contextual knowledge, structured documents for IR, Web-publishing, virtual documents, etc. 216 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Lehrbuch ist die erste umfassende und einheitliche Einführung in die Constraint-Programmierung. Das noch junge Gebiet hat von Anfang an Forschung und Praxis neue Impulse gegeben. Constraint-Programmierung kann vorteilhaft eingesetzt werden zum Schließen auch bei unvollständiger Information (z.B. Finanzanalyse) und zum Lösen kombinatorischer Probleme (z.B. Zeitplanung, Entwurfsoptimierung) in Entscheidungsunterstützungssystemen.Das Buch bietet eine kompakte aktuelle Darstellung der wesentlichen Aspekte und Entwicklungen in der logikorientierten Constraint-Programmierung - von der theoretisch fundierten Beschreibung der unterschiedlichen Klassen von Programmiersprachen über die gängigen Arten von Constraintsystemen und -lösern bis zu konkreten Anwendungsbeispielen aus der Praxis. Auf den WWW-Seiten zu diesem Buch finden sich Software, Lehrmaterial und mehr. 176 pp. Deutsch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews: '. In sum, the volume under review is the first quarter of an important work that surveys an active branch of modern mathematics. Some of the individual articles are reminiscent in style of the early volumes of the first Ergebnisse series and will probably prove to be equally useful as a reference; .for the appropriate reader, they will be valuable sources of information about modern complex analysis.' Bulletin of the Am.Math.Society, 1991'. This remarkable book has a helpfully informal style, abundant motivation, outlined proofs followed by precise references, and an extensive bibliography; it will be an invaluable reference and a companion to modern courses on several complex variables.' ZAMP, Zeitschrift für Angewandte Mathematik und Physik, 1990 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the 10th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW '97, held in Sant Feliu de Guixols, Catalonia, Spain, in October 1997.The 20 revised full papers and 11 short papers presented were carefully selected from numerous submissions. Also included is one invited presentation. Among the topics covered are the mainstream knowledge acquisition issues, but also more innovative ones, knowledge integration, enterprise modelling, knowledge reuse, natural language processing, problem solving, knowledge extraction, Web-based knowledge systems, machine learning, data mining, etc. 408 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Document imaging is a new discipline in applied computer science. It is building bridges between computer graphics, the world of prepress and press, and the areas of color vision and color reproduction. The focus of this book is of special relevance to people learning how to utilize and integrate such available technology as digital printing or short run color, how to make us of CIM techniques for print products, and how to evaluate related technologies that will become relevant in the next few years. This book is the first to give a comprehensive overview of document imaging, the areas involved, and how they relate. For readers with a background in computer graphics it gives insight into all problems related to putting information in print, a field only very thinly covered in textbooks on coputer graphics. 208 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the reviews: '. The author succeeded in an excellent way to describe the various points of view under which Class Field Theory can be seen. . In any case the author succeeded to write a very readable book on these difficult themes.' Monatshefte fuer Mathematik, 1994'. Number theory is not easy and quite technical at several places, as the author is able to show in his technically good exposition. The amount of difficult material well exposed gives a survey of quite a lot of good solid classical number theory. Conclusion: for people not already familiar with this field this book is not so easy to read, but for the specialist in number theory this is a useful description of (classical) algebraic number theory.' Medelingen van het wiskundig genootschap, 1995 280 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -It is a pleasure and an honor to write a foreword for Jennifer Lennon's book Hypermedia Systems and Applications: World Wide Web and Beyond. I am fortunate to have been able to follow the development of this book from an excellent Ph.D. thesis to what I would consider one of the best and most comprehensive books in the area. It has a good chance to become a must for teachers, researchers, and practitioners. For the sake ofthis foreword let us combine the phenomena hypermedia, the Internet, and the WWW by just calling them the Web. Well, this Web surely has become one of the 'super hot topics', from both a scholarly and a commercial point ofview! We have a saying that the Web is like a dog: one year's development of the Web corresponds to seven human years. You will be familiar with Murphy's law: 'Anything that can go wrong will go wrong', and with a plethora of derivatives or specializations thereof like: 'If you are in an otherwise empty locker room, the only other person there is bound to have a locker just on top ofyours'; or: 'If traffic is moving slowly, you are always going to be in the slowest moving lane', and so on. Well, I have coined a version that applies to the Web: 'Whenever you have understood an important new development concerning the Web you can be sure that it is obsolete'.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Among the founding fathers of modern quantum physics few have contributed to our basic understanding of its concepts as much as E.P. Wigner. His articles on the epistemology of quantum mechanics and the measurement problem, and the basic role of symmetries were of fundamental importance for all subsequent work. He was also the first to discuss the concept of consciousness from the point of view of modern physics. G.G. Emch edited most of those papers and wrote a very helpful introduction into Wigner's contributions to Natural Philosophy. The book should be a gem for all those interested in the history and philosophy of science.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Lehrbuch baut auf den Themen 'Grundlagen und funktionales Programmieren' und 'Objektorientiertes Programmieren und Algorithmen' der ersten beiden Bände auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexitätstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird erörtert, wie man Systemaufgaben analysiert und spezifiziert. TOC:Berechenbarkeit.- Komplexitätstheorie.- Formale Sprachen. - Programmtransformationen.- Spezifikationsmethoden I: Z.- Verhaltensspezifikationen, Synchronisierung und Kommunikation. 300 pp. Deutsch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th European Conference on Software Engineering, FSE '97, held jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE '97 in Zurich, Switzerland in September 1997.The volume presents 27 revised full papers selected from a total of 194 submissions. Also included are six invited presentations. All in all the volume is a unique presentation of state-of-the-art research and development in software engineering. The papers are organized in topical sections on software engineering education, software architecture, processes, configuration and process tools, formal analysis, empirical studies, system modelling, testing, program analysis, and decomposition and distribution. 552 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, IDMS'97, held in Darmstadt, Germany, in September 1997. The 41 revised full papers presented in the book were selected from over 100 submissions. The papers are organized in sections on media coding and content processing, development and interoperability, on-demand systems, multicast and FEC, video server and systems, video transmission, production and authoring, multimedia applications, mobility, CSCW and system performance, MM communication over ATM networks, CSCW and teleteaching, QoS for media presentations, QoS and scaling. 488 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ce livre est exclusivement consacré aux algorithmes numériques d'optimisation (quasi-Newton, faisceaux, programmation quadratique successive, points intérieurs); les bases théoriques (conditions d'optimalité, multiplicateurs de Lagrange) sont supposées connues.Son but est de familiariser le lecteur avec ces algorithmes, qui sont pour la plupart bien classiques. Leur description insiste sur leur implémentation numérique, ils peuvent être programmés directement par un lecteur expérimenté. Le côté théorique n'est pas pour autant négligé, avec démonstration de chaque théorème de convergence ou vitesse de convergence; souvent, ces démonstrations utilisent des hypothèses minimales. 336 pp. Französisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The application of extracorporeal shock waves in the locomotor apparatus offers new therapeutic concepts. This book provides an up-to-date overview on the use of shock waves in orthopaedics. The main emphasis is laid on the basics of shock wave techniques and on the impact of shock waves on cells and organs. The reader is provided with a summary of experimental and clinical results of shock wave therapy applied to the bone and the epiphyseal growth plate. Authors from five clinical centres report on their experiences with shock wave therapy in tendinosis calcarea, epicondylopathy and calcar spur. Furthermore they report on first experiences with shock wave therapy in children with cerebral paresis. 260 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability. 708 pp. Englisch. …