springer berlin heidelberg jul 2004 (166 resultados)

Taschenbuch. Condición: Neu. Neuware -The geometry of real submanifolds in complex manifolds and the analysis of their mappings belong to the most advanced streams of contemporary Mathematics. In this area converge the techniques of various and sophisticated mathematical fields such as P.D.E.s, boundary value problems, induced equations, analytic discs in symplectic spaces, complex dynamics. For the variety of themes and the surprisingly good interplaying of different research tools, these problems attracted the attention of some among the best mathematicians of these latest two decades. They also entered as a refined content of an advanced education. In this sense the five lectures of this volume provide an excellent cultural background while giving very deep insights of current research activity.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The8thAnnualFinancialCryptographyConferencewasheldduring9¿12Feb- ary 2004 in Key West, Florida, USA. The conference was organized by the - ternational Financial Cryptography Association (IFCA). The program committee, which comprised 25 members, reviewed 78 subm- sions, of which only 17 were accepted for presentation at the conference. This year¿s conference di ered somewhat from those of previous years in its c- sideration of papers devoted to implementation, rather than purely conceptual research; one of these submissions was presented at the conference. This rep- sented a movement in the conference toward practical problems and real-world perspectives as a complement to more traditional academic forms of research. In this spirit, the program included a number of excellent invited speakers. In the opening talk of the conference, Jack Selby threw down the gauntlet, - scribing some of the achievements of the PayPal system, but also enumerating reasons for the failures of many elegant e-cash schemes in the past. Ron Rivest, in contrast, described an emerging success in the cleverly conceived Peppercoin micropayment system. Jacques Stern enlightened us with his experience in the cryptographic design of banking cards in France. Simon Pugh unveiled some - tailsofanewgenerationofwirelesscreditcard. Finally,indeferenceto themany consumers in the world lacking either techno-savvy or technological resources that we often too easily take for granted, Jon Peha described a elded banking system that avoids reliance on conventional nancial infrastructures. Thanks to all of these speakers for rounding out the conference with their expertise and breadth of vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condición: Neu. Neuware -This volume contains the edited versions of some selected lectures delivered at the famous 'Schladming Winter School', devoted to 'Flavor Physics' in the present case. Flavor physics is one of the hot topics in contemporary elementary particle physics, because it relates to fundamental questions like the origin of masses, the size and strength of CP violation and the oscillations between various neutrino species. This volume will be useful for graduate students wishing to get more acquainted with the field as well as for lecturers in search of material for seminars of special lectures and courses in quantum field theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Data mining from traditional relational databases as well as from non-traditional ones such as semi-structured data, Web data, and scientific databases housing biological, linguistic, and sensor data has recently become a popular way of discovering hidden knowledge.This book on database support for data mining is developed to approaches exploiting the available database technology, declarative data mining, intelligent querying, and associated issues, such as optimization, indexing, query processing, languages, and constraints. Attention is also paid to the solution of data preprocessing problems, such as data cleaning, discretization, and sampling.The 16 reviewed full papers presented were carefully selected from various workshops and conferences to provide complete and competent coverage of the core issues. Some papers were developed within an EC funded project on discovering knowledge with inductive queries.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The SAMOS workshop is an international gathering of highly quali ed rese- chers from academia and industry, sharing in a 3-day lively discussion on the quietandinspiringnorthernmountainsideofthe MediterraneanislandofSamos. As a tradition, the workshop features plenary presentations in the morning, while after lunch all kinds of informal discussions and nut cracking gatherings take place. The workshop is unique in the sense that not only solved research problems are presented and discussed, but also (partly) unsolved problems and in-depth topical reviews can be unleashed in the scienti c arena. Consequently, the workshopprovidesthe participantswithanenvironmentwherecollaboration rather than competition is fostered. This fourth edition of the SAMOS workshop developed into a highly int- esting event with a program that consisted of 36 paper presentations as well as a keynote speech by Kees Vissers from Xilinx Research. The paper authors r- resented 12 di erent countries, the USA, UK, Canada, Brazil, Germany, France, Spain, Finland, Belgium, Portugal, Greece and The Netherlands. The presen- tions were divided into three tracks: recon gurable computing, architecture and implementation, and system modeling and simulation. We believe that all three tracks showed high-quality, state-of-the-art research in their respective elds. Besides the papers from SAMOS IV, this proceedings also features num- ous papers from the SAMOS III workshop. As the SAMOS III edition did not have a well-established proceedings mechanism, we decided to give the authors from last year¿s edition the opportunity to formally publish their papers in this proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 580 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The third international workshop on AD-HOC NetwOrks and Wireless was held in the downtown Vancouver facilities of Simon Fraser University. The rst ADHOC-NOW was held in 2002 at the Fields Institute in Toronto and the s- ond in 2003 in Montreal. Its purpose is to create a collaborative forum between Mathematicians,ComputerScientistsandEngineersforresearchintheemerging eld of ad-hoc networks. The number of submissions exceeded all expectations this year. Over 150 papers were submitted of which 22 regular and 8 short papers were accepted for presentation and inclusion in the conference proceedings. The program comm- teeconsistedofMichelBarbeau,StefanoBasagni,AzzedineBoukerche,Soumaya Cherkaoui, Leszek Gasieniec, Janelle Harms, Jeannette Janssen, Christos K- lamanis, Evangelos Kranakis, Danny Krizanc, Thomas Kunz, Ramiro Liscano, Lata Narayanan, Ioanis Nikolaidis, Stephan Olariu, Jaroslav Opatrny, Pino P- siano, Samuel Pierre, S.S. Ravi, Mazda Salmanian, Sunil Shende, Ladislav S- cho, Martha Steenstrup, Ivan Stojmenovic, Violet Syrotiuk, Ljiljana Trajkovic, Jorge Urrutia, Peter Widmayer, and Kui Wu. We would like to thank the invited speaker Martha Steenstrup for her - search presentation and the program committee for refereeing the submissions. Many thanks to Paul Boone, Jen Hall, Jo-Ann Rockwood, Zheyin Li, and Tao Wan for helping with the workshop logistics. Special thanks go to MITACS (MathematicsofInformationTechnologyandComplexSystems)andPIMS(- ci c Institute for the Mathematical Sciences) for supporting the workshop n- cially,CarletonUniversityandtheUniversityofAlbertaforprovidingc omputing facilities, and Simon Fraser University for its hospitality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 2nd Workshop on Web Services, E-Business, and the Semantic Web (WES) was held during June 16¿17, 2003 in conjunction with CAiSE 2003, the 15th International Conference on Advanced Information Systems Engineering. The Internet is changing the way businesses operate. Organizations are using the Web to deliver their goods and services, to find trading partners, and to link their existing (maybe legacy) applications to other applications. Web services are rapidly becoming the enabling technology of today¿s e-business and e-commerce systems, and will soon transform the Web as it is now into a distributed computation and application fra- work. On the other hand, e-business as an emerging concept is also impacting software - plications, the everyday services landscape, and the way we do things in almost each domain of our life. There is already a body of experience accumulated to demonstrate the difference between just having an online presence and using the Web as a stra- gic and functional medium in e-business-to-business interaction (B2B) as well as marketplaces. Finally, the emerging Semantic Web paradigm promises to annotate Web artifacts to enable automated reasoning about them. When applied to e-services, the paradigm hopes to provide substantial automation for activities such as discovery, invocation, assembly, and monitoring of e-services. But much work remains to be done before realizing this vision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The purpose of this book is to stimulate a much needed debate on ma- ematics education reform. We do not claim that we present anything near the whole truth, and that there are not many other points of view. We thus invite to debate and urge other people to express their views. As scientists we believe that it is our duty to present our own standpoints and conc- sions as clearly as possible, to open for scrutiny and discussion, rather than ambiguous politically correct views, which are di cult to question. This book may be viewed as an introduction to our mathematics e- cation reform project Body&Soul based on a synthesis of Body (com- tational mathematics) and Soul (analytical mathematics). We do make a case for computational mathematics, which is the new world of mathem- ics opened by the computer, now waiting to enter mathematics education. But we do also propose a synthesis of this new world, with the kernel being computational algorithms, and the traditional world of analytical ma- ematics, with analytical formulas as the kernel. In fact, algorithms are expressed using analytical formulas before being translated into computer code, and good analytical formulas are necessary for understanding and insight.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -biometric indicators like eye movement, 3D nger shape, and soft traits (e. g.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -These are the proceedings of CHES 2004, the 6th Workshop on Cryptographic Hardware and Embedded Systems. For the rst time, the CHES Workshop was sponsored by the International Association for Cryptologic Research (IACR). This year, the number of submissions reached a new record. One hundred and twenty- ve papers were submitted, of which 32 were selected for presen- tion. Each submitted paper was reviewed by at least 3 members of the program committee. We are very grateful to the program committee for their hard and e cientworkinassemblingtheprogram.Wearealsogratefultothe108external referees who helped in the review process in their area of expertise. In addition to the submitted contributions, the program included three - vited talks, by Neil Gershenfeld (Center for Bits and Atoms, MIT) about ¿Ph- ical Information Security¿, by Isaac Chuang (Medialab, MIT) about ¿Quantum Cryptography¿, and by Paul Kocher (Cryptography Research) about ¿Phy- cal Attacks¿. It also included a rump session, chaired by Christof Paar, which featured informal talks on recent results. Asinthepreviousyears,theworkshopfocusedonallaspectsofcryptographic hardware and embedded system security. We sincerely hope that the CHES Workshop series will remain a premium forum for intellectual exchange in this area.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -We would like to present, with great pleasure, the rst volume of a new jo- nal, Transactions on Rough Sets. This journal, part of the new journal subline in the Springer-Verlag series Lecture Notes in Computer Science, is devoted to the entire spectrum of rough set related issues, starting from logical and ma- ematical foundations of rough sets, through all aspects of rough set theory and its applications, data mining, knowledge discovery and intelligent information processing, to relations between rough sets and other approaches to uncertainty, vagueness, and incompleteness, such as fuzzy sets, theory of evidence, etc. The rst, pioneering papers on rough sets, written by the originator of the idea,ProfessorZdzis lawPawlak,werepublishedintheearly1980s.Weareproud to dedicate this volume to our mentor, Professor Zdzis law Pawlak, who kindly enriched this volume with his contribution on philosophical, logical, and mat- matical foundations of roughset theory. In his paper Professor Pawlakshows all over again the underlying ideas of rough set theory as well as its relations with Bayes¿ theorem, con ict analysis, ow graphs, decision networks, and decision rules.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers selected for presentation at the 1st Conference onModelingDecisionsforArti cialIntelligence(MDAI2004),heldinBarcelona, Catalonia, August 2¿4, 2004. The aim of this conference was to provide a forum for researchers to discuss models for information fusion (aggregation operators) and decision, to examine computational methods and criteria for model selection and determination, and to stimulate their application in new contexts. Fifty-three papers were submitted to the conference, from 19 di erent co- tries. Each submitted paper was reviewed by at least two experts on the basis of technical soundness, originality, signi cance and clarity. Based on the review reports, 26 papers were accepted for publication in this volume. Additionally, this volume contains the plenary talks given at the conference. We would like to express our gratitude to the members of the program c- mittee as well as to all reviewers for their work. We thank Alfred Hofmann, from Springer-Verlag,who supported the publication of these proceedings in the LNAI series. The conference was supported by the Catalan Association for Arti cial Intelligence (ACIA), the European Society for Fuzzy Logic and Technology (EUSFLAT), the Japan Society for Fuzzy Theory and Intelligent Informatics (SOFT), the IEEESpanish Chapter,the Spanish Council for Scienti c Research (CSIC) and the Generalitat de Catalunya (AGAUR 2002XT 00111).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The Israeli GAFA seminar (on Geometric Aspect of Functional Analysis) during the years 2002-2003 follows the long tradition of the previous volumes. It reflects the general trends of the theory. Most of the papers deal with different aspects of the Asymptotic Geometric Analysis. In addition the volume contains papers on related aspects of Probability, classical Convexity and also Partial Differential Equations and Banach Algebras. There are also two expository papers on topics which proved to be very much related to the main topic of the seminar. One is Statistical Learning Theory and the other is Models of Statistical Physics. All the papers of this collection are original research papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Condición: Neu. Neuware -The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Originating from a Dagstuhl seminar, the collection of papers presented in this book constitutes on the one hand a representative state-of-the-art survey of embodied artificial intelligence, and on the other hand the papers identify the important research trends and directions in the field.Following an introductory overview, the 23 papers are organized into topical sections on philosophical and conceptual issues information, dynamics, and morphology principles of embodiment for real-world applications developmental approaches artificial evolution and self-reconfigurationSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The topography of the normal lymphatic pathways is comprehensively presented here in axial CT scans. Schematic figures corresponding to each scan make it easy to understand the topography. The main chapters cover the head and neck, the thorax, the abdomen and the pelvis. A short introduction to the lymphatic drainage system is also given. The additional description of the lymphatic nodes for every organ enables the reader to analyze CT scans systematically for enlarged lymph nodes. This atlas contains information vital for radiographers, who must determine how normal and pathologically enlarged lymph nodes are connected with certain lymph node groups in order to correctly stage tumors and their metastases. For radiotherapists, knowledge of the exact topography of a lymphatic drainage region will help to determine the best treatment volume.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains selected papers presented at the 12th International C- ference on Conceptual Structures, ICCS 2004, held in Huntsville Alabama, July 19¿23, 2004. The main theme of the conference, ¿Conceptual Structures at Work¿, was chosen to express our intention of applying conceptual structures for hum- centered practical purposes. That invites us to develop not only clear conceptual theories,butalsomethodstosupporthumansintheapplicationofthesetheories in their societies. Some promising steps in this direction are being taken, but the gap between the researchers working on a highly sophisticated level on one side and the practitioners in many elds of applications on the other side is usually di culttobridge.Someofushaveexperiencesinsuchpracticalcooperation,but we need more members of our community to be engaged in ¿real life problems¿. We all know that solutions of complex problems in practice require not only a well-developed formal theory, but also an understanding of the whole context of the given problems. To support our understanding we need general philo- phical methods as well as formal theories for the representation of fundamental structures in practice. We believe that our community has powerful tools and methodsforsuccessfulapplicationsinpractice,butthatwemustdevelopaforu m to present our results to a broader audience. First we must understand the s- ni cant developments in our own group, which has activities in many directions of research. 420 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the contributed papers and invited talks presented at the 1stInternationalWorkshoponAlgorithmicAspectsofWirelessSensorNetworks (ALGOSENSORS 2004), which was held July 16, 2004, in Turku, Finland, - located with the 31st International Colloquium on Automata, Languages, and Programming (ICALP 2004). Wireless ad hoc sensor networks have become a very important research subject due to their potential to provide diverse services in numerous appli- tions. The realization of sensor networks requires intensive technical research and development e orts, especially in power-aware scalable wireless ad hoc c- munications protocols, due to their unusual application requirements and severe constraints. On the other hand, a solid theoretical background seems necessary for sensor networks to achieve their full potential. It is an algorithmic challenge to achieve e cient and robust realizations of such large, highly dynamic, complex, n- conventional networking environments. Features, including the huge number of sensor devices involved, the severe power, computational and memory limi- tions, their dense deployment and frequent failures, pose new design, analysis and implementation challenges. This event is intended to provide a forum for researchers and practitioners to present their contributions related to all aspects of wireless sensor networks. Topics of interest for ALGOSENSORS 2004 were: ¿ Modeling of speci c sensor networks. ¿ Methods for ad hoc deployment. ¿ Algorithms for sensor localization and tracking of mobile users. ¿ Dynamic sensor networks. ¿ Hierarchical clustering architectures. ¿ Attribute-based named networks. ¿ Routing: implosion issues and resource management. ¿ Communication protocols. ¿ Media access control in sensornetworks. ¿ Simulators for sensor networks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 1st Workshop on Service Assurance with Partial and Intermittent Resources (SAPIR 2004) was the first event in a series introducing the concept of pi-resources and bridging it with the emerging and important field of distributed and heavily shared resources. The topics concerning this event are driven by a paradigm shift occurring in the last decade in telecommunications and networking considering partial and intermittent resources (pi-resources). The Internet, converged networks, delay-tolerant networks, ad hoc networking, GRID-supporting networks, and satellite communications require a management paradigm shift that takes into account the partial and intermittent availability of resources, including infrastructure (networks, computing, and storage) and service components, in distributed and shared environments. A resource is called partial (p-resource) when only a subset of conditions for it to function to complete specification is met, yet it is still able to provide a (potentially degraded) service, while an intermittent or sporadic resource (i-resource) will be able to provide a service for limited and potentially unpredictable time intervals only. Partial and intermittent services are relevant in environments characterized by high volatility and fluctuation of available resources, such as those experienced in conjunction with component mobility or ad hoc networking, where the notion of traditional service guarantees is no longer applicable. Other characteristics, such as large transmission delays and storage mechanisms during the routing, require a rethinking of today's paradigms with regards to service assurance and how service guarantees are defined.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -With the rapid development of Web-based learning and new concepts like virtual cla- rooms, virtual laboratories and virtual universities, many issues need to be addressed. On the technical side, there is a need for effective technology for deployment of W- based education.On the learning side, the cyber mode of learning is very different from classroom-based learning. How can instructional developmentcope with this new style of learning On the management side, the establishment of the cyber university - poses very different requirements for the set-up. Does industry-university partnership provide a solution to addressing the technological and management issues Why do we need to standardize e-learning and what can we do already As with many other new developments, more research is needed to establish the concepts and best practice for Web-based learning. ICWL 2004, the 3rd International Conference on Web-Based Learning, was held at the Tsinghua University (Beijing, China) from August 8th to 11th, 2004, as a continued attempt to address many of the above-mentioned issues. Following the great successes of ICWL 2002 (Hong Kong) and ICWL 2003 (Australia), ICWL 2004 aimed at p- senting new progress in the technical, pedagogical, as well as management issues of Web-based learning. The conference featured a comprehensive program, including a tutorial session, a keynote talk, a main track for regular paper presentations, and an - dustrial track. We received 120 papers and accepted only 58 of them in the main track for both oral and poster presentations. 484 pp. Englisch.

Taschenbuch. Condición: Neu. Zimmermann, J. Ilustrador. Neuware -Zwischen Bürger und Behörden bestehen äußerst interessante Rechtsbeziehungen. Welche Rechte und Pflichten auf beiden Seiten stehen, stellt der Autor Bernd Müller in verständlicher Weise dar. Er geht dabei auf die gängigen Paragraphen des Verwaltungsverfahrensgesetzes und der Verwaltungsgerichtsordnung ein. Das Buch enthält auch zahlreiche Tipps für Klausuren und Hausarbeiten: Wie ist der Aufbau zu gestalten; welche Schwerpunkte sind zu setzen; wie sieht die Gliederung und Lösung von klausur- und hausarbeitsrelevanten Themen aus. Die dritte überarbeitete und erweiterte Auflage wurde unter anderem durch eine Vielzahl von Formulierungsbeispielen zu den einzelnen Prüfungspunkten ergänzt. In jedem Band dieser Reihe Recht - schnell erfasst werden die wichtigsten Normen im Wortlaut vorgestellt, verständlich kommentiert und mit den für die gelungene Fallbearbeitung notwendigen Verweisungen versehen. Wer bei der Lösung von Problemstellungen schnell auf den Punkt kommen will, findet in diesem Buch alles, was er braucht.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -From the preface:Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Constantin Carathéodory (Berlin 1873-1950 Munich) - Mathematics and Politics in Turbulent Times is a biography of a mathematician who became famous during his life, but has hitherto been ignored by historians for half a century after his death.In a thought-provoking approach, Maria Georgiadou devotes to Constantin Carathéodory all the attention such a personality deserves. With breathtaking detail and the appropriate scrutiny she elucidates his oeuvre, life and turbulent political/historical surroundings: descending from the Greek élite of Constantinople, Carathéodory graduated from the military school of Brussels, became engineer at the Assiout dam in Egypt and finally dedicated a life of effort to mathematics and education. He studied and embarked on an international academic career, haunted by wars, catastrophes and personal tragedies. Over the last years of his life, he stayed in Munich despite World War II, an ambiguous decision upon which the author sheds unprecedented light.Carathéodory's most significant mathematical contributions were to the calculus of variations, the theory of point set measure, and the theory of functions of a real variable, pdes, also to complex function theory.The interdisciplinarity of the text allows easy access for both scholars and readers with a general interest in mathematics, politics and history. The thoroughness of the author¿s research and evaluations is certain to leave everyone impressed and more knowledgeable.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Englisch.

Buch. Condición: Neu. Neuware -Das Buch richtet sich an Allgemeinmediziner, die in vertrauter Sprache und Form Antworten auf spezifische juristische Fragen und Probleme suchen. Die gemeinsame Erarbeitung durch einen Juristen und Allgemeinmediziner erlauben eine hohe Praxisrelevanz bei gleichzeitiger juristischer Genauigkeit. Typische Situationen und Probleme des allgemeinmedizinischen Alltags in Klinik und Praxis werden juristisch durchleuchtet. Sofort umsetzbare Antworten werden ergänzt durch Checklisten und Praxistipps. Zukünftige Entwicklungen wie der Einfluss des europäischen Rechts auf die tägliche Arbeit oder auch Netzstrukturen werden berücksichtigt. Ein detailliertes Stichwortverzeichnis erleichtert das Auffinden der entsprechenden Themen. Das Buch richtet sich an Allgemeinmediziner aber auch an Ärzte in der Weiterbildung in Klinik, Praxis und Verwaltung, um insbesondere Unsicherheiten in Bezug auf juristische Fragen dieses Fachgebietes zu nehmen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Deutsch.

Buch. Condición: Neu. Neuware -Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over finite models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Despite multiple efforts on the bilateral, regional and multilateral level to create uniform or at least harmonized rules for commercial operations and practices in the maritime transport sector and to liberalize maritime transport services by tearing down the barriers that exist in that sector, there is until today no global regime regulating (or rather deregulating) the supply of maritime transport services and ensuring open markets. In this situation, private economic actors are confronted with substantial legal uncertainty.This book provides a detailed analysis of the history of maritime transport services in the Uruguay and post-Uruguay Round negotiations and the role of the sector in the ongoing Doha Round talks, where Member States have the opportunity to work towards a global regime ensuring the progressive liberalization of the sector. The reader will be confronted with an extensive overview of the role of maritime transport services in the WTO/GATS framework, a topic basically uncovered in the literature so far.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Buch. Condición: Neu. Neuware -Symplectic geometry, well known as the basic structure of Hamiltonian mechanics, is also the foundation of optics. In fact, optical systems (geometric or wave) have an even richer symmetry structure than mechanical ones (classical or quantum). The symmetries underlying the geometric model of light are based on the symplectic group. Geometric Optics on Phase Space develops both geometric optics and group theory from first principles in their Hamiltonian formulation on phase space. This treatise provides the mathematical background and also collects a host of useful methods of practical importance, particularly the fractional Fourier transform currently used for image processing. The reader will appreciate the beautiful similarities between Hamilton's mechanics and this approach to optics. The appendices link the geometry thus introduced to wave optics through Lie methods. The book addresses researchers and graduate students.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Pattern Recognition, IEEE Hong Kong Section, the Hong Kong Polytechnic University, the National Natural S- ence Foundation in China, and Springer-Verlag for sponsoring this conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 828 pp. Englisch.

Buch. Condición: Neu. Neuware -The book is the first thorough overview of the first important steps to develop a worldwide virtual observatory so that, in the future, it could be easier to 'dial-up' a part of the sky than wait many months to access a telescope. The articles in this book present details on the status of the first efforts to develop a standardized framework for the virtual observatory, including steps towards completion and deployment of technical infrastructure, uptake by data providers worldwide, and utilization by the scientific community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. Web engineering builds upon well-known and succe- ful software engineering principles and practices, adapting them to the special characteristics of Web applications. Even more relevant is the enrichment with methods and techniques stemming from related areas like hypertext authoring, human-computer interaction, content management, and usability engineering. The goal of the 4th International Conference on Web Engineering (ICWE 2004), inlinewiththepreviousICWEconferences,wastoworktowardsabetterund- standing of the issues related to Web application development. Special attention was paid to emerging trends, technologies and future visions, to help the a- demic and industrial communities identify the most challenging tasks for their research and projects. Following a number of successful workshops on Web engineering since 1997 at well-known conferences, such as ICSE and WWW, the rst conference on Web engineering was held in C¿ aceres, Spain in 2001. It was followed by ICWE 2002 in Santa Fe, Argentina and ICWE 2003 in Oviedo, Spain. In 2004 ICWE moved to the center of Europe and was held in Munich, Germany from July 26 to 30. ICWE 2004 was organized by the Institute for Informatics of the Ludwig- Maximilians-Universit¿ at (LMU) Munich. The ICWE 2004 edition received a total of 204 submissions, out of which 25 paperswereselectedbytheProgramCommitteeasfullpapers(12%acceptance).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.