Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540237178ISBN 13: 9783540237174
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die lernende Potenzialbeurteilung ist ein Leitfaden zur Weiterentwicklung der diagnostischen Kompetenz, der Ihnen hilft, Ihren eigenen Weg bei der Analyse von Potenzialen zu finden und zu einem zuverlässigen diagnostischen Urteil zu gelangen. - Nah an den Anforderungen der Realität und doch entlang der Kriterien wissenschaftlich fundierter Eignungsdiagnostik.Schlüsselfertigkeiten für die Personalauswahl. 208 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 354075735XISBN 13: 9783540757351
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 372 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540770216ISBN 13: 9783540770213
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Allgegenwärtige, im Hintergrund wirkende Informationstechnik könnte den Menschen in allen Lebensbereichen 'mitdenkend' unterstützen. Angesichts einer weiteren Verschiebung der intellektuellen und physischen Grenzen des Menschen drängt sich allerdings die Frage auf: Wie wollen wir angesichts dieser Möglichkeiten künftig leben Namhafte Experten beschreiben die wirtschaftlichen und gesellschaftlichen Folgen und ihre Auswirkungen auf Weltbild und Selbstbild des Menschen. Sie gehen der Frage nach, wie diese Entwicklung gestaltend zu beeinflussen ist. 208 pp. Deutsch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540705880ISBN 13: 9783540705888
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. The 30 revised full papers presented were carefully reviewed and selected from 57 initial submissions. The papers cover current research on all aspects of rewriting including typical areas of interest such as applications, foundational issues, frameworks, implementations, and semantics. 472 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540705953ISBN 13: 9783540705956
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers present a family of Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management. 328 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 354070549XISBN 13: 9783540705499
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008. The 24 revised full papers presented together with a contamplative keynote and additional papers of two special workshop sessions were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on architecture, new frontiers, SoC, application specific contributions, system level design for heterogeneous systems, programming multicores, sensors and sensor networks; and systems modeling and design. 320 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540691634ISBN 13: 9783540691631
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, and PLID 2008, the International Workshop on Programming Language Interference and Dependence. The 22 revised full papers presented together with two invited lectures were carefully reviewed and selected from 63 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems. 396 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540799796ISBN 13: 9783540799795
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra. 452 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 354068350XISBN 13: 9783540683506
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thequestion Streamciphers:deadoralive wasposedbyAdiShamir.Intended to provokedebate,the questioncouldnot havebeen better, ormorestarkly,put. However,itwasnotShamir sintentiontosuggestthatstreamciphersthemselves were obsolete; rather he was questioning whether stream ciphers of a dedicated designwererelevantnowthattheAESispervasivelydeployedandcanbeu sedas a perfectly acceptablestreamcipher. To explore this question the eSTREAM Project was launched in 2004, part of the EU-sponsored ECRYPT Framework VI Network of Excellence. The goal of the project was to encourage academia and industry to consider the dead stream cipher and to explore what could be achieved with a dedicated design. Now, after several years of hard work, the project has come to a close and the 16 ciphers in the nal phase of eSTREAM are the subject of this book. The designers of all the nalist ciphers are to be congratulated. Regardless of whether a particular algorithm appears in the nal portfolio, in reaching the third phase of eSTREAM all the algorithms constitute a signi cant milestone in the development of stream ciphers. However, in addition to thanking all designers, implementers, and crypt- alysts who participated in eSTREAM, this is a tting place to o er thanks to some speci c individuals. 308 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540685847ISBN 13: 9783540685845
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed joint post-workshop proceedings of two co-located events: the Second International Workshop on Classification of Events, Activities and Relationships, CLEAR 2007, and the 5th Rich Transcription 2007 Meeting Recognition evaluation, RT 2007, held in succession in Baltimore, MD, USA, in May 2007. The workshops had complementary evaluation efforts; CLEAR for the evaluation of human activities, events, and relationships in multiple multimodal data domains; and RT for the evaluation of speech transcription-related technologies from meeting room audio collections. The 35 revised full papers presented from CLEAR 2007 cover 3D person tracking, 2D face detection and tracking, person and vehicle tracking on surveillance data, vehicle and person tracking aerial videos, person identification, head pose estimation, and acoustic event detection. The 15 revised full papers presented from RT 2007 are organized in topical sections on speech-to-text, and speaker diarization. 580 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540852298ISBN 13: 9783540852292
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: 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 12th International Conference on Financial Cryptography and Data Security, FC 2008, held in Cozumel, Mexico, in January 2008. The 16 revised full papers and 9 revised short papers presented together with 5 poster papers, 2 panel reports, and 1 invited lecture were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on attacks and counter measures, protocols, theory, hardware, chips and tags, signatures and encryption, as well as anonymity and e-cash. 344 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540850287ISBN 13: 9783540850281
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software intensive systems are increasingly expected to deal with changing user needs and dynamic operating conditions at run time. Examples are the need for life recon gurations, management of resource variability, and dealing with p- ticular failure modes. Endowing systems with these kinds of capabilities poses severe challenges to software engineers and necessitates the development of new techniques, practices, and tools that build upon sound engineering principles. The eld of multi-agent systems focuses on the foundations and engineering of systems that consists of a network of autonomous entities (agents) that int- act to achieve the system goals. One line of research in multi-agent systems, inspired by biological, physical and other naturally occurring systems, concerns multi-agent systems in which agents share information and coordinate their - havior througha shared medium called an agentenvironment. Typical examples are gradient elds and digital pheromones that guide agents in their local c- text and as such facilitate the coordination of a community of agents. Since environment-mediation in multi-agent systems has shown to result in mana- able solutions with very adaptable qualities, it is a promising paradigm to deal with the increasing complexity and dynamism of distributed applications. Control in environment-mediated multi-agent systems is decentralized, i. e. , noneofthecomponentshasfullaccessorcontroloverthesystem. Self-organization isanapproachtoengineerdecentralized,distributedandresource-limitedsystems thatarecapableofdynamicallyadaptingtochangingconditionsandrequir ements without external intervention. This useful system property is often re ected in functionssuchasself-con guration,self-optimization,andself-healing. Engine- ing approaches to self-organizing systems often rely on global functionality to emerge from localand autonomous decisions of individual agents that commu- catethroughasharedagentenvironment. 312 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540707174ISBN 13: 9783540707172
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 444 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540850570ISBN 13: 9783540850571
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 15 revised full papers, presented together with 1 invited paper reporting the aims and achievements of the OpenKnowledge project, were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on agent reasoning and semantics, declarative languages and technologies, methodologies and design, and development frameworks. 296 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540794980ISBN 13: 9783540794981
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: 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 Third SKLOIS (State Key Laboratory of Information Security) Conference on Information Security and Cryptology, Inscrypt 2007 (formerly CISC), held in Xining, China, in August/September 2007.The 33 revised full papers and 10 revised short papers presented together with 2 invited papers were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on digital signature schemes, block cipher, key management, zero knowledge and secure computation protocols, secret sharing, stream cipher and pseudorandomness, boolean functions, privacy and deniability, hash functions, public key cryptosystems, public key analysis, application security, system security and trusted computing, and network security. 548 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540851097ISBN 13: 9783540851097
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business. 620 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540794891ISBN 13: 9783540794899
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This series constitutes a collection of selected papers presented at the International Conference on Medical Imaging and Informatics (MIMI2007), held during August 14-16, in Beijing, China. The conference, the second of its kind, was funded by the European Commission (EC) under the Asia IT&C programme and was co-organized by Middlesex University, UK and Capital University of Medical Sciences, China. The aim of the conference was to initiate links between Asia and Europe and to exchange research results and ideas in the field of medical imaging. A wide range of topics were covered during the conference that attracted an audience from 18 countries/regions (Canada, China, Finland, Greece, Hong Kong, Italy, Japan, Korea, Libya, Macao, Malaysia, Norway, Pakistan, Singapore, Switzerland, Taiwan, the United Kingdom, and the USA). From about 110 submitted papers, 50 papers were selected for oral presentations, and 20 for posters. Six key-note speeches were delivered during the conference presenting the state of the art of medical informatics. Two workshops were also organized covering the topics of 'Legal, Ethical and Social Issues in Medical Imaging' and 'Informatics' and 'Computer-Aided Diagnosis (CAD),' respectively. 404 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540850716ISBN 13: 9783540850717
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008.The 40 revised full papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on computational immunology, applied AIS, and theoretical AIS. Position papers and conceptual papers are also included. 452 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540710388ISBN 13: 9783540710387
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, held in Lausanne, Switzerland in February 2008. The 26 revised full papers presented together with 4 short papers were carefully reviewed and selected from 72 submissions. The papers address all current aspects of fast and secure primitives for symmetric cryptology and are organized in topical sections on SHA collisions, new hash function designs, block cipher cryptanalysis, implementation aspects, hash function cryptanalysis, stream cipher cryptanalysis, security bounds, and entropy. 504 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540690697ISBN 13: 9783540690696
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 340 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540705414ISBN 13: 9783540705413
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 5th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2008, held inParis, Francein July 2008.The 13 revised full papers presentedtogether with one extended abstractwere carefully reviewed and selected from42 submissions. The papers are organized in topical sections on attack prevention, malware detection and prevention, attack techniques and vulnerability assessment, and intrusion detection and activity correlation. 292 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540705163ISBN 13: 9783540705161
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 5th International Conference on Articulated Motion and Deformable Objects, AMDO 2008, held in Port d'Andratx, Mallorca, Spain, in July 2008. The 36 revised full papers and 7 poster papers presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on computer graphics: human modelling and animation, human motion: analysis, tracking, 3D reconstruction and recognition, multimodal user interaction: VR and ar, speech, biometrics, and advanced multimedia systems: standards, indexed video contents. 476 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540851690ISBN 13: 9783540851691
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First International Conference on Hybrid Learning was organized by City Univ- sity of Hong Kong, Caritas Francis Hsu College and Caritas Bianchi College of - reers in August 2008. ICHL2008 was an innovative and consolidative experience for Hong Kong tertiary higher education. The conference aims to unify the traditional classroom face-to-face learning and Internet eLearning into one teaching and learning method hybrid learning for both teachers and students. Its audience are educators and eLearning practitioners. The conference obtained sponsorship from six local u- versities in Hong Kong: Hong Kong Baptist University, The Hong Kong Polytechnic University, The Hong Kong University of Science and Technology, University of Hong Kong, The Chinese University of Hong Kong, and Lingnan University. It was also sponsored by Pei Hua Education Foundation Limited, and K. C. Wong Education Foundation Limited. Hybrid learning originated from North America in 2000 and is an ongoing trend. It is not merely a simple combination of direct teaching and eLearning, but comprises different learning strategies and important elements for teaching and learning. It - cuses on student center learning and provides an environment for knowledge learning. Students are given more opportunities to be active learners and practice practical skills such as communication, collaboration, critical thinking, creativity, self-management, self-study, problem solving, analysis and numeracy. 492 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 354085360XISBN 13: 9783540853602
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008) which took place at the University of TorontoinToronto,Canada,August19-22,2008. CONCUR2008wasco-located with the 27th Annual ACM SIGACT-SIGOPS Symposium on the Principles of Distributed Computing (PODC 2008), and the two conferences shared two invited speakers, some social events, and a symposium celebrating the lifelong research contributions of Nancy Lynch. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti c relevance of their foundations. Topics include basic models of concurrency (such as abstract machines, domain theoretic m- els, game theoretic models, process algebras, and Petri nets), logics for c- currency (such as modal logics, temporal logics and resource logics), models of specialized systems (such as biology-inspired systems, circuits, hybrid systems, mobile systems, multi-core processors, probabilistic systems, real-time systems, synchronoussystems, and Web services),veri cationand analysis techniques for concurrent systems (such as abstract interpretation, atomicity checking, mod- checking, race detection, run-time veri cation, state-space exploration, static analysis,synthesis,testing, theorem provingand type systems), andrelated p- gramming models (such as distributed or object-oriented). Of the 120 regular and 5 tool papers submitted this year, 33 regular and 2 tool papers were accepted for presentation and areincluded in the present v- ume. 540 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540851135ISBN 13: 9783540851134
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. 356 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540798595ISBN 13: 9783540798590
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Adaptive Multimedia Retrieval, AMR 2007, held in Paris, France, in July 2007. The 18 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on image annotation, feedback and user modelling, music retrieval, fusion, P2P and middleware, databases and summarization, as well as ontology and semantics. 280 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 354070566XISBN 13: 9783540705666
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC) held in L- don, UK, July 13-16, 2008. This year's working conference continued its tra- tion of being a forum for disseminating original research results and practical experiences in data and applications security. This year we had an excellent program that consists of 9 research paper s- sions with 22 high-quality research papers, which were selected from a total of 56 submissions after a rigorous reviewing process by the Program Committee members and external reviewers. These sessions included such topics as access control, privacy, auditing, systems security and data security in advanced app- cation domains. In addition, the programincluded a keynote address, an invited talk and a panel session. The success of this conference was a result of the e orts of many people. I would like to extend my appreciation to the Program Committee members and external reviewers for their hard work. I would like to thank the General Chair, SteveBarker,fortakingcareoftheorganizationaspectsoftheconferenceandfor arranging the keynote address and the panel session. I would also like to thank Claudio Ardagna for serving as the Publicity Chair and for promptly updating the conference Web page, and Don Lokuadassuriyage for serving as the Local Arrangements Chair. Special thanks go to Alfred Hofmann, Editorial Director at Springer, for agreeing to include these conference proceedings in the Lecture Notes in Computer Science series. 368 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540790004ISBN 13: 9783540790006
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Sepsis is an important public health problem around the world. Severe sepsis carries significant morbidity, mortality and high costs. The incidence of sepsis is increasing because of the aging population, the growing number of immunocompromised hosts, the increasing use of invasive procedures, and, to a lesser extent, antibiotic resistance among pathogens. Despite recent advances in the pathogenesis, diagnosis, and therapeutic approaches the mortality rate associated with this condition remains high. Therefore, the goal of Sepsis: New Strategies is to review novel targets to be considered in patients with severe sepsis and to assess new developments for patients with sepsis originating in the respiratory tract. 156 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540797041ISBN 13: 9783540797043
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2006, held in Hakodate, Japan, in May 2006, in the context of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2006. The 10 revised full papers and 6 revised short papers presented together with 1 invited paper were carefully reviewed and selected from 23 submissions; they are fully revised to incorporate reviewers' comments and discussions at the workshop. The volume is organized in topical sections on P2P Infrastructure, agents in P2P, P2P search, and applications. 208 pp. Englisch.
Publicado por Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540709290ISBN 13: 9783540709299
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software development for the automotive domain has become the enabling te- nologyforalmostallsafety-criticalandcomfortfunctionso eredtothecustomer. Ninety percentofallinnovations inautomotive systems aredirectly or indirectly enabled by embedded software. The numbers of serious accidents have declined in recent years, despite constantly increasing tra c; this is correlated with the introduction of advanced, software-enabled functionality for driver assistance, such as electronic stability control. Software contributes signi cantly to the - tomotive value chain. By 2010 it is estimated that software will make up 40% of the value creation of automotive electrics/electronics. However, with the large number of software-enabled functions, their int- actions, and the corresponding networking and operating infrastructure, come signi cant complexities both during the automotive systems engineering p- cess and at runtime. A central challenge for automotive systems development is the scattering of functionality across multiple subsystems, such as electronic control units (ECUs) and the associated networks. As an example, consider the central locking systems (CLS), whose functionality is spread out over up to 19 di erent ECUs in some luxury cars. Of course, this includes advanced functi- ality, such as seat positioning and radio tuning according to driver presets upon entry, as well as unlocking in case of a detected impact or accident. However, thisexampledemonstratesthatmodernautomotivesystemsbridgecomfort-and safety-critical functionality. This induces particular demands on safety and - curity, and, in general, software and systems quality. The resulting challenges and opportunities were discussed, in depth, at the second Automotive Software Workshop San Diego (ASWSD) 2006, on whose results we report here. 204 pp. Englisch.