springer berlin heidelberg springer berlin heidelberg jan 2005 (127 resultados)

Buch. Condición: Neu. Neuware -Despite dramatic advances in numerical and experimental methods of fluid mechanics, the fundamentals are still the starting point for solving flow problems. This textbook introduces the major branches of fluid mechanics of incompressible and compressible media, the basic laws governing their flow, and gas dynamics. Fluid Mechanics demonstrates how flows can be classified and how specific engineering problems can be identified, formulated and solved, using the methods of applied mathematics. The material is elaborated in special applications sections by more than 200 exercises and separately listed solutions. The final section comprises the Aerodynamics Laboratory, an introduction to experimental methods treating eleven flow experiments. This class-tested textbook offers a unique combination of introduction to the major fundamentals, many exercises, and a detailed description of experiments. 354 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Die Vektoranalysis handelt, in klassischer Darstellung, von Vektorfeldern, den Operatoren Gradient, Divergenz und Rotation, von Linien-, Flächen- und Volumenintegralen und von den Integralsätzen von Gauß, Stokes und Green. In moderner Fassung ist es der Cartansche Kalkül mit dem Satz von Stokes. Das vorliegende Buch vertritt grundsätzlich die moderne Herangehensweise, geht aber auch sorgfältig auf die klassische Notation und Auffassung ein. Das Buch richtet sich an Mathematik- und Physikstudenten ab dem zweiten Studienjahr, die mit den Grundbegriffen der Differential- und Integralrechnung in einer und mehreren Variablen sowie der Topologie vertraut sind. Der sehr persönliche Stil des Autors und die aus anderen Büchern bereits bekannten Lernhilfen, wie: viele Figuren, mehr als 50 kommentierte Übungsaufgaben, über 100 Tests mit Antworten, machen auch diesen Text zum Selbststudium hervorragend geeignet. 288 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -SAC 2004 was the eleventh in a series of annual workshops on Selected Areas in Cryptography. This was the second time that the workshop was hosted by the University of Waterloo, Ontario, with previous workshops being held at Queen¿sUniversityinKingston(1994,1996,1998and1999),CarletonUnivers ity in Ottawa (1995, 1997 and 2003), the Fields Institute in Toronto (2001) and Memorial University of Newfoundland in St. John¿s (2002). The primary intent of the workshop was to provide a relaxed atmosphere in which researchers in cryptography could present and discuss new work on selected areas of current interest. This year¿s themes for SAC were: ¿ Design and analysis of symmetric key cryptosystems. ¿ Primitives for symmetric key cryptography, including block and stream - phers, hash functions, and MAC algorithms. ¿ E cient implementation of cryptographic systems in public and symmetric key cryptography. ¿ Cryptographic solutions for mobile (web) services. A record of 117 papers were submitted for consideration by the program committee. After an extensive review process, 25 papers were accepted for p- sentation at the workshop (two of these papers were merged). Unfortunately, many good papers could not be accommodated this year. These proceedings contain the revised versions of the 24 accepted papers. The revised versions were not subsequently checked for correctness. Also, we were very fortunate to have two invited speakers at SAC 2004. ¿ Eli Biham arranged for some breaking news in his talk on ¿New Results on SHA-0 and SHA-1.¿ This talk was designated as the Sta ord Tavares L- ture. 372 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -On February 26¿27, 2004, the 3rd International Workshop on Peer-to-Peer S- tems (IPTPS 2004) brought researchers and practitioners together to discuss the latest developments in peer-to-peer technologies, applications, and systems. As the third workshop in the series, IPTPS 2004 continued the success of the previous workshops in pioneering the state of the art in peer-to-peer systems and identifying key research challenges in the area. The workshop received 145 submissions in the form of ve-page position papers. As with previous workshops, submissions went through two rounds of reviews by an international program committee of 14 experts from industry and academia.In the rst round eachsubmission receivedtwo reviews.In the second round we focused our attention on submissions with either positive reviews, or with reviews that expressed substantially di erent opinions. In addition to the technical merit, the reviewing process emphasized originality and the potential of the submission to lead to interesting discussions during the workshop. Intheend,theprogramcommitteeselectedaworkshopprogramof27papers coveringawiderangeoftopicsincludingnewpeer-to-peerapplications,advances in routing, load balancing, searching, as well as transport, mobility, and other networking topics. Authors revised accepted position papers to six pages for the workshop program, and made a nal round of revision for this volume. The workshop was composed of eight sessions that spanned two days. To focus discussions, attendance was limited to 67 participants and included s- stantialtimeforinteractionanddiscussionbetweensessionsandatsocialevents. 316 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to o er the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, held in Oslo from June 15 to 19, 2004. ECOOP 2004 hosted 19 high-quality workshops covering a large spectrum of hot research topics. These workshops were chosen through a tight peer review process following a speci c call for proposals ending on November 30, 2003. We are very grateful to the members of the Workshop Selection Committee for their careful reviews and hard work to put together the excellent workshop program. We also want to thank all submitters, accepted or not, to whom the workshop program equally owes its quality. This selection process was then followed by a selection of workshop participants, done by each team of organizers based on an open call for position papers. This participant selection process ensured that we gathered the most active researchers in each workshop research area, and therefore a fruitful working meeting. Following the tradition of the ECOOP Workshop Reader, we strove for hi- quality, value-adding and open-ended workshop reports. The result, as you can judgefromthefollowingpages,isathought-provokingsnapshotofthecurrent- searchinobject-orientation,fullofpointersforfurtherexplorationof thecovered topics. We want to thank our workshop organizers who, despite the additional burden, did a great job in putting together these reports. 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics ¿ SOFSEM 2005, held on January 22¿28, 2005 in LiptovskyJ ¿ an, ¿ Slovakia. The series of SOFSEM conferences, organized alternately in the Czech - public and Slovakia since 1974, has a well-established tradition. The SOFSEM conferences were originally intended to break the Iron Curtain in scienti c - change. After the velvet revolution SOFSEM changed to a regular broad-scope international conference. Nowadays, SOFSEM is focused each year on selected aspects of informatics. This year the conference was organized into four tracks, each of them complemented by two invited talks: ¿ Foundations of Computer Science (Track Chair: Bernadette Charron-Bost) ¿ Modeling and Searching Data in the Web-Era (Track Chair: Peter Vojt¿ a s) ¿ Software Engineering (Track Chair: M¿ aria Bielikova) ¿ ¿ Graph Drawing (Track Chair: Ondrej Syk ¿ ora) The aim of SOFSEM 2005 was, as always, to promote cooperation among professionalsfromacademiaandindustryworkinginvariousareasofinformatics. Each track was complemented by two invited talks. The SOFSEM 2005 Program Committee members coming from 13 countries evaluated 144 submissions (128 contributed papers and 16 student research - rum papers). After a careful review process (counting at least 3 reviews per paper), followed by detailed discussions in the PC, and a co-chairs meeting held on October 8, 2005 in Bratislava, Slovakia, 44 papers (overall acceptance rate 34. 448 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide.The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di - ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¿ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software systems. They o er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities, e.g., in inference-based query answering, tra- action control, adaptive work ows, brokering and integration of disparate inf- mation sources, and automated communication processes. On the other hand, their rich representational capabilities allow more faithful and exible treatments of complex organizational processes, leading to more e ective requirements an- ysis and architectural/detailed design. 256 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -criteria linear and nonlinear programming has proven to be a very useful approach. ¿ Knowledge management for enterprise: These papers address various issues related to the application of knowledge management in corporations using various techniques. A particular emphasis here is on coordination and cooperation. ¿ Risk management: Better knowledge management also requires more advanced techniques for risk management, to identify, control, and minimize the impact of uncertain events, as shown in these papers, using fuzzy set theory and other approaches for better risk management. ¿ Integration of data mining and knowledge management: As indicated earlier, the integration of these two research fields is still in the early stage. Nevertheless, as shown in the papers selected in this volume, researchers have endearored to integrate data mining methods such as neural networks with various aspects related to knowledge management, such as decision support systems and expert systems, for better knowledge management. September 2004 Yong Shi Weixuan Xu Zhengxin Chen CASDMKM 2004 Organization Hosted by Institute of Policy and Management at the Chinese Academy of Sciences Graduate School of the Chinese Academy of Sciences International Journal of Information Technology and Decision Making Sponsored by Chinese Academy of Sciences National Natural Science Foundation of China University of Nebraska at Omaha, USA Conference Chairs Weixuan Xu, Chinese Academy of Sciences, China Yong Shi, University of Nebraska at Omaha, USA Advisory Committee 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification for a plan or in sensor fusion in robotics; however, sometimes inconsistency is useful. Whether inconsistency is unwanted or useful, there is a need to develop tolerance to inconsistency in application technologies such as databases, knowledge bases, and software systems. To address this situation, inconsistency tolerance is being built on foundational technologies for identifying and analyzing inconsistency in information, for representing and reasoning with inconsistent information, for resolving inconsistent information, and for merging inconsistent information. The idea for this book arose out of a Dagstuhl Seminar on the topic held in summer 2003. The nine chapters in this first book devoted to the subject of inconsistency tolerance were carefully invited and anonymously reviewed. The book provides an exciting introduction to this new field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Ad hoc and sensor networks are making their way from research to real-world deployments. Body and personal-area networks, intelligent homes, environmental monitoring or inter-vehicle communications: there is almost nothing left that is not going to be smart and networked. While a great amount of research has been devoted to the pure networking aspects, ad hoc and sensor networks will not be successfully deployed if security, dependability, and privacy issues are not addressed adequately.As the first book devoted to the topic, this volume constitutes the thoroughly refereed post-proceedings of the First European Workshop on Security in Ad-hoc and Sensor Networks, ESAS, 2004, held in Heidelberg, Germany in August 2004. The 17 revised full papers were carefully reviewed and selected from 55 submissions. Among the key topics addressed are key distribution and management, authentication, energy-aware cryptographic primitives, anonymity and pseudonymity, secure diffusion, secure peer-to-peer overlays, and RFIDs. 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The RSA Conferenceis attended by over10,000securityprofessionalseach year. The Cryptographers¿ Track (CT-RSA), one of several parallel tracks at the c- ference, provides an excellent opportunity for cryptographers to showcase their research to a wide audience. CT-RSA 2005 was the fth year of the Cryptog- phers¿ Track. The selection process for the CT-RSA program is the same as for other cryptography research conferences. This year, the program committee selected 23 papers from 74submissions (two of whichwerelater withdrawn) that covered all aspects of cryptography. The program also included two invited talks by Cynthia Dwork and Moti Yung. These proceedings contain the revised versions of the selected papers. The revisions were not checked, and so the authors (and not the committee) bear full responsibility for the contents of their papers. I am very grateful to the program committee for their very conscientious e orts to review each paper fairly and thoroughly. The initial review stage was followed by a tremendous amount of discussion which contributed to our high con denceinour judgements.Thanks alsoto the manyexternalreviewerswhose names arelisted in the followingpages.My apologiesto thosewhose nameswere inadvertently omitted from this list. Thanks to Eddie Ng for maintaining the submission server and the Web reviewsystem.ThesubmissionsoftwarewaswrittenbyChanathipNamprempre, and the Web review software by Wim Moreau and Joris Claessens. Thanks to AlfredHofmannandhiscolleaguesatSpringerforthetimelyproductionofthese proceedings.Finally, it is my pleasureto acknowledgeAri Juels and MikeSzydlo of RSA Laboratories for their assistance and cooperation during the past seven months.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume consists of the refereed papers presented at the Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT 2003), held on September 13¿16, 2003 at ITB, Bandung, Indonesia. This conf- ence can also be considered as a series of the Japan Conference on Discrete and Computational Geometry (JCDCG), which has been held annually since 1997. The rst ve conferences of the series were held in Tokyo, Japan, the sixth in Manila, the Philippines, in 2001, and the seventh in Tokyo, Japan in 2002. The proceedings of JCDCG 1998, JCDCG 2000 and JCDCG 2002 were p- lished by Springer as part of the series Lecture Notes in Computer Science: LNCS volumes 1763, 2098 and 2866, respectively. The proceedings of JCDCG 2001 were also published by Springer as a special issue of the journal Graphs and Combinatorics, Vol. 18, No. 4, 2002. TheorganizersaregratefultotheDepartmentofMathematics,InstitutTek- logi Bandung (ITB) and Tokai University for sponsoring the conference. We also thank all program committee members and referees for their excellent work. Our big thanks to the principal speakers: Hajo Broersma, Mikio Kano, Janos Pach andJorgeUrrutia.Finally,ourthanksalsogoestoallourcolleagueswhoworked hard to make the conference enjoyable and successful. August 2004 Jin Akiyama Edy Tri Baskoro Mikio Kano Organization The Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT) 2003 was organized by the Department of Mathematics, InstitutTeknologiBandung(ITB)IndonesiaandRIED,TokaiUniversity ,Japan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Inrecentresearchoncomputervisionsystems,attentionhasbeenplayingacrucialrolein mediatingbottom-upandtop-downpathsofinformationprocessing. Inappliedresearch, the development of enabling technologies such as miniaturized mobile sensors, video surveillance systems, and ambient intelligence systems involves the real-time analysis of enormous quantities of data. Knowledge has to be applied about what needs to be attendedto,andwhen,andwhattodoinameaningfulsequence,incorresp ondencewith visual feedback. Methods on attention and control are mandatory to render computer vision systems more robust. The 2nd International Workshop on Attention and Performance in Computational Vision (WAPCV 2004) was held in the Czech Technical University of Prague, Czech Republic, as an associated workshop of the 8th European Conference on Computer - sion (ECCV 2004). The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision. The workshop was held as a single-day, single-track event, consisting of high-quality podium and poster presen- tions. Invited talks were given by John K. Tsotsos about attention and feature binding in biologically motivated computer vision and by Gustavo Deco about the context of attention, memory and reward from the perspective of computational neuroscience. The interdisciplinary program committee wascomposed of 21 internationally r- ognized researchers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -claritywas¿AProvablyCorrectCompilerforE cientModelCheckingofMobile Processes,¿byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Buch. Condición: Neu. Neuware -The Physics of the Early Universe is an edited and expanded version of the lectures given at a recent summer school of the same name. Its aim is to present an advanced multi-authored textbook that meets the needs of both postgraduate students and young researchers interested in, or already working on, problems in cosmology and general relativity, with emphasis on the early universe. A particularly strong feature of the present work is the constructive-critical approach to the present mainstream theories, the careful assessment of some alternative approaches, and the overall balance between theoretical and observational considerations. As such, this book will also benefit experienced scientists and nonspecialists from related areas of research.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes a commemorative volume devoted to Erich J. Neuhold on the occasion of his 65th birthday. The 32 invited reviewed papers presented are written by students and colleagues of Erich Neuhold throughout all periods of his scientific career.The papers are organized in the following topical sections:Database management enabling information systemsSemantic Web drivers for advanced information managementSecuring dynamic media content integrationFrom digital libraries to intelligent knowledge environmentsVisualization ¿ key to external cognition in virtual information environmentsFrom human-computer interaction to human-artefact interactionDomains for virtual information and knowledge environments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Swarm robotics can be defined as the study of how a swarm of relatively simple physically embodied agents can be constructed to collectively accomplish tasks that are beyond the capabilities of a single one. Unlike other studies on multi-robot systems, swarm robotics emphasizes self-organization and emergence, while keeping in mind the issues of scalability and robustness. These emphases promote the use of relatively simple robots, equipped with localized sensing ability, scalable communication mechanisms, and the exploration of decentralized control strategies.This state-of-the-art survey is the first book devoted to swarm robotics. It is based on the First International Workshop on Swarm Robotics held in Santa Monica, CA, USA in July 2004 as part of SAB 2004 192 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Thisbookconstitutestherefereedproceedingsofthe1stInternationalWorkshop on Semantic Web Services and Web Process Composition, SWSWPC 2004, held at the Westin Horton Plaza Hotel, San Diego, California, USA, July 6, 2004, in conjunction with the IEEE International Conference on Web Services (ICWS 2004). Theworkshopintendedtobringresearchers,scientistsfrombothindustryand academics,andrepresentativesfromdi erentcommunitiestogethertostudy,- derstand, and explore the phases that compose the lifecycle of Semantic Web processes. The workshop presented what can be achieved by the symbiotic s- thesis of two of the hottest R&D and technology application areas, Web services and the Semantic Web, as recognized at the 12th International World Wide Web conference (WWW 2003) and in the industry press. The emphasis of the workshop was mainly on Web services, Web processes and semantics which are important movements emerging in the World Wide Web. Web services and Web processes promise to ease several current infr- tructure challenges, such as data, application, and process integration. Web s- vices are truly platform-independent and allow the development of distributed, loosely coupled applications, a key characteristic for the success of dynamic Web processes. 160 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Database management systems are critical components of highly available appli- tions. To meet this need, many highly available database management systems have been developed. This paper describes the architectures that are internally used to construct these highly available databases. These architectures are examined from the perspective of both process redundancy and logical data redundancy. Process red- dancy is always required; it refers to the maintenance of redundant database processes that can take over in case of failure. Data redundancy is also required. Data red- dancy can be provided at either the physical or the logical level. Although both forms of data redundancy can provide high availability, this paper has concentrated on lo- cal data redundancy since that is a case where the database explicitly manages the data copies. We believe that process and data redundancy are useful means to describe the availability characteristics of these software systems. References 1. Application Interface Specification, SAI-AIS-A. 01. 01, April 2003. Service Availability Forum, available at saforum. org. 2. Gray, J. and Reuter, A. : Transaction Processing Systems, Concepts and Techniques. M- gan Kaufmann Publishers, 1992. 3. How MySQL Cluster Supports 99. 999% Availability. MySQL Cluster white paper, MySQL AB, 2004, available at mysql. com/cluster/. 4. Hu, K. , Mehrotra, S. , Kaplan, S. M. : Failure Handling in an Optimized Two-Safe Approach to Maintaining Primary-Backup Systems. Symposium on Reliable Distributed Systems 1998: 161-167. 5. Humborstad, R. , Sabaratnam, M. , Hvasshovd, S-O. , Torbjørnsen, Ø.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -A central theme in the study of dynamic systems is the modelling and control of uncertain systems. While ¿uncertainty¿ has long been a strong motivating factor behind many techniques developed in the modelling, control, statistics and mathematics communities, the past decade, in particular, has witnessed remarkable progress in this area with the emergence of a number of powerful newmethodsforbothmodellingandcontrollinguncertaindynamicsystems. The speci c objective of this book is to describe and review some of these exciting new approaches within a single volume. Our approach was to invite some of the leading researchers in this area to contribute to this book by submitting both tutorial papers on their speci c area of research, and to submit more focussed research papers to document some of the latest results in the area. We feel that collecting some of the main results together in this manner is particularly important as many of the important ideas that emerged in the past decade were derived in a variety of academic disciplines. By providing both tutorial and researchpaperswehopetobeabletoprovidetheinterestedreaderwithsu cient background to appreciate some of the main concepts from a variety of related, but nevertheless distinct elds, and to provide a avor of how these results are currently being used to cope with ¿uncertainty. ¿ It is our sincere hope that the availability of these results within a single volume will lead to further cro- fertilization of ideas and act as a spark for further research in this important area of applied mathematics. 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in April 2000 and the second in October 2002. Interest in agent-based systems continues to grow and this is seen in the wide range of conferences and journals that are addressing the research in this area as well as the prototype and developmental systems that are coming into use. Our third workshop, FAABS-III, was held in April, 2004. This volume contains the revised papers and posters presented at that workshop. The Organizing Committee was fortunate in having significant support in the planning and organization of these events, and were privileged to have wor- renowned keynote speakers Prof. J Moore (FAABS-I), Prof. Sir Roger Penrose (FAABS-II), and Prof. John McCarthy (FAABS-III), who spoke on the topic of se- aware computing systems, auguring perhaps a greater interest in autonomic computing as part of future FAABS events. We are grateful to all who attended the workshop, presented papers or posters, and participated in panel sessions and both formal and informal discussions to make the workshop a great success. Our thanks go to the NASA Goddard Space Flight Center, Codes 588 and 581 (Software Engineering Laboratory) for their financial support and to the IEEE Computer Society (Technical Committee on Complexity in Computing) for their sponsorship and organizational assistance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri cation, Model Checking and Abstract Interpretation (VMCAI 2005), which was held January 17¿19, 2005 in Paris, France. VMCAI provides a forum for researchers from the communities of veri - tion, model checking, and abstract interpretation, facilitating interaction, cro- fertilization, and advancement of hybrid methods that combine the three areas. With the growing need for formal methods to reason about complex, in ni- state, and embedded systems, such hybrid methods are bound to be of great importance. VMCAI 2005 received 92 submissions. Each paper was carefully reviewed, being judged according to scienti c quality, originality, and relevance to the symposium topics. Following online discussions, the program committee met in ¿ Paris,France,attheEcoleNormaleSup¿ erieureonOctober30,2004,andselected 27 papers. In addition to the contributed papers, this volume includes contributions by outstanding invited speakers: ¿ ¿ Patrick Cousot (Ecole Normale Sup¿ erieure, Paris), Proving Program Inva- ance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semide nite Programming; ¿ C.A.R. Hoare (Microsoft Research, Cambridge), The Verifying Compiler, a Grand Challenge for Computing Research; ¿ Amir Pnueli (New York University and Weizmann Institute of Science), - straction for Liveness. The VMCAI 2005 program included an invited tutorial by Sriram K. Ra- mani (Microsoft Research,Redmond) on Model Checking, Abstraction and S- bolic Execution for Software. VMCAI 2005 was followed by workshops on Automatic Tools for Veri - tion, Abstract Interpretation of Object-Oriented Languages, and Numerical & Symbolic Abstract Domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International Conference on Implemen- tion and Application of Automata, CIAA 2004. Also included are the extended abstracts of the posters accepted to the conference. The conference was held at Queen¿s University in Kingston, Ontario, Canada on July 22¿24, 2004. As for its predecessors, the theme of CIAA 2004 was the implementation of automata and grammars of all types and their application in other elds. The topics of the papers presented at the conference range from applications of automata in natural language and speech processing to protein sequencingandgenecompression,andfromstatecomplexityandnewalgorithms for automata operations to applications of quantum nite automata. The25regularpapersand14posterpaperswereselectedfrom62submissions totheconference.EachsubmittedpaperwasevaluatedbyatleastthreeProgram Committee members, with the help of external referees. Based on the referee reports, the paper ¿Substitutions, Trajectories and Noisy Channels¿ by L. Kari, S. Konstantinidis and P. Sos¿ k was chosen as the winner of the CIAA 2004 Best Paper Award. The award is sponsored by the University of California at Santa Barbara. The authors of the papers presented here come from the following countries and regions: Austria, Canada, Czech Republic, Finland, France, Germany, Hong Kong, Netherlands, Portugal, Russia, Slovakia, South Africa, Spain, UK, and USA. 356 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The theme ¿Build and Conquer¿ chosen for this year¿s conference fully represents what we (the organizers) want to put across to the software community: software development is an engineering discipline, and not an artistic expression. Once we are ready to ¿build¿ our software systems using pieces previously builtin (similar to any other technology manufacturer), we will be able to ¿conquer¿ the software engineering process. If we take a look at other engineering disciplines such as car manufacturing, house appliances or aeronautics, we see that the final products are built through the integration of multiprovider commercial components. These components are successfully integrated and constitute an important part of the final product. Most software-related organizations still build software from scratch, omitting thousands of ready-built commercially available software components that could be used very effectively during the development phase. This year ICCBSS moves to Europe for the first time since the first conference took place in Orlando, FL, USA in 2002. The conference scope has enlarged over the years to include the Open Source community and Web Services technologies. The reason for this is that I believe both are considered components-off-the-shelf, so many of the characteristics of COTS are also applied to Open Source and Web Services. Due to this, we will enjoy the presence of keynote speakers and researchers presenting on these two topics for the first time.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -5th Werner Kern Award for Productivity Research 2005 Kanban control systems bear a great potential to significantly improve operations. A company may reap the full benefits of kanban control only after determining an optimal or near-optimal system configuration. To do that, methods are needed to evaluate the performance and operating costs of individual system configurations. We propose an innovative construction-kit approach that enables us to build stochastic analytical models of a large class of single- and multi-product kanban systems. The presented construction-kit approach may be extended and augmented in various directions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In many industries the tariffs are not strictly proportional to the quantity purchased, i. e, they are nonlinear. Examples of nonlinear tariffs include railroad and electricity schedules and rental rates for durable goods and space. The major justification for the nonlinear pricing is the existence of private information on the side of consumers. In the early papers on the subject, private information was captured either by assuming a finite number of types (e. g. Adams and Yellen, 1976) or by a unidimensional continuum of types (Mussa and Rosen, 1978). Economics of the unidimen sional problems is by now well understood. The unidimensional models, however, do not cover all the situations of practical interest. Indeed, often the nonlinear tariffs specify the payment as a function of a variety of characteristics. For example, railroad tariffs spec ify charges based on weight, volume, and distance of each shipment. Dif ferent customers may value each of these characteristics differently, hence the customer's type will not in general be captured by a unidimensional characteristic and a problem of multidimensional screening arises. In such models the consumer's private information (her type) is captured by an m¿dimensional vector, while the good produced by the monopolist has n quality dimensions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Condición: Neu. Neuware -1 2 Laurent Huck and Sergio Trezzi During the last 5 years the asset management industry has been constantly invested by events which have required top management of major com- nies to rethink their business model, while preserving their company¿s mission. From the Internet bubble easy growth model to a strong cost control - vironment in 2000-2003, many financial institutions have undertaken structural changes in order to reap the opportunities offered by the ¿new¿ market. Hints of globalization have actually been around for several decades, even though they made only a modest impact; however, the availability of global capital and advances in communication technology have emp- sized the process of internationalization and the tools available to connect and integrate business activities to answer to more complex needs of c- ents. Moreover, the financial scandals and the review of mutual fund trade activity in the US by the Attorney General Elliot Spitzer have highlighted the importance to focus all efforts on renewing the confidence of prof- sional investors and their clients who have entrusted their capital to asset managers. Therefore, there is a growing need in the market to reinforce the concept of ¿Shared Positive Values¿ among the entire industry and among its stakeholders.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Buch. Condición: Neu. Neuware -Physical Oceanography of the Dying Aral Sea describes the background, present crisis state, and possible future of this peculiar inland water body from the physical oceanographic standpoint. Based on a wide range of material, a large part of which was published in Russian and has not been previously available to the international reader, the book first provides an historical overview of this unique system, which possesses both lake and sea properties.Next, the current physical state of the lake is described, partly based on original field research and model experiments, along with the remote sensing data, model results and analyses extracted from recent literature. Next, book attempts to forecast the forthcoming state of the Aral Sea and identify plausible future scenarios. Finally, the book discusses the Aral Sea dessication viewd as a part of the global perspective.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 180 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -TCC 2005, the 2nd Annual Theory of Cryptography Conference, was held in Cambridge,Massachusetts,onFebruary10¿12,2005.Theconferencereceived84 submissions,ofwhichtheprogramcommitteeselected32forpresentation.These proceedings contain the revised versions of the submissions that were presented at the conference. These revisions have not been checked for correctness, and the authors bear full responsibility for the contents of their papers. The conference program also included a panel discussion on the future of theoretical cryptography and its relationship to the real world (whatever that is). It also included the traditional ¿rump session,¿ featuring short, informal talks on late-breaking research news. Much as hatters of old faced mercury-induced neurological damage as an occupational hazard, computer scientists will on rare occasion be a icted with egocentrism, probably due to prolonged CRT exposure. Thus, you must view withpityandnotcontemptmyunalloyedelationathavingmynameonthefront cover of this LNCS volume, and my deep-seated conviction that I fully deserve the fame and riches that will surely come of it. However, having in recent years switched over to an LCD monitor, I would like to acknowledge some of the many who contributed to this conference. First thanks are due to the many researchers from all over the world who submitted their work to this conference. Lacking shrimp and chocolate-covered strawberries, TCC has to work hard to be a good conference. As a community, I think we have. 640 pp. Englisch.