Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540959319ISBN 13: 9783540959311
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Autor vermittelt logisches Grundwissen, fundamentale Beweisprinzipien und Methoden der Mathematik. Dabei geht er u. a. folgenden Fragen nach: Was unterscheidet endliche von unendlichen Mengen Wie lassen sich die ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen konstruieren Welche grundlegenden topologischen Eigenschaften besitzt die Menge der reellen Zahlen Lassen sich die natürlichen oder reellen Zahlen vollständig axiomatisch beschreiben Pflichtlektüre für alle Studierenden der Mathematik, Physik und Informatik. 216 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540851534ISBN 13: 9783540851530
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Geschäftsprozess-Management (BPM) ist insbesondere im Zuge der populärer werdenden Service-orientierten Architektur (SOA) im Aufwind. Dieses Buch macht Leser mit grundlegenden Prinzipien der Prozessmodellierung vertraut und zeigt, wie sie sich in modernen IT-Systemen umsetzen lassen. Beispiele demonstrieren, auf welche Weise Unternehmen die Mittel der prozessgesteuerten Ablaufsteuerung und der modellgetriebenen Softwareentwicklung einsetzen können und welche Tools hierfür zur Verfügung stehen. Ein Buch für Architekten, Entwickler und Projektleiter. 228 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540891064ISBN 13: 9783540891062
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ein idealer Einstieg für Studierende der Informatik in die Mathematik, da jedes Kapitel mit konkreten, dem Leser vertrauten Begriffen oder Situationen beginnt. Davon ausgehend wird schrittweise abstrahiert bis hin zu den gebräuchlichen abstrakten Begriffen der modernen Mathematik, in jedem Kapitel viele interessante Situationen des Alltagslebens beschrieben werden, in denen die zuvor eingeführten abstrakten Begriffe und die bewiesenen Ergebnisse zum Einsatz kommen. Dabei wird auf Anwendungen eingegangen, die einen engen Bezug zur Informatik besitzen: Routenplaner, Google-Suche, Kryptographie, Codierungstheorie, Datenkompressionen, Hashtabellen und Sudoku. Die drei Teile der Buches: Algebra, Analysis und Diskrete Strukturen, die weitgehend voneinander unabhängig sind, sind so angelegt, dass sie im Wesentlichen einzeln verstanden werden können. Durch die Lösungen aller Übungsaufgaben ist das vorliegende Buch auch sehr gut zum Selbststudium geeignet. 472 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540890912ISBN 13: 9783540890911
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die funktionale und applikative Programmierung nimmt seit vielen Jahren einen wichtigen Platz innerhalb der verschiedenen Programmierparadigmen ein. Das Buch bietet eine leicht verständliche Einführung - von den theoretischen Grundlagen bis hin zu Implementierungstechniken. Im Hauptteil stellt der Autor die zahlreichen Ausprägungen in den unterschiedlichen Programmiersprachen vor. Er gibt auch einen Ausblick darauf, wie sich diese Programmiersprachen auf die Entwicklung neuer Rechnerstrukturen auswirken können. 364 pp. Deutsch.
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer Mrz 2009, 2009
ISBN 10: 3540789189ISBN 13: 9783540789185
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Immer mehr Unternehmen nutzen Online-Assessments, um Potenziale von Bewerbern oder Mitarbeitern via Internet zu testen. Online-Tests sind effizient - doch sie setzen auch Grenzen. In diesem Buch zeigen erfahrene Personalfachleute, was bei der Planung und dem Einsatz von Online-Tests zu beachten ist. Fallbeispiele, Checklisten zu Erfolgskriterien sowie eine kommentierte Übersicht zu Anbietern machen dieses Buch zu einem unverzichtbaren Leitfaden für alle, die Online-Tests einsetzen oder sich einen ersten Überblick verschaffen möchten. 317 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540898220ISBN 13: 9783540898221
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Diese grundlegende Einführung in die Analysis wendet sich an Informatiker im ersten Studienabschnitt. Um speziell auf die Bedürfnisse des Informatikstudiums einzugehen, haben die Autoren diesem Werk folgende Konzepte zugrunde gelegt: Algorithmischer Zugang, schlanke Darstellung, Software als integrativer Bestandteil, Betonung von Modellbildung und Anwendungen der Analysis. Der Gegenstand des Buches liegt im Spannungsfeld zwischen Mathematik, Informatik und Anwendungen. Hier kommt dem algorithmischen Denken ein hoher Stellenwert zu. Der gewählte Zugang beinhaltet: Entwicklung der Grundlagen der Analysis aus algorithmischer Sichtweise, Vergegenständlichung der Theorie mittels MATLAB- und Maple-Programmen und Java-Applets, Behandlung grundlegender Konzepte und Verfahren der numerischen Analysis. Das Buch kann ab dem ersten Semester als Vorlesungsgrundlage, als Begleittext zu einer Vorlesung oder im Selbststudium verwendet werden. 344 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540852018ISBN 13: 9783540852018
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Wunsch, Einsteins Theorien zu verstehen, ist unter naturwissenschaftlich Interessierten weit verbreitet - doch bleibt er meist unerfüllt. Dieses Buch bietet eine einzigartige neue Chance: Mit anschaulichen Gedankenexperimenten, exakten Abbildungen, treffenden Analogien werden Leser behutsam in die Zeitdehnung, das Zwillingsparadoxon, Schwarze Löcher oder die Rotverschiebung des Lichts eingeführt. Diese und viele weitere relativistische Effekte werden hier erstmals mit einfachsten mathematischen Werkzeugen zugänglich gemacht. 380 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540879552ISBN 13: 9783540879558
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Paulo Ribenboim behandelt Zahlen in dieser außergewöhnlichen Sammlung von Übersichtsartikeln wie seine persönlichen Freunde. In leichter und allgemein zugänglicher Sprache berichtet er über Primzahlen, Fibonacci-Zahlen (und das Nordpolarmeer!), die klassischen Arbeiten von Gauss über binäre quadratische Formen, Eulers berühmtes primzahlerzeugendes Polynom, irrationale und transzendente Zahlen.Nach dem großen Erfolg von 'Die Welt der Primzahlen' ist dies das zweite Buch von Paulo Ribenboim, das in deutscher Sprache erscheint. 404 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642001297ISBN 13: 9783642001291
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Autoren systematisieren die Internetnutzung durch Verwaltung und Politik anhand von Prozessbereichen wie eAssistance (Portale, Zugang für alle, Qualitätssicherung), eProcurement (elektronische Beschaffung, Public Offering) u. a. Neben den Grundlagen von eDemocracy und eGovernment stellen sie Fallstudien aus Verwaltungs- und Forschungsinstitutionen vor. Das Buch richtet sich an Studierende der Wirtschafts- und Politikwissenschaften sowie allgemein an Leser, die sich mit digitalen Partizipationsoptionen in der Wissensgesellschaft beschäftigen. 256 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540875700ISBN 13: 9783540875703
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Bonusprogramme werden inzwischen nahezu inflationär als Maßnahmen zur Kundenbindung eingesetzt. Dabei reicht ein bloßes Rabattheft längst nicht mehr aus. Wirtschaftspsychologisch fundiert und mit zahlreichen Praxisbeispielen untermauert zeigen die Autoren, wie Bonusprogramme konzipiert und erfolgreich umgesetzt werden können. Damit eröffnen sie neue Wege für ein professionell gestaltetes Bonusprogramm, das sich von der Konkurrenz abhebt und branchenübergreifend geeignet ist, bestehende Kunden zu binden und Neukunden zu akquirieren. 156 pp. Deutsch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642008666ISBN 13: 9783642008665
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book
Taschenbuch. Condition: 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.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642005896ISBN 13: 9783642005893
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 26 revised full papers presented together with two abstracts of invited talks were carefully reviewed and selected from 98 full paper submissions. The topics addressed are typed functional programming, computational effects, types for object-oriented languages, verification, security, concurrency, service-oriented computing, parallel and concurrent programming. 428 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540752730ISBN 13: 9783540752738
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Do virtual museums really provide added value to end-users, or do they just contribute to the abundance of images Does the World Wide Web save endangered cultural heritage, or does it foster a society with less variety These and other related questions are raised and answered in this book, the result of a long path across the digital heritage landscape. It provides a comprehensive view on issues and achievements in digital collections and cultural content. 488 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642001548ISBN 13: 9783642001543
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the thoroughly refereed post-conference proceedings of the First and Second International Symposia on Sanskrit Computational Linguistics, held in Rocquencourt, France, in October 2007 and in Providence, RI, USA, in May 2008 respectively. The 11 revised full papers of the first and the 12 revised papers of the second symposium presented with an introduction and a keynote talk were carefully reviewed and selected from the lectures given at both events. The papers address several topics such as the structure of the Paninian grammatical system, computational linguistics, lexicography, lexical databases, formal description of sanskrit grammar, phonology and morphology, machine translation, philology, and OCR. 440 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642008305ISBN 13: 9783642008306
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The International Conference on the Computer Processing of Oriental L- guages(ICCPOL)seriesishostedbytheChineseandOrientalLanguagesSociety (COLCS),aninternationalsocietyfoundedin1975.RecentICCPOLeventshave been held in Hong Kong (1997), Tokushima, Japan (1999), Seoul, Korea (2001), Shenyang, China (2003) and Singapore (2006). This volume presents the proceedings of the 22nd International Conference ontheComputerProcessingofOrientalLanguages(ICCPOL2009)heldinHong Kong, March 26-27, 2009. We received 63 submissions and all the papers went through a blind review process by members of the Program Committee. After careful discussion, 25 of them were selected for oral presentation and 15 for poster presentation. The accepted papers covered a variety of topics in natural language processing and its applications, including word segmentation, phrase and term extraction, chunking and parsing, semantic labelling, opinion mining, ontology construction, machine translation, information extraction, document summarization and so on. On behalf of the Program Committee, we would like to thank all authors of submitted papers for their support. We wish to extend our appreciation to the Program Committee members and additional external reviewers for their tremendous e ort and excellent reviews. We gratefully acknowledge the Or- nizing Committee and Publication Committee members for their generous c- tribution to the success of the conference. We also thank the Asian Federation of Natural Language Processing (AFNLP), the Department of Computing, The Hong Kong Polytechnic University, Hong Kong, the Department of Systems - gineering and Engineering Management, The Chinese University of Hong Kong, Hong Kong, and the Centre for Language Technology, Macquarie University, Australia for their valuable support. 420 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540939121ISBN 13: 9783540939122
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this monograph, we de ne and investigate an algebro-geometric analogue of Donaldson invariants by using moduli spaces of semistable sheaves with arbitrary ranks on a polarized projective surface. We may expect the existence of interesting 'universal relations among invariants', which would be a natural generalization of the 'wall-crossing formula' and the 'Witten conjecture' for classical Donaldson invariants. Our goal is to obtain a weaker version of such relations, in other brief words, to describe a relation as the sum of integrals over the products of m- uli spaces of objects with lower ranks. Fortunately, according to a recent excellent work of L. Gottsche, H. Nakajima and K. Yoshioka, [53], a wall-crossing formula for Donaldson invariants of projective surfaces can be deduced from such a weaker result in the rank two case. We hope that our work in this monograph would, at least tentatively, provides a part of foundation for the further study on such universal relations. In the rest of this preface, we would like to explain our motivation and some of important ingredients of this study. See Introduction for our actual problems and results. Donaldson Invariants Let us brie y recall Donaldson invariants. We refer to [22] for more details and precise. We also refer to [37], [39], [51] and [53]. LetX be a compact simply con- nected oriented real 4-dimensional C -manifold with a Riemannian metric g. Let P be a principalSO(3)-bundle on X. 416 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540890556ISBN 13: 9783540890553
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The notion of an operad supplies both a conceptual and effective device to handle a variety of algebraic structures in various situations. Operads were introduced 40 years ago in algebraic topology in order to model the structure of iterated loop spaces. Since then, operads have been used fruitfully in many fields of mathematics and physics.This monograph begins with a review of the basis of operad theory. The main purpose is to study structures of modules over operads as a new device to model functors between categories of algebras as effectively as operads model categories of algebras. 324 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540850228ISBN 13: 9783540850229
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Storage Management in Data Centers helps administrators tackle the complexity of data center mass storage. It shows how to exploit the potential of Veritas Storage Foundation by conveying information about the design concepts of the software as well as its architectural background. Rather than merely showinghowto use Storage Foundation, it explainswhyto use it in a particular way, along with what goes on inside. Chapters are split into three sections: An introductory part for the novice user, a full-featured part for the experienced, and a technical deep dive for the seasoned expert. An extensive troubleshooting section shows how to fix problems with volumes, plexes, disks and disk groups. A snapshot chapter gives detailed instructions on how to use the most advanced point-in-time copies. A tuning chapter will help you speed up and benchmark your volumes. And a special chapter on split data centers discusses latency issues as well as remote mirroring mechanisms and cross-site volume maintenance.All topics are covered with the technical know how gatheredfrom an aggregatethirtyyears of experience in consulting and training in data centers all over the world. 544 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540854274ISBN 13: 9783540854272
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This lecture notes in physics volume mainly focuses on the semi classical and qu- tum aspects of percolation and breakdown in disordered, composite or granular s- tems. The main reason for this undertaking has been the fact that, of late, there have been a lot of (theoretical) work on quantum percolation, but there is not even a (single) published review on the topic (and, of course, no book). Also, there are many theoretical and experimental studies on the nonlinear current-voltage characteristics both away from, as well as one approaches, an electrical breakdown in composite materials. Some of the results are quite intriguing and may broadly be explained utilising a semi classical (if not, fully quantum mechanical) tunnelling between - cron or nano-sized metallic islands dispersed separated by thin insulating layers, or in other words, between the dangling ends of small percolation clusters. There have also been several (theoretical) studies of Zener breakdown in Mott or Anderson in- lators. Again, there is no review available, connecting them in any coherent fashion. A compendium volume connecting these experimental and theoretical studies should be unique and very timely, and hence this volume. The book is organised as follows. For completeness, we have started with a short and concise introduction on classical percolation. In the rst chapter, D. Stauffer reviews the scaling theory of classical percolation emphasizing (biased) diffusion, without any quantum effects. The next chapter by A. K. 340 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642008984ISBN 13: 9783642008986
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IIThese Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authorsThe second volume of ToPNoC focuses on Concurrency in Process-Aware Information Systems. Although the topic of business process management using information technology has been addressed by consultants and software developers in depth, more fundamental approaches towards such Process-Aware Information Systems (PAISs) have been rather uncommon.It wasn't until the 1990s thatresearchers started to work on the foundations of PAISs. Clearly, concurrency theory is an essential ingredient in these foundations as business processes are highly concurrent involving all types of routing logic and resource allocation mechanisms. The 16 papers in this special issue of ToPNoC cover topics ranging from the formal (mostly Petri-net based) foundations of PAISs to more applied topics such as flexibility and process mining. Thus, this volume gives a good overview of the state of the art in PAIS research. 316 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540927956ISBN 13: 9783540927952
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a collection of courses introducing the reader to the recent progress with attention being paid to laying solid grounds and developing various basic tools. An introductory chapter on lattice spin models is useful as a background for other lectures of the collection.The topics include new results on phase transitions for gradient lattice models (with introduction to the techniques of the reflection positivity), stochastic geometry reformulation of classical and quantum Ising models, the localization/delocalization transition for directed polymers. A general rigorous framework for theory of metastability is presented and particular applications in the context of Glauber and Kawasaki dynamics of lattice models are discussed. A pedagogical account of several recently discussed topics in nonequilibrium statistical mechanics with an emphasis on general principles is followed by a discussion of kinetically constrained spin models that are reflecting important peculiar features of glassy dynamics. 360 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642006019ISBN 13: 9783642006012
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009. The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems. 508 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 364200833XISBN 13: 9783642008337
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Symposium on Quantum Interaction, QI 2009, held in Saarbrücken, Germany, in March 2009. The 21 revised full papers presented together with the 3 position papers were carefully reviewed and selected from numerous submissions. The papers show the cross-disciplinary nature of quantum interaction covering topics such as computation, cognition, decision theory, information retrieval, information systems, social interaction, computational linguistics and finance. 328 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642007260ISBN 13: 9783642007262
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First International on Bioinformatics and Computational Biology, BICoB 2007, held in New Orleans, LA, USA, in April 2007. The 30 revised full papers presented together with 10 invited lectures were carefully reviewed and selected from 72 initial submissions. The papers address current research in the area of bioinformatics and computational biology fostering the advancement of computing techniques and their application to life sciences in topics such as genome analysis sequence analysis, phylogenetics, structural bioinformatics, analysis of high-throughput biological data, genetics and population analysis, as well as systems biology. 468 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642005861ISBN 13: 9783642005862
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisvolumecontainsthe15paperspresentedinthetechnicalstrandoftheTrust 2009 conference, held in Oxford, UK in April 2009. Trust 2009 was the second international conference devoted to the technical and socio-economic aspects of trusted computing. The conference had two main strands, one devoted to technical aspects of trusted computing (addressed by these proceedings), and the other devoted to socio-economic aspects. Trust 2009 built on the successful Trust 2008 conference, held in Villach, Austria in March 2008. The proceedings of Trust 2008, containing 14 papers, were published in volume 4968 of the Lecture Notes in Computer Science series. ThetechnicalstrandofTrust2009contained15originalpapersonthedes ign and application of trusted computing. For these proceedings the papers have been divided into four main categories, namely: - Implementation of trusted computing - Attestation - PKI for trusted computing - Applications of trusted computing The 15 papers included here were selected from a total of 33 submissions. The refereeing process was rigorous, involving at least three (and mostly more) independent reports being prepared for each submission. We are very grateful to our hard-working and distinguished Program Committee for doing such an excellent job in a timely fashion. We believe that the result is a high-quality set of papers, some of which have been signi cantly improved as a result of the refereeing process. We would also like to thank all the authors who submitted their papers to the technical strand of the Trust 2009 conference, all external referees, and all the attendees of the conference. 276 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642007295ISBN 13: 9783642007293
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Information Security and Cryptology, ICISC 2008, held in Seoul, Korea, during December 3-5, 2008. The 26 revised full papers presented have gone through two rounds of reviewing and improvement and were carefully selected from 131 submissions. The papers are organized in topical sections on public key encryption, key management and secret sharing, privacy and digital rights, digital signature and voting, side channel attack, hash and mac, primitives and foundations, as well as block and stream ciphers. 448 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642005950ISBN 13: 9783642005954
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers presented together with two invited talks were carefully reviewed and selected from 102 full paper submissions. The topics addressed are semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics. 488 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3540893059ISBN 13: 9783540893059
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume grew out of a series of preprints which were written and circulated - tween 1993 and 1994. Around the same time, related work was done independently by Harder [40] and Laumon [62]. In writing this text based on a revised version of these preprints that were widely distributed in summer 1995, I nally did not p- sue the original plan to completely reorganize the original preprints. After the long delay, one of the reasons was that an overview of the results is now available in [115]. Instead I tried to improve the presentation modestly, in particular by adding cross-references wherever I felt this was necessary. In addition, Chaps. 11 and 12 and Sects. 5. 1, 5. 4, and 5. 5 were added; these were written in 1998. I willgivea moredetailedoverviewofthecontentofthedifferentchaptersbelow. Before that I should mention that the two main results are the proof of Ramanujan's conjecture for Siegel modular forms of genus 2 for forms which are not cuspidal representations associated with parabolic subgroups(CAP representations), and the study of the endoscopic lift for the group GSp(4). Both topics are formulated and proved in the rst ve chapters assuming the stabilization of the trace formula. All the remaining technical results, which are necessary to obtain the stabilized trace formula, are presented in the remaining chapters. Chapter 1 gathers results on the cohomology of Siegel modular threefolds that are used in later chapters, notably in Chap. 3. At the beginning of Chap. 392 pp. Englisch.
Published by Berlin Springer Berlin Heidelberg Springer Mrz 2009, 2009
ISBN 10: 364200721XISBN 13: 9783642007217
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs. 281 pp. Englisch.
Published by Springer Berlin Heidelberg Mrz 2009, 2009
ISBN 10: 3642009441ISBN 13: 9783642009440
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Trustworthy Global Computing, TGC 2008 held in Barcelona, Spain, in November 2008. The 12 revised papers presented together with one invited paper were carefully selected from 26 submissions during two rounds of reviewing and improvement. The TGC 2008 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. 228 pp. Englisch.