springer berlin heidelberg jan 2010 (33 results)

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This well structured, intriguing and motivating book presents the basic ideas and understanding of control, signals and systems for readers interested in engineering and science. Through a series of examples that are regularly revisited from different perspectives, the book explores both the theory and the practice of control.'Feedback and Control for Everyone' is indeed intended for everyone, but more specifically everyone interested in getting a feel for the role control and feedback play in our environment. Control and feedback are pervasive and are literally found everywhere in our engineered or biological environment. The book focuses on the main ideas and opens the scientific mind to feedback, control and systems dynamics. The exposition of ideas does not assume any mathematical knowledge beyond what typically is taught at an intermediate mathematics level at high school. Appealing to examples and intuition, the authors guide the reader to the essential ingredients todescribe, analyze and synthesize successfully feedback. Each chapter ends with comments and references that enable the interested reader to explore the exposed subject material in a deeper manner. 'Feedback and Control for Everyone' is written for:\* understanding basic concepts on systems dynamics and control\* realizing the strong connection between technical and human/social dynamics\* motivating further reading and study about control systems\* showing the power of abstraction to infer properties of complex systems based on simplified mathematical models\* emphasizing the interplay between communication, computers and control in this Digital Era\* creating bridges among different sciences and technologies such as engineering, physics, biology, biochemistry, or systems dynamics.Credits: the Cover Illustration and Heading chapters were designed by Arturo Mora(cut-out.es) 340 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume, published in honor of Egon Börger, contains 14 papers from a Dagstuhl Seminar, which was organized as a 'Festkolloquium' on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume covers a wide range of applied research, spanning from theoretical and methodological foundations to practical applications of Abstract State Machines, B, and beyond, emphasizing universal methods and tools that, regardless of their applicational orientation, are still committed to the ideal of mathematical rigor.In particular, the papers address the following central topics: methodological foundations of requirements specification and verification, characterization of specification languages and their logical foundations, advanced tool environments and systematic integration of tools, machine assisted validation and verification, distributed algorithms and concurrent protocols, novel applications in public safety, security and privacy, industrial case studies and experience reports, and the role of formal methods in computer science education. 256 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In a dynamic computing environment, such as the Grid, resource management plays a crucial role for making distributed resources available on-demand to anyone from anywhere at any time without undermining the resource autonomy; this becomes an art when dealing with heterogeneous resources distributed under multiple trust domains spanning across the Internet. Today Grid execution environments provide abstract workflow descriptions that need a dynamic mapping to actual deployments; this further accentuates the importance of resource management in the Grid.This monograph renders boundaries of the Grid resource management, identifies research challenges and proposes new solutions with innovative techniques for on-demand provisioning, automatic deployments, dynamic synthesis, negotiation-based advance reservation and capacity planning of Grid resources. The Grid capacity planning is performed with multi-constrained optimized resource allocations by modelling resource allocation as an on-line strip packing problem and introducing a new solution that optimizes resource utilization and QoS while generating contention-free solutions.On-demand resource provisioning becomes possible by simplifying abstract resource descriptions independent from the concrete installations. The book further explains the use of the semantic web technologies in the Grid to specify explicit definitions and unambiguous machine interpretable resource descriptions for intelligent resource matching and synthesis; the synthesis process generates new compound resources with aggregated capabilities and prowess. The newly introduced techniques haven been developed and integrated in ASKALON Grid application development and runtime environment, deployed in the Austrian Grid, and demonstrated through well performed experiments. 244 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -With great pleasure we would like to present the third volume of the journal Trans- tions on Edutainment. This journal, part of the Springer series Lecture Notes in C- puter Science, is devoted to research and development in the field of edutainment. Edutainment, also known as educational entertainment or entertainment-education, denotes all forms of entertainment designed to educate as well as to provide fun. This approach is motivated by the growing demands on individuals for life-long learning and the need to integrate effective learning opportunities throughout life. As such, edutainment has attracted increasing interest in the last few years. The first 12 articles of this issue represent a selection of outstanding contributions from Edutainment 2009, the 4th International Conference on E-Learning and Games held in Canada, in August 2009. The main purpose of the Edutainment conferences is the discussion, presentation, and information exchange of scientific and technological developments in the new community. These 12 papers cover mainly the topic of using games to stimulate learners' learning motivation, i. e. 288 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is our pleasure to welcome you to the proceedings of the Second International Symposium on Engineering Secure Software and Systems. This unique event aimed at bringing together researchersfrom softwareen- neering and security engineering, which might help to unite and further develop the two communities in this and future editions. The parallel technical spons- ships from the ACM SIGSAC (the ACM interest group in security) and ACM SIGSOF (the ACM interest group in software engineering) is a clear sign of the importance of this inter-disciplinary research area and its potential. The di culty of building secure software systems is no longer focused on mastering security technology such as cryptography or access control models. Other important factors include the complexity of modern networked software systems, the unpredictability of practical development life cycles, the intertw- ing of and trade-o between functionality, security and other qualities, the d- culty of dealing with human factors, and so forth. Over the last years, an entire research domain has been building up around these problems. The conference program included two major keynotes from Any Gordon (Microsoft Research Cambridge) on the practical veri cation of security pro- cols implementation and Angela Sasse (University College London) on security usability and an interesting blend of research, industry and idea papers. 256 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ISDF 2009, the First International Conference on Information Security and Digital Forensics, was held at City University London during September 7-8, 2009. The c- ference was organized as a meeting point for leading national and international - perts of information security and digital forensics. The conference was rewarding in many ways; ISDF 2009 was an exciting and vibrant event, with 4 keynote talks, 25 invited talks and 18 full-paper presentations and those attending had the opportunity to meet and talk with many distinguished people who are responsible for shaping the area of information security. This conference was organized as part of two major research projects funded by the UK Engineering and Physical Sciences Research Council in the areas of Security and Digital Forensics. I would like to thank all the people who contributed to the technical program. The most apparent of these are the Indian delegates who all accepted our invite to give presentations at this conference. Less apparent perhaps is the terrific work of the members of the Technical Program Committee, especially in reviewing the papers, which is a critical and time-consuming task. I would like to thank Raj Rajarajan (City University London) for making the idea of the ISDF 2009 conference a reality with his hard work. Last but not least, I would like to thank all the authors who submitted papers, making the conference possible, and the authors of accepted papers for their cooperation. Dasun Weerasinghe 196 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations and applications. This volume provides further evidence of the number of research streams that were either directly or indirectly initiated by the seminal work on rough 1 sets by Zdzis law Pawlak (1926-2006) . Evidence of the growth of various rough 2 set-based research streams can be found in the rough set database . Thisvolumecontainsarticlesintroducingadvancesinthefoundationsand - plicationsofroughsets.These advancesinclude: calculusofattribute-value pairs useful in mining numerical data, de nability and coalescence of approximations, variable consistency generalization approach to bagging controlled by measures of consistency, classical and dominance-based rough sets in the search for genes, judgementaboutsatis abilityunderincompleteinformation,irreducibledescr- tive sets of attributes for information systems useful in the design of concurrent data models, computational theory of perceptions (CTP) and its characteristics and the relation with fuzzy-granulation, methods and algorithms of the Net- TRS system, a recursive version of the apriori algorithm designed for parallel processing, and decision table reduction method based on fuzzy rough sets. Theeditorsandauthorsofthisvolumeextendtheirgratitudetothereviewers of articles in this volume, Alfred Hofmann, Ursula Barth, Christine Reiss and the LNCS sta at Springer for their support in making this volume of the TRS possible. 200 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We welcome you to the First International Conference on Arts and Technology (ArtsIT 2009), hosted by CSIE of the National Ilan University and co-organized by the National Science Council, ICST, College of EECS at National Ilan University, Software Simulation Society in Taiwan, ISAC, TCA, NCHC, CREATE-NET, and Institute for Information Industry. ArtsIT2009 was held in Yilan, Taiwan, during September 24-25, 2009. The conference comprised the following themes: - New Media Technologies (Evolutionary systems that create arts or display art works, such as tracking sensors, wearable computers, mixed reality, etc. ) - Software Art (Image processing or computer graphics techniques that create arts, including algorithmic art, mathematic art, advanced modeling and rend- ing, etc. ) - Animation Techniques (2D or 3D computer animations, AI-based animations, etc. ) - Multimedia (Integration of different media, such as virtual reality systems, audio, performing arts, etc. ) - Interactive Methods (Vision-based tracking and recognition, interactive art, etc. ) The conference program started with an opening ceremony, followed by three keynote speeches and four technical sessions distributed over a period of two days. Two poster sessions, one hour each, were scheduled before the afternoon oral sessions. An Int- active Arts Exhibition was held in conjunction with ArtsIT 2009. Twelve well-known digital arts teams from Taiwan exhibited 15 artworks in this event, including 10 int- active installation arts, 4 video arts, and 1 digital print. The conference received around 50 submissions from 15 different countries. 308 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -WALCOM 2010, the 4th International Workshop on Algorithms and Com- tation, held during February 10 12, 2010 in Dhaka, Bangladesh, covered the areas of approximation algorithms, combinatorial algorithms, combinatorial - timization, computational Biology, computational geometry, data structures, graph algorithms, graph drawing, parallel and distributed algorithms, par- eterized complexity, network optimization, online algorithms, randomized - gorithms and string algorithms. The workshop was organized jointly by the Bangladesh Academy of Sciences (BAS) and Bangladesh University of En- neering and Technology (BUET), and the quality of the workshop was ensured by a ProgramCommittee comprising 25 researchersof internationalrepute from Australia,Bangladesh,Canada,France,Germany,Greece,HongKong,Hungary, India, Italy, Japan, Switzerland, Taiwan, UK and USA. Thisvolumecontains23contributedpapersandfourinvitedpaperspresented atWALCOM2010.TheCallforPapersreceivedanenthusiasticresponse,resu- ing in 60 submissions from 21 countries. The Program Committee thoroughly reviewed each of the 60 submissions and accepted 23 of them for presentation in the workshop after elaborate discussions on review reports. The image of the workshopwas highly enhanced by the four invited talks of eminent and we- knownresearchersTetsuoAsanoofJAIST,Japan,SubirKumarGhoshofTIFR, India, Giuseppe Liotta of University of Perugia, Italy and J anos Pach of EPFL Lausanne, Switzerland and R enyi Institute Budapest, Hungary. 320 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -To celebrate its 5th edition, the International Symposium on Biomedical S- ulation (ISBMS) was organized in conjunction with the International Meeting on Simulation in Healthcare (IMSH). IMSH is the premier simulation in heal- care meeting and largestsingle gathering of clinicians, educators,administrators and other simulation stakeholders. This unique link-up aimed at bringing - gether simulation users with those involved in its scienti c and technological developments in order to foster closer interaction. The joint meeting was held in Phoenix, Arizona during January 23 24, 2010. Biomedical modeling and simulation are at the center stage of worldwide e orts to understand and replicate the behavior and function of the human organism. The Physiome Project and Virtual Physiological Human (VPH) i- tiative aim to develop advanced computational models that will facilitate the understanding of the integrative function of cells, organs, and organisms, with the ultimate goal of delivering truly personalized medicine. At the same time, progressinreal-timebiomedicalmodeling andsimulationhasenabledmorec- plex, interactive simulations, o ering the possibility of highly sophisticated task trainers,proceduralandpatientsimulatorsto supportmedicaltrainingandsafer clinical practice. It is in this contextthat ISBMS seeks to act as an international forum for researchers in this increasingly important area to share their latest work, discuss future trends and forge new collaborations. 208 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 10th International Workshop on Information Security Applications (WISA 2009) was held in Busan, Korea during August 25-27, 2009. The workshop was hosted by the Korea Institute of Information Security and Cryptology (KIISC), supported by the Electronics and Telecommunications Research Institute (ETRI) and the Korea Internet and Security Agency (KISA), sponsored by the Ministry of Public Administration and Security (MoPAS) and the Korea Communications Commission (KCC), financially sponsored by the ST. Ltd. The aim of the workshop was to serve as a forum for presenting new research and experimental results in the area of information security applications from academic communities as well as from industry. The workshop program covered a wide range of security aspects, from cryptography to systems and network security and experimental work as well. It was our great pleasure and honor to serve as the Program Committee Co-chairs of WISA2009. This year, too, the proceedings of the workshop were published in the LNCS series of Springer. The WISA 2009 Program Committee received 79 papers form 16 countries. This year the submissions were exceptionally strong, and the committee accepted 27 papers for the full paper presentation track. All the papers were carefully evaluated through blind peer-review by at least three members of the Program Comm- tee. We would like to say that acceptance is a great achievement since the selection process was highly competitive, and many good papers were not accepted. 404 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First ICST International Workshop on Security in Emerging Wireless Commu- cation and Networking Systems (SEWCN 2009) was held in Athens, Greece, Sept- ber 14, in conjunction with SecureComm 2009. SEWCN 2009 was sponsored by the Institute for Computer Sciences, Social-Informatics and Telecommunications En- neering (ICST). The Workshop Chairs were Qijun Gu from Texas State University- San Marcos, USA, and Wanyu Zang from Western Illinois University, USA. The workshop invited 20 researchers from academia and industry around the world in the areas of networking and security to form the Program Committee. The workshop received nine submissions and each submission received two or three double-blind reviews. The review process started on July 6 and ended on July 27. In all, 21 reviews were received. Based on the review scores and comments, seven papers with average score 0 or better were accepted for presentation and inclusion in the workshop proceedings. The workshop emphasized new ideas for secure architectures and protocols to - hance the emerging wireless systems. The accepted papers cover topics on applied cryptography, key management, vulnerability analysis, privacy, authentication, and intrusion detection for emerging wireless systems. The papers were presented in two sessions, chaired by Nikolaos Preve from the National Technical University of A- ens, Greece, and Theofilos Chrysikos from the University of Patras, Greece. 89 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 11th International Conference on Veri cation, Model Checking, and Abstract Interpretation (VMCAI 2010), held in Madrid, Spain, January 17-19, 2010. VMCAI 2010 was the 11th in a series of meetings. Previous meetings were held in Port Je erson (1997), Pisa (1998), Venice (2002), New York (2003), Venice(2004),Paris(2005),Charleston(2006),Nice(2007),SanFrancisco(2008), and Savannah (2009). VMCAI centers on state-of-the-art research relevant to analysis of programs and systems and drawn from three research communities: veri cation, model checking, and abstract interpretation. A goal is to facilitate interaction, cro- fertilization, and the advance of hybrid methods that combine two or all three areas. Topics covered by VMCAI include program veri cation, program cert- cation, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization. The Program Committee selected 21 papers out of 57 submissions based on anonymous reviews and discussions in an electronic Program Committee me- ing. The principal selection criteria were relevance and quality. 397 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 234 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present volume contains the proceedings of the Third IPM International Conference on Fundamentals of Software Engineering (FSEN), Kish, Iran, April 15-17, 2009. FSEN 2009 was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2. This conference brought together around 100 researchers and practitioners working on di erent aspects of formal methods in software engineering from 15 di erentcountries.ThetopicsofinterestinFSENspanoverallaspects offormal methods,especiallythoserelatedtoadvancingtheapplicationofformalmethods in software industry and promoting their integration with practical engineering techniques. The Program Committee of FSEN 2009 consisted of top researchers from 24 di erent academic institutes in 11 countries. We received a total of 88 submissions from 25 countries out of which the Program Committee selected 22 as regular papers, 5 as short papers, and 7 as poster presentations in the conferenceprogram.Eachsubmissionwasreviewedbyatleastthreeindependent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the conference topics. This volume contains the revised versions of the regular and short papers presented at FSEN 2009. Three distinguished keynote speakers delivered their lectures at FSEN 2009 on models of computation: automata and processes (Jos Baeten), veri cation, performanceanalysisandcontrollersynthesisforreal-timesystems(KimLarsen), and theory and tool for component-based model-driven development in rCOS (Zhiming Liu). Our invited speakers also contributed to this volume by s- mitting their keynote papers, which were accepted after they were reviewed by independent referees. 471 pp. Englisch.

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 Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents. 297 pp. Englisch.

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 6th International Workshop on Agents and Peer-to-Peer Computing, AP2PC 2007, held in Honululu, Hawaii, USA, in May 2007, in the context of the 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2007. The 8 revised full papers presented together with 1 summary paper were carefully reviewed and selected from 14 initial submissions; they are fully revised to incorporate reviewers' comments and discussions at the workshop. The volume is organized in topical sections on agent and peer trust, performance and testing, grid and distributed computing, as well as location and search services. 123 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 35th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2009) took place at Montpellier (France), June 24-26 2009. About 80 computer scientists from all over the world (Australia, Belgium, Canada, China, Czech Republic, France, Germany, Greece, Israel, Japan, Korea, The Netherlands, Norway, Spain, UK, USA) attended the conference. Since1975,ithastakenplace20timesinGermany,fourtimesinTheNeth- lands, twice in Austria, as well as once in Italy, Slovakia, Switzerland, the Czech Republic, France, Norway, and the UK. The conference aims at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computer science, or by extracting new problems from appli- tions. The goal is to present recent research results and to identify and explore directions of future research. The conference is well-balanced with respect to established researchers and young scientists. There were 69 submissions. Each submission was reviewed by at least three, and on average four, Program Committee members. The Committee decided to accept 28 papers. Due to the competition and the limited schedule, some good papers could not be accepted. Theprogramalsoincludedexcellentinvitedtalks:onegivenbyDanielKràlon 'AlgorithmsforClassesofGraphswithBoundedExpansion,' the otherbyDavid Eppsteinon'Graph-TheoreticSolutionstoComputationalGeometryProblems.' The proceedings contains two survey papers on these topics. 353 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 269 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First International ICST Conference on Sensor Systems and Software (S-cube 2009) was held during 7-8 September in Pisa, Italy. This new international conference was dedicated to addressing the research challenges facing system dev- opment and software support for systems based on wireless sensor networks (WSNs) that have the potential to impact society in many ways. Currently, wireless sensor networks introduce innovative and interesting application scenarios that may support a large amount of different applications including environmental monitoring, disaster prevention, building automation, object tracking, nuclear reactor control, fire det- tion, agriculture, healthcare, and traffic monitoring. The widespread acceptance of these new services can be improved by the definition of frameworks and architectures that have the potential to radically simplify software development for wireless sensor network-based applications. The aim of these new architectures is to support flexible, scalable programming of applications based on adaptive middleware. As a con- quence, WSNs require novel programming paradigms and technologies. Moreover, the design of new complex systems, characterized by the interaction of different and heterogeneous resources, will allow the development of innovative applications that meet high-performance goals. Hence, WSNs require contributions from many fields such as embedded systems, distributed systems, data management, system security and applications. The conference places emphasis on layers well above the traditional MAC and routing and transport layer protocols. 289 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the First International ICST Conference on Digital Business (DigiBiz 2009), hosted by City University London in London, UK. This annual event had the main objective to stimulate and disseminate research results and experimentation on future Digital Business to a wider multidisciplinary forum that would allow the participants to cross the boundaries between research and business. The scientific offering in e-business, e-commerce, and ICT in general is quite broad and spans many different research themes, involving several communities and me- odologies. The growth and dynamic nature of these research themes pose both ch- lenges and opportunities. The challenges are in having scientists and practitioners talk to each other: despite the fact that they work on similar problems they often use very different languages in terms of research tools and approaches. The opportunities on the other hand arise when scientists and practitioners engage in multidisciplinary d- cussions leading to new ideas, projects and products. 185 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Workshop on Parameterized and Exact Computation (IWPEC) is an - ternational workshop series that covers research in all aspects of parameterized and exact algorithms and complexity, and especially encourages the study of parameterized and exact computations for real-world applications and algori- mic engineering. The goal of the workshop is to present recent research results, including signi cant work-in-progress,and to identify and explore directions for future research. IWPEC2009wasthefourthworkshopintheseries,heldinCopenhagen,D- mark, during September 10-11, 2009. The workshop was part of ALGO 2009, which also hosted the 17th European Symposium on Algorithms (ESA 2009), the 9th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2009), and the 7th Workshop on Appr- imation and Online Algorithms (WAOA 2009). Three previous meetings of the IWPEC series were held in Bergen, Norway, 2004, Zu rich, Switzerland, 2006, and Victoria, Canada, 2008. At IWPEC 2009, we had two plenary speakers,Noga Alon (Tel Aviv Univ- sity, Israel) and Hans Bodlaender (Utrecht University, The Netherlands), giving 50-minutetalkseach.ProfessorAlonspokeon ColorCoding,BalancedHashing andApproximateCounting, andProfessorBodlaenderon Kernelization:New Upper and Lower Bound Techniques. Their respective abstracts accompanying the talks are included in these proceedings. InresponsetotheCallforPapers,52papersweresubmitted.Eachsubmission was reviewed by at least three reviewers (most by at least four). The reviewers were either Program Committee members or invited external reviewers. The ProgramCommittee held electronic meetings using the EasyChair system, went throughthoroughdiscussions,andselected25ofthesubmissionsforpresentation at the workshop and inclusion in this LNCS volume. 335 pp. Englisch.

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 10th International Workshop on Membrane Computing, WMC 2009, held in Curtea de Arges, Romania, during August 24 to 27, 2009 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society.The 22 revised full papers presented together with 10 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues; the invited lectures present fundamental contributions to membrane computing; thus highlighting important directions of current research in this area. 487 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The First International Conference on Digital Forensics and Cyber Crime (ICDF2C) was held in Albany from September 30 to October 2, 2009. The field of digital for- sics is growing rapidly with implications for several fields including law enforcement, network security, disaster recovery and accounting. This is a multidisciplinary area that requires expertise in several areas including, law, computer science, finance, networking, data mining, and criminal justice. This conference brought together pr- titioners and researchers from diverse fields providing opportunities for business and intellectual engagement among attendees. All the conference sessions were very well attended with vigorous discussions and strong audience interest. The conference featured an excellent program comprising high-quality paper pr- entations and invited speakers from all around the world. The first day featured a plenary session including George Philip, President of University at Albany, Harry Corbit, Suprintendent of New York State Police, and William Pelgrin, Director of New York State Office of Cyber Security and Critical Infrastructure Coordination. An outstanding keynote was provided by Miklos Vasarhelyi on continuous auditing. This was followed by two parallel sessions on accounting fraud /financial crime, and m- timedia and handheld forensics. The second day of the conference featured a mesm- izing keynote talk by Nitesh Dhanjani from Ernst and Young that focused on psyc- logical profiling based on open source intelligence from social network analysis. The third day of the conference featured both basic and advanced tutorials on open source forensics. 171 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In dem Lehrbuch stellt der Autor grundlegende methodische Ansätze für den modellbasierten Systementwurf von mechatronischen Systemen in systematischer und geschlossener Form dar. Der Methodenkanon umfasst domänenneutrale Methoden zur Modellbildung und Verhaltensanalyse, der Modellkanon analytische Verhaltensmodelle für wichtige physikalisch-technische Domänen der mechatronischen Funktionsrealisierung. Mehr als 50 durchgerechnete Entwurfsbeispiele demonstrieren die dargestellten Methoden und Konzepte und unterstützen das Selbststudium. 842 pp. Deutsch.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23 29,2010 in the Hotel Bed richov, Spindler uv Mlyn, of the Krkono se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects,suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) Principles of Software Construction (Chair: Bernhard Rumpe) Data, Knowledge, and Intelligent Systems (Chair: Jaroslav Pokorn y) Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma ria Bielikov a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti c results and on their work in progress. 800 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics.This edition of his collected papers will consist of two volumes. Besides providing a biography, the present Volume I covers set theory, the foundations of mathematics, and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations of Homer's Odyssey. Volume II will contain his work in the calculus of variations, applied mathematics, and physics.The papers are each presented in their original language together with an English translation, the versions facing each other on opposite pages. Each paper or coherent group of papers is preceded by an introductory note provided by an acknowledged expert in the field which comments on the historical background, motivations, accomplishments, and influence. 680 pp. Englisch, Deutsch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It was the end of 2005 when our employer, a major European Investment Bank, gave our team the mandate to compute in an accurate way the counterparty credit exposure arising from exotic derivatives traded by the rm. As often happens, - posure of products such as, for example, exotic interest-rate, or credit derivatives were modelled under conservative assumptions and credit of cers were struggling to assess the real risk. We started with a few models written on spreadsheets, t- lored to very speci c instruments, and soon it became clear that a more systematic approach was needed. So we wrote some tools that could be used for some classes of relatively simple products. A couple of years later we are now in the process of building a system that will be used to trade and hedge counterparty credit ex- sure in an accurate way, for all types of derivative products in all asset classes. We had to overcome problems ranging from modelling in a consistent manner different products booked in different systems and building the appropriate architecture that would allow the computation and pricing of credit exposure for all types of pr- ucts, to nding the appropriate management structure across Business, Risk, and IT divisions of the rm. In this book we describe some of our experience in modelling counterparty credit exposure, computing credit valuation adjustments, determining appropriate hedges, and building a reliable system. 276 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The last 10 years has seen explosive expansion of the number of centres performing cardiov- cular magnetic resonance (CMR) imaging. The majority of this expansion has been in the eld of adult ischaemic imaging, but congenital heart disease remains one of the main indications for CMR. Importantly, the greatly improved survival of patients with congenital heart disease gives us a burgeoning adult population living with the sequelae of the disease (grown-up c- genital heart disease - GUCH). Without previous experience or formal training, the interpretation of CMR images of patients with congenital heart disease can be dif cult. The main aim of this book is to create a portable resource that offers ef cient access to high-quality MR (and where appropriate, CT) images of the common congenital and structural heart abnormalities. We hope that by prov- ing key images for each condition and a clear interpretation of the MR appearances, we will improve the reader's understanding of the conditions, facilitate their interpretation of images and optimise the planning of the imaging protocols during their own practice of congenital CMR. As with any publication from a single institution, the contents of this book represent our own practice. We have not written a de nitive or exhaustive description of the conditions. 164 pp. Englisch.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The homogenization of single phase gases or liquids with chemical reactive components by mixing belongs to one of the oldest basic operations applied in chemical engineering. The mixing process is used as an essential step in nearly all processes of the chemical industry as well as the pharmaceutical and food ind- tries. Recent experimentally and theoretically based results from research work lead to a fairly good prediction of the velocity fields in differend kinds of mixers, where as predictions of simultaneously proceeding homogeneous chemical re- tions, are still not reliable in a similar way. Therefore the design of equipment for mixing processes is still derived from measurements of the so called 'mixing time' which is related to the applied methods of measurement and the special - sign of the test equipment itself. The cooperation of 17 research groups was stimulated by improved modern methods for experimental research and visualization, for simulations and nume- cal calculations of mixing and chemical reactions in micro and macro scale of time and local coordinates. The research work was financed for a six years period within the recently finished Priority Program of the German Research Foundation (DFG) named 'Analysis, modeling and numerical prediction of flow-mixig with and without chemical reactions (SPP 1141)'. The objective of the investigations was to improve the prediction of efficiencies and selectivities of chemical re- tions on macroscopic scale. 360 pp. Englisch.