springer berlin heidelberg springer berlin heidelberg mai 2003 (161 risultati)

Buch. Condizione: Neu. Neuware -Designed as a textbook for advanced undergraduate and graduate students in engineering and physical sciences who are seeking a general overview of surface science, this book also provides the necessary background for researchers just starting out in the field. It covers all the most important aspects of modern surface science, from the experimental background and crystallographic basics to modern analytical techniques and applications to thin films and nanostructures. All topics are presented in a concise and clear form accessible to a beginner. At the same time, the coverage is comprehensive and at a high technical level, with emphasis on the fundamental physical principles. Numerous examples, references, practice exercises, and problems complement this remarkably complete treatment, which will also serve as an excellent reference for researchers and practitioners.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 456 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The global purpose of IWANN conferences has been to provide a broad and - terdisciplinary forum for the interplay between neuroscience and computation. Our dream has been, and still is: (1) nd ways to understand the physiol- ical, symbolic and cognitive nature of the nervous system (NS) with the help of computational and engineering tools; and (2) nd rich and insightful sources of inspiration in biology, to develop new materials, mechanisms and probl- solving methods (PSM) of value in engineering and computation. As all of us knowwell, this dreamstarted with the AncientGreeks, reappearedin the fo- dational stage of neurocybernetics and bionics, and is now broadly accepted in the scienti c community under di erent labels such as computational neu- science(CN) andarti cialneuralnets (ANN), orgenetic algorithmsandhybrid neuro-fuzzy systems. We have also to recognize that there is a considerable lack of credibility associated with CN and ANN among some researchers, both from biology and from the engineering and computation area. Potential causes of this scepticism could be the lack of methodology, formal tools, and real-world applications, in the engineering area, and the lack also of formal tools for cognitive process modeling. There is also the possibility of the computational paradigm being inappropriate to explain cognition, because of the ¿representational¿ character ofanycomputationalmodel. Some¿moresituated¿approachesarelookingback to the ¿neurophysiological epistemology¿ of the 1960¿s (mind in a body) to searchdirectlyforthemechanismsthatcouldembodythecognitiveprocess,and this means some fresh air for our old dream of connectionism. 800 pp. Englisch.

Buch. Condizione: Neu. Neuware -The traditional purpose of the Adriatic Meeting is to present most advanced scienti c research conducted by the lecturers who take part in the development of their elds and, in addition, to provide a school-like atmosphere for young scientists. Dubrovnik, as a geographical centre of this region of Europe, provided a most adequate location for this conference. Having very agreeable surroundings, the conference site nevertheless gave a focus for very strong scienti c interaction. The subjects chosen for the 8th meeting, in September 2001, were gauge theories, particle phenomenology, string theories and cosmology. We were able to bring together a very good cross section of outstanding scientists who gave extraorinarily good presentations. Certainely one reason for this success is that most of us feel obliged to help the scienti c life in South East Europe return to its former level. However, there are very exciting new scienti c developments as well. Part of the meeting was dominated by neutrino physics which has just seen exciting progress by establishing neutrino masses experimentally. This was d- cussed within neutrino masses and grand uni ed theories (GUTs). General - pects of neutrino physics and CP violation, neutrino mixing and the bayron asymmetry were presented along the same lines. On the theoretical side the idea of the construction of gauge theories on non-commutative spaces and their phenomenological implications is accepted worldwide within the particle physics community.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Condizione: Neu. Neuware -In this text the authors consider the Korteweg-de Vries (KdV) equation (ut = - uxxx + 6uux) with periodic boundary conditions. Derived to describe long surface waves in a narrow and shallow channel, this equation in fact models waves in homogeneous, weakly nonlinear and weakly dispersive media in general.Viewing the KdV equation as an infinite dimensional, and in fact integrable Hamiltonian system, we first construct action-angle coordinates which turn out to be globally defined. They make evident that all solutions of the periodic KdV equation are periodic, quasi-periodic or almost-periodic in time. Also, their construction leads to some new results along the way.Subsequently, these coordinates allow us to apply a general KAM theorem for a class of integrable Hamiltonian pde's, proving that large families of periodic and quasi-periodic solutions persist under sufficiently small Hamiltonian perturbations.The pertinent nondegeneracy conditions are verified by calculating the first few Birkhoff normal form terms -- an essentially elementary calculation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Buch. Condizione: Neu. Neuware -The Goals of Data Collection and Its Statistical Treatment in the Earth Sciences The earth sciences are characterised by loose and complex relationships between variables, and the necessity to understand the geographical dis tribution of observations as well as their frequency distribution. Our fre quency distributions and the looseness of relationships reflect the com plexity and intrinsic natural variation in nature, more than measurement error. Furthermore, earth scientists cannot design experiments according to statistical recommendation because the availability and complexity of data are beyond our control. Usually, the system we are studying cannot be isolated into discrete independent variables. These factors influence the first steps of research, how and where to collect specimens or observations. Some issues are particularly troublesome and common in earth science, but are rarely handled in an undergraduate statistics course. These include spatial-sampling methods, orientation data, regionalised variables, time se ries, identification of cyclicity and pattern, discrimination, multivariate systems, lurking variables and constant-sum data. It is remarkable that most earth-science students confront these issues without formal training or focused consideration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -By Leif Edvinsson Professor of Intellectual Capital University of Lund Lund, Sweden In a marketplace, characterized by the growing importance of intangibles and knowledge, as we have not only in Europe today, it has become more and more evident how important knowledge management and Intellectual Capital manage ment has become. Some of us who started this knowledge exploration journeys some decades ago could perhaps realize how quickly this theme should become so important. Today it is on almost every executive's agenda. The timing, the context and the comprehensive content of this second edition could not have been better. In this second edition the authors have extended their overview with case studies and facts that confirm what we intuitively knew. Knowledge and intangibles are a top strategic issue. It is vital for an organization if it wants to be competitive, sus tainable and profitable. The solid overview and the holistic review and testing of the theories with real cases, gives the reader a lot of facts and models of how man agement could invest in this area with very good return, in one case with a return of investment of 200 % in one year! It is a very extensive work on the growing field of knowledge management. In its extension guidelines and emerging standards are already visible, as e. g. the guide lines from the Danish government on IC reporting or of the Norwegian Associa tion of Financial Analysts.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains the papers selected for presentation at the 9th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2003) held at Chongqing University of Posts and Telecommunications, Chongqing, P.R. China, May 26¿29, 2003. There were 245 submissions for RSFDGrC 2003 excluding for 2 invited keynote papers and 11 invited plenary papers. Apart from the 13 invited papers, 114 papers were accepted for RSFDGrC 2003 and were included in this volume. The acceptance rate was only 46.5%. These papers were divided into 39 regular oral presentation papers (each allotted 8 pages), 47 short oral presentation papers (each allotted 4 pages) and 28 poster presentation papers (each allotted 4 pages) on the basis of reviewer evaluations. Each paper was reviewed by three referees. The conference is a continuation and expansion of the International Workshops on Rough Set Theory and Applications. In particular, this was the ninth meeting in the series and the first international conference. The aim of RSFDGrC2003 was to bring together researchers from diverse fields of expertise in order to facilitate mutual understanding and cooperation and to help in cooperative work aimed at new hybrid paradigms. It is our great pleasure to dedicate this volume to Prof. Zdzislaw Pawlak, who first introduced the basic ideas and definitions of rough sets theory over 20 years ago. 764 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Many practical control problems are dominated by characteristics such as state, input and operational constraints, alternations between different operating regimes, and the interaction of continuous-time and discrete event systems. At present no methodology is available to design controllers in a systematic manner for such systems. This book introduces a new design theory for controllers for such constrained and switching dynamical systems and leads to algorithms that systematically solve control synthesis problems. The first part is a self-contained introduction to multiparametric programming, which is the main technique used to study and compute state feedback optimal control laws. The book's main objective is to derive properties of the state feedback solution, as well as to obtain algorithms to compute it efficiently. The focus is on constrained linear systems and constrained linear hybrid systems. The applicability of the theory is demonstrated through two experimental case studies: a mechanical laboratory process and a traction control system developed jointly with the Ford Motor Company in Michigan.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Buch. Condizione: Neu. Neuware -The classical view on polymer crystallization basically focused on the expla- tion of a few macroscopically observable parameters like the thickness of the resulting lamellar structure and the corresponding growth rates. However, the emerging paradigm for the description of chain crystals is too simple and cannot account for the complex non-equilibrium processes responsible for structure f- mation on various levels, ranging from the nanometer up to the millimeter scale. This complexity detected by several novel experimental results led to a renewed interest in this ¿old¿ topic of polymer crystallization. These new ndings c- cern the early stages of the crystallization process, crystal formation in con ned geometries like ultra-thin lms and the competition between (micro)phase s- aration and crystallization in copolymers and blends. In particular, high spatial resolution techniques such as atomic force microscopy provided deeper insight into the molecular organization of crystallizable polymers. Computer simu- tions based on microscopic processes were used to improve our understanding of how polymer crystals are nucleated and how they grow. New ideas emerged about possible multistage pathways which are followed during the formation of polymer lamellae. The importance and the consequences of the non-equilibrium character of polymer crystals got signi cantly more attention. Links and ana- gies to growth phenomena and pattern formation in general are being developed. However, these ideas are still subject of intensive and controversial discussions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Mohammed Dahleh symposium brought together leading researchers in several areas of engineering and science. Many of the presentations focused on new emerging research areas of key significance. These new areas have in common that the dynamics and control theory and methods provide the appropriate framework for the understanding of the corresponding phenomena, while at the same time providing many of the tools necessary for their application to relevant technologies. Examples of these opportunities include the areas of systems biology, quantum feedback and control, fluid dynamics, and control applications in nanotechnology. This collected volume demonstrates the importance of these emerging areas in the current research agenda in science and technology and shows that a unique opportunity exists to drastically extend the scope and impact of dynamics and control methods far beyond their traditional areas of application in engineering. 244 pp. Englisch.

Buch. Condizione: Neu. Neuware -Since the first Congress in Zürich in 1897, the ICM has been an eagerly awaited event every four years. Many of these occasions are celebrated for historie developments and seminal contributions to mathematics. 2002 marks the year of the 24th ICM, the first of the new millennium. Also historie is the first ICM Satellite Conference devoted to game theory and applications. It is one of those rare occasions, in which masters of the field are able to meet under congenial surroundings to talk and share their gathered wisdom. As is usually the case in ICM meetings, participants of the ICM Satellite Conference on Game Theory and Applications (Qingdao, August 2(02) hailed from the four corners of the world. In addition to presentations of high qual ity research, the program also included twelve invited plenary sessions with distinguished speakers. This volume, which gathers together selected papers read at the conference, is divided into four sections: (I) Foundations, Concepts, and Structure. (II) Equilibrium Properties. (III) Applications to the Natural and Social Sciences. (IV) Computational Aspects of Games.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Buch. Condizione: Neu. Neuware -The analysis and simulation of multifield problems have recently become one of the most actual and vivid areas of research. Although the individual subproblems of complex technical and physical phenomena often are understood separately, their interaction and coupling create not only new difficulties but also a complete new level and quality of interacting coupled field problems. Presented by leading experts this book includes recent results in these fields from the International Conference on Multifield Problems, April 8-10, 2002 at the University of Stuttgart, Germany.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Quality of Service continues to be an active research eld, especially in the networking community. IWQoS is a successful series of workshops that aims to provide a forum for the presentation and discussion of new research and ideas onQoS.Traditionally,IWQoSworkshopsarecross-disciplinaryandwellfocused, with the emphasis on innovation. As a result, a considerable amount of time is devoted to informal discussion. In addition to the traditional QoS topics such as service guarantees and admission control, this year we aimed to expand the scope of the workshop by encouraging submissions o ering research contributions related to robustness, resilience, security, and predictability in networking and distributed systems. As a result, the program included two sessions on availability, fault tolerance, and dependability. The other sessions covered routing, resource allocation, storage, Web services, incentives, and rate based QoS. A great deal of e ort as gone into putting together a high-quality program. The quality of submissions was very high, and the program committee had a di cult task to select 27 papers among many deserving papers. Special thanks to the program committee, and the outside reviewers, for their e orts and hard work in the reviewing and selection process during such a short time frame. We thank all authors who submitted papers to IWQoS, and who ultimately made this program possible. We express our appreciation for our sponsors, NSF, the IEEE Communi- tions Society, IFIP WG 6.1, and ACM SIGCOMM & SIGMOBILE.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 536 pp. Englisch.

Buch. Condizione: Neu. Neuware -Adaptivity and learning have in recent decades become a common concern of scientific disciplines. These issues have arisen in mathematics, physics, biology, informatics, economics, and other fields more or less simultaneously. The aim of this publication is the interdisciplinary discourse on the phenomenon of learning and adaptivity. Different perspectives are presented and compared to find fruitful concepts for the disciplines involved. The authors select problems showing representative traits concerning the frame up, the methods and the achievements rather than to present extended overviews.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Next-generation distributed applications and systems are increasingly developed using middleware. This dependency poses hard R&D challenges, including - tency hiding, masking partial failure, information assurance and security, legacy integration, dynamic service partitioning and load balancing, and end-to-end quality of service speci cation and enforcement. To address these challenges, researchers and practitioners must discover and validate techniques, patterns, and optimizations for middleware frameworks, multi-level distributed resource management, and adaptive and re ective middleware architectures. Following the success of the past IFIP/ACM Middleware conferences (Lake District/UK, Palisades/USA, and Heidelberg/Germany) and building upon the success of past USENIX COOTS conferences, the Middleware 2003 conference is the premier international event for middleware research and technology. The scope of the conference is the design, implementation, deployment, and eval- tion of distributed system platforms, architectures, and applications for future computing and communication environments. This year, we had a record of 158 submissions, among which the top 25 - pers were selected for inclusion in the technical program of the conference. All papers were evaluated by at least three reviewers with respect to their origin- ity,technicalmerit,presentationquality,andrelevancetotheconferencethemes. The selected papers present the latest results and breakthroughs on middleware research in areas including peer-to-peer computing, publish-subscriber archit- tures, component- and Web-based middleware, mobile systems, and adaptive computing. 532 pp. Englisch.

Buch. Condizione: Neu. Neuware -The intent of this book is to bridge the link between experimental obser vations and theoretical principles in accelerator physics. The methods and concepts, taken primarily from high energy accelerators, have for the most part already been presented in internal reports and proceedings of accelera tor conferences, a portion of which has appeared in refereed journals. In this book we have tried to coherently organize this material so as to be useful to designers and operators in the commissioning and operation of particle accelerators. A point of emphasis has been to provide, wherever possible, experimental data to illustrate the particular concept under discussion. Of the data pre sented, most are collected from presently existing or past accelerators and we regret the problem of providing original data some of which appear in less accessible publications - for possible omissions we apologize. Regarding the uniformity of the text, particularly with respect to symbol definitions, wehave taken the liberty to edit certain representations of the data while trying to maintain the essence of the presented observations. Throughout the text we have attempted to provide references which are readily available for the reader.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 388 pp. Englisch.

Buch. Condizione: Neu. Neuware -The material in this book was first presented as a one-semester graduate course in Measurement Theory for M.Sc. students of the Industrial Engineering De partment of Ben Gurion University in the 2000/2001 academic year. The book is devoted to various aspects of the statistical analysis of data arising in the process of measurement. We would like to stress that the book is devoted to general problems arising in processing measurement data and does not deal with various aspects of special measurement techniques. For example, we do not go into the details of how special physical parameters, say ohmic resistance or temperature, should be measured. We also omit the accuracy analysis of particular measurement devices. The Introduction (Chapter 1) gives a general and brief description of the measurement process, defines the measurand and describes different kinds of the measurement error. Chapter 2 is devoted to the point and interval estimation of the popula tion mean and standard deviation (variance). It also discusses the normal and uniform distributions, the two most widely used distributions in measurement. We give an overview of the basic rules for operating with means and variances of sums of random variables. This information is particularly important for combining measurement results obtained from different sources. There is a brief description of graphical tools for analyzing sampIe data. This chapter also presents the round-off rules for data presentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The role of singular trajectories in control theory is analysed in this volume that contains about 60 exercieses and problems. A section is devoted to the applications of singular trajectories to the optimisation of batch reactors. The theoretical paart based on the Martinet case concerns the singulatrity analysis of singular trajectories in sub-Riemannian geometry. An algorithm is gibven to evaluate conjugate points and a final chapter discusses open problems. The volume will interest mathematicians and engineers.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -all the authors of the submitted - pers, to the Program Committee members and the referees, to the Organizing Committee, and to the plenary and tutorial lecturers who accepted our in- tation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This volume contains (revised versions) of papers presented at the 14th Wo- shop on Languages and Compilers for Parallel Computing. Parallel computing used to be nearly synonymous with supercomputing research, but as parallel processing technologies have become common features of commodity processors and systems,the focus of this workshopalsohas shifted. For example, this wo- shop marks the rst time that compiler technology for power management has been recognized as a key aspect of parallel computing. Another pattern visible in the research presented is the continuing shift in emphasis from simply nding potentialparallelismtobeingabletouseparallelisme cientlyenoughtoachieve good speedup. The scope of languages and compilers for parallel computing has thus grown to encompass all relevant aspects of systems, ranging from abstract models to runtime support environments. As inpreviousyears,keyresearcherswereinvitedto participate.Everypaper submitted was reviewed in depth and quantitatively graded on originality, s- ni cance, correctness, presentation, relevance, need to revise the write-up, and overall how appropriate it would be to accept the paper. Any concerns raised werediscussedbythe programcommittee.Insummary,the papersincludedhere represent leading-edge work from North America, Europe, and Asia. 460 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The refereed proceedings of the First Iberial Conference on Pattern Recognition and Image Analysis, IbPria 2003, held in Puerto de Andratx, Mallorca, Spain in June 2003.The 130 revised papers presented were carefully reviewed and selected from 185 full papers submitted. All current aspects of ongoing research in computer vision, image processing, pattern recognition, and speech recognition are addressed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1168 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Multiple Classifier Systems, MCS 2003, held in Guildford, UK in June 2003.The 40 revised full papers presented with one invited paper were carefully reviewed and selected for presentation. The papers are organized in topical sections on boosting, combination rules, multi-class methods, fusion schemes and architectures, neural network ensembles, ensemble strategies, and applications 424 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Experimental and Efficient Algorithms, WEA 2003, held in Ascona, Switzerland in May 2003.The 19 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 40 submissions. The focus of the volume is on applications of efficient algorithms for combinatorial problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book contains most of the papers presented at the 4th International C- ference on Extreme Programming and Agile Processes in Software Engineering (XP 2003), held in Genoa, Italy, May 2003. The XP 200n series of conferences were started in 2000 to promote the - change of new ideas, research and applications in the emerging eld of agile methodologies for software development. Over the years, the conference has - come the main world forum for all major advances in this important eld. Also this year the contributions to Agile Methodologies and Extreme P- gramming were substantial. They demonstrate that the topic is continuing to gain more and more momentum. In spite of some criticism of agile meth- ologies, everyone agrees that they address some unresolved needs of software practitioners. People still do not know how to develop software on time, with the desired features, and within the given budget! This volume is divided into several thematic sections, easing reader¿s na- gation through the content. Full papers are presented rst, followed by research reports, papers from the Educational Symposium, and papers from the Ph.D. Symposium. The presentations given during three panel sessions held at the conference conclude the book. The section on Managing Agile Processes includes contributions highlighting the sometimes di cult relationship between agile methodologies and mana- ment, and includes approaches and suggestions that should facilitate the acc- tance of agile methodologies at the di erent levels of management. 484 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -iTrust is an Information Society Technologies (IST) working group, which started on 1st of August, 2002. The working group is being funded as a concerted action/ thematic network by the Future and Emerging Technologies (FET) unit of the IST program. The aim of iTrust is to provide a forum for cross-disciplinary investigation of the application of trust as a means of establishing security and con dence in the global computing infrastructure, recognizing trust as a crucial enabler for meaningful and mutually bene cial interactions. The proposed forum is intended to bring together researchers with a keen interest in complementary aspects of trust, from technology-oriented disciplines and the elds of law, social sciences, and philosophy. Hence providing the c- sortium participants (and the research communities associated with them) with the common background necessary for advancing toward an in-depth underst- ding of the fundamental issues and challenges in the area of trust management in open systems. Broadly the initiative aims to: ¿ facilitate the cross-disciplinary investigation of fundamental issues underp- ning computational trust models by bringing together expertise from te- nology oriented sciences, law, philosophy, and social sciences ¿ facilitate the emergence of widely acceptable trust management processes for dynamic open systems and applications ¿ facilitate the development of new paradigms in the area of dynamic open systems which e ectively utilize computational trust models ¿ help the incorporation of trust management elements in existing standards. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The rst international conference on Functional Imaging and Modeling of the 1 Heart (FIMH) was held in Helsinki, Finland, in November 2001, thanks to the strongscienti ccollaborationbetweenFranceandFinland. Thiseventwasa rst attempt to federate the heart imaging community and to encourage collabo- tion between scientists in signal and image processing, applied mathematics and physics, biomedical engineering and computer science, and experts in card- logy, radiology, biology, and physiology, in Europe and beyond. The conference has encountered considerable success. The outstanding research works pres- ted have demonstrated a very active research eld with complex modeling and image analysis problems to be solved. One of the outcomes was the special issue of the Medical Image Analysis journal based on a selection of the conference¿s best papers, to appear in the second half of 2003. The FIMH 2001 meeting was the starting point of a discussion for federating the European research e ort in cardiac imaging, heart modeling, and cardiac image analysis. It was very successful, and a large coalition was created around 2 the e-Heart proposal for a Network of Excellence in the European Sixth Fra- work Program. The e-Heart network has already gathered about 200 researchers from 100 institutes. A project proposal has been submitted to the European Union. It was decided in the rst meeting to organize a regular biennial conference.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -. . . . . . . . . . . . . . 200 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants. 332 pp. Englisch.

Buch. Condizione: Neu. Neuware -Business-to-business (B2B) integration is a buzzword which has been used a lot in recent years, with a variety of meanings. Starting with a clear technical definition of this term and its relation to topics like A2A (Application-to-Application), ASP (Application Service Provider), A2A, and B2C (Business-to-Consumer), Christoph Bussler outlines a complete and consistent B2B integration architecture based on a coherent conceptual model. He shows that B2B integration not only requires the exchange of business events between distributed trading partners across networks like the Internet, but also demands back-end application integration within business processes, and thus goes far beyond traditional approaches to enterprise application integration approaches.His detailed presentation describes how B2B integration standards like RosettaNet or SWIFT, the application integration standard J2EE Connector Architecture and basic standards like XML act together in order to enable business process integration.The book is the first of its kind that discusses B2B concepts and architectures independent of specific and short-term industrial or academic approaches and thus provides solid and long-lasting knowledge for researchers, students, and professionals interested in the field of B2B integration.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 444 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The refereed proceedings of the 14th International Conference on Rewriting Techniques and Applications, RTA 2003, held in Valencia, Spain in June 2003.The 26 revised regular papers and 6 system descriptions presented together with 3 invited contributions were carefully reviewed and selected from 61 submissions. All current aspects of rewriting are addressed. 532 pp. Englisch.