springer berlin heidelberg mrz 2003 (54 risultati)

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Conflict appears in many forms, from a dictator terrorizing his country to organized crime demanding protection money. Questions and issues addressed in this text include: the conditions which make conflict severe; whether voluntary agreements can avoid future conflict; how the outcome of one war will affect the incentives of countries to wage war in the future; and how dictators hold power. The book provides an overview of existing literature, applies the theory of conflict to new situations, and gives foundations for future work. It should interest both researchers and students studying political economy, public choice, international relations, and comparative politics. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group.The papers are organized in three parts on agent-based information systems, adaptive information agents, and coordination of information agents. Also included are a comprehensive introduction and surveys for each of the three parts. 284 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book fills an information gap in digital manufacturing in the Internet era. It deals with Web applications in product de- sign and manufacture. The contents assist both developers and users to appreciate the potentials, as well as difficulties with suggested solutions, in developing and adopting Web applicati- ons. The objective is to equip potential users and practitioners of Web applications with a better image of the technology. In addition, Web application developers and new researchers in this field are expected to gather improved and clearer ideas regarding the selection of system architecture and design, development and implementation techniques, and deployment strategies. The book is divided into two main parts. The first part gives an overview of Web and Internet applications in product design and manufacture. The second part includes eight chapters of typical Web applications. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheSDLandMSC(SAM)workshopisheldeverytwoyearstoprovideanopen discussionarenabetweentheSDLForummeetings. The3rdSAMWorkshopwas heldinAberystwyth,Wales,UKfromJune24toJune26,2002,toaddressthe theme Telecommunication and Beyond: the Broader Applicability of SDL and MSC. Participants included SDL forum members, tool vendors, standardizers, industrialusersandresearchers. TheworkshopwasorganizedbytheSDLForum Society,andtheUniversityofWales,Aberystwyth. The15paperscollectedherewereselectedforpresentationattheworkshop, andthenrevisedinthelightofdiscussions. TheworkshopalsofeaturedanSDL design contest, whose entries are accessible via the SDL Forum society website atsdl-forum. org/SAMcontest/ The papers are divided into two parts, with the rst 11 papers focusing on SDL,andthe nalfouronMSCandTTCN. December2002 EdelSherratt Organization SAM 2002 was organized by the Department of Computer Science, University ofWales,Aberystwyth,andtheSDLForumSociety. Executive Committee SDLForumSocietyCo-chair: RickReed,Chairman,SDLForumSociety LocalCo-chair: EdelSherratt,UniversityofWales, Aberystwyth Committeemembers: ChrisLoftus,UniversityofWales,Aberystwyth MoraMcCallum,UniversityofWales, Aberystwyth NealSnooke,UniversityofWales,Aberystwyth JonathonBell,UniversityofWales, Aberystwyth UweGl asser,Treasurer,SDLForumSociety AndreasPrinz,Secretary,SDLForumSociety JeanneReed,Administration,SDLForum Society Program Committee ConferenceChair:RickReed ProgramChair:AndreasPrinz OrganizingChair:EdelSherratt Demonstrations: UweGl asser ChrisLoftus Committeemembers: ReinhardGotzhein JoachimFischer DieterHogrefe EkkartRudolph RolvBraek SusanneGraf SjoukeMauw NikolaiMansurov CliveJervis DanielAmyot ThomasWeigert BobProbert VIII Organization Referees RickReed JoachimFischer NikolaiMansurov AndreasPrinz DieterHogrefe CliveJervis EdelSherratt EkkartRudolph DanielAmyot UweGl asser RolvBraek ThomasWeigert ChrisLoftus SusanneGraf BobProbert ReinhardGotzhein SjoukeMauw Table of Contents SDL CoSDL AnExperimentalLanguageforCollaborationSpeci cation . . . . 1 Frank R o ler, Birgit Geppert, Reinhard Gotzhein URN:TowardsaNewStandardfortheVisual DescriptionofRequirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 Daniel Amyot, Gunter Mussbacher ExpressionofTimeandDurationConstraintsinSDL . . . . . . . . . . . . . . . . . 38 Susanne Graf SDLTimeExtensionsfromaSemanticPointofView. . . . . . . . . . . . . . . . . . 53 Andreas Prinz MicroProtocolDesign:TheSNMPCaseStudy. . . . . . . . . . . . . . . . . . . . . . . 61 Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible ImplementationofUMTSProtocolLayersforthe RadioAccessInterface. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Javier Col as, J. M. P erez, Javier Poncela, J. T. Entrambasaguas Object-OrientedSpeci cationofProtocolsforReusability. . . . . . . . . . . . . . 90 Andreas Prinz, Mario Schwarz RapidDevelopmentofNetworkSoftwareviaSDL/SocketInterfaces . . . . . 103 Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan Williams UnderstandingExistingSoftwarewithUseCaseMapScenarios. . . . . . . . . 124 Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher TechniquesforAbstractingSDLSpeci cations. . . . . . . . . . . . . . . . . . . . . . . . 141 Sergiy Boroday, Roland Groz, Alex Petrenko, Yves-Marie Quemener Model-BasedGenerationofSDLSpeci cationsforthe EarlyPrototypingofReactiveSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 Andreas Metzger, Stefan Queins MSC and TTCN AutomaticGenerationofConformanceTestsfrom MessageSequenceCharts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS2003wasthesixthinstanceoftheEuropeanJointConferencesonTheory andPracticeofSoftware.ETAPSisanannualfederatedconferencethatwases- blishedin1998bycombininganumberofexistingandnewconferences.Thisyear it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 14 - tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS, and WOOD), eight invited lectures (not including those that are speci c to the satellite events), and several tu- rials. We received a record number of submissions to the ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the nal program! I hope that all the other authors still found a way of participating in this exciting event, and I hope you will continue submitting. A special event was held to honor the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our fathers in the summer of 2002 Dahl, Dijkstra and Nygaard reminded us that Software Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS. 424 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These are the proceedings of CT-RSA 2003, the Cryptographers Track at RSA Conference 2003. The proceedings of CT-RSA 2001 and CT-RSA 2002 were published in Springer-Verlag s Lecture Notes in Computer Science series as LNCS 2020 and LNCS 2271, respectively. The Cryptographers Track is one of the many parallel tracks of the RSA Conference. With many thousands of participants, the RSA Conference is the largest security and cryptography event of the year. There were 97 submitted contributions this year, of which 26, or 27%, were selected for presentation. The program also included two invited talks by Tom Berson ( Cryptography After the Bubble: How to Make an Impact on the World ) and by Adi Shamir ( RSA Shortcuts ). All submissions were reviewed by at least three members of the program committee. I am very grateful to the 21 members of the program committee for their hard and e cient work in assembling the program. My thanks also go to the 78 external referees who helped in the review process in their area of exp- tise: Gail-Joon Ahn, Toru Akishita, Kazumaro Aoki, Gildas Avoine, Joonsang Baek, Olivier Benoit, Alex Biryukov, Alexandra Boldyreva, Antoon Bosselaers, Emmanuel Bresson, Eric Brier, Brice Canvel, Dario Catalano, Chien Yuan Chen, Donghyeon Cheon, Jung Hee Cheon, Olivier Chevassut, Kilsoo Chun, Mathieu Ciet, Christophe Clavier, Jean-S ebastien Coron, Reza Curtmola, Christophe De Canni`ere, Jean-Fran cois Dhem, Xuhua Ding, Pierre-Alain Fouque, Jacques Fournier, Fabien Germain, Jovan Dj. Goli c, Philippe Golle, Louis Granboulan, Jorge Guajardo, D. J. 436 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003.The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on register allocation, language constructs and their implementation, type analysis, Java, pot pourri, and optimization. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESOP 2003, held in Warsaw, Poland, in April 2003.The 25 revised full papers presentedtogether with two invited papers were carefully reviewed and selected from 99 submissions. Among the topics addressed are programming paradigms and their integration, program semantics, calculi of computation, security, advanced type systems, program analysis, program transformation, and practical algorithms based on theoretical developments. 436 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Companies and financial institutions are employing operational information systems in an efficient way. While they have consolidated a strong level of knowledge in management information systems, there is still a lack of knowledge on the right way to apply customer relationship management (CRM) systems under a business perspective. Most of the companies are still having problems in evaluating how CRM can meet with the expected results. The level of complexity is perceived both under a technologicaland organizational point of view. A complete innovation process and heavy change management initiatives should be ensured in order to have effective and successful systems. This book offers a solid theoretical and practical perspective on how to face CRM projects, describing the most appropriate technologies and organizational issues that have to be considered. Some explaining cases have been included as well. 188 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -What does 'excellent manufacturing management' mean Management texts to date have emphasized that it is, above methods such as SPC or TQM, a matter of 'intangibles' and 'culture'. This book takes the myth out of management excellence; it can be learned and practiced. First, manage the three core processes, strategy deployment, product and process development, and the supply chain. And secondly, pay attention to the dimension of management quality, direction setting, integration and delegation, communication, participation, measurement, and employee development. This book explains management quality and demonstrates how it is implemented, with ten plant tours through world-class factories from different industries. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The proceedings of the Israeli GAFA seminar on Geometric Aspect of Functional Analysis during the years 2001-2002 follow the long tradition of the previous volumes. They continue to reflect the general trends of the Theory. Several papers deal with the slicing problem and its relatives. Some deal with the concentration phenomenon and related topics. In many of the papers there is a deep interplay between Probability and Convexity. The volume contains also a profound study on approximating convex sets by randomly chosen polytopes and its relation to floating bodies, an important subject in Classical Convexity Theory. All the papers of this collection are original research papers. 444 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7 9, 2003. FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS). The pre- ous ve FOSSACS conferences took place in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), and Grenoble (2002). FOSSACS presents original papers on foundational researchwith a clear s- ni cancetosoftwarescience.TheProgramCommitteeinvitedpapersontheories and methodsto supportthe analysis,integration,synthesis,transformation,and veri cation of programs and software systems. We identi ed the following t- ics, in particular: algebraic models; automata and language theory; behavioural equivalences; categorical models; computation processes over discrete and c- tinuous data; computation structures; logics of programs; modal, spatial, and temporallogics;modelsof concurrent,reactive,distributed, and mobile systems; processalgebrasandcalculi;semanticsofprogramminglanguages;softwaresp- i cation and re nement; transition systems; and type systems and type theory. We received 96 submissions, of which 2 were withdrawn. This proceedings consists of 27 papers. The rst A Game Semantics for Generic Polymorphism accompanies the invited lecture by Samson Abramsky, University of Oxford. The remaining 26 were selected for publication by the Program Committee during a week-long electronic discussion. I sincerely thank all the authors of papers submitted to FOSSACS 2003; the number and the quality of papers were exceptionally high this year. Moreover, I would like to thank all the members of the ProgramCommittee for the excellent job they did during a rather demanding selection process, and to thank all our subreferees for their invaluable contributions to this process. 460 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Counting is one of the basic elementary mathematical activities. It comes with two complementary aspects: to determine the number of elements of a set - and to create an ordering between the objects of counting just by counting them over. For finite sets of objects these two aspects are realized by the same type of num bers: the natural numbers. That these complementary aspects of the counting pro cess may need different kinds of numbers becomes apparent if one extends the process of counting to infinite sets. As general tools to determine numbers of elements the cardinals have been created in set theory, and set theorists have in parallel created the ordinals to count over any set of objects. For both types of numbers it is not only counting they are used for, it is also the strongly related process of calculation - especially addition and, derived from it, multiplication and even exponentiation - which is based upon these numbers. For fuzzy sets the idea of counting, in both aspects, looses its naive foundation: because it is to a large extent founded upon of the idea that there is a clear distinc tion between those objects which have to be counted - and those ones which have to be neglected for the particular counting process. 212 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Internet has been bringing about changes in many respects, from culture to techn- ogy; mobile cellular communication systems are no exception. All-IP is the term that has been used in this big revolution in wireless communication systems. All-IP requires the solution of many real and research problems relating to handset terminals, access networks, and wireless backbone systems. How will the handset terminals evolve How will the various wireless access n- works such as Ad-Hoc, WLL, and WLAN affect the existing mobile cellular systems, especially those based on CDMA technology. How will the backbone network arc- tecture change To re ect on these questions, the 7th CIC had as its theme CDMA Convergence Toward Next Generation Wireless. Fortunately, many researchers, op- ators, and manufactures have contributed answers to these questions. FortheTechnicalProgramCommittee,itwasnoteasytoselectpapersfortheLecture NotesinComputerSciencefromamongthe140goodpapersacceptedfortheconference. OnbehalfoftheTPC,wewouldliketoexpressoursincereappreciationandthankstothe authorsfortheircontributionstopreparingandrevisingthepapers,a ndwealsothankthe TPCmembersandthereviewerswhohelpedputtogetheranexcellenttechnicalprogram for the conference. October 2002 Jaiyong Lee Chul-Hee Kang InternationalAdvisoryCommittee Chair Gil Rok Oh (ETRI, Korea) Co-chairs Hang Gu Bahk (Hyundai Syscomm, Korea) Kye Suk Jun (Kyunghee Univ. , Korea) Members Sang-Chul Lee (KT, Korea) Sung-Kyu Lee (Pantech, Korea) Moonsoo Pyo (SK Telecom, Korea) Hyuckjae Lee (ICU, Korea) Yong-Kyung Lee (KTF, Korea) Chu-HwanYim (TTA, Korea) John Koo (LG Electronics, Korea) Hong Shik Jung (Telson, Korea) Jong-YongYun (Samsung, Korea) Mike Murphy (Nortel Networks, USA) Yong Nam (LG Telecom, Korea) Laary Paulson (Nokia, Finland) Young-Chu Cho (KTICOM, Korea) Irwin Jacobs (Qualcomm, USA) In-Sik Oh (Motorola, Korea) Janos Fugedi (Ericsson, Sweden) John C. 536 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Schwerpunkte dieses anwendungsbezogenen Lehrbuches sind der Entwurf und die Abfrage von Datenbanken in Anwendersprachen. Der erste Teil behandelt am Beispiel typischer Datenstrukturen und Algorithmen die Dateiverwaltung in konventionellen Programmiersprachen der 3. Generation. Ausgehend von der Datenbankverwaltung in zwei verbreiteten Softwarepaketen führt der zweite Teil in den Entwurf von Datenbanken ein. Im Anschluß daran verdeutlicht ein Fallbeispiel die Anwendungsentwicklung in prozeduralen Datenbanksprachen der 4. Generation. Der letzte Abschnitt mißt verbreitete Datenbankverwaltungssysteme auf Personalcomputern an den Anforderungen eines idealen relationalen Systems. Das Erlernen der in den Beispielen und Aufgaben verwendeten Sprachen und Werkzeuge ist nicht Hauptzweck. Pascal, dBASE, Paradox, SQL und Query by Example sind lediglich Vehikel zur Verdeutlichung grundlegender Konzepte. Besonderer Wert wird auf die didaktisch-methodische Gestaltung gelegt: Jedes Kapitel beginnt mit einer strukturierten Liste der wichtigsten Begriffe. Zusammenfassungen und Aufgaben wiederholen und vertiefen den Stoff jedes Kapitels. Der Anhang enthält die vollständigen Lösungen zu praktisch allen Aufgaben und ein Glossar. 384 pp. Deutsch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume, in a sense, aims at reflecting the qualities of the honoree and it does so in two respects. On the one hand, it covers a great variety of subdisciplines of economics. On the other hand, the book ranges from theoretical and mathematical economics to hands-on applied analyses of economic-policy issues. All essays are driven by the aspiration to better understand the economy and to draw relevant conclusions for economic policy. The book is divided into five parts dealing with the German economy, European economic issues, global markets, international trade theory and policy, and natural resources and the environment. 416 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -John T. Addison and Paul J. J. Welfens Because inflation seems moribund in OECD countries, stubborn unemployment became the top policy priority of the 1990s. Unemployment has increased in many countries, reaching critical levels for unskilled and young workers in most continental EU countries. Europe's employment performance has continued to lag that in North America. The U. S. in particular achieved a remarkable combination of low inflation and full employment in the late 1990s, at a time when the EU suf fered from record unemployment rates, even if inflation was remarkably low. Since the 1980s, the consensus view among economists is that structural unem ployment plays a much more important role than cyc1ical unemployment in Europe, but that labour costs (wage costs plus nonwage costs) are also part of Europe's labour market problem. Most EU countries rely on a pay-as-you-go pub lic pension system. Contribution rates gradually increased in the 1980s and 1990s, when the share of young workers in overall employment was dec1ining and life expectancy increasing. Rising nonwage costs from the pension system are but one important feature of labour markets in Europe. Given the remarkable dynamics of labour markets, new entry into the labour force, labour turnover, and changes in employment characteristics, one has to also search for other factors behind sus tained unemployment. High unemployment is critical for EU countries, where one can point to rela tively few positive developments after 1975. The U. K. 416 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2003, held in Aalborg, Denmark in July 2003.The 47 revised full papers presented together with 2 invited survey articles were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of uncertainty concepts, Bayesian networks, algorithms for uncertainty inference, learning, decision graphs, belief functions, fuzzy sets, possibility theory, default reasoning, belief revision and inconsistency handling, logics, and tools. 628 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Especially designed as self-sustaining oscillating systems, resonant robotic systems use the natural modes of oscillation of electromechanical modules for their movements. In fact, manipulator systems built on these principles demonstrate record-breaking characteristics in performance. The authorssummarizethe results and experience of research on, and development of, resonant robotic systems. For the readers convenience, apresentation of design concepts is followedbysolutions tonew dynamical and control problems. The book is intended for designers, researchers andgraduate students. 192 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is interdisciplinary in character and combines the knowledge of me chanics and chemical engineering with the aim of presenting a more exhaustive analysis ofthe phenomena occurring in wet materials during drying. Traditionally, the subject of drying has been an almost exclusive domain of chemical engineers. The drying curricula have mostly included only the courses of heat and mass transfer or diffusion. The mechanical phenomena that accompany drying, as for example, warping or deformation of dried materials, or the drying induced stresses and fissures of the material, were ignored or considered in a rather obscure way. This book broadens the scope of drying theory, bringing into the curriculum the tools enabling the study of both heat and mass transport processes and the me chanical phenomena that occur in wet materials under drying. There is little available literature that brings together heat and mass transport processes and mechanical phenomena in a unified approach to drying processes. 360 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -V VII X Table of Contents Table of Contents XI XII Table of Contents A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 1-8, 2003. Springer-Verlag Berlin Heidelberg 2003 A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 9-16, 2003. Springer-Verlag Berlin Heidelberg 2003 x(t), pilot valve piston position Return Pressure Source Return Load M, b y(t) A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 17-28, 2003. Springer-Verlag Berlin Heidelberg 2003 load displacement, y(t) 3 2 1 0 1 2 3 0 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ Load displacement, y(t) 0.4 0.2 0 0.2 0.4 0.6 0.8 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ, dashdot compensated Load displacement, y(t) 3 2 1 0 1 2 3 0 10 20 30 40 50 60 70 80 90 100 Control input, x(t) 0.8 0.6 0.4 0.2 0 0.2 0.4 0.6 0 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ, dashdot compensated Load displacement, y(t) 0.6 0.4 0.2 0 0.2 0.4 0.6 0.8 0 10 20 30 40 50 60 70 80 90 100 solid without DZ, dotted with DZ, dashdot compensated A. Taware and G. Tao: Control of Sandwich Nonlinear Systems, LNCIS 288, pp. 29-54, 2003. Springer-Verlag Berlin Heidelberg 2003 244 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -At the dawn of the new millennium, robotics is undergoing a major transfor- tion in scope and dimension. From a largely dominant industrial focus, robotics is rapidly expanding into the challenges of unstructured environments. Inter- ting with, assisting, serving, and exploring with humans, the emerging robots will increasingly touch people and their lives. The goal of this new series of Springer Tracts in Advanced Robotics is to bring,inatimelyfashion,thelatestadvancesanddevelopmentsinroboticsonthe basisoftheirsigni canceandquality.Itisourhopethatthegreaterdissemination of research developments will stimulate more exchanges and collaborations among the research community and contribute to further advancement of this rapidly growing eld. As one of robotics pioneering symposia, ISRR, the 'International Sym- sium on Robotics Research,' has established over the past two decades some of the eld's most fundamental and lasting contributions.With the launching of STAR, this and other thematic symposia devoted to excellence in robotics nd an important platform for closer links and extended reach within the research community. The Tenth edition of 'Robotics Research' edited by Raymond Jarvis and AlexZelinskyoffersinits11-partvolumeacollectionofabroadrangeoftopics in robotics. The content of these contributions provides a wide coverage of the current state of robotics research: the advances and challenges in its theoretical foundation and technology basis, and the developments in its traditional and new areas of applications. 600 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ETAPS 2003 was the sixth instance of the European Joint Conferences on T- ory and Practice of Software. ETAPS is an annual federated conference that was establishedin1998bycombininganumberofexistingandnewconferences.This yearitcomprised veconferences(FOSSACS,FASE,ESOP,CC,TACAS),14- tellite workshops (AVIS, CMCS, COCV, FAMAS, Feyerabend, FICS, LDTA, RSKD, SC, TACoS, UniGra, USE, WITS and WOOD), eight invited lectures (not including those that are speci c to the satellite events), and several tu- rials. We received a record number of submissions to the ve conferences this year: over 500, making acceptance rates fall below 30% for every one of them. Congratulations to all the authors who made it to the nal program! I hope that all the other authors still found a way of participating in this exciting event and I hope you will continue submitting. A special event was held to honour the 65th birthday of Prof. Wlad Turski, one of the pioneers of our young science. The deaths of some of our fathers in thesummerof2002 Dahl,DijkstraandNygaard remindedusthatSoftware Science and Technology is, perhaps, no longer that young. Against this sobering background, it is a treat to celebrate one of our most prominent scientists and his lifetime of achievements. It gives me particular personal pleasure that we are able to do this for Wlad during my term as chairman of ETAPS. 628 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98), Nijmegen, The Neth- lands (HSCC'99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the nal versions of these papers appear in this volume. 576 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Computer Vision Systems, ICVS 2003, held in Graz, Austria, in April 2003.The 51 revised full papers presented were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on cognitive vision, philosophical issues in cognitive vision, cognitive vision and applications, computer vision architectures, performance evaluation, implementation methods, architecture and classical computer vision, and video annotation. 564 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent developments in electronic structure theory have led to a new understanding of magnetic materials at the microscopic level. This enables a truly first-principles approach to investigations of technologically important magnetic materials. Among these advances have been practical schemes for handling non-collinear magnetic systems, including relativity, understanding of the origins and role of orbital magnetism within band structure formalisms, density functional approaches for magnons and low-lying spin excitations, understanding of the interplay of orbital, spin and lattice orderings in complex oxides, transport theories for layered systems, and the theory of magnetic interactions in doped semiconductors. The book covers these recent developments with review articles by some of the main originators of these advances. 344 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This excellently written monograph provides - for the first time ever - a thorough introduction and systematic overview of all aspects of intelligent data processing on the Web. It presents both the current state of research as well as application aspects. All major topics related to Web Intelligence which can have impact on future directions and developments are presented in detail. This book will be a valuable source of reference for years to all research and development professionals interested in Web Intelligence. Students will also appreciate the numerous illustrations and examples. 468 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Most information on yeasts derives from experiments with the conventional yeasts Saccaromyces cerevisiae and Schizossaccharomyces pombe, the complete nuclear and mitochondrial genome of which has also been sequenced. For all other non-conventional yeasts, investigations are in progress and the rapid development of molecular techniques has allowed an insight also into a variety of non-conventional yeasts.In this bench manual, over 70 practical protocols using 15 different non-conventional yeast species and in addition several protocols of general use are described in detail. All of these experiments on the genetics, biochemistry and biotechnology of yeasts have been contributed by renowned laboratories and have been reproduced many times. The reliable protocols are thus ideally suited also for undergraduate and graduate practical courses. 524 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is not an exaggeration to view Professor Lee's book,' Software Engineer ing with Computational Intelligence,' or SECI for short, as a pioneering contribution to software engineering. Breaking with the tradition of treat ing uncertainty, imprecision, fuzziness and vagueness as issues of peripheral importance, SECI moves them much closer to the center of the stage. It is ob vious, though still not widely accepted, that this is where these issues should be, since the real world is much too complex and much too ill-defined to lend itself to categorical analysis in the Cartesian spirit. As its title suggests, SECI employs the machineries of computational intel ligence (CI) and, more or less equivalently, soft computing (SC), to deal with the foundations and principal issues in software engineering. Basically, CI and SC are consortia of methodologies which collectively provide a body of con cepts and techniques for conception, design, construction and utilization of intelligent systems. The principal constituents of CI and SC are fuzzy logic, neurocomputing, evolutionary computing, probabilistic computing, chaotic computing and machine learning. The leitmotif of CI and SC is that, in general, better performance can be achieved by employing the constituent methodologies of CI and SC in combination rat her than in a stand-alone mode. In what follows, I will take the liberty of focusing my attention on fuzzy logic and fuzzy set theory, and on their roles in software engineering. But first, a couple of points of semantics which are in need of clarification. 292 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The contributions to this book cover a wide range of applications of Soft Computing to the chemical domain. The early roots of Soft Computing can be traced back to Lotfi Zadeh's work on soft data analysis [1] published in 1981. 'Soft Computing' itself became fully established about 10 years later, when the Berkeley Initiative in Soft Computing (SISC), an industrial liaison program, was put in place at the University of California - Berkeley. Soft Computing applications are characterized by their ability to: - approximate many different kinds of real-world systems; - tolerate imprecision, partial truth, and uncertainty; and - learn from their environment. Such characteristics commonly lead to a better ability to match reality than other approaches can provide, generating solutions of low cost, high robustness, and tractability. Zadeh has argued that soft computing provides a solid foundation for the conception, design, and application of intelligent systems employing its methodologies symbiotically rather than in isolation. There exists an implicit commitment to take advantage of the fusion of the various methodologies, since such a fusion can lead to combinations that may provide performance well beyond that offered by any single technique. 332 pp. Englisch.