Tipo di articolo
Condizioni
Legatura
Ulteriori caratteristiche
Paese del venditore
Valutazione venditore
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540006702ISBN 13: 9783540006701
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Lehrbuch führt Studierende der Wirtschaftswissenschaften und der Rechtswissenschaften in die Grundlagen der Finanzwirtschaft ein.Das besondere Anliegen des Buches besteht darin, dem Leser Grundlinien und Zusammenhänge des auf den Kapitalmarkt bezogenen finanzwirtschaftenden Handelns aufzuzeigen, das zu den ökonomischen Funktionen des Finanzierens und des Handelns mit Wertpapieren gehört. 392 pp. Deutsch.
Editore: Berlin Springer Berlin Heidelberg Springer Apr 2003, 2003
ISBN 10: 3540003576ISBN 13: 9783540003571
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Wie führe ich erfolgreich Präsentationen innerhalb und außerhalb meines Unternehmens durch Diese Frage stellt sich zunehmend, da Präsentationen immer wichtiger werden. Eine Antwort bietet dieses Buch mit zahlreichen Beispielen und Tipps aus der Praxis. Die duale Lehr-Methode spricht gleichzeitig die Verstandesebene und die Gefühlsebene an und fördert damit nachhaltiges Lernen.Zum AutorWolfgang Friedrich arbeitet seit über 12 Jahren als Verhaltenstrainer und Prozessbegleiter für Führungskräfte und Vertriebsmitarbeiter aller Ebenen. Die Schwerpunkte seiner praxisnahen Seminare liegen in den Bereichen Selbstorganisation, Vertriebstraining, Moderation und Präsentation. 142 pp. Deutsch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540004777ISBN 13: 9783540004776
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das vorliegende Buch liefert eine Einführung in das Gebiet des Operations Research und ist primär für Studenten nicht-mathematischer Fachrichtungen, insbesondere für Wirtschaftswissenschaftler gedacht. Es werden jedoch auch Mathematiker angesprochen, die sich einen einführenden methodischen Überblick über das Gesamtgebiet verschaffen wollen. Dem Praktiker werden die Ausführungen helfen, Möglichkeiten und Grenzen des praktischen Einsatzes von OR-Verfahren zu beurteilen. Durch die anschauliche, leicht verständliche und durch viele Grafiken unterstützte Darstellung soll der mathematisch weniger geübte Leser angesprochen werden. Dabei wird nicht nur die Lineare Optimierung (einschließlich der Sensitivitätsanalyse und der GanzzahligenOptimierung) behandelt. Es wird ebenfalls eine Einführung in die Nichtlineare Optimierung und in die Dynamische Optimierung gegeben. Die dargestellten Verfahren werden ausführlich in jedem Schritt erläutert. 296 pp. Deutsch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 354043657XISBN 13: 9783540436577
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 588 pp. Deutsch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540005811ISBN 13: 9783540005810
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Jenseits gängiger Managementkonzepte zeigt dieses Buch Möglichkeiten auf, wie Unternehmen auf Basis ihrer spezifisch gewachsenen Potenziale ihren Weg zur Einzigartigkeit finden können. Im Mittelpunkt des Ansatzes steht der 'Potenzialscanner': diese Toolbox hilft, die bereits vorhandenen, aber nicht bekannten oder nicht systematisch genutzten Stärken des Unternehmens zu identifizieren, die als verborgene Schätze in Fähigkeiten, Wissensbeständen, spezifischen Abläufen o.ä. liegen können. Sechs Fallbeispiele schildern konkrete Anwendungsfälle aus Unternehmen und zeigen, mit welchem Ergebnis der Potenzialscanner dort eingesetzt wurde. 'Lessons learned' runden die Darstellung ab. 192 pp. Deutsch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540006710ISBN 13: 9783540006718
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Vor dem Hintergrund einer dreitausendjährigen Geschichte soll gezeigt werden, dass Gesundheit als eine Theorie der Lebensordnung immer auch Thema der Medizin sein mußte, obwohl 'Gesundheit' zu keiner Epoche zureichend definiert werden konnte. In vorliegender Studie soll daher nicht der Gesundheitsbegriff zur Debatte stehen, sondern eher ein Konzept von Bildern der Gesundheit, die im Laufe der Geschichte vielfältigen Wandlungen unterworfen waren. 140 pp. Deutsch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540001034ISBN 13: 9783540001034
Da: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Germania
Libro
Buch. Condizione: Neu. Neuware -Content-Management in der Praxis beschreibt anhand von illustrativen Fallbeispielen Lösungskonzepte für den erfolgreichen Aufbau und Betrieb unternehmensweiter Portale. Mit klarem Blick für die betriebliche Realität entwickelt der Autor ein integriertes Modell für das Content-Management, auf dessen Basis die einzelnen Fragestellungen der Arbeit analysiert und strukturiert werden. Neben strategischen Elementen beschreibt das Bucheine integrierte Architektur für das Content-Management multikanalfähiger Portale, die Prozessmodelle und darauf ausgerichtete Software-Funktionen des Content-Management enthält. Das Buch zeigt Unternehmen Wege auf, um aus unterschiedlichen Ausgangssituationen heraus ein effizientes und am betrieblichen Nutzen ausgerichtetes Content-Management zu erzielen.Die Darstellung auch komplexer Themenstellungen in klarer und allgemeinverständlicher Spracheerleichtert dem Leser den Einstieg in die teilweise unübersichtliche Materie. 276 pp. Deutsch.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 49,99
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540002022ISBN 13: 9783540002024
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In einer dynamischen Zivilisation erhöht sich in Wissenschaft und Technik, in Wirtschaft und Kunst die Neuerungsrate. Die Zeitdauer konstanter Arbeits- und Lebensverhältnisse nimmt ab, der Aufenthalt in der Gegenwart verkürzt sich. Zeit wird knapp und organisationsbedürftig. Hermann Lübbe beschreibt und analysiert die kulturellen, wirtschaftlichen und zeitumgangstechnischen Folgen dieser 'Gegenwartsschrumpfung' und zeichnet ein umfassendes Panorama der Zeit-Verfassung unserer modernen Kultur.'Der Autor stellt dem Leser den mehr als fraglichen Beschleunigungscharakter unserer modernen Kultur facettenreich und anschaulich vor. Spricht aus, was wir in unserer Angst, uns auf der schnellen Reise selbst zu verlieren, schon fast gar nicht mehr wahrnehmen wollen.' 'Das Buch versucht eine Phänomenologie unserer Kultur, deren Äußerungen sich ständig und mit wachsender Geschwindigkeit verändern. Seine Belege sind uns in ihrer Alltäglichkeit überraschend, aber in ihren Einzelheiten plausibel.' (VDI nachrichten magazin bzw. Physikalische Blätter) 468 pp. Deutsch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540008837ISBN 13: 9783540008835
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Algorithms that have to process large data sets have to take into account that the cost of memory access depends on where the data is stored. Traditional algorithm design is based on the von Neumann model where accesses to memory have uniform cost. Actual machines increasingly deviate from this model: while waiting for memory access, nowadays, microprocessors can in principle execute 1000 additions of registers; for hard disk access this factor can reach six orders of magnitude.The 16 coherent chapters in this monograph-like tutorial book introduce and survey algorithmic techniques used to achieve high performance on memory hierarchies; emphasis is placed on methods interesting from a theoretical as well as important from a practical point of view. 452 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540011854ISBN 13: 9783540011859
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri - tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de ne a new symbolic - scription of program semantics for control and data ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e cient, versatile, uni ed, and more general (they cope with regular and irregular codes) than most existing methods. 148 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540075445ISBN 13: 9783540075448
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.The 31 revised full papers presented were carefully selected and improved during two months of reviewing from 104 conference papers. The papers cover the areas of databases, data mining and intelligent systems, e-learning, human computer interaction, image processing, networks and systems, software and languages, and theoretical computer science. 516 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540413308ISBN 13: 9783540413301
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This guide to the use of surface analysis techniques, now in its second edition, has expanded to include more techniques, current applications and updated references. It outlines the application of surface analysis techniques to a broad range of studies in materials science and engineering. The book consists of three parts: an extensive introduction, a techniques section and a section on applications. Each chapter has been written by specialists in the field. This book is aimed at industrial scientists and engineers in R&D seeking a description of available techniques in a concise but informative style. It is invaluable as a comprehensive text for scientists and engineers attending training courses and workshops. The level and content of this book make it ideal as a course text for senior undergraduate and postgraduate students in materials science, materials engineering, physics, chemistry and metallurgy. 616 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540009884ISBN 13: 9783540009887
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This special issue is the result of the workshop Deception, Fraud and Trust in Agent Societies, held in Bologna on July 15, 2002 as part of the Autonomous Agents and Multi-Agent Systems 2002 Conference (AAMAS2002), organized by Rino Falcone, Suzanne Barber, Larry Korba, and Munindar Singh. The workshop included a special track on Privacy and Protection with Multi-Agent Systems. The aim of the workshop was to bring together researchers from different elds (Arti cial Intelligence, Mul- agent Systems, Cognitive Science, Game Theory, and Social and Organizational S- ences) that could contribute to a better understanding of trust, privacy and protection in agent societies. The workshop scope included theoretical results and their applications inhuman computerinteractionandelectroniccommerce. Thisissueincludesaselection oftherevisedandextendedversionsoftheworkspresentedattheworkshop,i ncorpor- ing many points that emerged in our discussions, as well as invited papers from expert peopleinthe eld,whichinourviewgivesacompletecoverageofallrelevantissues. We gratefully acknowledge the nacial support from the Italian National Research Council, Institute for Cognitive Science and Technology and theALFEBIITE European Project, contract number IST-1999-10298. We want to express our gratitude to Cristiano Castelfranchi for his stimulating and valuable comments and suggestions both for the organization of the workshop and for the preparation of this special issue. 252 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540009167ISBN 13: 9783540009160
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Theoretical Foundations of Computer Vision, held in Dagstuhl Castle, Germany in April 2002.The 27 revised full papers presented went through two rounds of reviewing and improvement and assess the state of the art in geometry, morphology, and computational imaging. The papers are organized in sections on geometry - models and algorithms; property measurement in the grid and on finite samples; features, shape, and morphology; and computer vision and scene analysis. 456 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540009574ISBN 13: 9783540009573
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Semantics in Databases, held in Dagstuhl Castle, Germany, in January 2001.The 10 revised full papers presented together with an introduction by the volume editors were carefully selected during two rounds of reviewing. Among the aspects of database semantics discussed are semantic constraints, paraconsistency, logic foundations of databases, ER modeling, type hierarchies, null values, consistency enforcement, logic-based pattern languages, andsemantic classification of queries. Among the classes of databases dealt with are deductive databases, relational databases, distributed information systems, and tree-structured data. 244 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540140360ISBN 13: 9783540140368
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thedisciplineofsoftwarecon gurationmanagement(SCM)providesoneofthe bestsuccessstoriesinthe eldofsoftwareengineering. Withtheavailabilityof over100commercialSCMsystemsthattogetherformabillion-dollarmark- place,andtheexplicitrecognitionofSCMbysuchstandardsastheCMMand ISO-9000,thedisciplinehasestablisheditselfasoneoftheessentialcornerstones ofsoftwareengineering. While SCM is a well-established discipline, innovative software engine- ing approaches constitute new challenges that require support in the form of new or improvedtools, techniques, and processes. These challengesemerge in component-baseddevelopment,distributedsystems,dynamicallyboundan d- con gured systems, embedded systems, software architecture, Web-based s- tems,XML,engineering/productdatamanagement,systemengineering,process support,concurrentandcooperativeengineering,etc. Since the rst SCM workshop was held in 1988, the workshop series has providedarecurringforumforresearchersandpractitionerstopresenttechnical contributions,toexchangeanddiscussideas,andtoestablishcontactsforfurther cooperation. Thecurrentvolumecontainspapersfromtwoworkshopswhichwere bothco-locatedwiththeInternationalConferenceonSoftwareEngineeri ng,but di eredintheirformatsandgoals. SCM-10washeldasanICSEworkshopatToronto,CanadainMay2001. It wasdeliberatelydecidedtohaveaninformalworkshopinordertoopenaforum fordiscussingnewpractices,newchallenges,andnewboundariesforSCM. This wasachievedbyablendofinvitedtalks,talksonselectedpositionpapers,and lively discussions. Originally, informal proceedings were produced which were deliveredtotheworkshopparticipants. Lateron,5outof22submissionswere selectedforpublicationinthis jointvolume. Allauthorswereaskedtoextend theircontributionstofullpapersandtorevisethemthoroughly. WhiletheSCM-10experimentprovedverysuccessful,theSCMcommunity feltthatitshouldgoforaformalworkshoponceagain. Infact,thiswouldopen uptheopportunitytodocumentcurrentresearchandfertilizethedevelopment ofthisdiscipline. Asaconsequence,thefollow-upworkshopSCM-11washeld as a co-located event with ICSE at Portland, Oregon in May 2003. The Call forPapersreceivedalivelyresponsewith36submissions,outofwhich15were acceptedforpublication(12longand3shortpapers). Thesepapersappearinthe secondpartofthisvolume,orderedbytopic. Inadditiontopaperpresentations, theworkshopprovidedsu cienttimeforinspiringdiscussions. Thechairsofbothworkshopswouldliketoacknowledgetheinvaluablec- tributionsofallauthorsandspeakers,theprogramcommittees,theorganizers oftheICSEconferences,andSpringer-Verlag. May2003 BernhardWestfechtel Andr evanderHoek VI Preface ProgramCommitteeofSCM2003 Geo Clemm,Rational,USA ReidarConradi,NTNUTrondheim,Norway IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK Andr evanderHoek,UniversityofCalifornia,Irvine,USA AnnitaPersson,EricssonAB,M olndal,Sweden BernhardWestfechtel(Chair),RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ken,Germany ProgramCommitteeofSCM2001 Geo Clemm,Rational,USA IvicaCrnkovic,MalardalenUniversity,Sweden WolfgangEmmerich,UniversityCollegeLondon,UK JackyEstublier,LSR-IMAG,France Andr evanderHoek(Chair),UniversityofCalifornia,Irvine,USA Je Magee,ImperialCollege,London,UK BernhardWestfechtel,RWTHAachen,Germany JimWhitehead,UniversityofCalifornia,SantaCruz,USA AndreasZeller,UniversityofSaarbruc ken,Germany SCMWorkshops SCM-1,Grassau,Germany(1988) SCM-2,Princeton,USA(1990) SCM-3,Trondheim,Norway(1991) SCM-4,Baltimore,USA(1993) SCM-5,Seattle,USA(1995) SCM-6,Berlin,Germany(1996) SCM-7,Boston,USA(1997) SCM-8,Brussels,Belgium(1998) SCM-9,Toulouse,France(1999) SCM-10,Toronto,Canada(2001) SCM-11,Portland,Oregon(2003) TableofContents BestPapersofSCM2001 De ningandSupportingConcurrentEngineeringPoliciesinSCM. . . . . . . . 1 JackyEstublier,SergioGarc a,andGerman Vega Con gurationManagementinComponentBasedProductPopulations. . . . 16 RobvanOmmering SoftwareArchitectureandSoftwareCon gurationManagement. . 288 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 354014031XISBN 13: 9783540140313
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: 'Constructive Validity Revisited' by Dana Scott, 'From the Rules of Logic to the Logic of Rules' by Jean-Yves Girard, and 'The Varieties of Type Theories' by Peter Aczel. The contents of these contributions were not laid down in these proceedings, but the videos of the talks and the slides used by the speakers are available at cs. kun. nl/fnds/MartinLoefDay/LoefTalks. htm The previous workshop of the Types Working Group under EUIST project 29001 was held in 2000 in Durham, UK. The workshops Types 2000 and Types 2002 followed a series of meetings organized in the period 1993 - 1999 whithin previous Types projects (ESPRIT BRA 6435 and ESPRIT Working Group 21900). The proceedings of these earlier Types workshops were also published in the LNCS series, as volumes 806, 996, 1158, 1512, 1657, 1956 and 2277. ESPRIT BRA 6453 was a continuation of ESPRIT Action 3245, Logical Frameworks: - sign, Implementation and Experiments. 344 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540140093ISBN 13: 9783540140092
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The characteristics of software systems are undergoing dramatic changes. We are moving rapidly into the age of ubiquitous information services. Persistent computing systems are being embedded in everyday objects. They interact in an autonomouswaywith eachother to provideus with increasinglycomplexservices and functionalities that we can access at any time from anywhere. As a con- quence, not only do the numbers of components of software systems increase; there is also a strong qualitative impact. Software systems are increasingly made up of autonomous, proactive, networked components. These interact with each other in patterns and via mechanisms that can hardly be modeled in terms of classical models of interaction or service-oriented coordination. To some extent, future software systems will exhibit characteristics making them more res- blant of natural systems and societies than of mechanical systems and software architectures. This situation poses exciting challenges to computer scientists and software engineers. Already, software agents and multi-agent systems are recognized as both useful abstractions and e ective technologies for the modeling and building of complex distributed applications. However, little is done with regard to e - tive and methodic development of complex software systems in terms of mul- agent societies. An urgent need exists for novel approaches to software modeling and software engineering that enable the successful deployment of software s- tems made up ofa massive number ofautonomous components, and that allowus to control and predict their behaviour. 300 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540401172ISBN 13: 9783540401179
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely appliedsystems. 260 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540009868ISBN 13: 9783540009863
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a selection of papers from the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming, held at the Cork Constraint Computation Centre from the 19th to the 21st of June 2002. The workshop co-located two events: the seventh meeting of the ERCIM Working Group on Constraints, co-ordinated by Krzysztof Apt, and the rst annual workshop of the CologNet Area for Constraint and Logic Programming, co-ordinated by Francesca Rossi. The aim of this workshop was to provide a forum where researchers in c- straint processing could meet in an informal setting and discuss their most recent work. The Cork Constraint Computation Centre was chosen as the venue for the workshop because it is a new research centre, supported by Science Foundation Ireland and led by Eugene Freuder, which is entirely devoted to studying c- straint processing. Thus, the workshop participants had an opportunity to see the centre, meet its members and investigate the potential for future collabo- tion. Amongst the topics addressed by the papers in this volume are: veri cation and debugging of constraint logic programs; modelling and solving CSPs; exp- nation generation; inference and consistency processing; SAT and 0/1 encodings of CSPs; soft constraints and constraint relaxation; real-world applications; and distributed constraint solving. 220 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540010289ISBN 13: 9783540010289
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -WelcometotheproceedingsofthePower-AwareComputerSystems(PACS2002) workshopheld in conjunction with the 8th InternationalSymposium on High PerformanceComputerArchitecture(HPCA-8). Improvementsincomputers- temperformancehavebeenaccompaniedbyanalarmingincreaseinpowerand energydissipation,leading tohigher costandlowerreliabilityinallcomputer systemsmarketsegments. Thehigherpower/energydissipationhasalsosign- icantlyreducedbatterylife inportablesystems. Whilecircuit-leveltechniques continuetoreducepowerandenergy,alllevelsofcomputersystemsarebeing usedtoaddresspowerandenergyissues. PACS2002wasthesecondworkshopin itsseriestoaddresspower-/energy-awarenessatalllevelsofcomputersystems andbroughttogetherexpertsfromacademiaandindustry. Theseproceedingsincluderesearchpapersspanningawidespectrumof- eas in power-aware systems. We have grouped the papers into the following categories:(1)power-awarearchitectureandmicroarchitecture,(2)power-aware real-time systems, (3) power modeling and monitoring, and (4) power-aware operatingsystemsandcompilers. The rstgroupofpapersproposepower-awaretechniquesfortheprocessor pipeline using adaptiveresizing of power-hungrymicroarchitecturalstructures andclockgating,andpower-awarecachedesignbyavoidingtagchecksin- riodswhenthetagshavenotchanged. Thisgroupalsoincludesideastoadapt energyandperformancedynamicallybydetectingregionsofapplicationatr- timewherethesupplyvoltagemaybescaledtoreducepowerwithabounded decrease in performance. Lastly, a paper on multiprocessor designs trades o computingcapacityandfunctionalityforimprovedenergypercyclebysched- ing simple tasks on low-end and low-energy processorsand complex tasks on high-endprocessors. Thesecondgroupofpaperstargetreal-timesystemsincludingideasonal- complexityheuristicwhichschedulesreal-timetaskssuchthatnotaskmissesits deadlineandthetotalenergysavingsaremaximized. Theotherpapersinthis group(1)tunethesystem-levelparallelismtothecurrent-levelofpower/energy availabilityandoptimizethesystempowerutilization,and(2)performadaptive texturemappinginreal-time3Dgraphicssystemsbasedonamodelofhuman visualperceptiontoachievesigni cantpowersavingswithoutnoticeableimage qualitydegradation. Thethirdgroupofpapersfocusonpowermodelingandmonitoringincluding statisticalpro lingtodetectsoftwarehotspotsofpower,andusingPetriNetsto modelDRAMpowerpolicies. Thisgroupalsoincludesasimulatorforevaluating theperformanceandpowerofdynamicvoltagescalingalgorithms. Thelast groupconcentratesonOS and compilersfor lowpower. The rst paperproposesapplication-issueddirectivestosetthepowermodesindevice s suchasadiskdrive. Thesecondpaperproposespoliciesforcluster-widepower VI Preface management. Thepoliciesemploycombinationsofdynamicvoltagescalingand turningonando toreduceoverallclusterpower. PACS2002wasahighlysuccessfulforumduetothehigh-qualitysubmissions, theenormouse ortsoftheprogramcommitteeandthekeynotespeaker,andthe attendees. WewouldliketothankRonnyRonenforanexcellentkeynotespeech, showingthetechnologicalscalingtrendsandtheirimpactonenergy/powerc- sumption in general-purposemicroprocessors,and pinpointing recentmicro- chitecturalstrategiestoachievemorepower-e cientmicroprocessors. Wewould like to also thank Antonio Gonzalez, Andreas Moshovos,John Kalamatianos, andothermembersoftheHPCA-8organizingcommitteewhohelpedarrange forlocalaccomodationandpublicizetheworkshop. February2002 BabakFalsa andT. N. Vijaykumar PACS2002 Program Committee BabakFalsa ,CarnegieMellonUniversity(co-chair) T. N. Vijaykumar,PurdueUniversity(co-chair) DaveAlbonesi,UniversityofRochester KrsteAsanovic,MassachusettsInstituteofTechnology IrisBahar,BrownUniversity LucaBenini,UniversityofBologna DougCarmean,Intel Yuen Chan,IBM KeithFarkas,CompaqWRL MaryJaneIrwin,PennsylvaniaStateUniversity StefanosKaxiras,AgereSystems PeterKogge,UniversityofNotreDame UliKremer,RutgersUniversity AlvinLebeck,DukeUniversity AndreasMoshovos,UniversityofToronto RajRajkumar,CarnegieMellonUniversity KaushikRoy,PurdueUniversity Table of Contents Powe 232 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540087729ISBN 13: 9783540087724
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Nowadays, engineering large-scale software systems means dealing with complex systems composed of pervasive software components that move around and adapt to nondeterministic and open environments, like the Internet, in order to achieve systems design goals through the coordination of autonomously distributed services. The agent metaphor, in particular software agents and multi-agent systems (MAS),constitutes a promising approach for covering most of the software development life cycle, from conceptual modeling and requirements specification to architectural definition, design, and implementation.This book presents 17 carefully reviewed papers arranged in order to provide a coherent survey of how to exploit agent properties and MAS issues in today's software systems. The book offers the following topical sections:- software engineering foundations- requirements engineering and software architecture- coordination and mobility- reuse-dependability-empirical studies and applications 304 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540003959ISBN 13: 9783540003953
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Error-correcting codes have been incorporated in numerous working communication and memory systems. This book covers the mathematical aspects of the theory of block error-correcting codes together, in mutual reinforcement, with computational discussions, implementations and examples of all relevant concepts, functions and algorithms. This combined approach facilitates the reading and understanding of the subject.The digital companion of the book is a non-printable .pdf document with hyperlinks. The examples included in the book can be run with just a mouse click and modified and saved by users for their own purpose. 280 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540075496ISBN 13: 9783540075493
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants from academic and industrial institutions in many countries. Twenty-seven papers were submitted, of which 15 were accepted to create a broad program covering the topics of architectures, specification, components and adaptations, technologies, and services. The focus of the workshop was on short presentations, with substantial dis cussions afterwards. Thus, we decided to include in this proceedings also a short summary of every technical session, which was written by some of the partici pants at the workshop. The workshop invited one keynote speaker, Bobby Jadhav of CalKey, who presented a talk on the design and use of model-driven architecture and middle ware in industry. We would like to thank all the people who helped organize and run the workshop. In particular, we would like to thank the program committee for their careful reviews of the submitted papers, Wolfgang Emmerich for being an excellent General Chair, and the participants for a lively and interesting workshop. 256 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540400680ISBN 13: 9783540400684
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Adaptive Agents and Multi-Agent Systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, computer science, software engineering, and developmental biology, as well as cognitive and social science.This book surveys the state of the art in this emerging field by drawing together thoroughly selectedreviewed papers from two related workshops; as well aspapers by leading researchers specifically solicited for this book. The articles are organized into topical sections on - learning, cooperation, and communication- emergence and evolution in multi-agent systems- theoretical foundations of adaptive agents 344 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540401113ISBN 13: 9783540401117
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheAAECCsymposiumwasstartedinJune1983byAlainPoli(Toulouse),who, together with Roger Desq, Daniel Lazard, and Paul Camion, organized the rst conference. The meaning of the acronym AAECC changed from Applied - gebra and Error Correcting Codes to Applied Algebra, Algebraic Algorithms, and Error Correcting Codes. One reason for this was the increasing importance of complexity, particularly for decoding algorithms. During the AAECC-12 s- posium the conference committee decided to enforce the theory and practice of the coding side as well as the cryptographic aspects. Algebra was conserved, as in the past, but was slightly more oriented to algebraic geometry codes, nite elds, complexity, polynomials, and graphs. For AAECC-15 the main subjects covered were: Block codes. Algebra and codes: rings, elds, AG codes. Cryptography. Sequences. Algorithms, decoding algorithms. Algebra: constructions in algebra, Galois groups, di erential algebra, po- nomials. The talks of the six invited speakers characterized the aims of AAECC-15: P. Sole ( Public Key Cryptosystems Based on Rings ). S. Lin ( Combinatorics Low Density Parity Check Codes ). J. Stern ( Cryptography and the Methodology of Provable Security ). D. Costello ( Graph-Based Convolutional LDPC Codes ). I. Shparlinsky ( Dynamical Systems Generated by Rational Functions ). A. Lauder ( Algorithms for Multivariate Polynomials over Finite Fields ). 280 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540009124ISBN 13: 9783540009122
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Every year we witness acceleration in the availability, deployment, and use of distributed applications. However building increasingly sophisticated applications for extant and emerging networked systems continues to be challenging for several reasons: - Abstract models of computation used in distributed systems research often do not fully capture the limitations and the unpredictable nature of realistic distributed computing platforms; - Fault-tolerance and ef ciency of computation are dif cult to combine when the c- puting medium is subject to changes, asynchrony, and failures; - Middleware used for constructing distributed software does not provide services most suitable for sophisticated distributed applications; - Middleware services are speci ed informally and without precise guarantees of e- ciency, fault-tolerance, scalability, and compositionality; - Speci cation of distributed deployment of software systems is often left out of the development process; - Finally, there persists an organizational and cultural gap between engineering groups developing systems in a commercial enterprise, and research groups advancing the scienti c state-of-the-art in academic and industrial settings. The objectives of this book are: (1) to serve as a motivation for de ning future research programs in distributed computing, (2) to help identify areas where practitioners and engineers on the one hand and scientists and researchers on the other can improve the state of distributed computing through synergistic efforts, and (3) to motivate graduate students interested in entering the exciting research eld of distributed computing. 236 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540012176ISBN 13: 9783540012177
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 1st International Workshop on Digital Watermarking (IWDW), the con- rence covering all aspects of digital watermarking, was held at the Hotel Riviera situated along the beautiful Han River in Seoul, Korea from November 21 to 22, 2002. These proceedings contain 21 papers that were accepted for presentation at the conference. These papers were selected from 67 submissions including 3 invited papers. They went through a thorough review process by the Program Committee and were selected on the basis of excellence and novelty. The following is a brief description of the history of this conference and - viewing process: In August 2001 some members of the Special Interest Group on Multimedia Protection (SIGMP) of the Korea Institute of Information Security and Cryptology (KIISC) agreed to create the IWDW. In November 2001 we set up a Program Committee and solicited papers while asking Springer-Verlag to publish the proceedings of the workshop in their Lecture Notes in Computer Science series. In July 2002 we received 64 submissions from 14 countries using Microsoft's conference management site . Each submission was assigned a number automatically by the c- ference management tool and the paper was sent to the Program Committee members for their review. We also encouraged di erent sets of experts to join for fair reviews. 280 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540002731ISBN 13: 9783540002734
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using the economic perspective, this exciting text offers an alternative viewto sociological or art historic approaches to art. The issues discussed include: institutions from festivals to 'superstar' museums, different means of supporting the arts,an investigation into art as an investment, and the various approaches applied when valuing our cultural properties. This text challenges widely held popular views and, once started, is difficult to put down. 260 pp. Englisch.
Editore: Springer Berlin Heidelberg Apr 2003, 2003
ISBN 10: 3540006567ISBN 13: 9783540006565
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Libro Print on Demand
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -As the complexity of financial markets keeps growing, so does the need to understand the decision-making and the coordination of the exsuing actions in the marketplace. In particular, the disclosure of information to market participants and its impact on the market outcome mertis attention. This study analyses the role of private and public information in currency crises. Calls for increased dissemination of economic and policy-related information by central banks notwithstanding, the study shows that transparency is not generally conductive to preventing speculative attacks in fixed exchange-rate regimes. Rather, the role of private and public information in the market-place depencs critically on the prevailing market sentiment. The study also highlights the import of market transparency design in an environment that allows for herding and market leadership of individual speculators. 252 pp. Englisch.