springer berlin heidelberg jun 2009 (141 resultados)

Taschenbuch. Condición: Neu. Neuware -Majoreconomicupheavalscanhavethesortofe ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals resultfromeitherscienti crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current nancial turmoil is the challenge that will prove whether and how it will endure. Early signs under even the bleak market conditions of the last 12 months are that it will not only survive, it will rmly establish its role across the world of business. Outsourcing throws into sharp focus the entire software engineering life- cle. Topics as diverse as requirements analysis, concurrency and model-checking need to nd a composite working partnership in software engineering practice. This con uence arises from need, not dogma, and the solutions required are those that will have the right e ect on the associated activities in the world of the application: e.g., reducing the time for a transaction or making the results of a complex analysis available in real-time. While the business of outsourcing continues to be studied, the engineering innovations that make it compelling are constantly changing. It is in this milieu that this series of conferences has placed itself. 224 pp. Englisch.

Taschenbuch. Condición: Neu. Neuware -This book constitutes the refeered proceedings of the 21st International Conference on Information Processing in Medical Imaging, IPMI 2009, held in Williamsburg, VA, USA, in July 2009 The 26 revised full papers and 33 revised poster papers presented were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections on diffusion imaging, PET imaging, image registration, functional networks, space curves, tractography, microscopy, exploratory analyses, features and detection, image guided surgery, shape analysis, motion, and segmentation and validation. 748 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics. 564 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Second International Conference on Forensic Applications and Techniques in Telecommunications, Information and Multimedia (e-Forensics 2009) took place in Adelaide, South Australia during January 19-21, 2009, at the Australian National Wine Centre, University of Adelaide. In addition to the peer-reviewed academic papers presented in this volume, the c- ference featured a significant number of plenary contributions from recognized - tional and international leaders in digital forensic investigation. Keynote speaker Andy Jones, head of security research at British Telecom, outlined the emerging challenges of investigation as new devices enter the market. These - clude the impact of solid-state memory, ultra-portable devices, and distributed storage - also known as cloud computing. The plenary session on Digital Forensics Practice included Troy O'Malley, Que- sland Police Service, who outlined the paperless case file system now in use in Que- sland, noting that efficiency and efficacy gains in using the system have now meant that police can arrive at a suspect's home before the suspect! Joseph Razik, represe- ing Patrick Perrot of the Institut de Recherche Criminelle de la Gendarmerie Nati- ale, France, summarized research activities in speech, image, video and multimedia at the IRCGN. The plenary session on The Interaction Between Technology and Law brought a legal perspective to the technological challenges of digital forensic investigation. 224 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 3rd International Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 09).The 14 full papers presented together with 13 short papers and 2 keynotes were carefully selected from numerous submissions. The papers focus on topics such as emergent games, exertion interfaces and embodied interaction. Further topics areaffective user interfaces, story telling, sensors, tele-presence in entertainment, animation, edutainment, and interactive art. 268 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The continuous and very intense development of IT has resulted in the fast development of computer networks. Computer networks, as well as the entire eldofIT,aresubjectto constantchangestriggeredbythegeneraltechnological advancement and the in uence of new IT technologies.These methods and tools of designing and modeling computer networks are becoming more advanced. Above all, the scope of their application is growing thanks to, for example, the results of new research and because of new proposals of application, which not long ago were not even taken into consideration. These new applications stimulate the development of scienti c research, as the broader application of system solutions based on computer networks results in a wide range of both theoretical and practical problems. This book proves that and the contents of its chapters concern a variety of topics and issues. Generally speaking, the contents can be divided into several subject groups. The rst group of contributions concerns new technologies applied in computer networks,particularlythoserelatedto nano,molecularandquantumtechnology. 353 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of exible software systems. In essence, CBSE is about composing computational building blocks to construct larger building blocks that ful ll client needs. Most software engineers are involved in some form of component-based development. Nonetheless, the implications of CBSE adoption are wide-reaching and its challenges grow in tandem with its uptake, continuing to inspire our scienti c speculation. Component-based development necessarily involves elements of software - chitecture, modular software design, software veri cation, testing, con guration and deployment. This year's submissions represent a cross-section of CBSE - search that touches upon all these aspects. The theoretical foundations of c- ponent speci cation, composition, analysis, and veri cation continue to pose research challenges. What exactly constitutes an adequate semantics for c- munication and composition so that bigger things can be built from smaller things How can formal approaches facilitate predictable assembly through b- ter analysis We have grouped the proceedings into two sub-themes that deal with these issues: component models and communication and composition. At the same time, the world is changing. 275 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the First International Conference on User Modeling, Adaptation, and Personalization, held in Trento, Italy, on June 22-26, 2009. This annual conference was merged from the biennial conference series User Modeling, UM, and the conference on Adaptive Hypermedia and Adaptive Web-Based Systems, AH. The 53 papers presented together with 3 invited talks were carefully reviewed and selected from 125 submissions. The tutorials and workshops were organized in topical sections on constraint-based tutoring systems; new paradigms for adaptive interaction; adaption and personalization for Web 2.0; lifelong user modelling; personalization in mobile and pervasive computing; ubiquitous user modeling; user-centred design and evaluation of adaptive systems. 488 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the proceedings of two long-standing workshops: The 10th International Workshop on Business Process Modeling, Development and Support, BPMDS 2009, and the 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2009, held in connection with CAiSE 2009 in Amsterdam, The Netherlands, in June 2009. The 17 papers accepted for BPMDS 2009 were carefully reviewed and selected from 32 submissions. The topics addressed by the BPMDS workshop are business and goal-related drivers; model-driven process change; technological drivers and IT services; technological drivers and process mining; and compliance and awareness. Following an extensive review process, 16 papers out of 36 submissions were accepted for EMMSAD 2009. These papers cover the following topics: use of ontologies; UML and MDA; ORM and rule-oriented modeling; goal-oriented modeling; alignment and understandability; enterprise modeling; and patterns and anti-patterns in enterprise modeling. 420 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -the virtually unlimited possibilities of modern information and communication technology. Future enterprises will therefore have to operate in an ever more dynamic and global environment. They need to be more agile, more adaptive, and more transparent. In addition, they will be held more publicly accountable for every e ect they produce. These challenges are traditionally addressed by black-box thinking-based knowledge, i.e., knowledge concerning the function and the behavior of ent- prises, as contained in the organizational sciences. Such knowledge is su cient, and perfectly adequate, for managing an enterprise (within the range of c- trol). However, it is de nitely inadequate for changing an enterprise. In order to bring about changes, white-box-based knowledge is needed, i.e., knowledge concerning the construction and the operation of enterprises. Developing and applying such knowledge requires no less than a paradigm shift in our thi- ing about enterprises, since the organizational sciences are dominantly oriented toward organizational behavior, based on black-box thinking. 228 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Historical and recent developments at international nancial markets show that it is easy to loose money, while it is dif cult to predict future developments and op- mize decision-making towards maximizing returns and minimizing risk. One of the reasons of our inability to make reliable predictions and to make optimal decisions is the growing complexity of the global economy. This is especially true for the f- eign exchange market (FX market) which is considered as one of the largest and most liquid nancial markets. Its grade of ef ciencyand its complexityis one of the starting points of this volume. From the high complexity of the FX market, Christian Ullrich deduces the - cessity to use tools from machine learning and arti cial intelligence, e.g., support vector machines, and to combine such methods with sophisticated nancial mod- ing techniques. The suitability of this combination of ideas is demonstrated by an empirical study and by simulation. I am pleased to introduce this book to its - dience, hoping that it will provide the reader with interesting ideas to support the understanding of FX markets and to help to improve risk management in dif cult times. Moreover, I hope that its publication will stimulate further research to contribute to the solution of the many open questions in this area. 228 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry, FinanceCom2008, held in Paris, France, on December 13, 2008. The workshop spans multiple disciplines, including technical, economic, sociological and behavioral sciences. The guiding theme of this workshop was concerned with innovations in the financial services industry, driven by either new business models or changed regulations. The nine presented papers and the keynote speech were carefully reviewed and selected from numerous submissions. The topics covered are financial markets and customers, service-oriented architectures, and regulation and compliance. 176 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Interactive data supports organizations to communicate effectively with their stakeholders and partners on the Internet and the World Wide Web. XBRL (eXtensible Business Reporting Language) is a key enabling technology for interactive data. XBRL links organizations and knowledge consumers in a variety of information value chains. XBRL is now in use in many countries and important settings. This book provides, for the first time, an in-depth analysis of XBRL. Thorough and up-to-date, this book explains the most popular constructs in XML, on which XBRL builds, and XBRL. The book provides business and policy makers, technologists and information engineers with an essential toolkit to understand the complete implementation of XBRL. The book begins with an overview of the business case for interactive data and XBRL. There is an introduction to XML and XBRL and the design and construction of XBRL taxonomies including extensions and multi-dimensional XBRL implementations. It provides a detailed analysis of the interaction of instance documents and taxonomies. The book also provides a synopsis of the most current XBRL technologies. 248 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed procedings of the 6th International Conference on Autonomic and Trusted Computing, ATC 2009, held in Brisbane, Australia, in July 2009, co-located with UIC 2009, the 6th International Conference on Ubiquitous Intelligence and Computing.The 17 revised full papers presented together with one invited paper and one keynote talk were carefully reviewed and selected from 52 submissions. The regular papers are organized in topical sections on organic and autonomic computing, trusted computing, wireless sensor networks, and trust. 288 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 26th British National Conference on Databases, BNCOD 26, held in Birmingham, UK, in July 2009.The 12 revised full papers, 2 short papers and 5 poster papers presented together with 2 keynote talks, 2 tutorial papers and summaries of 3 co-located workshops were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on data integration, warehousing and privacy; alternative data models; querying; and path queries and XML;data mining and privacy, data integration, stream and event data processing, and query processing and optimisation. 264 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. This conference was the 18th in a series of international meetings since 1992 (listed on page IX). It was collocated with FTP 2009, the Workshop on First-Order Theorem Proving. The Program Committee of TABLEAUX 2009 received 44 submissions from 24 countries. Each paper was reviewed by at least three referees, after which the reviews were sent to the authors for comment in a rebuttal phase. After a nal intensive discussion on the borderline papers during the online meeting of the Program Committee, 21 research papers and 1 system description were accepted based on originality, technical soundness, presentation, and relevance. Additionally,three positionpaperswereaccepted,whicharepublished asate- nical report of the University of Oslo. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members and other referees for their great e ort and p- fessional work in the review and selection process. Their names are listed on the following pages. 356 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On behalf of the PROFES Organizing Committee we are proud to present the proce- th ings of the 10 International Conference on Product Focused Software Process - provement (PROFES 2009), held in Oulu, Finland. Since the first conference in 1999, the conference has established its place in the software engineering community as a respected conference that brings together participants from academia and industry. The roots of PROFES are in professional software process improvement motivated by product and service quality needs. The conference addresses both the solutions found in practice as well as relevant research results from academia. To ensure that PROFES retains its high quality and focus on the most relevant research issues, the conference has actively maintained close collaboration with industry and sub- quently widened its scope to the research areas of collaborative and agile software development. A special focus for 2009 was placed on software business to bridge research and practice in the economics of software engineering. This enabled us to cover software development in a more comprehensive manner and tackle one of the most important current challenges identified by the software industry and software research community - namely, the shift of focus from 'products' to 'services. ' The current global economic downturn emphasizes the need for new methods and so- tions for fast and business-oriented development of products and services in a gl- ally distributed environment. 460 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It isour greatpleasureto welcomeyouto the SecondInternationalWorkshopon Future Multimedia Networking (FMN). Following the rst successful workshop (held in Cardi , Wales) in 2008, this year's workshop continues the tradition of being a premier forum that gives researchers and practitioners a unique - portunity to share their experiences and discuss state-of-the-art research results and major recent accomplishments in the area of multimedia networking. In recent years, real-time multimedia services have contributed extensively to our life experience and are expected to be among the most important applications in the future Internet. The management of content distribution services and the e cient deliveryof real-timemultimedia servicesoverdiverseand heterogeneous wired and wireless systems remain a signi cant challenge for future multimedia networking systems. This year's workshop focused on various aspects of mul- media systems, content networking, and autonomous communication. A speci c emphasis was placed on upcoming autonomic content networks and technologies that contribute to their development. The call for papers attracted 64 submissions from 32 countries for the main workshop. The Program Committee accepted 16 papers (an acceptance rate of 25%) that cover a range of topics, including wireless and ad-hoc networks in autonomic content networking, streaming and voice services, group and mul- party services, and quality in video and Internet services. This year we also had a Demonstration Session on Future Multimedia Networking for which 12 papers wereacceptedoutofsubmissionsreceivedfromover15countries. Itisoursincere hope that the proceedings of this workshop will serve as a valuable reference for multimedia researchers and developers. 280 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains. 556 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is our great pleasure to introduce the proceedings of the 20th anniversary edition of the Annual Symposium on Combinatorial Pattern Matching (CPM). The meeting was held in Lille, France,hosted by the Laboratoired Informatique Fondamentale de Lille (LIFL) a liated with the Universit e de Lille 1 and the French Centre National de Recherche Scienti que (CNRS), as well as by INRIA Lille - Nord Europe. Started in 1990as a summer school with about 30 invited participants, CPM quicklyevolvedintoarepresentativeannualinternationalconference.Principally motivated by combinatorial algorithms for search problems in strings (texts, sequences), the scope of CPM extended to more complex data structures such astrees,graphs,two-dimensionalarrays,or setsof points.Thosestudiesresulted inarichcollectionofalgorithmictechniquesanddatastructures,makingbridges to other parts of the theory of discrete algorithms and algorithm engineering. Today, the area of combinatorial pattern matching is a well-identi ed active sub eld of algorithmic research. Importantly, this development has been fertilized by a number of major - plication areas providing direct motivations and fruitful feedback to the CPM problematics. Those applications include data compression, computational bi- ogy,Internetsearch,datamining,informationretrieval,coding,naturallanguage processing,pattern recognition,music analysis, and others. On the one hand, all these areas make use of combinatorial pattern matching techniques and, on the otherhand,raisenewpatternmatchingproblems.Forexample,the fastprogress in computational molecular biology, triggered in the 1990s by the availability of mass genomic data, considerably in uenced the combinatorial pattern matching eld: as an illustration, about one-third of the papers presented in this volume deal with problems related to bioinformatics applications. 388 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was f- mal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certi ed software, mobile code, formali- tion of mathematics, mathematics education. The workshop was attended by more than 100 researchers and included more than 40 presentations. We also had three invited lectures, from A. Asperti (University of Bologna), G. Dowek (LIX, Ecole polytechnique, France) and J. W. Klop (Vrije Universiteit, A- terdam, The Netherlands). From 27 submitted papers, 19 were selected after a reviewing process. Each submitted paper was reviewed by three referees; the nal decisions were made by the editors. This workshop is the last of a series of meetings of the TYPES working group funded by the European Union (IST project 29001, ESPRIT Working Group 21900, ESPRIT BRA 6435). 332 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Similarity-based learning methods have a great potential as an intuitive and exible toolbox for mining, visualization,and inspection of largedata sets. They combine simple and human-understandable principles, such as distance-based classi cation, prototypes, or Hebbian learning, with a large variety of di erent, problem-adapted design choices, such as a data-optimum topology, similarity measure, or learning mode. In medicine, biology, and medical bioinformatics, more and more data arise from clinical measurements such as EEG or fMRI studies for monitoring brain activity, mass spectrometry data for the detection of proteins, peptides and composites, or microarray pro les for the analysis of gene expressions. Typically, data are high-dimensional, noisy, and very hard to inspect using classic (e. g. , symbolic or linear) methods. At the same time, new technologies ranging from the possibility of a very high resolution of spectra to high-throughput screening for microarray data are rapidly developing and carry thepromiseofane cient,cheap,andautomaticgatheringoftonsofhigh-quality data with large information potential. Thus, there is a need for appropriate - chine learning methods which help to automatically extract and interpret the relevant parts of this information and which, eventually, help to enable und- standingofbiologicalsystems,reliablediagnosisoffaults,andtherapyofdiseases such as cancer based on this information. Moreover, these application scenarios pose fundamental and qualitatively new challenges to the learning systems - cause of the speci cs of the data and learning tasks. Since these characteristics are particularly pronounced within the medical domain, but not limited to it and of principled interest, this research topic opens the way toward important new directions of algorithmic design and accompanying theory. 216 pp. Englisch.

Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a rst approximation, certainly rough, one can de ne as non-crystalline materials those which are neither single-crystals nor poly-crystals. Within this category, we canincludedisorderedsolids,softcondensed matter,andlivesystemsamong others. Contrary to crystals, non-crystalline materials have in common that their intrinsic structures cannot be exclusively described by a discrete and periodical function but by a continuous function with short range of order. Structurally these systems have in common the relevance of length scales between those de ned by the atomic and the macroscopic scale. In a simple uid, for example, mobile molecules may freely exchange their positions, so that their new positions are permutations of their old ones. By contrast, in a complex uid large groups of molecules may be interc- nected so that the permutation freedom within the group is lost, while the p- mutation between the groups is possible. In this case, the dominant characteristic length, which may de ne the properties of the system, is not the molecular size but that of the groups. A central aspect of some non-crystalline materials is that they may self-organize. This is of particular importance for Soft-matter materials. Self-organization is characterized by the spontaneous creation of regular structures at different length scales which may exhibit a certain hierarchy that controls the properties of the system. X-ray scattering and diffraction have been for more than a hundred years an essential technique to characterize the structure of materials. Quite often scattering anddiffractionphenomenaexhibitedbynon-crystallinematerialshavebeenreferred to as non-crystalline diffraction. 336 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Symposium on Software Composition, SC 2009, held in Zurich, Switzerland, in July 2009. The workshop has been organized as an event co-located with the TOOLS Europe 2009 conference. The 10 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 34 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect- and service-oriented programming, specification of component contracts and protocols, methods of correct components composition, as well as verification, validation and testing techniques - even in pervasive computing environments and for the Web. 188 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Web Engineering, ICWE 2009, held in San Sebastian, Spain in June 2009. The 22 revised full papers and 15 revised short papers presented together with 8 posters and 10 demonstration papers were carefully reviewed and selected from 90 submissions. The papers are organized in topical sections on accessibility and usability, component-based web engineering: portals and mashups, data and semantics, model-driven web engineering, navigation, process, planning and phases, quality, rich internet applications, search, testing, web services, SOA and REST, and web 2.0. 556 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The two-volume set LNCS 5601 and LNCS 5602 constitutes the refereed proceedings of the Third International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2009, held in Santiago de Compostela, Spain, in June 2009. The 108 revised papers presented are thematically divided into two volumes. The first volume includes papers relating the most recent collaborations with Professor Mira and contributions mainly related with theoretical, conceptual and methodological aspects linking AI and knowledge engineering with neurophysiology, clinics and cognition. The second volume contains all the contributions connected with biologically inspired methods and techniques for solving AI and knowledge engineering problems in different application domains. 556 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009. The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented. 368 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Since 1993 the conference Developments in Language Theory (DLT) has been held in Europe every odd year and, since 2002, outside Europe every even year. The 13th conference in this series was DLT 2009. It took place in Stuttgart fromJune30to July3.PreviousmeetingsoccurredinTurku(1993),Magdeburg (1995),Thessaloniki(1997),Aachen(1999),Vienna(2001),Kyoto(2002),Szeged (2003), Auckland (2004), Palermo (2005), Santa Barbara (2006), Turku (2007), and Kyoto (2008). The DLT conference has developed into the main forum for language theory and related topics. This has also been re ected in the high quality of the 70 s- missions received in 2009. Most submissions were reviewed by four Programme Committeemembersandtheirsub-referees.TheProgrammeCommitteeselected the best 35 papers for presentation during the conference. These 35 papers are also published in this proceedings volume. Members of the ProgrammeComm- tee were not allowed to submit papers. The work of the Programme Committee wasorganizedusingtheEasyChairconferencesystem,thankstoAndreiVoronkov. The conference programme included ve invited lectures. They were given by Mikola j Bojanczyk (Warsaw), Paul Gastin (Cachan), Tero Harju (Turku), ChristosKapoutsis(Nicosia),andBenjaminSteinberg(Ottawa).Wearegrateful to the invited speakers for accepting the invitation and presenting their lectures and for their contributions to the proceedings. The Informatik Forum Stuttgart provided a best paper award, which was selected by the Programme Committee. The recipient was: Magic Numbers and Ternary Alphabet by Galina Jiraskova. 520 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are living in a world full of innovations for the elderly and people with s- cial needs to use smart assistive technologies and smart homes to more easily perform activities of daily living, continue social participation, engage in ent- tainment and leisure activities, and to enjoy living independently. These in- vations are inspired by new technologies leveraging all aspects of ambient and pervasive intelligence with related theories, technologies, methods, applications, and services on ubiquitous, pervasive, AmI, universal, mobile, embedded, we- able, augmented, invisible, hidden, context-aware, calm, amorphous, sentient, proactive, post PC, everyday, autonomic computing from engineering, business and organizationalperspectives. In the eld of smart homes and health telem- ics, signi cant research is underway to enable ageing and disabled people to use smart assistive technologies and smart homes to foster independent living and to o er them an enhanced quality of life. A smart home is a vision of the future where computers and computing - vices will be available naturally and unobtrusively anywhere, anytime, and by di erent means in our daily living, working, learning, business, and infota- ment environments. Such a visionopens tremendous opportunities for numerous novel services/applications that are more immersive, more intelligent, and more interactive in both real and cyber spaces. 328 pp. Englisch.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at SAT 2009: 12th International Conference on Theory and Applications of Satis ability Testing, held from June 30 to July 3, 2009 in Swansea (UK). The International Conference on Theory and Applications of Satis ability Testing (SAT) started in 1996 as a series of workshops, and, in parallel with the growthof SAT, developedinto the main eventfor SAT research. This year'sc- ference testi ed to the strong interest in SAT, regarding theoretical research,- searchonalgorithms,investigationsintoapplications,anddevelopmentofsolvers and software systems. As a core problem of computer science, SAT is central for many research areas, and has deep interactions with many mathematical s- jects. Major impulses for the development of SAT came from concrete practical applications as well as from fundamental theoretical research. This fruitful c- laboration can be seen in virtually all papers of this volume. There were 86 submissions (completed papers within the scope of the c- ference). Each submission was reviewed by at least three, and on average 4. 0 Programme Committee members. The Committee decided to accept 45 papers, consisting of 34 regular and 11 short papers (restricted to 6 pages). A main n- elty was a 'shepherding process', where 29% of the papers were accepted only conditionally, and requirements on necessary improvements were formulated by the ProgrammeCommittee and its installment monitored by the 'shepherd' for thatpaper(using possibly severalroundsoffeedback). 556 pp. Englisch.