Search preferences
Vai alla pagina principale dei risultati di ricerca

Filtri di ricerca

Tipo di articolo

  • Tutti i tipi di prodotto 
  • Libri (291)
  • Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
  • Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
  • Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
  • Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
  • Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
  • Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
  • Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)

Condizioni Maggiori informazioni

  • Nuovo (291)
  • Come nuovo, Ottimo o Quasi ottimo (Nessun altro risultato corrispondente a questo perfezionamento)
  • Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
  • Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
  • Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)

Ulteriori caratteristiche

  • Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
  • Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
  • Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
  • Con foto (291)
  • Non Print on Demand (90)

Lingua (4)

Prezzo

Fascia di prezzo personalizzata (EUR)

Spedizione gratuita

  • Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)

Paese del venditore

  • Jan Maluszynski

    Editore: Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642045804 ISBN 13: 9783642045806

    Lingua: Inglese

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 23,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    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.

  • Shiguo Lian

    Editore: Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642044336 ISBN 13: 9783642044335

    Lingua: Inglese

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 23,00 per la spedizione da Germania a U.S.A.

    Quantità: 1 disponibili

    Aggiungi al carrello

    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.

  • Engin Kirda

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642043410 ISBN 13: 9783642043413

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -On behalf of the Program Committee, it is our pleasure to present the p- ceedings of the 12th International Symposium on Recent Advances in Intrusion Detection systems (RAID 2009),which took place in Saint-Malo,France, during September 23¿25. As in the past, the symposium brought together leading - searchers and practitioners from academia, government, and industry to discuss intrusion detection research and practice. There were six main sessions prese- ingfullresearchpapersonanomalyandspeci cation-basedapproaches,malware detection and prevention, network and host intrusion detection and prevention, intrusion detection for mobile devices, and high-performance intrusion det- tion. Furthermore, there was a poster session on emerging research areas and case studies. The RAID 2009ProgramCommittee received59 full paper submissionsfrom all over the world. All submissions were carefully reviewed by independent - viewers on the basis of space, topic, technical assessment, and overall balance. The nal selection took place at the Program Committee meeting on May 21 in Oakland, California. In all, 17 papers were selected for presentation and p- lication in the conference proceedings. As a continued feature, the symposium accepted submissions for poster presentations which have been published as - tended abstracts, reporting early-stage research, demonstration of applications, or case studies. Thirty posters were submitted for a numerical review by an independent, three-person sub-committee of the Program Committee based on novelty, description, and evaluation. The sub-committee recommended the - ceptance of 16 of these posters for presentation and publication. The success of RAID 2009 depended on the joint e ort of many people.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 400 pp. Englisch.

  • Shiguo Lian

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642044336 ISBN 13: 9783642044335

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    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 applicationsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

  • Mario Marchese

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642042597 ISBN 13: 9783642042591

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the International Conference on Personal Satellite Services (PSATS 2009) in Rome, Italy in March 2009.The 17 papers papers demonstrate recent advances in Internet applications over satellites, satellites technologies, and future satellite location-based systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

  • Mario Fritz

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642046665 ISBN 13: 9783642046667

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Computer Vision Systems, ICVS 2009, held in Liege, Belgium, October 13-15, 2009.The 21 papers for oral presentation presented together with 24 poster presentations and 2 invited papers were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on human-machine-interaction, sensors, features and representations, stereo, 3D and optical flow, calibration and registration, mobile and autonomous systems, evaluation, studies and applications, learning, recognition and adaption.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 472 pp. Englisch.

  • Payam Barnaghi

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642044700 ISBN 13: 9783642044700

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -e ciently.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

  • Lars Braubach

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642041426 ISBN 13: 9783642041426

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields. 308 pp. Englisch.

  • M. Ercan Altinsoy

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642040756 ISBN 13: 9783642040757

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Haptic and Audio Interaction Design, HAID 2009 held in Dresden, Germany in September 2009. The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on haptic communication and perception, navigation and guidance, visual impairment, vibrotactile feedback and music, multimodal user interfaces: design and evaluation, and multimodal gaming. 180 pp. Englisch.

  • Hyoung-Joong Kim

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642044379 ISBN 13: 9783642044373

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Digital Watermarking, IWDW 2008, held in Busan, Korea, in November 2008. The 36 regular papers included in the volume were carefully reviewed and selected from 62 submissions. Areas of interest to the conference are mathematical modeling of embedding and detection; information theoretic, stochastic aspects of data hiding; security issues, including attacks and counter-attacks; combination of data hiding and cryptography; optimum watermark detection and reliable recovery; estimation of watermark capacity; channel coding techniques for watermarking; large-scale experimental tests and benchmarking; new statistical and perceptual models of content; reversible data hiding; data hiding in special media; data hiding and authentication; steganography and steganalysis; data forensics; copyright protection, DRM, and forensic watermarking; and visual cryptography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

  • Ahmad-Reza Sadeghi

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642044301 ISBN 13: 9783642044304

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009. The 19 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on steganography, steganalysis, watermarking, fingerprinting, hiding in unusual content, novel applications and forensics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

  • Wulf Schiefenhövel

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642001270 ISBN 13: 9783642001277

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. Neuware -In a Darwinian world, religious behavior - just like other behaviors - is likely to have undergone a process of natural selection in which it was rewarded in the evolutionary currency of reproductive success. This book aims to provide a better understanding of the social scenarios in which selection pressure led to religious practices becoming an evolved human trait, i.e. an adaptive answer to the conditions of living and surviving that prevailed among our prehistoric ancestors. This aim is pursued by a team of expert authors from a range of disciplines. Their contributions examine the relevant physiological, emotional, cognitive and social processes. The resulting understanding of the functional interplay of these processes gives valuable insights into the biological roots and benefits of religion.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

  • Igor Potapov

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642044190 ISBN 13: 9783642044199

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the research papers presented at the 3rd International Workshop, RP 2009 held in Palaiseau, France, September 23-25, 2009. The 20 full papers of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures and predictability in iterative maps and new computational paradigms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

  • Kathleen Stewart Hornsby

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 364203831X ISBN 13: 9783642038310

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -First established in 1993 with a conference in Elba, Italy, COSIT (the International C- ference on Spatial Information Theory) is widely acknowledged as one of the most - portant conferences for the field of spatial information theory. This conference series brings together researchers from a wide range of disciplines for intensive scientific - changes centered on spatial information theory. COSIT submissions typically address research questions drawn from cognitive, perceptual, and environmental psychology, geography, spatial information science, computer science, artificial intelligence, cog- tive science, engineering, cognitive anthropology, linguistics, ontology, architecture, planning, and environmental design. Some of the topical areas include, for example, the cognitive structure of spatial knowledge; events and processes in geographic space; incomplete or imprecise spatial knowledge; languages of spatial relations; navigation by organisms and robots; ontology of space; communication of spatial information; and the social and cultural organization of space to name a few. This volume contains the papers presented at the 9th International Conference on Spatial Information Theory, COSIT 2009, held in Aber Wrac¿h, France, September 21¿25, 2009. For COSIT 2009, 70 full paper submissions were received. These papers were carefully reviewed by an international Program Committee based on relevance to the conference, intellectual quality, scientific significance, novelty, relation to previously published literature, and clarity of presentation. After reviewing was completed, 30 papers were selected for presentation at the conference and appear in this volume. This number of papers reflects the high quality of submissions to COSIT this year. 520 pp. Englisch.

  • Stefan Geretshuber

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642035515 ISBN 13: 9783642035517

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the Third International Workshop on Critical Information Infrastructure Security (CRITIS 2008),which was held - tober 13¿15, 2008 in Villa Mondragone (Rome), Italy, and was co-organized by AIIC (The Italian Society of Critical Infrastructures Experts) and ENEA (The Italian National Agency for New Technology, Energy and the Environment). This year¿s workshop was focused on an interdisciplinary and multifaced - alogue about the third millennium security strategies for critical information infrastructures (CII) and their protection (CIP). The aim was to explore the new challenges posed by the CII, bringing together researchersand professionals from universities, private companies and public administrations interested in all security-related aspects, and actively involved in the scienti c communities at a national, European and trans-European level. More than 70 papers were submitted to the conference, which were screened by a very selective double-blind review process to identify the 39 papers selected for presentation, based on their signi cance, novelty and technical quality. - visions were not checked and the authors bear full responsibility for the content of their papers. CRITIS 2008 also had six outstanding invited speakers: Erol Gelenbe (- perial College, UK), Massoud Amin (University of Minnesota, USA), George Apostolakis(MIT,USA),AndreaValboni(Microsoft,Italy),SujeetShenoi(U- versity of Tulsa, USA) and Angelo Marino (DG Information Society and Media, European Commission).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

  • Jan Maluszynski

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642045804 ISBN 13: 9783642045806

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Englisch.

  • Anders P. Ravn

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642047602 ISBN 13: 9783642047602

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions. The papers are organized in topical sections on state space reduction, tools, probabilistic systems, medley, temporal logic, abstraction and refinement, and fault tolerant systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 428 pp. Englisch.

  • Xenofon D. Koutsoukos

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 364204378X ISBN 13: 9783642043789

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of the Second International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT 2009), held in Orlando, Florida on September 30, 2009 in conjunction with the 11th International Conference on Ubiquitous Computing (Ubicomp 2009). MELT provides a forum for the presentation of state-of-the-art technologies in mobile localization and tracking and novel applications of location-based s- vices. MELT 2009 continued the success of the rst workshop in the series (MELT 2008), which was held is San Francisco, California on September 19, 2008 in conjunction with Mobicom. Location-awareness is a key component for achieving context-awareness. - cent years have witnessed an increasing trend towards location-based services and applications. In most cases, however, location information is limited by the accessibility to GPS, which is unavailable for indoor or underground fac- ities and unreliable in urban environments. Much research has been done, in both the sensor network community and the ubiquitous computing community, to provide techniques for localization and tracking in GPS-less environments. Novel applications based on ad-hoc localization and real-time tracking of - bile entities are growing as a result of these technologies. MELT brings together leaders from both the academic and industrial research communities to discuss challenging and open problems, to evaluate pros and cons of various approaches, to bridge the gap between theory and applications, and to envision new research opportunities.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 276 pp. Englisch.

  • Audun Jøsang

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642047653 ISBN 13: 9783642047657

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -The NordSec workshops were started in 1996 with the aim of bringing together - searchers and practitioners within computer security in the Nordic countries ¿ thereby establishing a forum for discussions and co-operation between universities, industry and computer societies. Since then, the workshop has developed into a fully fledged inter- tional information security conference, held in the Nordic countries on a round robin basis. The 14th Nordic Conference on Secure IT Systems was held in Oslo on 14-16 October 2009. Under the theme Identity and Privacy in the Internet Age, this year's conference explored policies, strategies and technologies for protecting identities and the growing flow of personal information passing through the Internet and mobile n- works under an increasingly serious threat picture. Among the contemporary security issues discussed were security services modeling, Petri nets, attack graphs, electronic voting schemes, anonymous payment schemes, mobile ID-protocols, SIM cards, n- work embedded systems, trust, wireless sensor networks, privacy, privacy disclosure regulations, financial cryptography, PIN verification, temporal access control, random number generators, and some more. As a pre-cursor to the conference proper, the Nordic Security Day on Wednesday 14 October hosted talks by leading representatives from industry, academia and the g- ernment sector, and a press conference was given.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

  • Joachim Denzler

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642037976 ISBN 13: 9783642037979

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 31st Symposium of the German Association for Pattern Recognition, DAGM 2009, held in Jena, Germany, in September 2009. The 56 revised full papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on motion and tracking; pedestrian recognition and automotive applications; features; single-view and 3D reconstruction; learning and classification; pattern recognition and estimation; stereo and multi-view reconstruction; image analysis and applications; and segmentation. 584 pp. Englisch.

  • István Miklós

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642047432 ISBN 13: 9783642047435

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -As genome-sequencing costs continue their downward spiral, sequencing of closely related organisms has become increasingly a ordable. The growing amount of genomic data available demands for the constant development of computational tools to be applied in comparative genomics. The RECOMB Workshop on C- parative Genomics (RECOMB-CG) is devoted to bringing together scientists working on all aspects of comparative genomics, from computer scientists, ma- ematicians and statisticians working on novel computational approaches for genome analysis and comparison, to biologists applying these computational tools to study the structure and the evolution of prokaryotic and eukaryotic genomes. This volume contains the 19 papers presented at the 7th Annual RECOMB-CG workshop held during September 27¿29, 2009 at the Renyi Institute, in Budapest, Hungary. The papers published in these proceedings were selected for oral p- sentation from 31 submissions from scientists around the world. Each paper was reviewed by at least three members of the Program Committee in a stringent and thoughtful peer-review process.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

  • Agnieszka Mykowiecka

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642047343 ISBN 13: 9783642047343

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -For many years Leonard Bolc has played an important role in the Polish computer science community. He is especially known for his clear vision in the development of artificial intelligence, inspiring research, organizational and editorial achievements in areas such as e.g.: logic, automatic reasoning, natural language processing, and computer applications of natural language or human-like reasoning.This Festschrift volume, published to honor Leonard Bolc on his 75th birthday includes 17 refereed papers by leading researchers, his friends, former students and colleagues to celebrate his scientific career. The essays present research in the areas which Leonard Bolc and his colleagues investigated during his long scientific career.The volume is organized in three parts; the first is devoted to logic - the domain which was one of the most explored by Leonard Bolc himself. The second part contains papers focusing on different aspects of computational linguistics; the third part comprises papers describing different applications in which natural language processing or automatic reasoning plays an important role.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 464 pp. Englisch.

  • Doron A. Peled

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642046932 ISBN 13: 9783642046933

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -The RV series of workshops brings together researchers from academia and - dustry that are interested in runtime veri cation. The goal of the RV workshops is to study the ability to apply lightweight formal veri cation during the exe- tion of programs. This approach complements the o ine use of formal methods, which often use large resources. Runtime veri cation methods and tools include the instrumentation of code with pieces of software that can help to test and monitor it online and detect, and sometimes prevent, potential faults. RV 2009 was held during June 26¿28 in Grenoble, adjacent to CAV 2009. The program included 11 accepted papers. Two invited talks were given by AmirPnueli,on¿CompositionalApproachtoMonitoringLinearTemporalLogic Properties¿ and Sriram Rajamani on ¿Veri cation, Testing and Statistics.¿ The program also included three tutorials. We would like to thank the members of the Program Committee and ad- tional referees for the reviewing and participation in the discussions. 212 pp. Englisch.

  • Luis Carriço

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642042155 ISBN 13: 9783642042157

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed post-conference proceedings of the 15th International Workshop on Groupware: Design, Implementation, and Use, held in Peso da Régua, Douro, Portugal, during September 13-17, 2009. The 30 papers presented were carefully reviewed and selected from numerous submission. The topics covered are mobile collaboration, social aspects of collaboration, technology for CSCW, groupware evaluation, CSCW design, geo collaboration, collaborative learning, and modeling CSCW. 384 pp. Englisch.

  • Kurt Rothermel

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642045588 ISBN 13: 9783642045585

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the first International Workshop on Quality of Context, QuaCon 2009, held in Stuttgart, Germany, in June 2009. The 11 revised papers presented were carefully reviewed and selected from 19 submissions and included in the volume together with 5 invited papers. Discussed are interdisciplinary approaches to context quality, such as models for degradation and consistency of context data, spatial ontologies and spatial data mining, trust in context data, methods and calculi for context quality assessment, frameworks and metrics for context quality, uncertainty in sensor data processing, quality-aware algorithms for context management, quality-aware event and stream processing, uncertainty in reasoning on context data, application-specific context quality and case studies, and visualization of context quality.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

  • Luca Viganò

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642034586 ISBN 13: 9783642034589

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 53,49

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -The Joint Workshop on ¿Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security¿ (ARSPA-WITS 2009) was held in York, UK, March 28¿29, 2009, in association with ETAPS 2009. ARSPA is a series of workshops on ¿Automated Reasoning for Security P- tocol Analysis,¿ bringing together researchers and practitioners from both the security andthe formalmethods communities,from academiaand industry,who are working on developing and applying automated reasoning techniques and tools for the formal speci cation and analysis of security protocols. The rst two ARSPA workshops were held as satellite events of the Second International JointConferenceon Automated Reasoning(IJCAR 2004)andof the 32nd Int- nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005), respectively. ARSPA then joined forces with the workshop FCS (Foundations of Computer Security): FCS-ARSPA 2006 was a liated with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was a liated with LICS 2007 and ICALP 2007. WITSistheo cialannualworkshoporganizedbytheIFIP WG1.7on¿T- oretical Foundations of Security Analysis and Design,¿ established to promote the investigation on the theoretical foundations of security, discovering and p- moting new areas of application of theoretical techniques in computer security and supporting the systematic use of formal techniques in the development of security-related applications. This is the ninth meeting in the series. In 2008, ARSPA and WITS joined with the workshop on Foundations of Computer - curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS 2008 and CSF 21.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Englisch.

  • Klaus Fredenhagen

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642027792 ISBN 13: 9783642027796

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 74,89

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. Neuware -After some decades of work a satisfactory theory of quantum gravity is still not available; moreover, there are indications that the original field theoretical approach may be better suited than originally expected. There, to first approximation, one is left with the problem of quantum field theory on Lorentzian manifolds. Surprisingly, this seemingly modest approach leads to far reaching conceptual and mathematical problems and to spectacular predictions, the most famous one being the Hawking radiation of black holes. Ingredients of this approach are the formulation of quantum physics in terms of C\*-algebras, the geometry of Lorentzian manifolds, in particular their causal structure, and linear hyperbolic differential equations where the well-posedness of the Cauchy problem plays a distinguished role, as well as more recently the insights from suitable concepts such as microlocal analysis. This primer is an outgrowth of a compact course given by the editors and contributing authors to an audience of advanced graduate students and young researchers in the field, and assumes working knowledge of differential geometry and functional analysis on the part of the reader.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 172 pp. Englisch.

  • Jürgen Jost

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642005403 ISBN 13: 9783642005404

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 74,89

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. Neuware -'Geometry and Physics' addresses mathematicians wanting to understand modern physics, and physicists wanting to learn geometry. It gives an introduction to modern quantum field theory and related areas of theoretical high-energy physics from the perspective of Riemannian geometry, and an introduction to modern geometry as needed and utilized in modern physics. Jürgen Jost, a well-known research mathematician and advanced textbook author, also develops important geometric concepts and methods that can be used for the structures of physics. In particular, he discusses the Lagrangians of the standard model and its supersymmetric extensions from a geometric perspective.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

  • Axel Groß

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3540689664 ISBN 13: 9783540689669

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 85,55

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Buch. Condizione: Neu. Neuware -Progress continues in the theoretical treatment of surfaces and processes on surfaces based on first-principles methods, i.e. without invoking any empirical parameters. In this book, the theoretical concepts and computational tools necessary and relevant for a microscopic approach to the theoretical description of surface science is presented, together with a detailed discussion of surface phenomena. This makes the book suitable for both graduate students and for experimentalists seeking an overview of the theoretical concepts in surface science. This second enlarged edition has been carefully revised and updated, a new chapter on surface magnetism is included, and novel developments in theoretical surface science are addressed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 356 pp. Englisch.

  • Zsófia Ruttkay

    Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2009, 2009

    ISBN 10: 3642043798 ISBN 13: 9783642043796

    Lingua: Inglese

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

    Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

    Contatta il venditore

    EUR 106,99

    EUR 60,00 per la spedizione da Germania a U.S.A.

    Quantità: 2 disponibili

    Aggiungi al carrello

    Taschenbuch. Condizione: Neu. Neuware -Welcome to the proceedings of the 9th International Conference on Intelligent Virtual Agents, held September 14¿16, 2009 in Amsterdam, The Netherlands. Intelligent virtual agents (IVAs) are interactive characters that exhibit hum- like qualities and communicate with humans or with each other using natural human modalities such as speech and gesture. They are capable of real-time perception, cognition and action, allowing them to participate in a dynamic physical and social environment. IVA is an interdisciplinary annual conference and the main forum for p- senting research on modeling, developing and evaluating IVAs with a focus on communicative abilities and social behavior. The development of IVAs requires expertise in multimodal interaction and several AI elds such as cognitive m- eling, planning, vision and natural language processing. Computational models are typically based on experimental studies and theories of human¿human and human¿robot interaction; conversely, IVA technology may provide interesting lessons for these elds. The realization of engaging IVAs is a challenging task, so reusable modules and tools are of great value. The elds of application range from robot assistants, social simulation and tutoring to games and artistic - ploration. 592 pp. Englisch.