springer berlin heidelberg springer berlin heidelberg jun 2013 (332 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Das Schreiben von wissenschaftlichen Texten geht den einen leicht von der Hand, doch für viele andere ist es eher ein Fluch und sie haben Angst, an der Abschlussarbeit zu scheitern. An diese Studierende wendet sich das Buch von Gabriele Bensberg und beginnt gleich mit einer verblüffenden Erkenntnis: Viele sagen ¿Ich kann nicht schreiben¿ ¿ und tun es doch ständig: via Facebook, Twitter, in Blogs oder per SMS. Die Autorin zeigt, wie Studierende darauf aufbauen und die Brücke zum wissenschaftlichen Schreiben schlagen können. Das Buch ist zum Einen ein ¿Kochbuch¿, das Handlungsanleitungen und Problemlösungen in allen Phasen einer wissenschaftlichen Arbeit bietet, garniert mit Checklisten, Merksätzen und Fragebögen. Darüber hinaus ist es ein psychologischer Begleiter mit Mut machenden Beispielen und Ratschlägen, wie man seine generelle Schreibunlust bekämpfen kann. Und wer will, kann weiterführende Informationen über die Hintergründe von Schreibproblemen erhalten. Die Autorin nimmt alserfahrene Studierendenberaterin und Therapeutin lebhaft Anteil an den Nöten ihrer Leserinnen und Leser und will diese mit Rat und Tat durch die Schreibphase begleiten. Doch ganz besonders glücklich wäre sie, wenn der eine oder andere durch das Buch die Liebe zum Schreiben entdeckt und auch nach der Fertigstellung seines wissenschaftlichen Textes weiterschreibt¿Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch führt in die Simulation diskreter Prozesse ein. Typische Anwendungsbeispiele sind Fertigungsprozesse, Strassenverkehrssituationen, Menschenströme und Geschäftsprozesse. Der Autor vermittelt die grundlegende ereignisorientierte Simulation sowie deren programmiertechnische Realisierung. Anhand vieler Beispiele wird die Lösung spezieller Detailprobleme mit grundlegendem Charakter gezeigt. Die durch die Optimierung von Geschäftsprozessen entstandenen neuen Herausforderungen bezüglich der Simulation bilden einen Schwerpunkt der Darstellung, ein separater Teil ist den theoretischen Grundlagen gewidmet. Lernziel des Buches ist die Fähigkeit, diskrete Prozesse mit den passenden Mitteln zu modellieren und dazu eine Simulationssoftware zu entwerfen bzw. die Mechanismen bestehender Simulationssoftware so zu begreifen, dass sie gewinnbringend eingesetzt werden kann. Die wichtigen Programmstrukturen sind in Form von Pseudocode dargestellt und dadurch völlig unabhängig von einer Programmiersprache oder Spezialsoftware. Damit ist das Buch für eine breite Leserschaft geeignet.Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 252 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Die Theorie der Gewöhnlichen Differentialgleichungen ist ein grundlegendes und unverändert aktuelles Gebiet der Mathematik.Das vorliegende Buch führt nicht nur äußerst sorgfältig und umfassend in die Theorie ein, sondern vermittelt auch aufgrund der zahlreichen vollständig durchgerechneten Beispiele einen Einblick in deren Anwendungspraxis. Eine weitere Besonderheit ist der Brückenschlag zur Computeranwendung. Mit ausgefeilten Maple-Arbeitsblättern wird gezeigt, wie man mit dem Computer gestalten, Ideen vermitteln und eindrucksvoll visualisieren kann.So können auch rechnerisch anspruchsvollere Beispiele behandelt werden, als dies sonst üblich ist.Mit seinem reichhaltigen Material, dem klaren und präzisen Stil und der durchdachten didaktischen Konzeption ist das Buch bestens als Basis und Leitfaden für Studierende und Lehrende der Mathematik, Physik, Wirtschafts- wie auch Ingenieurwissenschaften geeignet, besonders auch in den Bachelor-Studiengängen.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 408 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware - Am Anfang des zweiten Teils des Grundkurses Analysis steht die Differenzialrechnung von mehreren Veränderlichen. Es werden alle klassischen Themen behandelt, einschließlich des Satzes über implizite Funktionen und der Bestimmung von Extremwerten unter Nebenbedingungen. Auch bei schwierigeren oder längeren Beweisen wird großer Wert auf eine klare und verständliche Darstellung gelegt.Das Buch wendet sich an Studierende in Mathematik und Physik, aber auch an Ingenieure mit großem Bedarf an Mathematik. Durch die zahlreichen Illustrationen, Beispiele und Aufgaben ist es ideal geeignet zum Selbststudium, als Begleitlektüre und ganz besonders auch zur Prüfungsvorbereitung.Die zweite Auflage ist inhaltlich und didaktisch überarbeitet und um ein eigenständiges Kapitel zu Differenzialgleichungen ergänzt.

Taschenbuch. Zustand: Neu. Neuware -Sätze und ihre Beweise bilden das Herz der Mathematik.Diese Sammlung bezaubernder Beweise, verblüffender Argumente und überzeugender bildlicher Darstellungen lädt den Leser ein, sich an der Schönheit der Mathematik zu erfreuen, seine Entdeckungen mit anderen zu teilen und bei dem Finden neuer Beweise mitzumachen.Das Buch umfasst folgende Themen: natürliche Zahlen, besondere reelle Zahlen, Punkte in der Ebene, Dreiecke, Quadrate, andere Vielecke, Kurven, Ungleichungen, ebene Parkettierungen, Origami, Beweise mit Färbungen, dreidimensionale Geometrie, usw.Jedes Kapitel endet mit einigen Aufgaben, die den Leser in die Kunst des Auffindens von bezaubernden Beweisen einbezieht. Es gibt insgesamt über 130 solcher Aufgaben.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 348 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeForeword.- Contents.- Introduction.- Preliminaries.- Self-similarity.- Asymptotic self-similarity.- Statistics.- Simulations.- A Appendix.- B Appendix.- References.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Während der Aufbau und Betrieb von Internetinfrastrukturen zur Zeit der Entstehung des Internets in erster Linie von öffentlichen Institutionen vorangetrieben wurde, wird dieser Bereich heute längst von privatwirtschaftlichen Unternehmen beherrscht. Dieses Buch beschreibt Dienste, Wertschöpfungsprozesse und Wettbewerbsstrategien zur Erbringung des Datentransports im Internet aus betriebswirtschaftlicher Sicht. Es werden gleichermaßen Internetzugangsdienste zur Anbindung von Endkunden, Transitdienste zum Datenaustausch zwischen Netzbetreibern, Dienste zur Kapazitätsbereitstellung im Kernnetz und Dienste zur Distribution digitaler Inhalte und Anwendungen diskutiert. Durch die Darstellung der Teilmärkte, die den Datentransport im Internet adressieren, wird dem Leser ein umfassender Einblick in die Internetwirtschaft geboten, ohne dass hierzu ein tiefer gehendes technisches Verständnis vorausgesetzt wird. Darüber hinaus werden strategische Herausforderungen bei der Bereitstellung digitaler Inhalte und Anwendungen vorgestellt, die zukünftige Entwicklungen in der Internetwirtschaft maßgeblich beeinflussen.Springer Gabler in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 204 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -'Nichtparametrische Datenanalyse' enthält eine umfassende Darstellung von nichtparametrischen Methoden zur statistischen Modellierung und Auswertung von Experimenten, wobei viele seit langem bekannte Verfahren in einer neuartigen Sichtweise beschrieben werden. Diese gestattet nicht nur die einheitliche Behandlung von metrischen Daten mit stetigen sowie beliebig unstetigen Verteilungen, sondern auch die Analyse von ordinalen und sogar dichotomen Daten mit den gleichen Methoden. Die vorgestellte Modellierungstechnik erlaubt eine elegante Verallgemeinerung der bekannten Rangverfahren auf vielfältige Versuchsanlagen. Besonders hervorzuheben sind die ausgezeichnete Darstellung des nichtparametrischen Behrens-Fisher Problems und die anschauliche Einführung in die Analyse mehrfaktorieller Versuchsanlagen mit Hilfe der Matrizentechnik. Zahlreiche Beispiele zur Durchführung von Berechnungen mit SAS und 80 Übungsaufgaben runden die Darstellung des Stoffes ab. Die zweite Auflage wurde gründlich durchgesehen und wo nötig korrigiert und ergänzt. Die zweite Auflage wurde gründlich durchgesehen und wo nötig korrigiert und ergänzt.Springer Spektrum in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 304 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Dieses Buch ist eine Darstellung des Mathematikstoffs für Physiker, die etwa einem vierstündigen Vorlesungsprogramm von vier Semestern entspricht. Darüber hinaus enthält es ein weiterführendes Kapitel über unbeschränkte Operatoren, wie sie in der Quantenmechanik auftreten. Das Buch umfaßt neben linearer Algebra, Funktionentheorie und klassischen Gebieten auch Distributionen, Anfangs-, Randwert- und Anfangsrandwertprobleme für Differentialgleichungen und eine Einführung in die Funktionalanalysis. Ein Ziel ist es, auch neuere Methoden der Mathematik, die in die Physik Eingang gefunden haben, vorzustellen. So werden der Kalkül der Differentialformen und seine Anwendungen, Distributionen, Fundamentallösungen von Differentialgleichungen, Hilbert-Räume und Operatoren hier behandelt. Zahlreiche Erläuterungen, Beispiele sowie Übungsaufgaben und ihre Lösungen unterstützen die Lektüre und ergänzen den Text. 588 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Die Informations- und Kommunikationstechnik (IT) befindet sich in der gravierendsten Umbruchsituation seit mehr als 25 Jahren. Aktuell sind die treibenden Kräfte dieser Entwicklung ¿Cloud Computing¿ und ¿Social Mediä. Cloud Computing eröffnet Unternehmen erstmals die Möglichkeit, IT-Leistungen bedarfsgerecht und flexibel in Echtzeit als Service über das Internet zu beziehen. Der Einsatz von Social Media revolutioniert die Möglichkeiten der Kommunikation und Kollaboration. Letztlich führt dies zu einer veränderten Führungs- und Kollaborationsphilosophie.Mit den neuen Modellen und Ansätzen wächst die IT in die Rolle eines ¿Enablers¿ hinein, der Innovationen, neue Geschäftsmodelle und eine Differenzierung von Wettbewerbern ermöglicht ¿ unabhängig von der Größe eines Unternehmens und dem Markt, in dem es sich zu bewähren hat.Mittelständische Unternehmen scheinen das strategisch-innovative Potenzial der IT und die besonderen Einflüsse, die von den beiden IT-Megatrends auf das Business ausgehen, noch nicht hinreichend erkannt zu haben. Ziel des Buches ist es daher, die Brisanz der Entwicklungen bei den beiden wichtigsten zukunftsweisenden IT-Themen darzustellen und Unternehmen zu helfen, deren Bedeutung für das eigene Geschäft und die Aufrechterhaltung der Wettbewerbsfähigkeit richtig einzuschätzen. Den inhaltlichen Schwerpunkt bilden konkrete Handlungsempfehlungen zur effizienten und erfolgreichen Einführung von Cloud Computing, Social Media und anderer komplexer Business Software ¿ konsequent dargestellt aus der Perspektive des Managements.Springer Gabler in Springer Science + Business Media, Tiergartenstr. 15-17, 69121 Heidelberg 196 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeFinite Difference Methods For Mean Field Games.- An Introduction to the Theory of Viscosity Solutions for First-Order Hamilton-Jacobi Equations and Applications.- A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations.- Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 320 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents the various types of resonance effects on excitons, biexcitons and the local electronic centers (LEC) in solids, such as paramagnetic and paraelectric resonances on excitons, exciton acoustic resonance at intra- and interband transitions, radio-optical double resonance on excitons, hole-nuclear double resonance on localized biexcitons, ENDOR and acoustic ENDOR on LEC. The criteria for the generation of coherent photons, phonons and magnons by excitons are explained. The interactions of excitons and biexcitons with paramagnetic centers and nuclear spins, the indirect interaction between the PC through a field of excitons as well as the quasienergy spectrum of excitons and spin systems are discussed. It is proved that the interactionof paramagnetic centers with excitons increases the spin relaxation rate of paramagneticcenters in comparison with the case of their interaction with free carriers. The giant magneto-opticaleffects in semi-magnetic semiconductors are theoretically interpreted.In recent years, a new perspective has been added to these systems and their interactions: They can be used for storing and processing information in the form of quantum bits (qubits), the building blocks of quantum computers. The basics of this emerging technology are explained and examples of demonstration-type quantum computers based on localized spins in solids are discussed.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the refereed proceedings of the 16th International Conference on Business Information Systems, BIS 2013, held in Poznä, Poland, in June 2013. The theme of this year's conference was 'Business Applications on the Move,' reflecting the growing usage of mobile devices in business applications and its repercussions on business processes and information management.The 18 revised full papers were carefully reviewed and selected from 52 submissions. They are grouped into six sections on modern enterprises and mobile ERP, business models and BPM, linked data and ontologies, recommendations and content analysis, knowledge discovery, and IT frameworks and systems architecture.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeTechnical tracks: key management.- Hypervisor usage.- Information flow analysis.- Trust in network measurement.- Random number generators.- Case studies that evaluate trust-based methods in practice: simulation environments for trusted platform modules.- Trust in applications running on mobile devices.- Trust across platform. Socio-economic track: investigated, how trust is managed and perceived in online environments.-How the disclosure of personal data is perceived.- Some papers probed trust issues across generations of users and for groups with special needs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Peer-to-peer systems are now widely used and have become the focus ofattention for many researchers over the past decade. A number of algorithms for decentralized search, content distribution, and media streaming have been developed.This book provides fundamental concepts for the benchmarking of thosealgorithms in peer-to-peer systems. It also contains a collection ofcharacteristic benchmarking results. The chapters of the book have beenorganized in three topical sections on: Fundamentals of Benchmarking in P2P Systems; Synthetic Benchmarks for Peer-to-Peer Systems; and Application Benchmarks for Peer-to-Peer Systems. They are preceded by a detailed introduction to the subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeSimulation.- Neurosurgical interventions.- Ultrasound guided interventions.-Image guided interventions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 22nd International Conference on Inductive Logic Programming, ILP 2012, held in Dubrovnik, Croatia, in September 2012.The 18 revised full papers were carefully reviewed and selected from 41 submissions. The papers cover the following topics: propositionalization, logical foundations, implementations, probabilistic ILP, applications in robotics and biology, grammatical inference, spatial learning and graph-based learning.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Multi-Agent-Based Simulation, MABS 2012, held in Valencia, Spain, in June 2012. The 11 revised full papers presented were carefully selected from 35 submissions. The papers are organized in topical sections on modeling social interactions; cognition and agents behaviors; agents, games and finance; and methodologies and tools.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeAn Implementation of Jason in Erlang.- Conceptual Integration of Agents with WSDL and Restful Web Services.- Agent Programming Languages Requirements for Programming Autonomous Robots.- An Agent-Based Cognitive Robot Architecture.- A Programming Framework for Multi-agent Coordination of Robotic Ecologies.- Evaluation of a Conversation Management Toolkit for Multi Agent Programming.- Compact and Efficient Agent Messaging.- Query Caching in Agent Programming Languages.- Typing Multi-agent Programs in simpAL.- Learning to Improve Agent Behaviours in GOAL.- The Multi-Agent Programming Contest 2012.- Reimplementing a Multi-Agent System in Python.- Conquering Large Zones by Exploiting Task Allocation and Graph-Theoretical Algorithms.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013, held in Manheim, Germany in July 2013.The 19 revised research papers and 4 technical communications presented together with 2 invited talks and 1 tutorial talk were carefully reviewed and selected from 34 submissions. The scope of conference is decision making, planning, and intelligent agents, reasoning, machine learning, knowledge extraction and IR technologies, large-scale data management and reasoning on the web of data, data integration, dataspaces and ontology-based data access, non-standard reasoning, algorithms for distributed, parallelized, and scalable reasoning, and system descriptions and experimentation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeSearching and matching strings and more complicated patterns.- Trees, regular expressions, graphs, point sets, and arrays.- Non-trivial combinatorial properties of such structures.-Problems incomputational biology.- Data compression and data mining.- Coding.- Information retrieval.- Natural language processing.- Pattern recognition.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013.The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeQuantum, cellular, molecular, neural, DNA.- Membrane, and evolutionary computing.- Cellular automata.- Computation based on chaos and dynamical systems.- Massive parallel computation.- Collective intelligence.- Computation based on physical principles such as relativistic.- Optical, spatial, collision-based computing.- Amorphous computing.- Physarum computing.- Hypercomputation.- Fuzzy and rough computing.- Swarm intelligence.- Artificial immune systems.- Physics of computation.- Chemical computation.- Evolving hardware.- The computational nature of self-assembly, developmental processes, bacterial communication, and brain processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Transactions on Pattern Languages of Programming subline aims to publish papers on patterns and pattern languages as applied to software design, development, and use, throughout all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The primary focus of this LNCS Transactions subline is on patterns, pattern collections, and pattern languages themselves. The journal also includes reviews, survey articles, criticisms of patterns and pattern languages, as well as other research on patterns and pattern languages. This book, the third volume in the Transactions on Pattern Languages of Programming series, presents five papers that have been through a careful peer review process involving both pattern experts and domain experts. The papers present various pattern languages and a study of applying patterns and represent some of the best work that has been carried out in design patterns and pattern languages of programming over the last few years.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Optical SuperComputing, OSC 2012, held in Bertinoro, Italy, in July 2012. The 11 papers presented together with 11 invited papers were carefully reviewed and selected for inclusion in this book. Being an annual forum for research presentations on all facets of optical computing for solving hard computation tasks, OCS addresses the following topics of interest: design of optical computing devices, electro-optic devices for interacting with optical computing devices, practical implementations, analysis of existing devices and case studies, optical and laser switching technologies, applications and algorithms for optical devices, alpha particles, X-rays and nano-technologies for optical computing.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Typed Lambda Calculi and Applications, TLCA 2013, held in Eindhoven, The Netherlands, in June 2013 as part of RDP 2013, the 7th Federated Conference on Rewriting, Deduction, and Programming, together with the 24th International Conference on Rewriting Techniques and Applications, RTA 2013, and several related events.The 15 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers provide prevailing research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts addressing a wide variety of topics such as proof-theory, semantics, implementation, types, and programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 6th International Conference on Nonlinear Speech Processing, NOLISP 2013, held in Mons, Belgium, in June 2013.The 27 refereed papers included in this volume were carefully reviewed and selected from 34 submissions. The paper are organized in topical sections on speech and audio analysis; speech synthesis; speech-based biomedical applications; automatic speech recognition; and speech enhancement.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -InhaltsangabeIncremental Refinement Checking for Test Case Generation.- Time for Mutants - Model-Based Mutation Testing with Timed Automata.- Model-Based Testing for Verification Back-Ends.- A Metric for Testing Program Verification Systems.- Test Program Generation for a Microprocessor: A Case-Study.- A Declarative Debugger for Sequential Erlang Programs.- Initiating a Benchmark for UML and OCL Analysis Tools.- Speeding Up Algorithmic Debugging Using Balanced Execution Trees.- Generating Test Suites with Augmented Dynamic Symbolic Execution.- Divergent Quiescent Transition Systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume constitutes the proceedings of the 4th International United Information Systems Conference, UNISCON 2012, which was held in Yalta, Ukraine, during June 1-3, 2012. UNISCON 2012 was affiliated with the 8th International Conference on ICT in Education, Research, and Industrial Applications, ICTERI 2012.The 14 full papers, four short papers, and three extended abstracts presented with a keynote speech were carefully reviewed and selected from 96 submissions. The topical sections covered are: data management; applications; modeling and semantics; and social issues in information systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.