heidelberg springer 2009 (Oltre 1.700 risultati)

kart. 341 S. Abb., guter Zustand.

brosch. 527 S. guter Zustand.

OBrosch. mit Vorder- und Rückentitel, 453 Seiten, 4° (15,5 x 23,5 cm), einige Blätter getrennt, sonst guter Zustand. Book Language/s: German.

eine Analyse anhand der deutschen, israelischen und pakistanischen Rechtsvorschriften vor dem Hintergrund des jeweiligen historisch-kulturell bedingten Verständnisses der Menschenwürde ; (English summary) = The prohibition of torture in different legal traditions. XXX, 474 S. OPp. guter Zustand (NP 94,95). BaöRV 200.

8° , Softcover/Paperback. 2nd Edition. 316 pages. In best condition. Sprache: Englisch Gewicht in Gramm: 550.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.

Taschenbuch. Condizione: Neu. Neuware -This book contains a collection of seven thoroughly revised tutorial papers based on lectures given by leading researchers at the 5th International Summer School on the Reasoning Web, held in Brixen-Bressanone, Italy, from August 30 to September 4, 2009. The objective of the book is to provide a coherent introduction to semantic web methods and research issues with a particularemphasis on reasoning.The focus of this year's event was on the use of semantic technologies to enhance data access on the web. Topics covered include design and analysis of reasoning procedures for description logics; answer set programming basics, its modeling methodology and its principal extensions tailored for semantic web applications; languages for constraining and querying XML data; RDF database theory and efficient and scalable support for RDF/OWL data storage, loading, inferencing and querying; tractable description logics and their use for ontology-based data access; and the social semantic desktop, which defines a user's personal information environment as a source and end-point of the semantic web. 368 pp. Englisch.

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

Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 2008 Pacific Rim Knowledge Acquisition Workshop, PKAW 2008, held in Hanoi, Vietnam, in December 2008 as part of 10th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2008. The 20 revised papers presented were carefully reviewed and selected from 57 submissions and went through two rounds of reviewing and improvement. The papers are organized in topical sections on machine learning and data mining, incremental knowledge acquisition, web-based techniques and applications, as well as domain specific knowledge acquisition methods and applications. 256 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -MobiSec 2009 was the first ICST conference on security and privacy in mobile information and communication systems. With the the vast area of mobile technology research and application, the intention behind the creation of MobiSec was to make a small, but unique contribution to build a bridge between top-level research and large scale application of novel kinds of information security for mobile devices and communication. The papers at MobiSec 2009 dealt with a broad variety of subjects ranging from issues of trust in and security of mobile devices and embedded hardware security, over efficient cryptography for resource-restricted platforms, to advanced applications such as wireless sensor networks, user authentication, and privacy in an environment of autonomously communicating objects. With hindsight a leitmotif emerged from these contributions, which corrobarated the idea behind MobiSec; a set of powerful tools have been created in various branches of the security discipline, which await combined application to build trust and security into mobile (that is, all future) networks, autonomous and personal devices, and pervasive applications 300 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The objective of this state-of-the-art survey is to give a coherent overview of the main topics and results achieved by the Network of Excellence REWERSE on 'Reasoning on the Web', funded by the European Commission and Switzerland within the '6th Framework Programme' (FP6), from 2004 to 2008. The material has been organized into eight chapters, each of which addresses one of the main topics of REWERSE: hybrid reasoning with rules and ontologies, lessons in versatility or how query languages adapt to the Web, evolution and reactivity in the Semantic Web, rule-based policy representations and reasoning, component models for Semantic Web languages, controlled English for reasoning on the Semantic Web, semantic search with GoPubMed, and information integration in bioinformatics with ontologies and standards. Each chapter gives an in-depth coverage of the subject and provides an extensive bibliography with pointers to further literature. 396 pp. Englisch.

Taschenbuch. Condizione: 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. Condizione: Neu. Neuware -The growing complexity of modern software systems increases the di culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri cation and re nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University. 352 pp. Englisch.

Taschenbuch. Condizione: 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.

XVII, 419 S. OPp., guter Zustand, (NP 89,95). BaöRV 207.

Paperback. Condizione: New.

Paperback. Condizione: New.

XVI, 380 Seiten mit Abbildungen u. graph. Darstellungen. Gr.-8vo. Hardcover. - =Lecture Notes in Earth Sciences, Volume 107. Rücken etwas ausgeblichen, Eiinband minimal bestoßen. Innen gutes Exemplar. 9783540250081 Sprache: Englisch Gewicht in Gramm: 600.

Paperback. Condizione: New.

5., überarbeitete und erweiterte Auflage. °. XIX, 495 Seiten. Kartoniert. Bibliotheks-Exemplar (Bibliotheks-Etikett auf dem Buchrücken, Bibliotheks-Stempel [Ausgeschieden] verso Titelblatt). Innen ansonsten gutes, sauberes Exemplar. Keine Anstreichungen! Kein Mängelexemplar! Einband mit leichten Gebrauchsspuren.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.

Paperback. Condizione: New.