Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540013148ISBN 13: 9783540013143
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Entwicklung der digitalen Bildverarbeitung im Desktop Publishing hat seit dem Erscheinen der ersten Auflage dieses Buches eine stürmische Entwicklung genommen. Die 4. Auflage dieses Klassikers von Mattias Nyman wurde vom bekannten Fachautor Jan-Peter Homann aktualisiert, um Einsteigern den Umgang mit Scans, Druckdaten und Proofs praxisorientiert und verständlich zu vermitteln. Hierbei sind insbesondere die Richtlinien der Forschungsgesellschaft Druck FOGRA und des Bundesverbands Druck und Medien bvdm berücksichtigt. Diese geben klare Vorgaben für die Separation nach CMYK, die Erzeugung von PDF/X Daten und die Erstellung von farbverbindlichen Digitalproofs. So werden verbindliche Schnittstellen zwischen der Druckvorstufe und der Druckerei geschaffen, die für alle Beteiligten größtmögliche Produktionssicherheit bieten.Das Buch wendet sich an Einsteiger und bietet Repro-Profis ein Update zu aktuellen Standards. 136 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540207058ISBN 13: 9783540207054
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Übungsbuch ist inhaltlich abgestimmt auf das Lehrbuch 'Grundzüge der Produktionswirtschaft'. Es vertieft dessen wesentliche Aspekte anhand zahlreicher Übungsaufgaben mit detaillierten Musterlösungen. Durch erläuternde Hinweise und Illustrationen erleichtert das unter didaktischen Gesichtspunkten konzipierte Übungsbuch das Verständnis des Stoffes und stellt so eine optimale Ergänzung zum o. g. Lehrbuch dar. 284 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540003819ISBN 13: 9783540003816
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch richtet sich an Gynäkologen, die in vertrauter Sprache und Form Antworten auf spezifische juristische Fragen und Probleme suchen. Die gemeinsame Erarbeitung durch einen Juristen undGynäkologen erlauben eine hohe Praxisrelevanz bei gleichzeitiger juristischer Genauigkeit. Typische Situationen und Probleme desgynäkologischen Alltags in Klinik und Praxis werden juristisch durchleuchtet. Sofort umsetzbare Antworten werdenergänzt durch Checklisten und Praxistipps. Zukünftige Entwicklungen wie der Einfluss des europäischen Rechts auf die tägliche Arbeit oder auch Netzstrukturen werden berücksichtigt. Ein detailliertes Stichwortverzeichnis erleichtert das Auffinden der entsprechenden Themen. Das Buch richtet sich anGynäkologen aber auch an Ärzte in dergynäkologischen Weiterbildung in Klinik, Praxis und Verwaltung, um insbesondere Unsicherheiten in Bezug auf juristische Fragen dieses Fachgebietes zu nehmen. 288 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540206124ISBN 13: 9783540206125
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Morse-Sard theorem is a rather subtleresult and the interplay between the high-order analytic structure of the mappings involved and their geometry rarely becomes apparent. The main reason is that the classical Morse-Sard theorem is basically qualitative. This volume gives a proofand also an 'explanation' of the quantitative Morse-Sard theorem and related results, beginning with the studyof polynomial (or tame) mappings. The quantitative questions, answered by a combination of the methods of real semialgebraic and tame geometry and integral geometry, turn out to be nontrivial and highly productive.The important advantage of this approach is that it allows the separation of the role of high differentiability and that of algebraic geometry in a smooth setting: all the geometrically relevant phenomena appear already for polynomial mappings. The geometric properties obtained are 'stable with respect to approximation', and can be imposed on smooth functions via polynomial approximation. 200 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540220984ISBN 13: 9783540220985
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 200 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208259ISBN 13: 9783540208259
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -WithgreatpleasurewewelcomedtheattendeestoEWSN2004,the1stEuropean Workshop on Wireless Sensor Networks, held in the exciting and lively city of Berlin. Wireless sensor networks are a key technology for new ways of interaction betweencomputersandthephysicalenvironmentwhichsurroundsus.Compared to traditional networking technologies, wireless sensor networks are faced with a rather unique mix of challenges: scalability, energy e ciency, self-con guration, constrainedcomputationandmemoryresourcesinindividualnodes,data-cent- city, and interaction with the physical environment, to name but a few. The goal of this workshop is to create a forum for presenting new results in the ourishing eld of wireless sensor networks. By bringing together academia and industry we hope to stimulate new opportunities for collaborations. In compiling the scienti c program we have been quite selective. Thanks to the e orts of 90 reviewers who delivered 252 reviews for the 76 papers originally submitted from all over the world, a strong selection of the 24 best contributions was made possible. The Technical Program Committee created an outstanding program covering the broad scope of this highly interdisciplinary eld: from distributed signal processing through networking and middleware issues to - plication experience. Running such a workshop requires dedication and much work from many people. We want to thank in particular Petra Hutt, Irene Ostertag and Heike Klemz for their valuable and esteemed help in the local organization of this workshop. We hope that you enjoy this volume, and if you were lucky enough to - tend we hope that you enjoyed the discussions with colleagues working in this fascinating area. 384 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208682ISBN 13: 9783540208686
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book, we present a collection of papers around the topic of Agent- Mediated Knowledge Management. Most of the papers are extended and - provedversions of work presented at the symposium on Agent-Mediated Kno- edge Management held during the AAAI Spring Symposia Series in March 2003 at Stanford University. The aim of the Agent-Mediated Knowledge Management symposium was to bring together researchers and practitioners of the elds of KM and agent te- nologiestodiscussthebene ts,possibilitiesandadded-valueofcross-fertilization. Knowledge Management (KM) has been a predominant trend in bu- ness in recent years. Not only is Knowledge Management an important eld of applicationfor AIandrelatedtechniques,suchasCBRtechnologyforintelligent lessons-learned systems, it also provides new challenges to the AI community, like, for example, context-aware knowledge delivery. Scaling up research pro- typestoreal-worldsolutionsusuallyrequiresanapplication-drivenintegrationof several basic technologies, e.g., ontologies for knowledge sharing and reuse, c- laboration support like CSCW systems, and personalized information services. Typical characteristics to be dealt with in such an integration are: manifold, logically and physically dispersed actors and knowledge sources, di erent degrees of formalization of knowledge, di erent kinds of (Web-based) services and (legacy) systems, con icts between local (individual) and global (group or organizational) goals. 444 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208968ISBN 13: 9783540208969
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume represent the technical program of the 9th Biennial WorkshoponDataBasesandProgrammingLanguages(DBPL2003),whichwas held on September 6 8, 2003, in Potsdam, Germany. The workshop meets every two years, and is a well-established forum for ideas that lie at the intersection of database and programming language research. DBPL 2003 continued the t- dition of excellence initiated by its predecessors in Rosco , Finistre (1987), S- ishan, Oregon (1989), Nafplion, Argolida (1991), Manhattan, New York (1993), Gubbio, Umbria (1995), Estes Park, Colorado (1997), Kinloch Rannoch, Sc- land (1999), and Frascati, Rome (2001). Theprogramcommitteeselected14papersoutof22submissions,andinvited twocontributions.The16talkswerepresentedoverthreedays,insevense ssions. In theinvitedtalk Jennifer Widom presented the paper CQL: a Language forContinuousQueriesoverStreamsandRelations,coauthoredbyArvindArasu andShivnathBabu.Whilealotofresearchhasbeendonerecentlyonqueryp- cessingoverdatastreams,CQLisvirtuallythe rstproposalofaquerylanguage on streams that is a strict extension of SQL. The language is structured around a simple yet powerful idea: it has two distinct data types, relations and streams, with well-de ned operators for mapping between them. Window speci cation expressions, such as sliding windows, map streams to relations, while operators such as insert stream, delete stream, and relation stream map relations to streams by returning, at each moment in time, the newly inserted tuples, the deleted tuples, or a snapshot of the entire relation. The numerous examples in this paper make a convincing case for the power and usefulness of CQL. 296 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540002413ISBN 13: 9783540002413
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In thisthird corrected and revised edition students and lecturers in astronomy and planetary science as well as planet observers will find a mine of up-to-date information on the solar system and its interaction with the interplanetary medium, its various objects, comparative planetology, discussion of questions for further research and future space exploration. 532 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540207902ISBN 13: 9783540207900
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbookcontainstherefereedproceedingsofthe1stIFIP-TC6WorkingCon- rence on Wireless-On-Demand Network Systems, WONS 2004. It was sponsored by the IFIP Working Groups 6.3 (Performance of Computer and Commu- cation Networks)and6.8(Mobile and Wireless Communications), and aimed at becoming a premier international forum for discussions between researchers and practitioners interested in the evolution of Wireless Internet Access toward on-demand networking. Ad hoc, routing, localization, resource management, - curity, applications, performance and analytical models were topics covered in depth by technical papers in this book. Theconferencereceived77submissionsfrom22countries,showingthewor- wide interest. With so many papers to choose from, the Technical Program Committee's job, providing a conference program with the highest quality, was challenging and time consuming. We nally selected 25 full papers for presen- tion in the conference technical sessions. To give researchers the opportunity to present the novel ideas they are starting to explore, we included in the technical program a poster session devoted to presenting preliminary research results: 7 short papers were selected for presentation in this session. Accepted papers and posters came from 15 di erent countries. The technical program also included a keynote speech 'Ad Hoc Wireless Networks: Protocols and Applications' by Prof. Mario Gerla, and a panel s- sion devoted to the discussion of the conference topics between academics and industry representatives. This event would not have been possible without the enthusiasm and hard work of a number of colleagues. A special thanks to the TPC members, and all the referees, for their invaluable help in reviewing the papers for WONS 2004. 424 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208038ISBN 13: 9783540208037
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 5th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11 13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14 16,2004.The purposeofVMCAIistoprovideaforumforresearchersfromthreecommunities veri cation, model checking, and abstract interpretation which will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine thethreeareas.Withthegrowingneedforformaltoolstoreasonaboutcomplex, in nite-state, and embedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri cation, static analysis te- niques, model checking, program certi cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. This year s meeting follows the four previous events in Port Je erson (1997), Pisa (1998), Venice (2002), LNCS 2294 and New York (2003), LNCS 2575. In particular, we thank VMCAI 2003 s sponsor, the Courant Institute at New York University, for allowing us to apply a monetary surplus from the 2003 meeting to this one. The program committee selected 22 papers out of 68 on the basis of three - views.Theprincipalcriteriawererelevanceandquality.TheprogramofVMCAI 2004 included, in addition to the research papers, a keynote speech by David Harel (Weizmann Institute, Israel) onAGrand Challenge for Computing: Full Reactive Modeling of a Multicellular Animal, aninvitedtalkbyDawsonEngler(StanfordUniversity,USA)onStaticAn- ysis Versus Software Model Checking for Bug Finding, an invited talk by Mooly Sagiv (Tel Aviv University, Israel) called On the Expressive Power of Canonical Abstraction,and atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e ort the conference would not have been possible. 344 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540209557ISBN 13: 9783540209553
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to:- Formal Approaches to Approximating Noninterference Properties- The Key Establishment Problem- Name-Passing Calculi and Cryptoprimitives- Classification of Security Properties; Network Security- Cryptographic Algorithms for Multimedia Traffic- Security for Mobility 280 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 354020766XISBN 13: 9783540207665
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -CASL, the Common Algebraic Specification Language, was designed by themembers of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages. The main part of the book explains CASL specifications, with chapters on loose, generated and free specifications, partial functions, sub- and supersorts, structuring specifications, genericity and reusability, architectural specifications, and version control. The final chapters deal with tool support and libraries, and present a realistic case study involving the standard benchmark for comparing specification frameworks. The book is aimed at software researchers and professionals, and follows a tutorial style with highlighted points, illustrative examples, and a full specification and library index. A separate, complementary LNCS volume contains the CASL Reference Manual. 260 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208755ISBN 13: 9783540208754
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During recent years, huge efforts have been made to establish digital libraries, in a variety of media, offered from a variety of sources, and intended for a variety of professional and private user communities. As digital data collections proliferate, problems of resource selection and data fusion become major issues. Traditional search engines, even the best ones, are unable to provide access to the hidden web of information that is only available via digital library search interfaces.Originating from the SIGIR 2003 Workshop on Distributed Information Retrieval, held in Toronto, Canada in August 2003, this book presents extended and revised workshop papers as well as several invited papers on the topic to round off coverage of the core issues. The papers are devoted to recent research on the design and implementation of methods and tools for resource discovery, resource description, resource selection, data fusion, and user interaction. 192 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540207791ISBN 13: 9783540207795
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 30th Anniversary Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2004, took place during January 24 30, 2004, in the Hotel VZ M e rin, located about 60 km south of Prague on the right shore of Slapsk ap rehrada ( Slapy Dam ) in the Czech Republic. Having transformed itself over the years from a local event to a fully internat- nal conference, the contemporary SOFSEM tries to keep the best of its winter school aspects (the high number of invited talks) together with multidiscip- narity trends in computer science this year illustrated by the selection of the following 4 tracks: Computer Science Theory (Track Chair: Peter Van Emde Boas) Database Technologies (Track Chair: Jaroslav Pokorny) Cognitive Technologies (Track Chair: Peter Sin c ak) Web Technologies (Track Chair: Julius Stuller) Its aim was, as always, to promote cooperation among professionals from a- demia and industry working in various areas of computer science. 404 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 354020895XISBN 13: 9783540208952
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is based on papers presented at the Workshop on Membrane Computing, WMC 2003, which took place in Tarragona, Spain, in the - riod July 17 July 22, 2003. This was the Fourth Annual Membrane Computing Workshop, and the rst one held outside Romania. The rst three meetings were organized in Curtea de Arge s, Romania they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2235), in August 2001 (with a selection of papers published as a special issue of F- damenta Informaticae, Vol. 49, Nos. 1 3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2597). The 2003 workshop was the second workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in the Fifth Framework Program Information Society Technologies (project number IST 2001 32008). The preproceedings of WMC 2003 were published as Technical Report 28/03 of theResearchGrouponMathematicalLinguisticsfromRoviraiVirgiliUniversity, Tarragona, and they were available during the workshop. 400 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208135ISBN 13: 9783540208136
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thevolumecomprises nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 9 12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov s closest colleague, the late Prof. Igor Pottosin (1933 2001), and his outstanding cont- bution towards advancing informatics. The rst four Andrei Ershov conferences were held in May 1991, June 1996, July 1999, and July 2001, and they proved to be signi cant international events. Andrei Ershov was one of the early Russian pioneers in the eld of theo- tical and systems programming, a founder of the Siberian School of Computer Science. His closest colleague, Igor Pottosin, worked for the Siberian Branch of the Russian Academy of Sciences from 1958, step by step lling positions from junior researcher to director of the A.P. Ershov Institute of Informatics - stems. In later years he headed the Laboratory of Systems Programming in this institute and the Department of Programming at Novosibirsk State University. 600 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208879ISBN 13: 9783540208877
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The ongoing compression of computing facilities into small and mobile devices like handhelds, portables or even wearable computers will enhance ubiquitous information processing. The basic paradigm of such pervasive computing is the combination of strongly decentralized and distributed computing with the help of diversi ed devices allowingforspontaneousconnectivityviatheInternet.Computerswillbecomeinvisible to the user, and exchangeof informationbetween devices will effectivelybe beyondthe user s control. Assuming a broad usage of more powerful tools and more effective ways to use them the quality of everydaylife will be strongly in uenced by the dependabilityof the new technology. Information stored, processed, and transmitted by the various devices is one of the most critical resources. Threats exploiting vulnerabilities of new kinds of user interfaces, displays, operating systems, networks, and wireless communications will cause new risks of losing con dentiality, integrity, and availability. Can these risks be reducedbycountermeasuresto an acceptablelevelor dowe haveto rede nepolitical and social demands. The objective of this 1st International Conference on Security in Pervasive C- puting was to develop new security concepts for complex application scenarios based on systems like handhelds, phones, smartcards, and smart labels hand in hand with the emerging technology of ubiquitous and pervasive computing. Particular subjects were methodsand technologyconcerningthe identi cationof risks, the de nition of security policies, and the development of security measures that are related to the speci c - pects of ubiquitous and pervasive computing like mobility, communication, and secure hardware/software platforms. 308 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208305ISBN 13: 9783540208303
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Once again we bring you the proceedings of the International Workshop on Security Protocols. It seems hard to believe that we have reached the tenth event in this annual series. This year our theme was 'Discerning the Protocol Participants.' Security protocols are usually described in terms of the active participants - Alice c- putes foo and sends it to Bob. However most security protocols also include o -line participants, which are not synchronously involved in the exchange of messages: a bank may participate on behalf of a customer, and an arbiter may subsequently be asked to interpret the meaning of a run. These silent partners to the protocol have their own security policies, and assumptionsaboutidentity,authorizationandcapabilityneedtobere-examined when the agenda of a hidden participant may change. We hope that the position papers published here, which have been rewritten and rethought in the light of the discussions at the workshop, will be of interest, not just for the speci c contributions they make but also for the deeper issues which they expose. In order to identify these issues more clearly, we include transcripts for some of the discussions which took place in Cambridge during the workshop. What would you have liked to add Do let us know. 256 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540213465ISBN 13: 9783540213468
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this volume we present the accepted contributions for the 7th European C- ference on Genetic Programming (EuroGP 2004). The conference took place on 5 7 April 2004 in Portugal at the University of Coimbra, in the Department of Mathematics in Pra ca Dom Dinis, located on the hill above the old town. EuroGP is a well-established conference and the sole one exclusively de- ted to Genetic Programming. Previous proceedings have all been published by Springer-Verlag in the LNCS series. EuroGP began as an international wor- hop in Paris, France in 1998 (14 15 April, LNCS 1391). Subsequently the wor- hop was held in G oteborg, Sweden in 1999 (26 27 May, LNCS 1598) and then EuroGP became an annual conference: in 2000 in Edinburgh, UK (15 16 April, LNCS 1802), in 2001 at Lake Como, Italy (18 19 April, LNCS 2038), in 2002 in Kinsale, Ireland (3 5 April, LNCS 2278), and in 2003 in Colchester, UK (14 16 April, LNCS 2610). From the outset, there have always been specialized wor- hops, co-located with EuroGP, focusing on applications of evolutionary al- rithms (LNCS 1468, 1596, 1803, 2037, 2279, and 2611). This year the EvoCOP workshop on combinatorial optimization transformed itself into a conference in its own right, and the two conferences, together with the EvoWorkshops, EvoBIO, EvoIASP, EvoMUSART, EvoSTOC, EvoHOT, and EvoCOMNET, now form one of the largest events dedicated to Evolutionary Computation in Europe. 428 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540209271ISBN 13: 9783540209270
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002.The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics. 248 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540206396ISBN 13: 9783540206392
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The contributions to this volume are based on selected lectures from the first international workshop on decoherence, information, complexity and entropy (DICE). The aim of this volume is to reflect the growing importance ot common concepts behind seemingly different fields such as quantum mechanics, general relativity and statistical physics in a form accessible to nonspecialist researchers. Many presentations include original results which published here for the first time. 420 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540207694ISBN 13: 9783540207696
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InthisbookwepresentacollectionofpapersaroundthetopicofAgentCom- nication. The communication between agents has been one of the major topics of research in multi-agent systems. The current work can therefore build on a number of previous workshops, the proceedings of which have been published in earlier volumes in this series. The basis of this collection is the accepted s- missions of the workshop on Agent Communication Languages which was held in conjunction with the AAMAS conference in July 2003 in Melbourne. The workshop received 15 submissions of which 12 were selected for publication in this volume. Although the number of submissions was less than expected for an important area like Agent Communication there is no reason to worry that this area does not get enough attention from the agent community. First of all, the 12 selected papers are all of high quality. The high acceptance rate is only due to this high quality and not to the necessity to select a certain number of papers. Besides the high-quality workshop papers, we noticed that many papers on Agent Communication found their way to the main conference. We decided therefore to invite a number of authors to revise and extend their papers from this conference and to combine them with the workshop papers. We believe that the current collection comprises a very good and quite complete overview of the state of the art in this area of research and gives a good indication of the topics that are of major interest at the moment. 420 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208941ISBN 13: 9783540208945
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di erent testing phases can also bene t from them to ease the p- duction and application of e ective and e cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di erent countries were selected for presentation at the workshop. 280 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208267ISBN 13: 9783540208266
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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- rent 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 so- ware systems. They o er higher-level abstractions and mechanisms that address issues such as knowledge representation and reasoning, communication, coor- nation, cooperation among heterogeneous and autonomous parties, perception, commitments, goals, beliefs, and intentions, all of which need conceptual mo- ling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities, e.g., in inference-based query answering, transaction control, adaptive work ows, brokering and integration of disparate information sources, and automated communication processes. On the other hand, their rich representational capabilities allow more faithful and exible treatments of c- plex organizational processes, leading to more e ective requirements analysis and architectural/detailed design. 264 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540209689ISBN 13: 9783540209683
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Peer-to-peer(P2P)computingiscurrentlyattractingenormousmediaattention, spurred by the popularity of le sharing systems such as Napster, Gnutella and Morpheus. In P2P systems a very large number of autonomous computing nodes (the peers) pool together their resources and rely on each other for data and services. The wealth of business opportunities promised by P2P networks has gene- ted much industrial interest recently, and has resulted in the creation of various industrial projects, startup companies, and special interest groups. Researchers from distributed computing, networks, agents and databases have also become excited about the P2P vision, and papers tackling open problems in this area have started appearing in high-quality conferences and workshops. Much of the recent research on P2P systems seems to be carried out by - search groups with a primary interest in distributed computation and networks. This workshop concentrated on the impact that current database research can have on P2P computing and vice versa. Although researchers in distributed data structures and databases have been working on related issues for a long time, the developed techniques are simply not adequate for the new paradigm. 264 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208518ISBN 13: 9783540208518
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is devoted to the 6th International Conference on Theory and - plications of Satis ability Testing (SAT 2003) held in Santa Margherita Ligure (Genoa,Italy), during May5 8,2003. SAT 2003followedthe WorkshopsonS- is ability held in Siena (1996), Paderborn (1998), and Renesse (2000), and the Workshop on Theory and Applications of Satis ability Testing held in Boston (2001) and in Cincinnati (2002). As in the last edition, the SAT event hosted a SAT solvers competition, and, starting from the 2003 edition, also a Quanti ed Boolean Formulas (QBFs) solvers comparative evaluation. There were 67 submissions of high quality, authored by researchers from all over the world. All the submissions were thoroughly evaluated, and as a result 42 were selected for oral presentations, and 16 for a poster presentation. The presentations covered the whole spectrum of research in propositional and QBF satis ability testing, including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial app- cations, speci c tools, case studies and empirical results. Further, the program was enriched by three invited talks, given by Riccardo Zecchina (on Survey Propagation: from Analytic Results on Random k-SAT to a Message-Passing - gorithm for Satis ability ), Toby Walsh (on Challenges in SAT (and QBF) ) and Wolfgang Kunz (on ATPG Versus SAT: Comparing Two Paradigms for Boolean Reasoning ). SAT 2003 thus provided a unique forum for the presen- tion and discussion of research related to the theory and applications of pro- sitional and QBF satis ability testing. 548 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540206914ISBN 13: 9783540206910
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stakeholder Management - today's buzzword - is difficult to translate into practice even for the experienced manager. Following 'How to achieve excellence in Stakeholder Management', which included case studies from reputable companies, the present volume goes beyond explaining theoretical constructs. Success stories from a wide range of sectors and regions are analyzed in depth in order to illustrate how Stakeholder Management can be tailored to each unique situation. The reader will get concrete answers and ideas about planning and implementing successful stakeholder management in the area of customer retention, employee commitment and internal service quality. These business cases are complemented by articles on the Balanced Scorecard as well as the link between customer satisfaction and business success. 184 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540205691ISBN 13: 9783540205692
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A recent line of research in environmental and resource economics deals with the analysis of the so-called product-related environmental policy, i.e. the regulation of certain product characteristics which are mainly determined by producers and which influence the impact of consumption goods on the environment. In this line of literature, only little attention has been paid to the role of product durability. The present study aims at filling this gap. It investigates the relationship between (built-in) product durability, production emissions, solid consumption waste and recycling. The main task is to identify inefficiencies in the durability choice of producers and to assess regulatory policies which aim at correcting for such market failure. 208 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jan 2004, 2004
ISBN 10: 3540208178ISBN 13: 9783540208174
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book, the authorsinvestigate structural aspects of no arbitrage pricing of contingent claims and applications of the general pricing theory in the context of incomplete markets. A quasi-closed form pricing equation in terms of artificial probabilities is derived for arbitrary payoff structures. Moreover, a comparison between continuous and discrete models is presented, highlighting the major similarities and key differences. As applications, two sources of market incompleteness are considered, namely stochastic volatility and stochastic liquidity. Firstly, the general theory discussed before is applied to the pricing of power options in a stochastic volatility model. Secondly, the issue of liquidity risk is considered by focusing on the aspect of how asset price dynamics are affected by the trading strategy of a large investor. 140 pp. Englisch.