Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642031099ISBN 13: 9783642031090
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -his monograph on the concept of capitalism is the intellectual core of a larger work, entitled Capitalism, Its Origins and Evolution as Ta System of Governance, due for publication November 2009. The purpose of this monograph is to put forth an original concept of ca- talism as a system of governance, including a theory of how it functions at any point in time and how it evolves through time. In the larger book, I present a theory of its origins and evolution and support this theory with a set of country case studies that span both time and geography. It was, in fact, my experience in studying these case studies that led me to the c- cept presented here as well as to the theory of capitalism's origins and e- lution. In the larger book, I build on the present work, identifying and expla- ing capitalism as a system of governance for political entities such as - tion states. I then supplement these ideas with a description and expla- tion of three generic economic strategies. Taken together, my studies of economic strategies and specific capitalist systems of governance are - tended to enhance and enrich existing literature on 'varieties of capit- ism'. 84 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3540457178ISBN 13: 9783540457176
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ausgehend von der Mittelwerteigenschaft harmonischer Funktionen über die Perronsche Methode zur Lösung des Dirichletproblems für die Laplace-Gleichung sowie den Kelloggschen Satz über das Randverhalten von Lösungen der Poisson-Gleichung stellen die Autoren stufenweise die klassische Theorie linearer elliptischer Differentialgleichungen 2. Ordnung dar. Dabei präsentieren sie neue Beweise, so für die Symmetrie und die Abschätzung der Greenschen Funktion. Eine Besonderheit dieses Buches sind ferner die vielen historischen Bezüge und Literaturverweise. 416 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3540890734ISBN 13: 9783540890737
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Sammlung erläutert die Rechtsanwendung im Bereich des Sanktionenrechts anhand von Klausurfällen, die überwiegend in Anlehnung an die Rechtsprechung entwickelt wurden. Im Mittelpunkt stehen die Fragen der Strafzumessung bei der Geld- und der Freiheitsstrafe, aber auch Nebenentscheidungen (insbesondere im Zusammenhang mit der Strafaussetzung zur Bewährung) werden behandelt. Die in Vorlesungen oft ungeklärte Frage, wie denn die 'richtige' Sanktion im Einzelfall tatsächlich zu finden ist, wird in den Musterlösungen für Leser nachvollziehbar gemacht. 232 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642015565ISBN 13: 9783642015564
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Buch bietet eine Einführung in die wichtigsten Methoden der beschreibenden Statistik und ausgewählte Kapitel der Wirtschaftsstatistik, insbesondere in die Indexzahlen und die Messung von Konzentration und Disparität. Die Darstellung zielt auf klare Begriffe, nachvollziehbare Verfahren und Motivation aus den Wirtschaftswissenschaften. Sie enthält zahlreiche durchgerechnete Beispiele, zum Teil mit aktuellen realen Wirtschaftsdaten. Anleitungen zur Datenanalyse am Computer mit Excel® ergänzen den Text. Das Lehrbuch richtet sich an Studierende insbesondere der Wirtschafts- und Sozialwissenschaften im Bachelorstudium. Es ist auch zum Selbststudium geeignet. 268 pp. Deutsch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642020283ISBN 13: 9783642020285
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book
Taschenbuch. Condition: Neu. Neuware -Martin Charles Golumbic has been making seminal contributions to algorithmic graph theory and artificial intelligence throughout his career. He is universally admired as a long-standing pillar of the discipline of computer science. He has contributed to the development of fundamental research in artificial intelligence in the area of complexity and spatial-temporal reasoning as well as in the area of compiler optimization. Golumbic's work in graph theory led to the study of new perfect graph families such as tolerance graphs, which generalize the classical graph notions of interval graph and comparability graph. He is credited with introducing the systematic study of algorithmic aspects in intersection graph theory, and initiated research on new structured families of graphs including the edge intersection graphs of paths in trees (EPT) and trivially perfect graphs.Golumbic is currently the founder and director of the Caesarea Edmond Benjamin de Rothschild Institute for Interdisciplinary Applications of Computer Science at the University of Haifa. He also served as chairman of the Israeli Association of Artificial Intelligence (1998-2004), and founded and chaired numerous international symposia in discrete mathematics and in the foundations of artificial intelligence.This Festschrift volume, published in honor of Martin Charles Golumbic on the occasion of his 60th birthday, contains 20 papers, written by graduate students, research collaborators, and computer science colleagues, who gathered at a conference on subjects related to Martin Golumbic's manifold contributions in the field of algorithmic graph theory and artificial intelligence, held in Jerusalem, Tiberias and Haifa, Israel in September 2008. 244 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642029175ISBN 13: 9783642029172
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2009, held in Milan, Italy, in July 2009.The 10 revised full papers presented together with three extended abstracts were carefully selected from 44 initial submissions. The papers are organized in topical sections on malware and SPAM, emulation-based detection, software diversity, harnessing context, and anomaly detection. 236 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642032699ISBN 13: 9783642032691
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This journal subline serves as a forum for stimulating and disseminating innovative research ideas, theories, emerging technologies, empirical investigations, state-of-the-art methods, and tools in all different genres of edutainment, such as game-based learning and serious games, interactive storytelling, virtual learning environments, VR-based education, and related fields. It will cover aspects from educational and game theories, human-computer interaction, computer graphics, artificial intelligence, and systems design. The second volume in this series contains a selection of outstanding contributions from GDTW 2008, the 6th International Conference in Game Design and Technology, which took place in the UK, in November 2008, and Cyberworlds 2008, held in Hangzhou, China, in September 2008. These papers are complemented by contributions from international experts in this field. 328 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642009778ISBN 13: 9783642009778
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A 'Learning Network' is a community of people who help each other to better understand and handle certain events and concepts in work or life. As a result - and sometimes also as an aim - participating in learning networks stimulates personal development, a better understanding of concepts and events, career development, and employability. 'Learning Network Services' are Web services that are designed to facilitate the creation of distributed Learning Networks and to support the participants with various functions for knowledge exchange, social interaction, assessment and competence development in an effective way. The book presents state-of-the-art insights into the field of Learning Networks and Web-based services which can facilitate all kinds of processes within these networks. 428 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642020933ISBN 13: 9783642020933
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Networks play a central role in today's society, since many sectors employing information technology, such as communication, mobility, and transport - even social interactions and political activities - are based on and rely on networks. In these times of globalization and the current global financial crisis with its complex and nearly incomprehensible entanglements of various structures and its huge effect on seemingly unrelated institutions and organizations, the need to understand large networks, their complex structures, and the processes governing them is becoming more and more important.This state-of-the-art survey reports on the progress made in selected areas of this important and growing field, thus helping to analyze existing large and complex networks and to design new and more efficient algorithms for solving various problems on these networks since many of them have become so large and complex that classical algorithms are not sufficient anymore. This volume emerged from a research program funded by the German Research Foundation (DFG) consisting of projects focusing on the design of new discrete algorithms for large and complex networks. The 18 papers included in the volume present the results of projects realized within the program and survey related work. They have been grouped into four parts: network algorithms, traffic networks, communication networks, and network analysis and simulation. 412 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 364203408XISBN 13: 9783642034084
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 17th International Symposium Fundamentals of Computation Theory, FCT 2009, held in Wroclaw, Poland in August 2009. The 29 revised full papers were carefully reviewed and selected from 67 submissions. The papers address all current topics in computation theory such as automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptograhic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, bio-inspired computation. 372 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642029027ISBN 13: 9783642029028
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume serves as the conference proceedings for the Third International ConferenceonGeoSensorNetworks(GSN 2009)that washeld in Oxford,UK, in July 2009. The conference addressed issues related to the deployment of geos- sor networks and the collection and management of real-time geospatial data. This volume includes papers covering a variety of topics, ranging from sensing, routing and in-network processing, to data modelling, analysis, and appli- tions. It re ects the cross-disciplinary nature of geosensor networks by bringing together ideas from di erent elds, such as geographic information systems, d- tributed systems, wireless networks, distributed databases, and data mining. The papersincludedinthis volumepushthe frontiersofGSN researchins- eral new directions. First, they shift the traditional paradigm of xed resour- constrained sensor networks to more versatile scenarios involving mobile sensors with varying levels of computation, sensing, and communication capabilities. Second, emerging applications, such as urban sensing, are raising interesting new GSN challenges, such as participatory sensing, as well as the need to st- dardizeprotocolsandinterfaces,andintegratemultiple sensornetworks.Finally, technological advances in geosensor networks have enabled the collection of vast amounts of real-time high-resolution spatio-temporal data; the sheer volume of these data raises the need for e cient data modelling, analysis, and pattern extraction techniques. 204 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642030971ISBN 13: 9783642030970
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.Volume XIII constitutes a special issue on semantic data warehouses. The papers in this volume address several topics within this relatively new domain, providing different insights into the multiple benefits that can be gained by envisioning data warehouses from a semantic perspective. These papers broach many new ideas to be addressed in future work. 196 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642030661ISBN 13: 9783642030666
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 416 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642032974ISBN 13: 9783642032974
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Pairing-Based Cryptography, Pairing 2009, held in Palo Alto, CA, USA, in August 2009. The 16 full papers presented were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on signature security, curves, pairing computation, non-interactive zero-knowledge systems and applications, group signatures, and protocols. 280 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642033199ISBN 13: 9783642033193
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume brings together the peer-reviewed contributions of the participants at the COST 2102 International Conference on 'Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions' held in Prague, Czech Republic, October 15-18, 2008. The conference was sponsored by COST (European Cooperation in the Field of Scientific and Technical Research, cost. esf. org/domains_actions/ict) in the - main of Information and Communication Technologies (ICT) for disseminating the research advances developed within COST Action 2102: 'Cross-Modal Analysis of Verbal and Nonverbal Communication' cs. stir. ac. uk. COST 2102 research networking has contributed to modifying the conventional theoretical approach to the cross-modal analysis of verbal and nonverbal communi- tion changing the concept of face to face communication with that of body to body communication as well as developing the idea of embodied information. Information is no longer the result of a difference in perception and is no longer measured in terms of quantity of stimuli, since the research developed in COST 2102 has proved that human information processing is a nonlinear process that cannot be seen as the sum of the numerous pieces of information available. Considering simply the pieces of inf- mation available, results in a model of the receiver as a mere decoder, and produces a huge simplification of the communication process. 456 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 364203277XISBN 13: 9783642032776
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ThesearetheproceedingsoftheInternationalWorkshoponProgrammingMulti- Agent Systems (ProMAS 2008), the sixth of a series of workshops that is aimed at discussing and providing an overview of current state-of-the-art technology for programming multi-agent systems. The aim of the ProMAS workshop series is to promote research on progr- ming technologies and tools that can e ectively contribute to the development and deployment of multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, - quirements, and principles that are important for establishing multi-agent p- gramming platforms that are useful in practice and have a theoretically sound basis. Topics addressed include but are not limited to the theory and app- cations of agent programming languages, the veri cation and analysis of agent systems,aswellastheimplementationofsocialstructureinagent-basedsystems (e. g. ,roleswithin organizations,coordinationandcommunicationin multi-agent systems). In its previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. We were very pleased to be able to again present a range of high-quality papers at ProMAS 2008. After ve successful editions of the ProMAS workshop series, which took place during AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005 (Utrecht, The Netherlands), AAMAS 2006 (Hakodate, Japan), and AAMAS 2007 (Honolulu, Hawai'i), the sixth edition took place on May 13 in Estoril, Portugal, in conjunction with AAMAS 2008, the main international conference on autonomous agents and MAS. 268 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642033555ISBN 13: 9783642033551
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 29th Annual International Cryptology Conference, CRYPTO 2009, held in Santa Barbara, CA, USA in August 2009. The 38 revised full papers presented were carefully reviewed and selected from 213 submissions. Addressing all current foundational, theoretical and research aspects of cryptology, cryptography, and cryptanalysis as well as advanced applications, the papers are organized in topical sections on key leakage, hash-function cryptanalysis, privacy and anonymity, interactive proofs and zero-knowledge, block-cipher cryptanalysis, modes of operation, elliptic curves, cryptographic hardness, merkle puzzles, cryptography in the physical world, attacks on signature schemes, secret sharing and secure computation, cryptography and game-theory, cryptography and lattices, identity-based encryption and cryptographers' toolbox. 708 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642030335ISBN 13: 9783642030338
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing The disciplined study of domain-speci c languages (DSLs) is an emerging area in computer science, and is one which has the potential to revolutionize the eld, and bring us closer to answering this question. DSLs are formalisms that have four general characteristics. - They relate to a well-de ned domain of discourse, be it controlling tra c lights or space ships. - They have well-de ned notation, such as the ones that exist for prescribing music, dance routines, or strategy in a football game. - The informal or intuitive meaning of the notation is clear. This can easily be overlooked, especially since intuitive meaning can be expressed by many di erent notations that may be received very di erently by users. - The formal meaning is clear and mechanizable, as is, hopefully, the case for the instructions we give to our bank or to a merchant online. 424 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642032397ISBN 13: 9783642032394
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops are intended to bring together scientists and practitioners who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshopsalso striveto promoteresearchand developmentfor the improvement of formal methods and tools for industrial applications. The topics for which contributions to FMICS 2008 were solicited included, but were not restricted to, the following: - Design, speci cation, code generation and testing based on formal methods - Veri cation and validation of complex, distributed, real-time systems and embedded systems - Veri cation and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e. g. , scalability and usability issues) - Tools for the development of formal design descriptions - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identi cation of new research - rections - Impact of the adoption of formal methods on the development process and associated costs - Application of formal methods in standardization and industrial forums The workshop included six sessions of regular contributions in the areas of model checking, testing, software veri cation, real-time performance, and ind- trial case studies. There were also three invited presentations, given by Steven Miller,Rance Cleaveland,and Werner Damm, coveringthe applicationof formal methods in the avionics and automotive industries. 244 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642029752ISBN 13: 9783642029752
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th Conference on Artificial Intelligence in Medicine in Europe, AIME 2009, held in Verona, Italy in July 2009.The 24 revised long papers and 36 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 140 submissions. The papers are organized in topical sections on agent-based systems, temporal data mining, machine learning and knowledge discovery, text mining, natural language processing and generation, ontologies, decision support systems, applications of AI-based image processing techniques, protocols and guidelines, as well as workflow systems. 460 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642033504ISBN 13: 9783642033506
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 4th International Computer Science Symposium in Russia (CSR 2009) was held August 18 23,2009 in Novosibirsk,Russia, hosted by the Sobolev Institute of Mathematics and Novosibirsk State University. It was the fourth event in the series of regular international meetings, following CSR 2006 in St. Petersburg, CSR 2007 in Ekaterinburg, and CSR 2008 in Moscow. The opening lecture was given by Andrei Voronkov, and four other invited plenary lectures were given by Sergei Odintsov, Wolfgang Thomas, Nikolai Vereshchagin, and Hongseok Yang. This volume contains all the accepted papers and some of the abstracts of the invited speakers. The scope of the proposed topics for the symposium was quite broad and covered basically all areas of computer science. We received 66 papers in total, and the Program Committee selected 29. Yandex provided the Best Student Paper Awards; the recepients of these awards were selected by the Program Committee: Dmitry Itsykson, Structural complexity of AvgBPP Yuri Pritykin and Julya Ulyashkina, Aperiodicity measure for in nite sequences. The reviewing processwasorganizedusing the EasyChairconferencesystem, created by Andrei Voronkov. We are grateful to our sponsors: Russian Foundation for Basic Research Yandex (the largest Russian Internet portal providing key Web services). We also thank the group of local organizers and in particular Pavel Salimov. 384 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642032613ISBN 13: 9783642032615
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The intersection between knowledge management, computer science, and health care de nes a technological area of great interest that has not been operated properly. Within this area medical procedures on preventive, diagnostic, the- peutic, or prognostic tasks in health careplay an outstanding role. The mana- ment of this type of knowledge at the point of care includes four technological scopes, at least. The rst one establishes the languages and structures to r- resent health care procedural knowledge and the integration of these structures with medical information systems. The second consists of the development of - gorithms and computer science technologies for the operation of this knowledge. The third scope is concerned with the development of methodologies to m- imize the bene t of these algorithms and methodologies. The fourth concerns the integration of the previous algorithms, technologies, and methodologies in computer science systems that allow the application of this knowledge at the point of need, harnessing health care of greater quality and e ciency. 180 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642031528ISBN 13: 9783642031526
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed revised tutorial lectures of the International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development, held in Piriapolis, Uruguay, in February/March 2008.The volume presents three courses on type theory: an introductory tutorial, a course on type-based termination, and a practical introduction to dependent types. A case study of a static analyzer based on abstract interpretation, a tutorial on combinator parsing, and a study of extended static checking using a point-free transform completes the volume.Together these contributions will be an invaluable tool for graduate students and researchers looking forward to keeping up to date with the latest developments in rigorous approaches to software development. 312 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642031676ISBN 13: 9783642031670
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Symposium on Privacy Enhancing Technologies, PETS 2009, held in Seattle, WA, USA, in August 2009.The 14 revised full papers presented were carefully reviewed and selected from 44 initial submissions. The papers - both from academia and industry - cover design and realization of privacy services for the internet and other communication networks and present novel research on all theoretical and practical aspects of privacy technologies, as well as experimental studies of fielded systems. 268 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642030726ISBN 13: 9783642030727
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009.The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues. 528 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642035205ISBN 13: 9783642035203
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Workshop, IWCF 2009, held in The Hague, The Netherlands, August 13-14, 2009. The 16 revised full papers presented were carefully reviewed and are organized in topical sections on speech and linguistics, fingerprints, handwriting, documents, printers, multimedia and visualization. This volume is interesting to researchers and professionals who deal with forensic problems using computational methods. Its primary goal is the discovery and advancement of forensic knowledge involving modeling, computer simulation, and computer-based analysis and recognition in studying and solving forensic problems. 192 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642032648ISBN 13: 9783642032646
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We would like to welcome you to the proceedings of CCIW 2009, the Computational Color Imaging Workshop, held in Saint-Etienne, France, March 26-27, 2009. This, the second CCIW, was organized by the University Jean Monnet and the - boratoire Hubert Curien UMR 5516 (Saint-Etienne, France) with the endorsement of the International Association for Pattern Recognition (IAPR), the French Association for Pattern Recognition and Interpretation (AFRIF) affiliated with IAPR, and the 'Groupe Français de l'Imagerie Numérique Couleur' (GFINC). The first CCIW was organized in 2007 in Modena, Italy, with the endorsement of IAPR. This workshop was held along with the International Conference on Image Analysis and Processing (ICIAP), the main conference on image processing and pattern recognition organized every two years by the Group of Italian Researchers on Pattern Recognition (GIRPR) affiliated with the International Association for Pattern Recognition (IAPR). Our first goal, since we began the planning of the workshop, was to bring together engineers and scientists from various imaging companies and from technical com- nities all over the world to discuss diverse aspects of their latest work, ranging from theoretical developments to practical applications in the field of color imaging, color image processing and analysis. The workshop was therefore intended for researchers and practitioners in the digital imaging, multimedia, visual communications, computer vision, and consumer electronic industry, who are interested in the fundamentals of color image processing and its emerging applications. 248 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642030068ISBN 13: 9783642030062
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 23nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security held in Montreal, Canada, in July 2009.The18 revised full papers and 4 short papers were carefully reviewed and selected from47 submissions. The papers are organized in topical sections on database security; security policies; privacy; intrusion detection and protocols; and trusted computing. 328 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 3642030602ISBN 13: 9783642030604
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the International Dagstuhl-Seminar on Statistical and Geometrical Approaches to Visual Motion Analysis, held in Dagstuhl Castle, Germany, in July 2008.The workshop focused on critical aspects of motion analysis, including motion segmentation and the modeling of motion patterns. The aim was to gather researchers who are experts in the different motion tasks and in the different techniques used; also involved were experts in the study of human and primate vision.The 15 revised full papers presented were carefully reviewed and selected from or initiated by the lectures given at the workshop. The papers are organized in topical sections on optical flow and extensions, human motion modeling, biological and statistical approaches, alternative approaches to motion analysis. 332 pp. Englisch.
Published by Springer Berlin Heidelberg Jul 2009, 2009
ISBN 10: 364202503XISBN 13: 9783642025037
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Fifth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008, held in Vietri sul Mare, Italy, in October 2008. The 23 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 69 submissions. The main goal of the CIBB meetings is to provide a forum open to researchers from different disciplines to present and discuss problems concerning computational techniques in bioinformatics, systems biology and medical informatics with a particular focus on neural networks, machine learning, fuzzy logic, and evolutionary computation methods. 308 pp. Englisch.