Springer berlin heidelberg aug 1997 (64 risultati)
- Altre immagini
- 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 37,44
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 survey covers groups of homotopy self-equivalence classes of topological spaces, and the homotopy type of spaces of homotopy self-equivalences. For manifolds, the full group of equivalences and the mapping class group are comp…ared, as are the corresponding spaces. Included are methods of calculation, numerous calculations, finite generation results, Whitehead torsion and other areas. Some 330 references are given. The book assumes familiarity with cell complexes, homology and homotopy. Graduate students and established researchers can use it for learning, for reference, and to determine the current state of knowledge. 188 pp. Englisch.
- Altre immagini
- 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 38,52
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 -Information extraction (IE) is a new technology enabling relevant content to be extracted from textual information available electronically. IE essentially builds on natural language processing and computational linguistics, but it… is also closely related to the well established area of information retrieval and involves learning. In concert with other promising and emerging information engineering technologies like data mining, intelligent data analysis, and text summarization, IE will play a crucial role for scientists and professionals as well as other end-users who have to deal with vast amounts of information, for example from the Internet. As the first book solely devoted to IE, it is of relevance to anybody interested in new and emerging trends in information processing technology. 232 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 constitutes the refereed proceedings of the First European Conference on Research and Advanced Technology for Digital Libraries held in Pisa, Italy, in September 1997. The volume presents 23 revised full papers selected f…rom 77 submissions. Also included are two invited contributions. The papers are organized in topical sections on supporting user interfaces, metadata, information retrieval, DL architectures, multilingual information retrieval, structured documents, and case studies. 444 pp. Englisch.
- Altre immagini
- 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 presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particu…lar emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general. 276 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 book is devoted to perturbation theory for the Schrödinger operator with a periodic potential, describing motion of a particle in bulk matter. The Bloch eigenvalues of the operator are densely situated in a high energy region,…so regular perturbation theory is ineffective. The mathematical difficulties have a physical nature - a complicated picture of diffraction inside the crystal. The author develops a new mathematical approach to this problem. It provides mathematical physicists with important results for this operator and a new technique that can be effective for other problems. The semiperiodic Schrödinger operator, describing a crystal with a surface, is studied. Solid-body theory specialists can find asymptotic formulae, which are necessary for calculating many physical values. 364 pp. Englisch.
- Altre immagini
- 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 -Nur Contents aufnehmen 436 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Aug 1997, 1997
- 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 constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.Category theory attracts interest in the…theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems. 328 pp. Englisch.
- Altre immagini
- 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 constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997.The volume presents revised versions of 26 full papers and 10 poste…rs selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search. 432 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Aug 1997, 1997
- 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 constitutes the strictly refereed post-workshop proceedings of the 1997 IPPS Workshop on Job Scheduling Strategies for Parallel Processing held in Geneva, Switzerland, in April 1997, as a satelite meeting of the IEEE/CS I…nternational Parallel Processing Symposium.The 12 revised full papers presented were carefully reviewed and revised for inclusion in the book. Also included is a detailed introduction surveying the state of the art in the area. Among the topics covered are processor allocation, parallel scheduling, massively parallel processing, shared-memory architectures, gang scheduling, etc. 316 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997.The 23 revised papers were selected from 61 high-quality submissions on the basis…of at least three reviews. Also included are one system demonstration, three posters, and six invited contributions by leading scientists. The papers are organized in topical sections on procedural languages, logic programming, concurrency, and termination. 432 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revised full papers selected from 38 s…ubmitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity. 364 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Aug 1997, 1997
- 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 constitutes the strictly refereed post-workshop proceedings originating from the Second Australian Workshop on Distributed Artificial Intelligence, held in Cairns, QLD, Australia, in August 1996, as a satellite meeting of… PRICAI'96.The 13 revised full papers presented have been selected for inclusion in the book during a very careful and iterated process of reviewing and improvement. Among these papers are three invited ones, by leading scientists, solicited in order to round off the overall presentation and coverage of relevant topics. A wide range of multi-agent systems issues is covered including methodologies, cooperation, conflict resolution, applications, mobility, adaptation, negotiation, and implementations. 212 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Aug 1997, 1997
- 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 constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held join…tly in Southampton, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods. 308 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Aug 1997, 1997
- 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 constitutes the thoroughly refereed post-conference documentation of the First Asia-Pacific Conference on Simulated Evolution and Learning, SEAL'96, held in Taejon, Korea, in November 1996.The 23 revised full papers were…selected for inclusion in this book on the basis of 2 rounds of reviewing and improvements. Also included are invited papers by John L. Casti and Lawrence J. Fogel. The volume covers a wide range of current topics in simulated evolution and learning e.g. evolutionary optimization, evolutionary learning, artificial life, hybrid evolutionary fuzzy systems, evolutionary artificial neural networks, co-evolution, novel evolutionary approaches to computer tomography image reconstruction, power systems load flow control, and water flow control in cropped soils. 248 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 constitutes the refereed proceedings of the 7th International Workshop on Field Programmable Logic and Applications, FPL '97, held in London, UK, in September 1997. The 51 revised full papers in the volume were carefully…selected from a large number of high-quality papers. The book is divided into sections on devices and architectures, devices and systems, reconfiguration, design tools, custom computing and codesign, signal processing, image and video processing, sensors and graphics, color and robotics, and applications. 524 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 constitutes the refereed proceedings of the 11th International Symposium on Fundamentals of Computer Theory, FCT'97, held in Krakow, Poland, in September 1997.The 34 revised full papers presented in the volume were select…ed from a total of 72 submissions. Also included are six invited papers by leading scientists. The papers address a variety of current topics in theoretical computer science including models of computation, concurrency, algorithms, complexity theory, programming theory, formal languages, graph theory and discrete mathematics, networking, automata theory, term rewriting, etc. 496 pp. Englisch.
- Altre immagini
- 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 constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on… Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc. 444 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 book constitutes the refereed proceedings of the International Workshop on Algebraic Frames for the Perception-Action Cycle, AFPAC '97, held in Kiel, Germany, in September 1997.The volume presents 12 revised full papers careful…ly reviewed and selected for inclusion in the book. Also included are 10 full invited papers by leading researchers in the area providing a representative state-of-the-art assessment of this rapidly growing field. The papers are organized in topical sections on PAC systems, low level and early vision, recognition of visual structure, processing of 3D visual space, representation and shape perception, inference and action, and visual and motor neurocomputation. 412 pp. Englisch.
- Altre immagini
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Aug 1997, 1997
- 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 constitutes the strictly refereed post-workshop proceedings of the Third International Workshop on Rules in Database Systems, RIDS '97, held in Skövde, June 1997.The 13 revised papers presented in the book were carefully…reviewed and selected from 33 submissions. The book documents the state-of-the art in the area. The papers are devoted to deductive databases, active database systems architectures, events in workflow management, rule modelling and simulation, rule confluence, rule termination analysis, rule testing and validation, active database systems design. 228 pp. Englisch.
- Altre immagini
- 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 -Database research in the last decade has increasingly focused on providing support for non-standard applications. One important domain is representation and processing of spatial information, needed, e.g., in geographical informati…on systems. Spatial data types provide a fundamental abstraction for modeling the structure of geometric entities, their relationships, properties and operations. This monograph is an extensive survey of this field and introduces a new, general, sophisticated framework for the formal definition and robust implementation of spatial data types. 296 pp. Englisch.
- Altre immagini
- 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 book constitutes the strictly refereed post-workshop proceedings of the German Conference on Bioinformatics, GCB'96, held in Leipzig, Germany, in September/October 1996. The volume presents 18 revised full papers together with… three invited papers; these contributions were selected after a second round of reviewing from the 91 conference presentations. The book addresses current issues in computational biology and biologically inspired computing. The papers are organized in sections on biological and metabolic pathways, sequence analysis, molecular modeling, visualization, and formal languages, and DNA. 244 pp. Englisch.
- Altre immagini
- 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 book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997.The volume presents 19 carefully revised full p…apers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS. 356 pp. Englisch.
- Altre immagini
- 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 book constitutes the refereed proceedings of the Second International Conference on Coordination Models and Languages, COORDINATION '97, held in Berlin, Germany, in September 1997.The 22 revised full papers and 6 posters prese…nted in the book were carefully reviewed and selected from a total of 69 submissions. Also included are three invited papers. The papers are devoted to an emerging class of languages and models, which have been variously termed coordination languages, configuration languages, and architectural description languages. These formalisms provide a clean separation between software components and their interaction in the overall software organization, which is particularly important for large-scale applications and open systems. 452 pp. Englisch.
- Altre immagini
- 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 85,59
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 state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the a…ctual verification of nontrivial circuits. All in all, the book is a representative and well-structured survey on the success and future potential of formal methods in proving the correctness of circuits. The various chapters describe the respective approaches supplying theoretical foundations as well as taking into account the application viewpoint. By applying all methods and systems presented to the same set of IFIP WG10.5 hardware verification examples, a valuable and fair analysis of the strenghts and weaknesses of the various approaches is given. 388 pp. Englisch.
- Altre immagini
Lingua: Francese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1997, 1997
- 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 -Maple V est un logiciel de calcul formel qui comporte non seulement un environnement interactif mais aussi un langage de programmation. Programmer avec Maple V est un ouvrage entièrement nouveau qui présente les caractéristiques de… ce langage de programmation. Après une introduction aux principes généraux de la programmation, l'ouvrage présente les multiples possibilités des structures de données de Maple à travers des exemples variés allant de la simple évaluation mathématique à la réalisation de programmes complexes. Les chapitres qui suivent sont consacrés à des thèmes particuliers comme la description des structures de données utilisées par Maple pour élaborer des graphiques des entrées/sorties ou l'utilisation du debogueur. 416 pp. Französisch.
- Altre immagini
Lingua: Inglese
Editore: Springer, Springer Berlin Heidelberg Aug 1997, 1997
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Most organisations try to protect their systems from unauthorised access, usually through passwords. Considerable resources are spent designing secure authentication mechanisms, but the number of security breaches and problems is still… increasing (DeAlvare, 1990; Gordon, 1995; Hitchings, 1995). Unauthorised access to systems, and resulting theft of information or misuse of the system, is usually due to hackers 'cracking' user passwords, or obtaining them through social engineering. System security, unlike other fields of system development, has to date been regarded as an entirely technical issue - little research has been done on usability or human factors related to use of security mechanisms. Hitchings (1995) concludes that this narrow perspective has produced security mechanisms which are much less effective than they are generally thought to be. Davis & Price (1987) point out that, since security is designed, implemented, used and breached by people, human factors should be considered in the design of security mechanism. It seems that currently hackers pay more attention to human factors than security designers do. The technique of social engineering, for instanc- obtaining passwords by deception and persuasion- exploits users' lack of security awareness. Hitchings (1995) also suggests that organisational factors ought to be considered when assessing security systems. The aim of the study described in this paper was to identify usability and organisational factors which affect the use of passwords. The following section provides a brief overview of authentication systems along with usability and organisational issues which have been identified to date. 1.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch.
- Altre immagini
- 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 29,99
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 Deutschland hat sich nach dem Zusammenbruch des Weltwährungssystems von Bretton Woods ein stabilitätspolitisches Regime etabliert, das dem Ziel der Geldwertstabilisierung Vorrang vor den anderen stabilitätspolitischen Zielen gib…t. Dieses Lehrbuch untersucht die Implikationen einer Dominanz der Geldwertstabilisierung für alle Bereiche der Stabilitätspolitik. In die Untersuchung werden auch die stabilitätspolitischen Strategien einer künftigen Europäischen Währungsunion einbezogen. Im Anschluß an eine kurze Einführung in die methodischen und theoretischen Grundlagen der Stabilitätspolitik werden modellanalytische Schlußfolgerungen zur Stabilitätspolitik jeweils mit konkreten Problemlagen für komplexe Handlungssituationen konfrontiert. TOC:Theoretische Grundlagen der Stabilisierung: Die Instabilität von Marktprozessen.- Der Konjunkturzyklus.- Die Inflation.- Die Stagnation.- Der Entwurf stabilitätspolitischer Strategien: Rollenverteilung in der Stabilitätspolitik.- Die Rolle der Geldpolitik.- Die offene Volkswirtschaft: Geldpolitik als Wechselkurspolitik.- Die Rolle der Einkommenspolitik.- Die Rolle der Finanzpolitik.- Die Rolle der Arbeitsmarktpolitik.- Wirtschaftspolitische Probleme der deutschen Vereinigung.- Die Stabilisierungsaufgabe in einem integrierten Europa: Theorie des optimalen Währungsraumes.- Das Europäische Währungssystem (EWS).- Die Europäische Währungsunion und der Vertrag von Maastricht.- Finanzpolitik in einer Währungsunion. 332 pp. Deutsch.
- Altre immagini
- 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 96,29
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 -Challenging Neighbours provides wide coverage of the German and Dutch economies, from an institutional point of view. Pensions, competition policy, labour relations, corporate governance, and health care are among the topics for wh…ich the institutional setting and performance of Germany and the Netherlands are compared. The difficulties and successes the countries have in facing pressures from aging population, developments in technology, and global competition are traced back to their institutional roots, and lead to mutual lessons for institutional reform for German and Dutch policy makers. 604 pp. Englisch.
- Altre immagini
- 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 96,29
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 contributes to re cent developments on the statistical analysis of multiple time series in the presence of regime shifts. Markov-switching models have become popular for modelling non-linearities and regime shifts, mainly…, in univariate eco nomic time series. This study is intended to provide a systematic and operational ap proach to the econometric modelling of dynamic systems subject to shifts in regime, based on the Markov-switching vector autoregressive model. The study presents a comprehensive analysis of the theoretical properties of Markov-switching vector autoregressive processes and the related statistical methods. The statistical concepts are illustrated with applications to empirical business cyde research. This monograph is a revised version of my dissertation which has been accepted by the Economics Department of the Humboldt-University of Berlin in 1996. It con sists mainly of unpublished material which has been presented during the last years at conferences and in seminars. The major parts of this study were written while I was supported by the Deutsche Forschungsgemeinschajt (DFG), Berliner Graduier tenkolleg Angewandte Mikroökonomik and Sondeiforschungsbereich 373 at the Free University and Humboldt-University of Berlin. Work was finally completed in the project The Econometrics of Macroeconomic Forecasting founded by the Economic and Social Research Council (ESRC) at the Institute of Economies and Statistics, University of Oxford. It is a pleasure to record my thanks to these institutions for their support of my research embodied in this study. 372 pp. Englisch.
- Altre immagini
- 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 96,29
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 constitutes the refereed proceedings of the 5th Annual International European Symposium on Algorithms, ESA'97, held in Graz, Austria, September 1997.The 38 revised full papers presented were selected from 112 submitted pa…pers. The papers address a broad spectrum of theoretical and applicational aspects in algorithms theory and design. Among the topics covered are approximation algorithms, graph and network algorithms, combinatorial optimization, computational biology, computational mathematics, data compression, distributed computing, evolutionary algorithms, neural computing, online algorithms, parallel computing, pattern matching, and others. 536 pp. Englisch.
