springer berlin heidelberg springer berlin heidelberg jun 2007 (94 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -The European Society for Arti cial Intelligence in Medicine (AIME) was - tablished in 1986 following a very successful workshop held in Pavia, Italy, the year before. The principal aims of AIME are to foster fundamental and applied research in the application of arti cial intelligence (AI) techniques to medical care and medical research, and to provide a forum at biennial conferences for discussing any progress made. For this reason the main activity of the Society wastheorganizationofaseriesofbiennialconferences,heldinMarsei lles,France (1987), London, UK (1989), Maastricht, The Netherlands (1991), Munich, G- many (1993), Pavia, Italy (1995), Grenoble, France (1997), Aalborg, Denmark (1999), Cascais, Portugal (2001), Protaras, Cyprus (2003), and Aberdeen, UK (2005). This volume contains the proceedings of AIME 2007,the 11th Conference on Arti cial Intelligence in Medicine, held in Amsterdam, The Netherlands, July 7-11, 2007. The AIME 2007 goals were to present and consolidate the int- national state of the art of AI in biomedical research from the perspectives of methodology and application. The conference included invited lectures, a panel discussion, full and short papers, tutorials, workshops, and a doctoral cons- tium. In the conference announcement, authors were solicited to submit original contributions on the development of theory, systems, and applications of AI in medicine, including the exploitationof AI approachesto molecularmedicine and biomedical informatics. Authors of papers addressing theory were requested to describe the developmentorthe extensionof AI methods and to discuss the n- elty to the state of the art.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary eld of research in the intersection of mathematics, computer science, library s- ence, and scienti c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di erent aspects of di erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business. 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2007, held in Ithaca, NY, USA, in June 2007.Among the topics addressed in the 36 revised full papers are approximation algorithms, algorithmic game theory, computational biology, integer programming, polyhedral combinatorics, scheduling theory and scheduling algorithms, as well as semidefinite programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2007, held in Como, Italy in June 2007. It covers managing agile processes, extending agile methodologies, teaching and introducing agile methodologies, methods and tools, empirical studies, and methodology issue.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Networked and Distributed Systems) is the joint int- national annual conference combining the former PSTV (Protocol Speci cation Testing and Veri cation) and former FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) conferences. The rst PSTV conference took place in 1981, and the rst FORTE took place in 1988. They were merged into one larger conference in 1996 and have run under the name of FORTE from 2001. The conference is a forum for presentation and d- cussion of the state of the art in theory, application, tools, and industrialization of formal methods. Over the years, FORTE has been held in numerous lo- tions, and this is re ected by its recent history, with meetings in Pisa (Italy), Cheju Island(Korea),Houston(USA), Berlin(Germany),Madrid(Spain), Paris (France), Taiwan and now Tallinn, Estonia. FORTE was sponsored by Working Group 6.1 of Technical Committee 6 (TC6) of the InternationalFederation for Information Processing (IFIP). Indeed FORTE is one of the agship conferences of Working Group 6.1 (Architectures and Protocols for Distributed Systems), and covers many aspects of the main themes of WG6.1, namely, formal description techniques, open distributed s- tems, and quality of service. WG6.1 provided a Best Paper Award as well as funds to help student participation, and we are particularly grateful for this. The 27th FORTE conference was held during June 26¿29, 2007, in Tallinn (Estonia), in the historical building of the Brotherhood of the Black Heads.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book provides course material in theoretical physics intended for undergraduate and graduate students specializing in condensed matter. The book derives from teaching activity, offering readable and mathematical treatments explained in sufficient detail to be followed easily. The main emphasis is always on the physical meaning and applicability of the results. Many examples are provided for illustration; these also serve as worked problems.Discussion extends to atomic physics, relativistic quantum mechanics, elementary QED, electron spectroscopy, nonlinear optics, and various aspects of the many-body problem. Methods such as group representation theory, Green¿s functions, the Keldysh formalism and recursion techniques were also imparted.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book treats various concepts of generalized derivatives and subdifferentials in normed spaces, their geometric counterparts and their application to optimization problems. It starts with the subdifferential of convex analysis, passes to corresponding concepts for locally Lipschitz continuous functions and then presents subdifferentials for general lower semicontinuous functions. All basic tools are presented where they are needed: this concerns separation theorems, variational and extremal principles as well as relevant parts of multifunction theory. Each chapter ends with bibliographic notes and exercises.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.

Buch. Zustand: Neu. Neuware -Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we seen such breathtaking improvements in cost, quality, time to market, and developer productivity, often registering in the order-of-magnitude range. While the underlying concepts are straightforward enough ¿ building a family of related products or systems by planned and careful reuse of a base of generalized software development assets ¿ the devil can be in the details, as successful product line practice can involve organizational change, business process change, and technology change.The authors ideally combine academic research results with industrial real-world experiences, thus presenting a broad view on product line engineering so that both managers and technical specialists will benefit from reading it. After presenting a common framework for the description of the industrial case studies, they capture the wealth of knowledge that eight companies have gathered during the introduction of the software product line engineering approach in their daily practice. After reading this book, you will understand all the relevant aspects, regarding business, architecture, process, and organizational issues, of applying software product line engineering. If you consider using a product line approach in your organization, or if you want to improve your current practices you will find a rich set of useful information at your fingertips ¿ from practitioners to practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics. 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In this volume readers will find for the first time a detailed account of the theory of symplectic reduction by stages, along with numerous illustrations of the theory. Special emphasis is given to group extensions, including a detailed discussion of the Euclidean group, the oscillator group, the Bott-Virasoro group and other groups of matrices. Ample background theory on symplectic reduction and cotangent bundle reduction in particular is provided. Novel features of the book are the inclusion of a systematic treatment of the cotangent bundle case, including the identification of cocycles with magnetic terms, as well as the general theory of singular reduction by stages.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -You hold in your hands the proceedings of ESAS 2007, the Fourth European Workshop on Security and Privacy in Ad hoc and Sensor Networks. The wo- nd rd shop took place in Cambridge, UK, on the 2 and 3 of July 2007. The workshop was European in name and location but it was de nitely transatlantic in scope. We had a program chair from Europe and one from the USA, and membership of our program committee was almost evenly split - tween those two regions. When looking at participation, the workshop was even more global than that: the submitted papers came from 25 countries in 6 con- nents. We received 87 submissions. After quick-rejecting 5 papers deemed to be out of scope, the remaining 82 papers were each reviewed by at least three PC members. The two program chairs, who did not submit any works, had sole authoritytodecidewhichpaperstoacceptandreject,basedonlyonthedirective that quality had to be the primary criterion, in order to form a proceedings volume of high international relevance. The number of papers to be accepted was not set in advance: it was selected a posteriori so as to include only solid, innovative and insightful papers. The resulting acceptance rate of about 20%, very strict for a workshop, is a testimonial of how selective we chose to be in accepting only high quality papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations. 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Understanding the mechanisms involved in life (e. g. , discovering the biological functionofasetofproteins,inferringtheevolutionofasetofspecies)isbecoming increasinglydependent onprogressmade inmathematics,computer science,and molecular engineering. For the past 30 years, new high-throughput technologies have been developed generating large amounts of data, distributed across many data sources on the Web, with a high degree of semantic heterogeneity and di erentlevelsofquality. However,onesuchdatasetisnot,byitself,su cientfor scienti c discovery. Instead, it must be combined with other data and processed by bioinformatics tools for patterns, similarities, and unusual occurrences to be observed. Both data integration and data mining are thus of paramount importance in life science. DILS 2007 was the fourth in a workshop series that aims at fostering d- cussion, exchange, and innovation in research and development in the areas of data integration and data management for the life sciences. Each previous DILS workshop attracted around 100 researchers from all over the world. This year, the number of submitted papers again increased. The Program Committee - lected 19 papers out of 52 full submissions. The DILS 2007 papers cover a wide spectrum of theoretical and practical issues including scienti c work ows, - notation in data integration, mapping and matching techniques, and modeling of life science data. Among the papers, we distinguished 13 papers presenting research on new models, methods, or algorithms and 6 papers presenting imp- mentation of systems or experience with systems in practice. In addition to the presented papers, DILS 2007 featured two keynote talks by Kenneth H. Buetow, National Cancer Institute, and Junhyong Kim, University of Pennsylvania.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Zustand: Neu. Neuware -Formal specification languages, object-oriented methods, CASE tools, component-based software production, agent-oriented, aspect-oriented . During the last two decades many techniques have been proposed from both research and industry in order to generate a correct software product from a higher-level system specification. Nevertheless, the many failures in achieving this goal have resulted in scepticism when facing any new proposal that offers a 'press the button, get all the code' strategy. And now the hype around OMG¿s MDA has given a new push to these strategies.Oscar Pastor and Juan Carlos Molina combine a sound theoretical approach based on more than 10 years¿ research with industrial strength and practical software development experience. They present a software process based on model transformation technology, thus making the statement 'the model is the code' ¿ instead of the common 'the code is the model' ¿ finally come true. They clearly explain which conceptual primitives should be present in a system specification, how to use UML to properly represent this subset of basic conceptual constructs, how to identify just those diagrams and modeling constructs that are actually required to create a meaningful conceptual schema, and, finally, how to accomplish the transformation process between the problem space and the solution space.Their approach is fully supported by commercially available tools, and the subsequent software production process is dramatically more efficient than today¿s conventional software development processes, saving many man-days of work. For software developers and architects, project managers, and people responsible for quality assurance, this book introduces all the relevant information required to understand and put MDA into industrial practice.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Buch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Developments in Language Theory, DLT 2007, held in Turku, Finland in July 2007. It addresses all important issues in language theory including grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; relationships to cryptography, concurrency, complexity theory and logic; bioinspired computing, and quantum computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 440 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the First International Workshop on the Arithmetic of Finite Fields, WAIFI 2007, held in Madrid, Spain in June 2007. It covers structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -BNCOD has, for the past 27 years, provided a forum for researchers world-wide to gather to discuss the topical issues in databaseresearch.As the researchch- lenges have evolved, so BNCOD has changed its topics of interest accordingly, now covering data management more widely. In doing so, it has evolved from a local conference mostly attended by British researchers to a truly international conference that happens to be held in Britain. This year, for instance, sign- cantly less than half of the presentations are from UK or Irish authors, other contributions coming from continental Europe, Asia and the USA. Currently, one of the most pressing challenges is to nd ways of evolving database technology to cope with its new role in underpinning the massively distributed and heterogeneous applications built on top of the Internet. This has a ected both the ways in which data has been accessed and the ways in which it is represented, with XML data management becoming an important issue and, as such, heavily represented at this conference. It has also brought back issues of performance that might have been considered largely solved by the improvements in hardware, since data now has to be managed on devices of low power and small memory as well as on standard client and powerful server machines. We therefore invited papers on all aspects of data management, particularly relatedtohowdataisusedintheubiquitousenvironmentofthemodernInternet bycomplexdistributedandscienti capplications.Ofthe56submissionsfrom14 countriesweselected15fullpapers,3shortpapersand7postersforpresentation, all of which appear in this volume along with 2 invited papers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Buch. Zustand: Neu. Neuware -Conceptual modeling has always been one of the cornerstones for information systems engineering as it describes the general knowledge of the system in the so-called conceptual schema.Krogstie, Opdahl and Brinkkemper compiled 20 contributions from renowned researchers covering all aspects of conceptual modeling on the occasion of Arne Sølvberg¿s 67th birthday. Many friends of this information systems modeling pioneer happily contributed their latest research results from fields like data modeling, goal-oriented modeling, agent-oriented modeling, and process-oriented modeling. Overall, the contributions reflect the most important developments and application areas of conceptual modeling in recent years, and they also pinpoint trends in conceptual modeling for the next decade.This wide selection corresponds to the broad spectrum of Arne¿s activities and long-term responsibilities with the VLDB Endowment, IFIP, and ERCIM. Arne was presented with this book at CAiSE 2007, when the event which he cofounded in 1989 returned to his hometown of Trondheim.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Buch. Zustand: Neu. Neuware -The formation of galaxies is one of the greatest puzzles in astronomy, the solution is shrouded in the depths of space and time, but has profound implications for the universe we observe today. The book discusses the beginnings of the process from cosmological observations and calculations, considers the broad features of galaxies that we need to explain and what we know of their later history. The author compares the competing theories for galaxy formation and considers the progress expected from new generations of powerful telescopes both on earth and in space.In this second edition the author has retained the observationally-based approach of the first edition, a feature which was particularly well-reviewed: Writing in Nature, Carlton Baugh noted in February 2003 that ¿It is refreshing, in a market dominated by theorists, to come across a book on galaxy formation written from an observational perspective. The Road to Galaxy Formation should prove to be a handy primer on observations for graduate students, advanced undergraduates and theorists who feel too shy to visit a telescope¿.The New Scientist wrote in March 2003: ¿William Keel delicately balances observational evidence against today's relevant theoretical possibilities¿.And Sepehr Arbabi-Bidgoli wrote in Astronomische Nachrichten that ¿Reading this book I often felt like sitting in an exciting and entertaining lecture given by an astronomer who knows the subject and knows how to present it to the audience¿.A Bibliography at the end of each chapter contains a resumé of books, selected research papers and Web resources providing guidance to further reading.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation, Jean-Pierre Jouannaud has contributed to the design, semantics and implementation of OBJ2 and has recently augmented the Maude rewriting logic system with an essential feature: membership equational logic. He was a member of the CNU (National University Council) and a member of the CNRS national committee. He is now heading with great success the computer science laboratory at the Ecole Polytechnique thus showing his exceptional qualities as a research team manager and supervisor of students.This Festschrift volume, published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Although, bifurcation theory of equations with autonomous and periodic time dependence is a major object of research in the study of dynamical systems since decades, the notion of a nonautonomous bifurcation is not yet established. In this book, two different approaches are developed which are based on special definitions of local attractivity and repulsivity. It is shown that these notions lead to nonautonomous Morse decompositions, which are useful to describe the global asymptotic behavior of systems on compact phase spaces. Furthermore, methods from the qualitative theory for linear and nonlinear systems are derived, and nonautonomous counterparts of the classical one-dimensional autonomous bifurcation patterns are developed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -These notes present recent results in the value-distribution theory of L-functions with emphasis on the phenomenon of universality. Universality has a strong impact on the zero-distribution: Riemann¿s hypothesis is true only if the Riemann zeta-function can approximate itself uniformly. The text proves universality for polynomial Euler products. The authors¿ approach follows mainly Bagchi's probabilistic method. Discussion touches on related topics: almost periodicity, density estimates, Nevanlinna theory, and functional independence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Zustand: Neu. Neuware -Combinatorial enumeration is a readily accessible subject full of easily stated, but sometimes tantalizingly difficult problems. This book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical physics. Its aim is to introduce the student to a fascinating field, and to be a source of information for the professional mathematician who wants to learn more about the subject. The book is organized in three parts: Basics, Methods, and Topics. There are 666 exercises, and as a special feature every chapter ends with a highlight, discussing a particularly beautiful or famous result.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 576 pp. Englisch.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Combinatorial enumeration is a readily accessible subject full of easily stated, but sometimes tantalizingly difficult problems. This book leads the reader in a leisurely way from the basic notions to a variety of topics, ranging from algebra to statistical physics. Its aim is to introduce the student to afascinating field, and to be a source of information for the professional mathematician who wants to learn more about the subject. The book is organized in three parts: Basics, Methods, and Topics. There are 666 exercises, and as a special feature every chapter ends with a highlight, discussing a particularly beautiful or famous result.

Buch. Zustand: Neu. Neuware -Remarkable features of revenue management (RM) problems in the cargo, manufacturing and broadcasting industries are so-called flexible products. 'Flexibility' means that the actual mode of production is not defined at the time of purchase, but can be chosen later on by the service provider. This book is among the first to analyze RM problems with flexible products and RM in broadcasting companies. The implications of flexibility are explicitly taken into account in the models and methods presented. As an aside, the book contains descriptions of algorithms to generate stochastic demand data streams for general RM problems. An implementation as a Microsoft Windows executable file is available, which can directly be used both by theoreticians and practitioners in their own simulation studies. This book will be of great value for researchers, managers and students interested in RM with flexible products in general and broadcasting companies in particular.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007, jointly with the Symposium on Human Interface (Japan) 2007, the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, the 4th International Conference on Universal Access in Human-Computer Interaction, the 2nd International Conf- ence on Virtual Reality, the 2nd International Conference on Usability and Inter- tionalization, the 2nd International Conference on Online Communities and Social Computing, the 3rd International Conference on Augmented Cognition, and the 1st International Conference on Digital Human Modeling. A total of 3403 individuals from academia, research institutes, industry and governmental agencies from 76 countries submitted contributions, and 1681 papers, judged to be of high scientific quality, were included in the program. These papers address the latest research and development efforts and highlightthe human aspects of design and use of computing systems. The papers accepted for presentation th- oughly cover the entire field of Human-Computer Interaction, addressing major - vances in knowledge and effective use of computers in a variety of application areas. This volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following major topics: ¿ 3D Rendering and Visualization ¿ Interacting and Navigating in Virtual and Augmented Environments ¿ Industrial Applications of Virtual Reality ¿ Health, Cultural, Educational and Entertainment Applications 788 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -To learn while being entertained is always an effective means in education. With the advance in technologies, in particular graphics, multimedia, and virtual reality te- nologies, this has evolved into the specific area of ¿Edutainment¿. The second int- national conference on edutainment, Edutainment 2007, aimed to provide a forum for practitioners and researchers in the field to share their experiences and findings in this fast growing area. Following the success of Edutainment 2006, which was held in Hangzhou, China, Edutainment 2007 was held during June 11¿13, 2007 in Hong Kong. This year, we received 393 submissions from 29 different countries and areas, - cluding China (including Taiwan), USA, UK, Germany, Italy, France, Australia, C- ada, Switzerland, Korea, Japan, Singapore and Malaysia. A total of 90 papers were selected, after peer review, for this volume. Topics of these papers fall into six diff- ent areas ranging from fundamental issues in geometry and imaging to virtual reality systems and their applications in entertainment and education. These topics include Virtual Reality in Games and Education, Virtual Characters in Games and Education, E-learning Platforms and Tools, Geometry in Games and Virtual Reality, Vision, Imaging and Video Technology, and Collaborative and Distributed Environments. We are grateful to the International Program Committee and the reviewers for their effort to get all the papers reviewed in a short period of time. We would also like to thank everyone who contributed to organizing the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 996 pp. Englisch.

Buch. Zustand: Neu. Neuware -This book, written by selected experts who outline the surgical procedure, provides an up-to-date and concise review of the thymus gland for both the surgeon and the physician. The critical role of the thymus in the immune system is becoming increasingly well understood. Much of this knowledge is widely dispersed throughout the literature. Although thymectomy is well established as a surgical procedure, these advances need to be made available to the surgeon. This book offers neurologists and physicians a better understanding of the surgical aspects of the thymus.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.