Product Type
Condition
Binding
Collectible Attributes
Seller Location
Seller Rating
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540396039ISBN 13: 9783540396031
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 -Acetylcholinesterase Hypogeusie Zytosol Die Biopsychologie ist ein extrem spannendes Fach und wahrscheinlich auch das Fachgebiet mit den meisten Fachbegriffen. Alle kennen muss man als Studdi vielleicht nicht - aber wissen, wo man schnell und einfach nachschlagen kann! Ein Team von 30 Studenten und Studentinnen hat daher einen Pool von über 2000 biopsychologischen Fachbegriffen definiert, und ein Experte, Clemens Kirschbaum, steht für die Korrektheit der Beschreibungen. Schwerpunkt dabei: Einfache und verständliche Begriffsdefinitionen, so genau wie nötig, so einfach wie möglich. Alphabetisch sortiert und mit englischen Übersetzungen. Biopsychologie von A bis Z - gewusst wo! 320 pp. Deutsch.
More buying choices from other sellers on AbeBooks
New offers from US$ 27.56
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540731229ISBN 13: 9783540731221
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 -OpenMP ist ein weit verbreiteter de-facto-Standard für High-Level Shared-Memory-Programmierung, der für viele Plattformen zur Verfügung steht (u.a. Linux und Microsoft Windows). Das Programmiermodell von OpenMP ermöglicht einen einfachen und flexiblen Ansatz zur Entwicklung paralleler Applikationen unter FORTRAN, C und C++. Open MP wird von den meisten High-performance Compiler- und Hardwareherstellern unterstützt. Das Buch stellt Open MP ausführlich vor und zeigt die Implementierung paralleler C/C++ Algorithmen anhand zahlreicher Beispiele. 172 pp. Deutsch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540764011ISBN 13: 9783540764014
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 -Computersysteme mit dezentralen Kontrollstrukturen (z. B. Internet oder Grid-Computing) haben häufig auch Eigenschaften wie die eines Wirtschaftssystems. Dieser Komplexität muss beim Entwurf von Algorithmen und Protokollen Rechnung getragen werden. Als erstes deutschsprachiges Lehrbuch zum Thema führt das Buch gut verständlich in Algorithmic Mechanism Design ein. Behandelt werden die theoretischen Grundlagen sowie die zentralen Ergebnisse der aktuellen Forschung, illustriert mit Beispielen und Lösungsansätzen aus Anwendungsfeldern der Informatik. 180 pp. Deutsch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540783482ISBN 13: 9783540783480
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Lehrbuch integriert die traditionell separaten Gebiete der Regulierungstheorie, der Industrieökonomie und der Wettbewerbspolitik unter dem wettbewerbsökonomischen Fokus der Funktionsfähigkeit von Märkten. Im Zentrum steht die Lokalisierung und Disziplinierung von Marktmacht. Die Anwendung der modernen Wettbewerbstheorie und Industrieökonomie ermöglicht neue Einsichten bei der wettbewerbspolitischen Beurteilung von Unternehmensstrategien unter Berücksichtigung der aktuellen Entwicklungen des deutschen und europäischen Wettbewerbsrechts. 316 pp. Deutsch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540784357ISBN 13: 9783540784357
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 -Schritt für Schritt hin zu einer erfolgreichen Präsentation: Dieses Buch zeigt klar auf, was wann zu tun ist, um vor Publikum überzeugend zu reden. Schaubilder, Merklisten und zahlreiche Beispiele helfen dabei, die Kunst der Präsentation von der Pike auf zu erlernen. Der Weg zu einem individuellen Präsentationsstil liegt darin, persönliche Schwächen zu vermeiden und Stärken auszubauen. Der ideale Begleiter für Studium, Lehre und Beruf. 168 pp. Deutsch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540768491ISBN 13: 9783540768494
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 vorliegende Fallsammlung zum Schwerpunktbereich Arbeitsrecht versteht sich als Ergänzung zu den klassischen Lehr- und Lernbüchern. Die Erfahrung zeigt nämlich, dass Examenskandidaten häufig Probleme haben, das durchaus vorhandene materielle Wissen in die Lösung eines konkreten Falles einzubringen. Die Fallsammlung greift daher die wichtigsten Standardprobleme aus dem Koalitionsrecht, Betriebsverfassungsrecht und dem Recht des Arbeitsgerichtlichen Verfahrens auf und zeigt, wie diese mit dem Individualarbeitsrecht zusammenwirken. Außerdem wird vermittelt, wie das materielle Wissen zu einzelnen Rechtsfragen in einer konkreten Fallbearbeitung gutachtentechnisch umgesetzt werden kann. Um dem Leser den Lösungsweg zu veranschaulichen, enthält die Fallsammlung Aufbauschemata zu den wichtigsten Prüfungskomplexen. 356 pp. Deutsch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540783784ISBN 13: 9783540783787
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 volume the author further develops his philosophy of quantum interpolation between the real numbers and the p-adic numbers. The p-adic numbers contain the p-adic integers Zp which are the inverse limit of the finite rings Z/pn. This gives rise to a tree, and probability measures w on Zp correspond to Markov chains on this tree. From the tree structure one obtains special basis for the Hilbert space L2(Zp,w). The real analogue of the p-adic integers is the interval [-1,1], and a probability measure w on it gives rise to a special basis for L2([-1,1],w) - the orthogonal polynomials, and to a Markov chain on 'finite approximations' of [-1,1]. For special (gamma and beta) measures there is a 'quantum' or 'q-analogue' Markov chain, and a special basis, that within certain limits yield the real and the p-adic theories. This idea can be generalized variously. In representation theory, it is the quantum general linear group GLn(q)that interpolates between the p-adic group GLn(Zp), and between its real (and complex) analogue -the orthogonal On (and unitary Un )groups. There is a similar quantum interpolation between the real and p-adic Fourier transform and between the real and p-adic (local unramified part of) Tate thesis, and Weil explicit sums. 236 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 354075931XISBN 13: 9783540759317
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 set of lectures, which had its origin in a mini course delivered at the Summer Program of IMPA (Rio de Janeiro), is an introduction to intrinsic scaling, a powerful method in the analysis of degenerate and singular PDEs.In the first part, the theory is presented from scratch for the model case of the degenerate p-Laplace equation. The second part deals with three applications of the theory to relevant models arising from flows in porous media and phase transitions. 164 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540769544ISBN 13: 9783540769545
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 -Feynman path integrals, suggested heuristically by Feynman in the 40s, have become the basis of much of contemporary physics, from non-relativistic quantum mechanics to quantum fields, including gauge fields, gravitation, cosmology. Recently ideas based on Feynman path integrals have also played an important role in areas of mathematics like low-dimensional topology and differential geometry, algebraic geometry, infinite-dimensional analysis and geometry, and number theory. The 2nd edition of LNM 523 is based on the two first authors' mathematical approach of this theory presented in its 1st edition in 1976. To take care of the many developments since then, an entire new chapter on the current forefront of research has been added. Except for this new chapter and the correction of a few misprints, the basic material and presentation of the first edition has been maintained. At the end of each chapter the reader will also find notes with further bibliographical information. 192 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540763937ISBN 13: 9783540763932
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 -Hinter vielen Programmen stecken clevere Verfahren, die man als Algorithmen bezeichnet. Algorithmen lösen nicht nur mathematische Aufgaben, die sich mit Zahlen beschäftigen, sondern auch andere, ganz alltägliche Problemstellungen, bei denen logischer Spürsinn, räumliche Orientierung oder geschicktes Verhandeln gefragt sind, beispielsweise: Wie sollten Seeräuber eine Schatzkarte aufteilen, bzw. Bankangestellte den Geheimcode des Tresors Wie ermittle ich den kürzesten Weg zwischen zwei Orten Wie kann ich einen Kuchen gerecht aufteilen Dieses Buch vollführt einen Streifzug durch die faszinierende Welt der Algorithmen. Es verlangt keine Vorkenntnisse, so dass Schüler ab der Mittelstufe und Informatik-interessierte Laien neue und überraschende Einblicke gewinnen können. In 43 Artikeln von Informatikern, die an Universitäten im In- und Ausland lehren, werden besonders elegante Algorithmen anschaulich und umgangssprachlich erklärt, so dass die besondere Faszination der Informatik spürbar wird. 460 pp. Deutsch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 354068946XISBN 13: 9783540689461
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 -With the growing ubiquity of computing systems, it is essential that we can rely on the services they deliver. Justifying reliance in computer systems requires scientific techniques to derive evidence from given systems or predict such evidence. This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.The main impulse for this dependability metrics project resulted from a research seminar, held at Schloss Dagstuhl, Germany, in October/November 2005. The 25 chapters, based on the outcome of the research seminar, are organized in five parts on foundations, reliability metrics, security metrics, performance metrics, and overlapping metrics. The final part shows that only a combined consideration of important dependability attributes will lead to the design objective: the development of systems we can really trust. 324 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540779337ISBN 13: 9783540779339
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 -For50years,wehavebeenteachingprogramming.Inthattime,wehaveseen- mentouschanges.Fromteachinga rstcourseusinganassemblylanguageorF- tran I to using sophisticated functional and OO programming languages. From computerstouchedonlybyprofessionaloperatorstocomputersthatchildrenplay with. From input on paper tape and punch cards, with hour-long waits for o- put from computer runs, to instant keyboard input and instant compilation and execution.Fromdebuggingprogramsusingpages-longoctaldumpsofmemoryto sophisticateddebuggingsystemsembeddedinIDEs.Fromsmall,toyassignments to ones that inspire because of the ability to include GUIs and other supporting software. From little knowledge or few theories of the programming process to structured programming, stepwise re nement, formal development methodo- gies based on theories of correctness, and software engineering principles. And yet, teaching programming still seems to be a black art. There is no consensus on what the programming process is, much less on how it should be taught. We do not do well on teaching testing and debugging. We have debates notonlyonwhether toteachOO rstbutonwhether it can be taught rst.This muddled situation manifests itself in several ways. Retention is often a problem. Our colleaguesin other disciplines expect students to be able to programalmost anything after a course or two, and many complain that this does not happen. In some sense, we are still oundering, just as we were 50 years ago. Part of the problem may be that we are not sure what we are teaching. Are we simply providing knowledge, or are we attempting to impart a skill Many introductorytextsareorientedatteachingprograms ratherthanprogramming theycontainlittle materialonthe programmingprocessandonproblemsolving. 276 pp. Englisch.
More buying choices from other sellers on AbeBooks
New offers from US$ 58.98
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540797009ISBN 13: 9783540797005
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 -Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Accordingly, a number of intriguing and attractive ideas have been included and implemented in a coherent manner as appropriate to the level of perfection necessary for the diligent maintenance of a language standard.The Ada 2005 Rationale describes not only the changes from Ada 95 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on OOP; access types; structure and visibility; tasking and real time; exceptions, generics, etc.; the predefined library; and containers. The book concludes with an epilogue largely concerned with compatibility issues. 288 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 354078828XISBN 13: 9783540788287
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 -Software testing is traditionally seen as a difficult and time consuming activity that is hard to embed in the software development process. This book provides a different view. It explains to stakeholders how testing can add value to software development and doing business, and provides the tester with practical information. TestGoal is not just another methodology. Several good testing methodologies exist. But, like any other profession, also testing encompasses more than the simple application of a methodology. After all, strict adherence to a specific methodology is no guarantee for success. Success stems from the mindset, enthusiasm, knowledge and skill of the tester. These factors determine whether a methodology is applied successfully and whether testing takes on a result-driven character. And that's what TestGoal is about: a result-driven attitude, testing principles and expertise as fundament, and a hands-on six step plan to enable result driven testing. Derk-Jan de Grood and his colleagues from Collis, an international software testing company, know about the main pitfalls in test projects from their extensive professional experience. TestGoal has emerged from the office floor and captures over a decade of best practice. TestGoal is made by professionals for professionals, and it combines the mindset, knowledge, and skills required to add value with testing and make software development more successful. This book explains in a clear language how you can make testing result-driven. It explains why testing is important and describes all of the activities involved in testing. It is enriched with recognizable examples, practical tips and useful checklists. This makes it a 'GO kit' that enables testers to immediately get started and add value to their organization. 424 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540769463ISBN 13: 9783540769460
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 -The book constitutes a unique combination of in-depth insights into the counterfeit market, best-practice strategies, novel management tools, and product protection technologies. It provides both the insights required to develop effective brand and product protection strategies, and the insights that are required to effectively respond to counterfeit trade. Key benefits are the unbiased analysis of the counterfeit market, the strong focus on assisting practitioners to deal with the challenge, and the high standard of research that supports the presented findings. 252 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540764054ISBN 13: 9783540764052
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 -Since their first appearance in 1974, subdivision algorithms for generating surfaces of arbitrary topology have gained widespread popularity in computer graphics and are being evaluated in engineering applications. This development was complemented by ongoing efforts to develop appropriate mathematical tools for a thorough analysis, and today, many of the fascinating properties of subdivision are well understood. This book summarizes the current knowledge on the subject. It contains both meanwhile classical results as well as brand-new, unpublished material, such as a new framework for constructing C^2-algorithms. The focus of the book is on the development of a comprehensive mathematical theory, and less on algorithmic aspects. It is intended to serve researchers and engineers - both new to the beauty of the subject - as well as experts, academic teachers and graduate students or, in short, anybody who is interested in the foundations of this flourishing branch of applied geometry. 224 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540693106ISBN 13: 9783540693109
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 Annual International Frontiers in Algorithmics Workshop is a focused - rum on current trends in research on algorithms, discrete structures, and their applications. It intends to bring together international experts at the research frontiers in those areas to exchange ideas and to present signi cant new results. The mission of the workshop is to stimulate the various elds for which al- rithmics can become a crucial enabler, and to strengthen the ties between the Eastern and Western algorithmics research communities. The Second Inter- tional Frontiers in Algorithmics Workshop (FAW 2008) took place in Changsha, China, June 19-21, 2008. In response to the Call for Papers, 80 papers were submitted from 15 co- tries and regions: Canada, China, France, Germany, Greece, Hong Kong, India, Iran, Japan, Mexico, Norway, Singapore, South Korea, Taiwan, and the USA. After a six-week period of careful reviewing and discussion, the Program C- mittee accepted 32 submissions for presentation at the conference. These papers were selected for nine special focus tracks in the areas of biomedical inform- ics, discrete structures, geometric information processing and communication, games and incentive analysis, graph algorithms, internet algorithms and pro- cols, parameterized algorithms, design and analysis of heuristics, approximate and online algorithms, and machine learning. The program of FAW 2008 also included three keynote talks by Xiaotie Deng, John E. Hopcroft, and Milan Sonka. 368 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540684417ISBN 13: 9783540684411
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 -Heterogeneous object modelling is a new and quickly developing research area. This book isone of the first attempts to systematically cover the most relevant themes and problems of this new and challenging subject area. It is a collection of invited papers and papers co-authored by the editors. Each chapter presents either new research results or a survey on the following topics:Formal models and abstractions of heterogeneous objects including geometric, topological, discrete and continuous models, operations forming special algebras and conversions between different model types. Data structures and algorithms for representing, modifying and computing with heterogeneous objects. Computational techniques for the design, reconstruction, optimization, analysis and simulation of heterogeneous objects that incorporate information on shape, material and physical behavior using a common framework. Applications of heterogeneous object modelling in engineering and scientific areas, including geophysical, biomedical, artistic and multi-material fabrication applications. 300 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540681590ISBN 13: 9783540681595
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 Conference on Cryptology hosted in Africa, held in Casablanca, Morocco, in June 2008. The 25 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from 82 submissions. The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, public-key cryptography, pseudorandomness, analysis of stream ciphers, hash functions, broadcast encryption, and implementation. 432 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540690166ISBN 13: 9783540690160
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 -Since the mid 1990s, data hiding has been proposed as an enabling technology for securing multimedia communication, and is now used in various applications including broadcast monitoring, movie fingerprinting, steganography, video indexing and retrieval, and image authentication. Data hiding and cryptographic techniques are often combined to complement each other, thus triggering the development of a new research field of multimedia security. Besides, two related disciplines, steganalysis and data forensics, are increasingly attracting researchers and becoming another new research field of multimedia security. This journal, LNCS Transactions on Data Hiding and Multimedia Security, aims to be a forum for all researchers in these emerging fields, publishing both original and archival research results.This third issue contains five contributions in the areas of steganography and digital watermarking. The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic scheme. Finally, this volume includes two papers that focus on digital watermarking and data hiding. The fourth paper introduces and analyzes a new covert channel and the fifth contribution analyzes the performance of additive attacks against quantization-based data hiding methods. 108 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540783601ISBN 13: 9783540783602
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of this volume that presents lectures given at a joint CIME and Banach Center Summer School, is to offer a broad presentation of a class of updated methods providing a mathematical framework for the development of a hierarchy of models of complex systems in the natural sciences, with a special attention to biology and medicine. Mastering complexity implies sharing different tools requiring much higher level of communication between different mathematical and scientific schools, for solving classes of problems of the same nature. Today more than ever, one of the most important challenges derives from the need to bridge parts of a system evolving at different time and space scales, especially with respect to computational affordability. As a result the content has a rather general character; the main role is played by stochastic processes, positive semigroups, asymptotic analysis, kinetic theory, continuum theory, and game theory. 344 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540685545ISBN 13: 9783540685548
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-workshop proceedings of the First and the Second International Workshop on OpenMP, IWOMP 2005 and IWOMP 2006, held in Eugene, OR, USA, and in Reims, France, in June 2005 and 2006 respectively. The first part of the book presents 16 revised full papers carefully reviewed and selected from the IWOMP 2005 program and organized in topical sections on performance tools, compiler technology, run-time environment, applications, as well as the OpenMP language and its evaluation. In the second part there are 19 papers of IWOMP 2006, fully revised and grouped thematically in sections on advanced performance tuning aspects of code development applications, and proposed extensions to OpenMP. 468 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 354068980XISBN 13: 9783540689805
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 -Itisourgreatpleasuretopresenttheproceedingsofthe15thInternationalConf- ence on Analytical and Stochastic Modelling Techniques and Applications (ASMTA2008)thattookplaceonthebeautifulislandofCyprusforthe rsttime. The conference has become an important annual event in the elds of - alytical modelling and performance evaluation in Europe and internationally. Nevertheless, e orts have been made year after year to raise the standard and the quality of the programme.This yearthe proceedings are published as partof Springer s prestigiousLecture Notes in Computer Science (LNCS) series. This is another sign of the growing con dence in the quality standards and procedures followed in the reviewing process and the programme compilation. The conference was honored to have a distinguished keynote speaker in the personofRaymondMariefromIRISA/INRIA,France,whoisaprominent gure ofthe analyticalmodellingcommunity inEuropeandworldwide.The conference had a high-qualityprogrammewith anacceptanceratio of 40%.The programme comprised 22 high-quality papers organized into 7 sessions. Almost every paper was peer reviewed by three reviewers from the International Programme C- mittee. The reviewers were truly wonderful this year, as well, and in most cases the reviewsprovidedvaluable comments thatcontributedto increasingthe qu- ity of the nal versions of the papers. In many cases, discussion panels were also organized when the reviews were not decisive. We would therefore like to give a special thanks to all the members of the International Programme Committee for the excellent work in the reviewing process and the subsequent discussion panels during the selection process. 344 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540797068ISBN 13: 9783540797067
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-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification. The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing. 264 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540685480ISBN 13: 9783540685487
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 Workshop on Experimental Algorithms, WEA, is intended to be an int- national forum for research on the experimental evaluation and engineering of algorithms, as well as in various aspects of computational optimization and its applications. The emphasis of the workshop is the use of experimental me- ods to guide the design, analysis, implementation, and evaluation of algorithms, heuristics, and optimization programs. WEA 2008 was held at the Provincetown Inn, Provincetown, MA, USA, on May 30 - June 1, 2008. This was the seventh workshop of the series, after Rome (2007),Menorca(2006),Santorini(2005),RiodeJaniero(2004),Asconia(2003), and Riga (2001). This volume contains all contributed papers accepted for presentation at the workshop. The 26 contributed papers were selected by the Program Committee onthebasisofatleastthreerefereereports,somecontributedbytrustedexternal referees. In addition to the 26 contributed papers, the program contained two invited talks. Camil Demetrescu, of the University of Rome 'La Sapienza,' spoke on 'Visualization in Algorithm Engineering.' David S. Johnson of AT & T Labs - Research, gave a talk on 'Bin Packing: From Theory to Experiment and Back Again.' We would like to thank the authors who responded to the call for papers, our invited speakers, the members of the ProgramCommittee, the external referees, and the Organizing Committee members for making this workshop possible. 380 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540685146ISBN 13: 9783540685142
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 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing. 324 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540691367ISBN 13: 9783540691365
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 three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection. The Pacific Asia Workshop on Cybercrime and Computer Forensics (PACCF 2008) furnishes 10 papers about forensic information management, forensic technologies, and forensic principles and tools. The 24 papers of the Workshop on Social Computing (SOCO 2008) are organized in topical sections on social web and social information management, social networks and agent-based modeling, as well as social opinions, e-commerce, security and privacy considerations. 548 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540688927ISBN 13: 9783540688921
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 the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the eld. SFM 2008 was devoted to formal techniques for computational systems - ology and covered several aspects of the eld, including computational models, calculi and logics for biological systems, and veri cation and simulation me- ods. Theschoolfeatured not onlyregularlectures, but also talksgivenby people involvedinthe ItalianresearchprojectonBio-InspiredSystems andCalculiwith Applications (BISCA). The rst partof this volume comprises nine papers basedon regularlectures. The paper by Degasperi and Gilmore describes the application of sensitivity analysistechniques to stochastic simulation algorithms. Talcott s paper presents pathway logic, an approach to modeling and analysis of biological processes based on rewriting logic. Fages and Soliman study reaction graphs and acti- tion/inhibition graphs used by biologists through formal methods originating from programming theory. The paper by Maus, John, R ohl, and Uhrmacher d- cusses categories, abstraction hierarchies, and composition hierarchies playing a role in modeling and simulation for computational biology. Gillespie s paper - views the theory of stochastic chemical kinetics and several simulation methods that are based on that theory. 540 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540691693ISBN 13: 9783540691693
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 book constitutes the refereed proceedings of the 4th International Conference on Distributed Computing in Sensor Systems, DCOSS 2008, held on Santorini Island, Greece, in June 2008.The 29 revised full papers and 12 revised short papers presented were carefully reviewed and selected from 116 submissions. The papers propose a multitude of novel algorithmic design and analysis techniques, systematic approaches and application development methodologies for distributed sensor networking. The papers cover aspects including energy management, communication, coverage and tracking, time synchronization and scheduling, key establishment and authentication, compression, medium access control, code update, and mobility. 576 pp. Englisch.
Published by Springer Berlin Heidelberg Mai 2008, 2008
ISBN 10: 3540688862ISBN 13: 9783540688860
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 volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming and Combinatorial - timization that was held in Bertinoro (Italy), May 26-28, 2008. The IPCO series of conferences, sponsored by the Mathematical Progr- ming Society, highlights recent developments in theory, computation, and app- cation of integer programming and combinatorial optimization. The rst conf- ence took place in 1990; starting from IPCO 1995, the proceedings are published in the Lecture Notes in Computer Science series. The 12 previous IPCO conferences were held in Waterloo (Canada) 1990, Pittsburgh (USA) 1992, Erice (Italy) 1993, Copenhagen (Denmark) 1995 [LNCS 920], Vancouver (Canada) 1996 [LNCS 1084], Houston (USA) 1998 [LNCS 1412], Graz (Austria) 1999 [LNCS 1610], Utrecht (The Netherlands) 2001 [LNCS 2081], Boston (USA) 2002 [LNCS 2337], New York (USA) 2004 [LNCS 2986], Berlin (Germany) 2005 [LNCS 3509], and Ithaca (USA) 2007 [LNCS 4168]. The c- ference is not held in the years when the International Symposium of the Ma- ematical Programming Society takes place. 496 pp. Englisch.