Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540678611ISBN 13: 9783540678618
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a new approach to the theory of non-holomorphic modular forms, based on ideas from quantization theory or pseudodifferential analysis. Extending the Rankin-Selberg method so as to apply it to the calculation of the Roelcke-Selberg decomposition of the product of two Eisenstein series, one lets Maass cusp-forms appear as residues of simple, Eisenstein-like, series. Other results, based on quantization theory, include a reinterpretation of the Lax-Phillips scattering theory for the automorphic wave equation, in terms of distributions on R2 automorphic with respect to the linear action of SL(2,Z). 268 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540674969ISBN 13: 9783540674962
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 560 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679960ISBN 13: 9783540679967
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Workshop on Approximation Algorithms for Combinatorial Optimization ProblemsAPPROX 2000 focuses on algorithmic and complexity aspects ar- ing in the development of e cient approximate solutions to computationally di cult problems. It aims, in particular, at fostering cooperation among - gorithmic and complexity researchers in the eld. The workshop, to be held at the Max-Planck-Institute for Computer Science in Saarbruc ken, Wermany, co-locates with ESA 2020 and WWE 2000. We would like to thank the local organizers at the Max-Planck-Institute (AG 8, Kurt Mehlhorn), for this opp- tunity. APPVOXis an annual meeting, with previousworkshopsin Aalborg and Berkeley. Previous proceedings appeared as LNCS 1464 and 1671. Topics of interest for APPROX 2000 are: design and analysis of appro- mation algorithms, inapproximability results, on-line problems, randomization techniques, average-case analysis, approximation classes, scheduling problems, routingand owproblems,coloringandiartitioning,cutsandconnectivity,pa- ing and covering, geometric problems, network design, and various applications. The numberof submitted papersto APPROX 2000was68 fromwhich 23 paters were selected. This volume contains the selected papers plus papers by invited speakers. All papers published in the workshop proceedings nere selected by the program committee on the basis of referee reports. Each paper was reviewed vy at least three referees who judged the papers for originality, quality, and consistency with the topics of the conference. 292 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679073ISBN 13: 9783540679073
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 564 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540410104ISBN 13: 9783540410102
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 42 revised contributions presented at the Seventh European PVM/MPI Users' Group Meeting, which was held in Balatonfr ed, Hungary, 10 13 September 2000. The conference was organized by the Laboratory of Parallel and Distributed Systems of the Computer and Automation Research Institute of the Hungarian Academy of Sciences. This conference was previously held in Barcelona, Spain (1999), Liverpool, UK (1998) and Cracow, Poland (1997). The first three conferences were devoted to PVM and were held at the Technische Universit t M nchen, Germany (1996), Ecole Normale Superieure Lyon, France (1995), and University of Rome, Italy (1994). This conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interaction between those groups has proved to be very useful for developing new ideas in parallel computing and for applying existing ideas to new practical fields. The main topics of the meeting were evaluation and performance of PVM and MPI, extensions and improvements to PVM and MPI, algorithms using the message passing paradigm, and applications in science and engineering based on message passing. The conference included four tutorials and five invited talks on advances in MPI, cluster computing, network computing, grid computing, and SGI parallel computers and programming systems. 384 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540410201ISBN 13: 9783540410201
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the Proceedings of the Fourth International Conference on Coordination Models and Languages, Coordination 2000. It was held in the wake of three successful earlier conferences whose proceedings were also p- lished in this series, in volumes 1061, 1282 and 1594. The need for increased programmer productivity and rapid development of complex systems provides pragmatic motivation for the development of coordination languages and m- els. The intellectual excitement associated with such endeavors is rooted in the decades-old desire to cope with increasingly higher levels of abstraction. Coordination-based methods provide a clean separation between individual so- ware components and their interactions within the overall software organization. This separation promises to make application development more tractable, to support global analysis, and to enhance software reuse. These are indeed major concerns in the information age, at a time when all aspects of society are relying, to an ever increasing degree, on software systems of unprecedented complexity. Research on coordination methods is likely to play a central role in addressing these technological concerns by changing the software culture around us and by leading to the development of e ective technical solutions for a broad range of important problems. 368 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540678859ISBN 13: 9783540678854
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed. The book is divided in topical sections on constraint propagation and manipulation, constraint programming, and rule-based constraint programming. 356 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540410309ISBN 13: 9783540410300
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The SPIN workshop is a forum for researchers interested in the subject of automata-based, explicit-state model checking technologies for the analysis and veri cation of asynchronous concurrent and distributed systems. The SPIN - del checker , developed by Gerard Holzmann, is one of the best known systems of this kind, and has attracted a large user community. This can likely be attributed to its e cient state exploration algorithms. The fact that SPIN's modeling language, Promela, resembles a programming language has probably also contributed to its success. Traditionally, the SPIN workshops present papers on extensions and uses of SPIN. As an experiment, this year's workshop was broadened to have a slightly wider focus than previous workshops in that papers on software veri cation were encouraged. Consequently, a small collection of papers describe attempts to analyze and verify programs written in conventional programming languages. Solutions include translations from source code to Promela, as well as specially designed model checkers that accept source code. We believe that this is an - teresting research direction for the formal methods community, and that it will result in a new set of challenges and solutions. Of course, abstraction becomes the key solution to deal with very large state spaces. However, we also see - tential for integrating model checking with techniques such as static program analysis and testing. Papers on these issues have therefore been included in the proceedings. 360 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679804ISBN 13: 9783540679806
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Second International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2000) was held in Greenwich, UK 4-6 September. DaWaK 2000 was a forum where researchers from data warehousing and knowledge discovery disciplines could exchange ideas on improving next generation decision support and data mining systems. The conference focused on the logical and physical design of data warehousing and knowledge discovery systems. The scope of the papers covered the most recent and relevant topics in the areas of data warehousing, multidimensional databases, OLAP, knowledge discovery and mining complex databases. These proceedings contain the technical papers selected for presentation at the conference. We received more than 90 papers from over 20 countries and the program committee finally selected 31 long papers and 11 short papers. The conference program included three invited talks, namely, 'A Foolish Consistency: Technical Challenges in Consistency Management' by Professor Anthony Finkelstein, University College London, UK; 'European Plan for Research in Data Warehousing and Knowledge Discovery' by Dr. Harald Sonnberger (Head of Unit A4, Eurostat, European Commission); and 'Security in Data Warehousing' by Professor Bharat Bhargava, Purdue University, USA. 452 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 354041021XISBN 13: 9783540410218
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Cooperation among systems has gained substantial importance in recent years: electronic commerce virtual enterprises and the middleware paradigm are just some examples in this area. CoopIS is a multi-disciplinary conference, which deals with all aspects of cooperation. The relevant disciplines are: collaborative work, distributed databases, distributed computing, electronic commerce, human-computer interaction, multi-agent systems, information retrieval, and workflow systems. The CoopIS series provides a forum for well-known researchers who are drawn by the stature and the tradition of these conference series and has a leading role in shaping the future of the cooperative information systems area. CoopIS 2000 is the seventh conference in the series and the fifth conference organized by the International Foundation on Cooperative Information Systems (IFCIS). It is sponsored by the IFCIS, the IBM Research Laboratory in Haifa and Compaq, Tandem labs Israel. It replaces the former international workshops on Interoperability in Multidatabase systems (IMS) and the conference series on Cooperative Information Systems (CoopIS & ICICIS). In response to the call for papers 74 papers were submitted. Each of them was reviewed by at least three reviewers, and at the end of this process 24 papers were accepted for presentation at the conference. Six additional papers were selected for short presentations. In addition the conference includes two panels, two keynote speakers (Professor Calton Pu from Georgia Tech and Professor Sheizaf Rafaeli from Haifa University) and one tutorial. A special issue of the International Journal of Cooperative Information Systems will follow. August 2000 Opher Etzion & Peter Scheuermann 352 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540677852ISBN 13: 9783540677857
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last two decades, in several branches of science (water waves, crystal growth, travelling waves in one dimensional lattices, splitting of separatrices,.) different problems appeared in which the key point is the computation of exponentially small terms. This self-contained monograph gives new and rigorous mathematical tools which enable a systematic study of such problems. Starting with elementary illuminating examples, the book contains (i) new asymptotical tools for obtaining exponentially small equivalents of oscillatory integrals involving solutions of nonlinear differential equations; (ii) implementation of these tools for solving old open problems of bifurcation theory such as existence of homoclinic connections near resonances in reversible systems. 436 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 354041004XISBN 13: 9783540410041
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
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 Annual European Symposium on Algorithms, ESA 2000, held in Saarbrücken, Germany in September 2000. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are parallelism, distributed systems, approximation, combinatorial optimization, computational biology, computational geometry, external-memory algorithms, graph algorithms, network algorithms, online algorithms, data compression, symbolic computation, pattern matching, and randomized algorithms. 460 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 354067750XISBN 13: 9783540677505
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modern physics is confronted with a large variety of complex spatial patterns. Although both spatial statisticians and statistical physicists study random geometrical structures, there has been only little interaction between the two up to now because of different traditions and languages. This volume aims to change this situation by presenting in a clear way fundamental concepts of spatial statistics which are of great potential value for condensed matter physics and materials sciences in general, and for porous media, percolation and Gibbs processes in particular. Geometric aspects, in particular ideas of stochastic and integral geometry, play a central role throughout. With nonspecialist researchers and graduate students also in mind, prominent physicists give an excellent introduction here to modern ideas of statistical physics pertinent to this exciting field of research. 436 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540410422ISBN 13: 9783540410423
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The workshop series on Text, Speech and Dialogue originated in 1998 with the rst TSD1998 held in Brno, Czech Republic. This year's TSD2000, already the third in the series, returns to Brno and to its organizers from the Faculty of Informatics at the Masaryk University. As shown by the ever growing interest in TSD series, this annual workshop developed into the prime meeting of speech and language researchers from both sides of the former Iron Curtain, which provides a unique opportunity to get acquainted with the current activities in all aspects of language communication and to witness the amazing vitality of researchers from the former East Block countries. Thanks need to be extended to all who continue to make the TSD workshop series such a success: rst, to the authors themselves, without whom TSD2000 would not exist; next, to all organizations that support TSD2000, among them the International Speech Communication Association, the Faculty of Informatics at the Masaryk University in Brno and the Faculty of Applied Sciences, West Bohemia University in Plzen; and last but not least,to the organizers and members of the Program Committee who spentmuch effort to make TSD2000 success and who reviewed 131 contributions submitted from all corners of the world and accepted 75 out of them for presentation at the workshop. This book is evidence of the success of all involved. 480 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540410325ISBN 13: 9783540410324
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A computational model is a framework for doing computations according to certain specified rules on some input data. These models come for example from automata theory, formal language theory, logic, or circuit theory. The computational power of such a model can be judged by evaluating certain problems with respect to that model.The theory of computations is the study of the inherent difficulty of computational problems, that is, their computational complexity. This monograph analyzes the computational complexity of the satisfiability, equivalence, and almost-equivalence problems with respect to various computational models. In particular, Boolean formulas, circuits, and various kinds of branching programs are considered. 148 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679332ISBN 13: 9783540679332
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thepaperscollectedin thisvolumewerepresentedatthe fth EuropeanWo- shoponCase-BasedReasoning(EWCBR2K)heldTrento,Italy.EWCBR2K was the last episode of a series of very successful meetings held previously in Kaiserslautern (1993), Paris (1994), Lausanne (1996) and Dublin (1998) that traditionally attract European and international researchers and practitioners in case-basedreasoning. Case-based reasoning is a recent eld of research with a long history of - plications. The organization of the volume is consistent with this vision of the eld and, afteran initial partdevotedto the invited papers,the twomain parts containresearchandapplicationpapersrespectively.The overallresultisa r- resentative snapshot of current researchand state of the artapplications. The meritforthisvolumegoestotheauthorsofthepapers,theProgramCommittee andalltheadditionalreviewerswhosecombinede ortproducedthishigh-quality scienti c work. The organizers would like to thank all the people who contributed to the success of the workshop: in particular, Francesco Ricci who originally proposed to have EWCBR2K in Italy; Fausto Giunchiglia, Paolo Traverso and Oliviero Stock who backed the proposal and assured the institutional committment of ITC-irst and University of Trento; Paolo Avesani, Mehmet Goeker and Michel Manago who developed the traditional industrial-day into the rst edition of Innovative Customer Centered Applications (ICCA), a co-located event with a focused target on industry people; Giampaolo Avancini, Sara Beatrici, Morena Carli, Carola Dori, Alessandro Tuccio, of ITC-IRST and Fabrizio Di Bartolo of UniversityoftheEasternPiedmontwhoweree ective,professionalandfriendly whileprovidingtechnicalandadministrativesupportfortheorganizationofthe event. We would like to o er thanks for the support provided by EWCBR-98, MLNET,theItalianAssociationforArti cialIntelligence(AI IA)andthe- partmentofAdvancedSciencesandTechnologies(DISTA)oftheUniversityof EasternPiedmont(Universit` adelPiemonteOrientale A.Avogadro ).Aspecial thanktotheinvitedspeakersBarrySmythandQiangYangandtoallthechairs ofthesessionsand nally,toSpringer-Verlagfortheirhelpandtheirenthusiastic agreementon the publication of this volume. 552 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540672516ISBN 13: 9783540672517
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Psychogen oder psychosomatisch erkrankte Patienten machen einen Großteil der Patienten in jeder Allgemeinarztpraxis aus. Wie geht man als Arzt mit diesen Patienten um Wie spricht man mit ihnen Wie baut man ein vertrauensvolles Arzt-Patient-Verhältnis auf Dieses Buch gibt eine praxisbezogene Anleitung zur verbalen Intervention bei psychogenen bzw. psychosomatischen Erkrankungen. Für verschiedene Patientengruppen und Syndrome wie z.B. Psychosomatik, Suizidalität, Borderline-Syndrom etc. wird die Gesprächsführung exemplarisch dargestellt. Diese ist inzwischen ein Baustein für die Anerkennung, in der fachübergreifenden psychosomatischen Grundversorgung Leistungen erbringen und abrechnen zu können. Kasuistiken und Gesprächssequenzen erläutern die ärztliche Vorgehensweise; zu Gunsten der Praxis ist der theoretische Hintergrund bewußt kurz gehalten. 188 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540675752ISBN 13: 9783540675754
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Bereitstellung von Energie ist eine zentrale Voraussetzung unserer technischen Zivilisation, die einen im Vergleich zu früheren Generationen unvorstellbaren allgemeinen Wohlstand ermöglicht hat. Vor einem Jahrhundert lag der weltweite menschliche Energiebedarf deutlich unter dem Wert, der heute alleine in der Bundesrepublik Deutschland erreicht wird. Steigender Energieverbrauch gilt als eine der Hauptursachen für die zunehmende Belastung der natürlichen Umwelt. Die Natur ist ein hochkomplexes System, in dem dynamische Anpassungsprozesse auf extrem unterschiedlichen Zeitskalen ablaufen. Nur durch global organisierte und interdisziplinär angelegte Ansätze besteht eine Chance, die negativen Auswirkungen des stark wachsenden Energiebedarfs in Grenzen zu halten. 260 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540673725ISBN 13: 9783540673729
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -MATLAB löst die Mathematikaufgaben der Technik und Naturwissenschaften. Dieses Buch eignet sich als Einführung für Einsteiger, begleitendes Übungsbuch für Hörer von Mathematikvorlesungen und Nachschlagewerk für Dozenten und Praktiker. Es enthält zu allen behandelten mathematischen Problemen typische mit MATLAB gelöste Beispiele. Der Leser erlernt so die Anwendung von MATLAB und die Interpretation der Ergebnisse. Die Beispiele beziehen sich auf Release 5.3. 568 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540676740ISBN 13: 9783540676744
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch bietet eine kompakte Zusammenstellung der wichtigsten Phänomene in der Tieftemperaturphysik, die sowohl Studenten (mit dieser Vertiefungsrichtung im Hauptstudium), als auch Doktoranden, Wissenschaftlern und Ingenieuren, die auf diesem Gebiet tätig sind, als Lehrbuch dienen kann. Es eignet sich als Grundlage für entsprechende Vorlesungen. 480 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679588ISBN 13: 9783540679585
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric h as a successor of Pascal. For more than a decade, the conference has wandered through Europe, passing Bled,Slovenia,in1987,Loughborough,UK,in1990,Ulm,Germany,in1994,and Linz, Austria, in 1997. Now, at the beginning of the new millennium, it is back at its roots in Zuric h, Switzerland. While traveling through space and time, the conference has mutated. It has widened its scope and changed its name to Joint Modular Languages Conference (JMLC). With an invariant focus, though, on modularsoftwareconstructioninteaching,research,and'outthere'inindustry. This topic has never been more important than today, ironically not because of insu cient language support but, quite on the contrary, due to a truly c- fusing variety of modular concepts o ered by modern languages: modules, pa- ages, classes, and components, the newest and still controversial trend. 'The recent notion of component is still very vaguely de ned, so vaguely, in fact, that it almost seems advisable to ignore it.' (Wirth in his article 'Records, Modules, Objects, Classes, Components' in honor of Hoare's retirement in 1999). Clar- cation is needed. 316 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 354067912XISBN 13: 9783540679127
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The AMDO 2000 workshop took place at the Universitat de les Illes Balears (UIB) on 7 9 September 2000, sponsored by the International Association for Pattern Recognition Technical Committee, the European Commission by - man Potential Program:High Level Scienti c Conferences and the Mathematics andComputer Science DepartmentofUIB. Thesubject ofthe workshopwas- goingresearchinarticulatedmotiononthesequenceofimagesandsophisticated models for deformable objects. The goals of these areas are to understand and interpret object motion around complex objects that we can nd in sequences of images in the real world. These topics (geometry and physics of deformable models, motion analysis, articulated models and animation, visualization of - formable models, 3D recovery from motion, single or multiple human motion analysis and synthesis, applications of deformable models and motion analysis, etc. ) are interesting examples of how research can be used to solve more general problems. Another objective of this workshop was to relate elds using c- puter graphics, computer animation or applications in several disciplines c- bining synthetic and analytical images. In this regard it is of particular interest to encouragelinksbetweenresearchersinareasofcomputervisionandcomputer graphics who have common problems and frequently use similar techniques. The workshop included four sessions of presented papers and two tutorials. Invited speakers treating various aspects of the topics were: Y. Aloimonos from the Computer Vision Laboratory, Center for Automation Research, University of Maryland, USA, G. Medioni from the Institute for Robotics and Intelligent S- tems,UniversityofSouthernCalifornia,USA,andR. Boulic,Adjointscienti que from the Swiss Federal Institute of Technology Lausanne, Switzerland. September 2000 H. -H. Nagel and F. J. 196 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540662766ISBN 13: 9783540662761
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Lernen mit diesem Buch bringt doppelten Nutzen:1. Wer die Diplomprüfung der Europäischen Akademie für Anästhesiologie erfolgreich absolviert, hat Wettbewerbsvorteile bei der Stellensuche! Das Buch unterstützt Sie optimal bei Ihrer Vorbereitung.o Der gesamte Prüfungsstoff auf dem aktuellen Stando Multiple-Choice-Fragen und Bewertung nach dem EAA-Systemo Ausführliche Kommentare zu den wichtigsten Themen2. Wer sich für die Facharztprüfung qualifiziert und einen übersichtlichen Ratgeber braucht, frischt hier sein Wissen auf und ist in der Praxis sofort up-to-date:o Frage-Antwortsystem zum raschen Nachschlageno Alphabetisch geordnete Kurzbeiträge, die bei der schnellen Lösung anästhesiologischer Probleme helfen.Die komplett überarbeitete Neuauflage enthält alles für den Lernerfolg - jetzt wieder kompakt in einem Band. 456 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540673326ISBN 13: 9783540673323
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In dem Buch Multimedia-Technologie werden Grundlagen, Komponenten und Systeme multimedialer Datenverarbeitung beschrieben. In diesem Werk werden die integrierte digitale Speicherung, Kommunikation, Verarbeitung und Darstellung kontinuierlicher (z.B. Audio, Video) und diskreter Mediendaten (z.B. Grafik, Text) umfassend erläutert. Schwerpunkte bilden Kompressionsverfahren, optische Speicher, Medienserver, Dienstgüte, Kommunikation, Dokumente, Design und Sicherheitsaspekte bei multimedialen Systemen.Die dritte Auflage ist überarbeitet und aktualisiert. 988 pp. Deutsch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679596ISBN 13: 9783540679592
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs'), H. Russ and N. Shankar (on the topic A Tutorial Introduction to PVS'), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages'). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A. 396 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679561ISBN 13: 9783540679561
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms, and applications for parallel computing. The objective of Euro-Par is to provide a forum within which to promote the dev- opment of parallel computing both as an industrial technique and an academic discipline, extending the frontier of both the state of the art and the state of the practice. This is particularlyimportant at a time when parallel computing is - dergoing strong and sustained development and experiencing real industrial take up. The main audience for and participants of Euro-Par are seen as researchers in academic departments, government laboratories, and industrial organisations. Euro-Par's objective is to become the primarychoice of such professionals for the presentation of new results in their speci c areas. Euro-Par is also interested in applications that demonstrate the e ectiveness of the main Euro-Par themes. Euro-Par now has its own Internet domain with a permanent Web site where the historyof the conference series is described: euro-par. org. The Euro-Par conference series is sponsored bythe Association of Computer Machineryand the International Federation of Information Processing. 1448 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540676848ISBN 13: 9783540676843
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is mainly about the field geology of granites at all scales from that of a single outcrop to plutons and batholiths. All field geologists work initially at the scale of the outcrop, consequently most of the phenomena treated herein are those which are visible at outcrop scale. However, granites typically occur as plutons and batholiths, some of which are so large as to apparently defy any effort at systematic treatment. Having had the opportunity of mapping two very large and very different batholiths, namely the Coastal Batholith of Peru and the tin granites of Southeast Asia, I have found that it is possible to map large batholiths within a relatively short time, so that the geology of the batholith as a whole can be appreciated. Moreover batholiths are one of the most common modes of granite occurrence, so it makes sense to study them at their natural scale. During my working life I have worked with many geologists from underdevel oped countries and this book is mainly to help them in unravelling the geology of their native batholiths. I have been lucky with my friends and colleagues of many nationalities, and I particularly thank Wallace Pitcher, who took me on as an untried apprentice in Peru, and who, by his kindness and example, showed me how to look at granites properly. 156 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679774ISBN 13: 9783540679776
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The East European Conference on Advances in Databases and Information - stems (ADBIS) is the successor of the annual International Workshops with the same title that during 1993{1996 were organized in Russia by the Moscow ACM SIGMOD Chapter. Initiated in St. Petersburg, Russia, in 1997, it con- nued in Poznan, Poland, in 1998 and in Maribor, Slovenia, in 1999. The ADBIS Conference became the premier database and information systems conference in Eastern Europe. It intended to increase interaction and collaboration b- ween researchers from the East and the West, and to provide an internationally recognized tribune for the presentation of research results. The International Conference on Database Systems for Advanced Appli- tions (DASFAA) was rst held in Seoul, Korea, in 1989 to promote database research and development activities in Asian and Australasian countries. The Special Interest Group of Database Systems (SIGDBS) of the Information P- cessing Society of Japan (IPSJ) and the Special Interest Group of Data Base (SIGDB) of Korea Information Science Society (KISS) had important roles in the organization of DASFAA. Since that time the DASFAA has been held e- ry two years: Tokyo in 1991, Daejon in 1993, Singapore in 1995, Melbourne in 1997, and Taiwan in 1999. The DASFAA became one of the most prestigious international conferences ever held in Asia or Australasia. 416 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679103ISBN 13: 9783540679103
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
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 International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH 2000, held in Trento, Italy, in August 2000.The 22 revised full papers presented together with 35 short papers were carefully reviewed and selected from 55 submissions. Among the topics covered are hypertext, user modeling, machine learning, natural language generation, information retrieval, intelligent tutoring systems, cognitive science, web-based education, etc. 436 pp. Englisch.
Editore: Springer Berlin Heidelberg Aug 2000, 2000
ISBN 10: 3540679448ISBN 13: 9783540679448
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
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 International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered. 528 pp. Englisch.