springer berlin heidelberg springer berlin heidelberg apr 2009 (187 resultados)

Taschenbuch. Condición: Neu. Neuware - Die Methoden der Induktiven Statistik gewinnen immer mehr an Bedeutung. Um bei der großen Anzahl statistischer Programmpakete die Auswahl der Verfahren sachadäquat zu treffen und die statistischen Ergebnisse kompetent zu interpretieren, ist ein fundiertes statistisches Wissen notwendig. Das vorliegende Buch will diese Kenntnisse vermitteln. Alle Kapitel sind so konzipiert, dass die schrittweise Darstellung des Stoffes durch zahlreiche Beispiele aus unterschiedlichen Bereichen und viele Graphiken ergänzt wird. Auf diese Weise soll ein Verständnis für induktive statistische Methoden erreicht werden, das zu mehr als einer rezeptartigen Anwendung befähigt. Texthervorhebungen zentraler Begriffe erleichtern die Lesbarkeit und erlauben eine rasche Orientierung. Übungsaufgaben mit Lösungen dienen der Wissenskontrolle und -sicherung. Die 2. Auflage wurde zur besseren Verständlichkeit der statistischen Zusammenhänge umfassend überarbeitet und durch Übungsaufgaben für ein intensives Selbststudium erweitert.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Information Security and Cryptology, Inscrypt 2008, held in Beijing, China, in December 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 183 submissions. The papers are organized in topical sections on digital signature and signcryption schemes, privacy and anonymity, message authentication code and hash function, secure protocols, symmetric cryptography, certificateless cryptography, hardware implementation and side channel attack, wireless network security, public key and identity based cryptography, access control and network security, as well as trusted computing and applications. 456 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Dieses Mathematikbuch will Studierende der Physik und verwandter Disziplinen durch das Studium begleiten. Es ist vom Lehrbuch über Theoretische Physik des Verfassers inspiriert. Alles, was an Mathematik im Physikbuch vorkommt und dort entweder vorausgesetzt oder lediglich erwähnt wird, soll hier ausgebreitet werden. Und umgekehrt, das Mathematikbuch enthält nur die Gegenstände, die im Physikbuch auch wirklich angesprochen werden, direkt oder indirekt. Nicht weniger, aber auch nicht mehr.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Computational Intelligence (CI) bezeichnet ein Teilgebiet der Künstlichen Intelligenz, das biologische inspirierte Modelle algorithmisch umsetzt. Evolutionäre Algorithmen orientieren sich an der darwinistischen Evolution und suchen mit Hilfe von Crossover, Mutation und Selektion eine optimale Lösung. Die Fuzzy-Logik ermöglicht als unscharfe Logik eine kognitive Modellierung von Wissen und Inferenzprozessen. Neuronale Netze imitieren funktionale Aspekte des Gehirns für Aufgaben wie Klassifikation und Mustererkennung. Neuere Ansätze der CI wie Reinforcement Learning ermöglichen, das Verhalten künstlicher Agenten in unbekannten Umgebungen zu steuern. Die Schwarmintelligenz modelliert Algorithmen, die auf Basis vieler einfacher Komponenten intelligente Leistungen vollführen. Zu guter Letzt lösen künstliche Immunsysteme eine Reihe von Problemen, ähnlich wie ihr biologisches Pendant. Ein kompakter und übersichtlicher mit vielen Beispielen gespickter Einstieg in die verschiedenen Verfahren der CI.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -Das Lehrbuch bearbeitet alle Gebiete des Gewerblichen Rechtschutzes und des Urheberrechts. Nach seiner Konzeption ermöglicht es den Studenten eine vertiefte Einarbeitung in das schwierige Thema, es bietet aber auch dem Praktiker wertvolle Orientierungshilfe bei den grundlegenden Fragen. Die Darstellung des Grundlagenwissens zum Urheber- und Patentrecht, sowie zum Wettbewerbsrecht erfolgt auf sehr hohem Niveau. Der Verfasser bearbeitet die zentralen Rechtsbegriffe dieser Gebiete ¿ Erfindung, urheberrechtlich geschütztes Werk, unlauterer Wettbewerb ¿ durch die Einbeziehung von juristischer Dogmatik, ökonomischen Grundlagen und auch technisch/naturwissenschaftlicher Betrachtung. Da zugleich die Rechtsprechung umfangreich berücksichtigt wird, löst sich das Werk nicht von den Bedürfnissen der Praxis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Deutsch.

Taschenbuch. Condición: Neu. Neuware -BIS 2009 held in Pozna was the 12th in a series of international conferences on Business Information Systems. The BIS conference series has been recognized by professionals from its very beginning as a forum for the exchange and d- semination of topical research in the development, implementation, application and improvement of computer systems for business processes. The theme of the conference was ¿Information Systems for Agile Organi- tions.¿ The material collected in this volume covers recent tendencies in making organizations more responsive to external conditions. On the one hand, onto- gies are adopted as a tool for better data and information management. On the other hand, exible information systems based on process orientation are being developed. A set of 22 papers illustrating these trends were selected for presentation during the main event. The articles are grouped into the following conference topics: Ontologies in Organizations,Ontologies and Security, Process Modelling, Process Analysis and Mining, Service-Oriented Architecture, Web Search,SocialIssues,andERP. The Program Committee consisted of over 90 members, who carefully ev- uated all the submitted papers. The careful review process assured that each paper underwent thorough evaluation and received many valuable comments. Only the best-quality papers were selected, resulting in an acceptance rate of less than 30%. The regular program was complemented by outstanding keynote speakers. We were honored to host leading experts in business process management and information management: Wil van der Aalst (Eindhoven University of Techn- ogy, The Netherlands) and Asunción Gómez-Pérez (Universidad Politécnica de Madrid, Spain).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume constitutes the proceedings of the 4th International Conference on E-Technologies, MCETECH 2009, held in Ottawa, Canada, during May 4-6, 2009.The 23 full and 4 short papers included in this volume were carefully reviewed and selected from a total of 42 submissions. They cover topics such as inter-organzational processes, service-oriented architectures, security and trust, middleware infrastructures, open source and open environments, and applications including eGovernment, eEducation, and eHealth.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed papers presented at five international workshops held in conjunction with the 6th International Conference on Service-Oriented Computing, ICSOC 2008, in Sydney, Australia, in December 2008. The volume contains 41 reviewed and improved papers presented at the 4th International Workshop on Engineering Service-Oriented Applications (WESOA 2008), the Second International Workshop on Web APIs and Services Mashups (Mashups 2008), the First International Workshop on Quality-of-Service Concerns in Service Oriented Architectures (QoSCSOA 2008), the First Workshop on Enabling Service Business Ecosystems (ESBE 2008), and the Third International Workshop on Trends in Enterprise Architecture Research (TEAR 2008). The papers offer a wide range of hot topics in service-oriented computing: management and analysis of SOA processes; development of mashups; QoS and trust models in service-oriented multi-agent systems; service ecosystems, service standardization, and evolutionary changes of Web services; governance aspects of SOA, enterprise models and architectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Software architectures that contain many dynamically interacting components, each with its own thread of control, engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers in the area of Agent-Oriented Software Engineering. The papers represent a state-of-the-art report of current research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies.This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Workshop on Agent-Oriented Software Engineering, AOSE 2008, held in Estoril, Portugal, in May 2008 as part of AAMAS 2008. The 20 revised full papers were carefully selected from 50 initial submissions during two rounds of reviewing and improvement. The papers have been organized into four sections on: multi-agent organizations, method engineering and software development processes, testing and debugging, as well as tools and case studies. 304 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In the second contribution, entitled ¿Behavioral Characterization for Network Anomaly Detection,¿ Victor P. Roche and Unai Arronategui propose a methodology for detecting abnormal traffic on the net, such as worm attacks, based on the obser- tion of the behavior of different elements at the network edges. This methodology means an advance in the detection of a new infection in the backbone of the network, but also in the identification of the infected hosts of a specific network. The authors try to detect network anomalies by tracking the behavior of different network levels. This proposed method is not based on intrinsic characteristics of the worm but on their manner of acting. This methodology has proved its effectiveness in real infections caused by viruses such as SpyBot and Agobot in accordance with experimental tests. In the third contribution, which is entitled ¿The Power of Anonymous Veto in Public Discussion,¿ Feng Hao and Piotr Zielinski propose an exceptional solution¿¿Anonymous Veto Network (or AV-net)¿¿to allow a group of participants to compute a boolean-OR function securely. This protocol is provably secure under the Decision Diffie-Hellman (DDH) and random oracle assumptions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Würzburg, Germany, during October 4-6, 2007. The 16 thoroughly revised full papers presented together with 1 invited paper were carefully reviewed and selected from numerous submissions. The topics covered are constraints; databases and data mining; extensions of logic programming; and system demonstrations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -These proceedings contain the papers presented at the 4th International S- posium on Location and Context Awareness (LoCA) during May 7¿8, 2009 in Tokyo,Japan.Locationandcontextawarenessarefundamentstonext-generation mobile and pervasive computing systems. Pervasive computing is a model of computing in which computation is everywhere and computer functions are - tegrated into everything. The ultimate aim is to make information, applications and services available anywhere and at anytime in the human environment in a uid manner appropriate to our current context. Once away from the desktop, we nd ourselves in a wide variety of contexts and hence situations. For computing to be relevant and useful in these emerging situations we must rely on a range of contextual cues. Context includes phys- logical, environmental, and computational data, whether sensed or inferred. In addition, context includes details of a user¿s activities, goals, abilities, pref- ences, a ordances, and surroundings. With location and context awareness we can expect computers to deliver information, services, and entertainment in a way that maximizes convenience and minimizes intrusion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 08021 on Numerical Validation in Current Hardware Architectures held at Dagstuhl Castle, Germany, in January 2008. The 16 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Conference on Computer Vision/Computer Graphics Collaboration Techniques, MIRAGE 2009, held in Rocquencourt, France, in May 2009. The 41 revised full papers presented were carefully reviewed and selected from a total of 83 submissions. The papers cover a wide range of topics with focus on Computer Vision/Computer Graphics collaboration techniques involving image analysis/synthesis approaches especially concerning theoretical, computational, experimental or industrial aspects of model-based image analysis and image-based model synthesis. 456 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Calabi-Yau manifolds have been an object of extensive research during the last two decades. One of the reasons is the importance of Calabi-Yau 3-manifolds in modern physics - notably string theory. An interesting class of Calabi-Yau manifolds is given by those with complex multiplication (CM). Calabi-Yau manifolds with CM are also of interest in theoretical physics, e. g. in connection with mirror symmetry and black hole attractors. It is the main aim of this book to construct families of Calabi-Yau 3-manifolds with dense sets of bers with complex multiplication. Most - amples in this book are constructed using families of curves with dense sets of bers with CM. The contents of this book can roughly be divided into two parts. The rst six chapters deal with families of curves with dense sets of CM bers and introduce the necessary theoretical background. This includes among other things several aspects of Hodge theory and Shimura varieties. Using the rst part, families of Calabi-Yau 3-manifolds with dense sets of bers withCM are constructed in the remaining ve chapters. In the appendix one nds examples of Calabi-Yau 3-manifolds with complex mul- plication which are not necessarily bers of a family with a dense set ofCM bers. The author hopes to have succeeded in writing a readable book that can also be used by non-specialists.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book will support an issue as important as self-management of chronic diseases, es- cially AD, in finding its way into the daily life of patients and their caregivers as well as into treatment worldwide. It is written for healthcare professionals, aging researchers/scientists, patients with Alzheimer¿s disease and their caregivers, managers of eldercare facilities, public health authorities, umbrella organisations of Alzheimer associations, Alzheimer associations, health care administrators, health economists and government officials. It is my pleasant duty to thank Merz Pharma (Schweiz) AG in Allschwil-Switzerland to purchase 40 copies of the book. To finish this book, a long and sometimes arduous path had to be traveled. Now that it is over, I feel profoundly thankful towards all authors for participating in this project, p- ticularly Eva Krebs-Roubicek, MD for her contribution, the three models on the cover of this book; and especially to Julie and Jean-Luc for their great understanding and loving - sistance. Sabine Bährer-Kohler, Editor of the book VII Foreword Alzheimer¿s disease is one of those diseases which is steadily increasing worldwide. Treating Alzheimer¿s disease is able to modify its course but does not yet cure it. Alzheimer¿s disease is an enormous challenge not only for the afflicted person but also for the relatives.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -It is commonly assumed that computers process information. But what is inf- mation In a technical, important, but nevertheless rather narrow sense, Sh- non¿sinformationtheorygivesa rstanswertothisquestion.Thistheoryfocuses on measuring the information content of a message. Essentially this measure is the reduction of the uncertainty obtained by receiving a message. The unc- tainty of a situation of ignorance in turn is measured by entropy. This theory hashad an immense impact on the technologyof information storage,data c- pression, information transmission and coding and still is a very active domain of research. Shannon¿s theory has also attractedmuch interest in a more philosophic look at information, although it was readily remarked that it is only a ¿syntactic¿ theory of information and neglects ¿semantic¿ issues. Several attempts have been made in philosophy to give information theory a semantic avor, but still mostly based on or at least linked to Shannon¿s theory. Approaches to semantic informationtheoryalsoveryoftenmakeuseofformallogic.Thereby,in formation is linked to reasoning, deduction and inference, as well as to decision making. Further, entropy and related measure were soon found to have important connotations with regard to statistical inference. Surely, statistical data and observation represent information, information about unknown, hidden para- ters. Thus a whole branch of statistics developed around concepts of Shannon¿s information theory or derived from them. Also some proper measurements - propriate for statistics, like Fisher¿s information, were proposed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -UNISCON 2009 (United Information Systems Conference) was the third conf- ence in the series that is based on the idea to pool smaller but highly interesting scienti c events on information systems into one large conference. Here, people from di erent scienti c backgrounds can present their research results, share their ideas and discuss future trends in these various areas. UNISCON 2009 was held in Sydney, Australia in the University of Western Sydney, Campbelltown Campus. In 2009 the following scienti c events were held under the umbrella of UNISCON 2009: th ¿ 8 International Conference on Information Systems Technology and Its Applications (ISTA 2009) th ¿ 8 International Workshop on Conceptual Modelling Approaches for e- Business (eCOMO 2009) ¿ Second Workshop on Model-Based Software and Data Integration (MBSDI 2009) We received 115 papers for the three events. Papers were submitted from over 25 countries. After a rigorous review process, 39 papers were accepted as full papers and 14 papers as short papers for presentation at the conference and published in these proceedings. In addition to the above three events, we also organized a Doctoral Cons- tium to provide a forum for doctoral students to get feedback from experts in the area about their research projects. 584 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Since 1980, methods for recursive evaluation of aggregate claims distributions have received extensive attention in the actuarial literature.This book gives a unified survey of the theory and is intended to be self-contained to a large extent. As the methodology is applicable also outside the actuarial field, it is presented in a general setting, but actuarial applications are used for motivation.The book is divided into two parts. Part I is devoted to univariate distributions, whereas in Part II, the methodology is extended to multivariate settings.Primarily intended as a monograph, this book can also be used as text for courses on the graduate level. Suggested outlines for such courses are given.The book is of interest for actuaries and statisticians working within the insurance and finance industry, as well as for people in other fields like operations research and reliability theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Theory and Applications of Models of Computation, TAMC 2009, held in Changsha, China in May 2009. The 39 full papers presented together with 7 invited papers as well as 3 plenary talks were selected from 86 submissions. The papers address the three main themes of the conference which were Computability, Complexity, and Algorithms. The conference aimed to bring together researchers with interests in theoretical computer science, algorithmic mathematics, and applications to the physical sciences. 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -Grid and Pervasive Computing (GPC) is an annual international conference devoted to the promotion and advancement of all aspects of grid and pervasive computing. The objective of this conference is to provide a forum for researchers and engineers to present their latest research in the elds of grid and pervasive computing. Previous editions of the Grid and Pervasive Computing conference were held in: Kunming (China) May 25-28, 2008, Paris (France) May 2-4, 2007, and Taichung (Taiwan) May 3-5, 2006. The fourth edition took place in Geneva, Switzerland during May 4-8, 2009. It was organized by members of the University of Applied Sciences Western Switzerland (Haute Ecole de Paysage, d¿Ing¿ enierie et d¿Architecture - hepia), in collaboration with colleagues from various places around the world. The conference spanned a full week, including a three-day technical program where the papers contained in these proceedings were presented. The conf- ence was followed by two tutorial days where attendants had the opportunity to discuss a variety of topics related to the elds covered at the conference, at both introductory and advanced levels. The technical program also included an industrial session, with contributions illustrating challenges faced and so- tions devised by industry. Furthermore, the conference o ered an opportunity for vendors and researchers to present their products and projects at an ex- bition (Grid Village) where solutions supporting the development of grid and pervasive computing were displayed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 11th European Conference on Genetic Programming, EuroGP 2009, held in Tübingen, Germany, in April 2009 colocated with the Evo\* 2009 events. The 21 revised plenary papers and 9 revised poster papers were carefully reviewed and selected from a total of 57 submissions. A great variety of topics are presented reflecting the current state of research in the field of genetic programming, including the latest work on representations, theory, operators and analysis, feature selection, generalisation, coevolution and numerous applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 10th Pacific Rim International Workshop on Multi-Agents, PRIMA 2007, held in Bankok, Thailand, in November 2007. The 22 revised full papers and 16 revised short papers presented together with 11 application papers were carefully reviewed and selected from 102 submissions. Ranging from theoretical and methodological issues to various applications in different fields, the papers address many current subjects in multi-agent research and development,Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 500 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -These are the conference proceedings of the 4th Haifa Veri cation Conference, held October 27¿30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading researchers and practitioners of both formal and dynamic veri cation, for both hardware and software systems. This year¿s conference extended the successes of the previous years, with a largejumpinthenumberofsubmitted papers. Wereceived49totalsubmissions, with many more high-quality papers than we had room to accept. Submissions came from 19 di erent countries, re ecting the growing international visibility of the conference. Of the 49 submissions, 43 were regular papers, 2 of which were later withdrawn, and 6 were tool papers. After a rigorous review process, in which each paper received at least four independent reviews from the dist- guished Program Committee, we accepted 12 regular papers and 4 tools papers for presentation at the conference and inclusion in this volume. These numbers give acceptance rates of 29% for regular papers and 67% for tool papers (34% combined) ¿ comparable to the elite, much older, conferences in the eld. A Best Paper Award, selected on the basis of the reviews and scores from the Program Committee, was presented to Edmund Clarke, Alexandre Donz¿ e, and AxelLegayfortheirpaperentitled¿StatisticalModelCheckingofMixed-Analog Circuits with an Application to a Third-Order Delta-Sigma Modulator. ¿ The refereed program was complemented by an outstanding program of - vited talks, panels, and special sessions from prominent leaders in the eld.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was held under the auspices of the IFIP WG 1.7 on Foundations of Security Analysis and Design. The 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008) aimed at continuing the successful e ort of the previous three FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust. As computing and network infrastructures become increasingly pervasive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions incre- ingly span several enterprises and involve loosely structured communities of - dividuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions - fectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST sought for original papers focusing on formal aspects in: security and trust policy models; security protocol design and analysis; formal models of trustand reputation;logicsfor security andtrust;distributed trust management systems;trust-basedreasoning;digitalassetsprotection;dataprotection ;privacy and ID issues; information ow analysis; language-based security; security and trust aspects in ubiquitous computing; validation/analysis tools; Web service security/trust/privacy; GRID security; security risk assessment; case studies. 344 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Software Language Engineering, SLE 2008, held in Toulouse, France, in September 2008. The 16 revised full papers and 1 revised short paper presented together with 1 tool demonstration paper and 2 keynote lectures were carefully reviewed and selected from 106 initial submissions. The papers are organized in topical sections on language and tool analysis and evaluation, concrete and abstract syntax, language engineering techniques, language integration and transformation, language implementation and analysis, as well as language engineering pearls.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Symposium on Bioinformatics Research and Applications, ISBRA 2009, held in Fort Lauderdale, FL, USA, in May 2009. The 26 revised full papers presented together four invited papers were carefully reviewed and selected from a total of 55 submissions. The papers cover a wide range of topics, including clustering and classification, gene expression analysis, gene networks, genome analysis, motif finding, pathways, protein structure prediction, protein domain interactions, phylogenetics, and software tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This volume contains papers presented at the International Conference on Software Process (ICSP 2009) held in Vancouver, Canada, during May 16-17, 2009. ICSP 2009 was the third conference of the ICSP series, continuing the software process workshops from 25 years ago. The theme of ICSP 2009 was ¿Processes to Develop Trustworthy Software.¿ Software development takes place in a dynamic context of frequently changing technologies and limited resources. Teams worldwide are under increasing pressure to deliver trustworthy software products more quickly and with higher levels of quality. At the same time, global competition is forcing software development organizations to cut costs by rationalizing processes, outsourcing part or all of their activities, re- ing existing software in new or modified applications and evolving existing systems to meet new needs, while still minimizing the risk of projects failing to deliver. To address these difficulties, new or modified processes are emerging including lean and agile methods, plan-based product line development, and increased integration with systems engineering processes. Papers present research and real-world experience in many areas of software and systems processes impacting trustworthy software including: new software devel- ment approaches; software quality; integrating software and business processes; CMMI and other process improvement initiatives; simulation and modeling of so- ware processes; techniques for software process representation and analysis; and process tools and metrics. 428 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -In recent years, Internet-based systems and applications have become pervasive and have been the focus of many ongoing research efforts. They range from semi-structured information, to multimedia systems and applications, to P2P and ad hoc information sharing networks and service-centric systems and applications. This book p- sents a collection of articles from the best papers presented at the SITIS 2006 International Conference, aiming to cover recent advanced research on distributed information systems, including both theoretical and applied solutions. This volume is designed for a professional audience practitioners and researchers in industry. It is also suitable as a reference or secondary text for advanced-level students in computer science and engineering. The articles in this book are a selection of papers presented at the IMRT and WITDS tracks of the international SITIS 2006 conference. The authors were asked to revise and extend their contributions to take into account the comments and discussions made at the conference. A large number of high-quality papers were submitted to SITIS 2006, demonstrating the growing interest of the - search community for Internet-Based and multimedia information systems. We would like to acknowledge the hard work and dedication of many people. Our deepest gratitude goes to the authors who contributed their work. We appreciate the diligent work of the SITIS Committee members. We are grateful for the help, support and patience of the LNCS publishing team. Finally, thanks to Iwayan Wikacsana for his invaluable help. February 2007 Ernesto Damiani Kokou Yetongnon Richard Chbeir Albert DipandaSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.