Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540734759ISBN 13: 9783540734758
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Das Computeralgebrasystem MuPAD ist eines der unentbehrlichen Werkzeuge für Lehre und Forschung in den Natur- und Ingenieurwissenschaften. Es überzeugt durch klare Strukturen, vielfältige Visualisierungsmöglichkeiten und effiziente Berechnungen. Diese kompakte, übersichtliche und elementare Einführung demonstriert anhand vieler Beispiele den Aufbau der Sprache und ihre wichtigsten Sprachelemente - basierend auf der MuPAD-Version Pro 4.0. 208 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540737367ISBN 13: 9783540737360
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ce livre présente les différents aspects et méthodes utilisés dans la résolution des problèmes d'optimisation stochastique avec en vue des applications plus spécifiques à la finance. Il expose graduellement les méthodes mathématiques en présentant d'abord les idées intuitives, puis en énonçant précisément les résultats avec des démonstrations complètes et détaillées. Chacune des méthodes est illustrée sur de nombreux exemples issus de la finance. 204 pp. Französisch.
Verlag: Berlin Springer Berlin Heidelberg Springer Sep 2007, 2007
ISBN 10: 3540331301ISBN 13: 9783540331308
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Sonstige Video. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Kreativen Professionals (u.a. Künstlern, Wissenschaftlern) eröffnen DVD, Blu-ray Disc und HD DVD neue Möglichkeiten. Wie können im Rahmen einer DVD-Produktion (Non)linearität und Interaktion genutzt werden Welche Rolle spielen Künstler und Designer, an welchen Sichtweisen und Produktionen können sie sich orientieren und welche Spezifikationen sind zu berücksichtigen Der Autor beschreibt nicht nur allgemeine Nutzungsmöglichkeiten einer DVD-Publikation, sondern stellt sie als eigenständiges Medium und in Kombination mit anderen Medien dar. Plus: zahlreiche Daten, Abbildungen auf beigefügter DVD-ROM/DVD-video bzw. zum Herunterladen im Web. 658 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540737715ISBN 13: 9783540737711
Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware -Aufgrund der Controllingorientierung liegt der Schwerpunkt auf der Grenzplankosten- und Deckungsbeitragsrechnung sowie der Prozesskostenrechnung, die konsistent in den Gesamtaufbau integriert ist. Der Stoff ist in zwölf Lernmodule strukturiert, deren Lernziele und Kontrollfragen das Selbststudium erleichtern. Einführende 'Intuitivbeispiele' sowie ein umfangreiches Glossar erleichtern gerade Anfängern das Verständnis. Ein Arbeitsbuch aus demselben Verlag und eine Internetseite ergänzen das Lehrbuch. 464 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540741488ISBN 13: 9783540741480
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die Dynamik der Märkte ist eine Herausforderung für die strategische Planung in Unternehmen. Die beteiligten Mitarbeiter benötigen konkrete Entscheidungshilfen. Fundiert und detailliert erläutert der Autor moderne strategische Planungsinstrumente und hilft Ihnen dabei, Planungsaufgaben erfolgreich zu bewältigen. Aus den Rezensionen: '. Thomas Ehrmann [hat] ein Buch geschrieben, das Theorie, Empirie und Anwendbarkeit in gelungener Weise miteinander verknüpft. . Unter den zahlreichen Werken . gebührt diesem Buch . ein besonderer Platz. Sehr empfehlenswerte Studienliteratur.' (in: Studium - Das Buchmagazin für Studenten, 2006, Issue 78, S. 12) 272 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540466606ISBN 13: 9783540466604
Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware -Dieses Lehrbuch umfaßt einen Kanon von Themen, der an vielen Universitäten unter dem Titel 'Diskrete Strukturen' fester Bestandteil des Informatik-Grundstudiums geworden ist. Bei der Darstellung wird neben der mathematischen Exaktheit besonderer Wert darauf gelegt, auch das intuitive Verständnis zu fördern, um so das Verstehen und Einordnen des Stoffs zu erleichtern. Unterstützt wird dies durch zahlreiche Beispiele und Aufgaben, vorwiegend aus dem Bereich der Informatik. Themen: Kombinatorik, Graphentheorie, Algorithmische Grundprinzipien, Rekursionsgleichungen, Algebra. 284 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540738681ISBN 13: 9783540738688
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Relative Preise beantworten in einer Marktwirtschaft die grundlegende Frage was, wie, in welcher Menge für wen produziert wird. Sie steuern die Entscheidungen von Haushalten und Unternehmen über Güterangebot und -nachfrage. Die Güter werden auf Märkten gehandelt, die mehr oder weniger gut funktionieren. Klar nachvollziehbar und methodisch einheitlich erläutern die Autoren die Haushalts- und die Unternehmenstheorie, die optimale Allokation bei vollständiger Konkurrenz und verschiedene Formen des unvollständigen Wettbewerbs. Die 4., verbesserte Auflage empfiehlt sich wegen ihres didaktisch geschickten Aufbaus vor allem für das Grundstudium. 368 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540736484ISBN 13: 9783540736486
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Ein kompaktes Buch über die wichtigsten mathematischen Methoden, die Studierende zum Verständnis der Einführungsvorlesung in die Theoretische Physik und verwandter theoretischer Fächer benötigen. Zahlreiche Übungsaufgaben und durchgerechnete Anwendungsbeispiele zu den Themen der Physik geben einen detaillierten Einblick. Sie fördern das Verständnis mathematischer Methoden und erläutern, inwiefern diese zur Formulierung und Lösung physikalischer Probleme nützlich sind. Zugleich regt das Buch zur eigenständigen Behandlung verwandter Probleme an. Es entstand aus Vorlesungen, die der Autor über viele Jahre für Studierende der Anfangssemester hielt. 328 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540735674ISBN 13: 9783540735670
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Stochastische Integralrechnung und Zeitreihenmodellierung spielen für Wirtschaftswissenschaftler eine entscheidende Rolle bei der Modellierung von Finanzmärkten und für die statistische Inferenz instationärer Zeitreihen. Die elementare und zugleich rigorose Einführung betrachtet beide Gebiete. Leser lernen so die modernen Methoden der mathematischen Finanzierungstheorie und der Zeitreihenökonometrie kennen. Am Ende eines jeden Kapitels finden sich über 100 Probleme und Übungsaufgaben samt kompletter Lösung, welche weitere technische Details und Beweise enthalten. Plus: anschauliche Beispiele und möglichst wenig mathematische Ableitungen. 344 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540717072ISBN 13: 9783540717072
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Stereochemie - Grundbegriffe richtet sich an Studenten, Lehrende und praktizierende Wissenschaftler der Chemie, Biochemie, Pharmazie, Medizin und Biologie, die sich mit dem Phänomen der Chiralität befassen. Neben einer genauen Formeldarstellung ist eine klare und eindeutige Terminologie zur Beschreibung der dreidimensionalen Strukturen und der daraus resultierenden Konsequenzen für Reaktionen oder Wirkstoff-Rezeptor-Wechselwirkungen unerläßlich. Das gilt umsomehr im zunehmenden interdisziplinären Austausch. Das vorliegende Buch eklärt alle wichtigen Begriffe der Stereochemie in lexikalischer Form, greift dabei widersprüchliche Terminologie auf und weist auf deren richtige Verwendung hin.In der zweiten Auflage wurden alle Abschnitte überarbeitet, einige wesentlich ergänzt und zwei neu aufgenommen sowie durchweg Beispiele und Graphiken hinzugefügt.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 354030150XISBN 13: 9783540301509
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Dieses Buch ist [.] eine hervorragende Einführung in Kombinatorik und Graphentheorie für Studienanfänger in Mathematik (und Informatik). [.] das Buch ist wegen des ungewöhnlichen und sehr attraktiven Stiles der Darstellung bemerkenswert. [.] Die Sprachform ist vorwiegend die eines Gespräches mit dem Leser, der dadurch in die Gedankengänge und Überlegungen des Autors hineingeführt und hineingezogen wird. Zum Beispiel werden bei einem Beweis zuerst die Grundidee oder die Zielsetzung genannt und erläutert, und auch im weiteren Verlauf wird immer wieder durch alternative Formulierungen das Verständnis vertieft oder ermöglicht. Dadurch werden im Leser adäquate Vorstellungen zu den formalen Schritten erzeugt, die dann wieder eigenständiges und kreatives Denken ermöglichen. Die Lektüre ist also anregend und sehr motivierend! Die Aufgaben sind dagegen ziemlich anspruchsvoll, werden aber ausführlich erläutert. [.]W. Dörfler (Klagenfurt), Internationale Mathematische Nachrichten, 2003, Vol 57, Issue 192, S. 46-47[Die Bereiche Kombinatorik und Graphentehorie] werden in all ihren Ausprägungen, reizvollen Einzelergebnissen und vielfältigen Anwendungen [.] ausführlich dargestellt. In gemächlicher Breite behandeln die Autoren ihre Themen, beweisen Kernsätze mehrfach auf unterschiedliche Weise und motivieren wichtige Theorien sehr anregend. Ihr selbstgestelltes Ziel, Freude und Genuss an mathematischem Denken zu vermitteln, dürften sie erreicht haben. Eine Vielzahl inhaltlich sehr reizvoller Aufgaben bereichern den Text; für die schwierigeren findet man in einem Schlusskapitel Lösungshilfen. In weiten Teilen reichen Schulkenntnisse für ein Verständnis aus. Der sehr gehaltvolle Band kann neben Studierenden daher auch bereits Schülern empfohlen werden.Wolfgang Grölz, ekz-Informationsdienst, ID 44/2002 - BA 12/2002 508 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540723633ISBN 13: 9783540723639
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Objektorientiertes Programmieren mit Java - in der neuen Version 6: Systematisch, gründlich und Schritt für Schritt erläutert der Autor die klassischen Programmierkonzepte, wie z.B. bedingte Anweisungen, Schleifen und Rekursion für vielfältige Anwendungen. Objekte und (generische) Klassen, Datenstrukturen, wichtige Algorithmen zum Suchen und Sortieren, einfache numerische Anwendungen, u.v.a. ergänzen diese 3., korrigierte und erweiterte Auflage. Zusätzlich beschreibt der Autor Modularisierungskonzepte und Methoden für die Programmierung mittels Threads, Exception-Handling, die Ein- und Ausgabe sowie für grafische Benutzerschnittstellen. 604 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 354072477XISBN 13: 9783540724773
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Der Autor entwickelt in seinem nun in dritter Auflage vorliegenden Werk einen zeitgemäßen Ansatz für den Informatikunterricht. In einem ersten, nicht fachspezifischen Teil werden zunächst wichtige lernpsychologische Grundlagen dargestellt. Anschließend werden allgemeine didaktische Prinzipien erläutert sowie konkrete praxisbezogene Hinweise zur Unterrichtsplanung und -durchführung vermittelt. Im zweiten Teil des Buches erfolgt die Begründung für ein Pflichtfach 'Informatik' vor dem Hintergrund einer differenzierten Informationsgesellschaft. Aus diesen Überlegungen wird ein Unterrichtsansatz abgeleitet, der über die Schulung reiner Programmierfertigkeiten hinaus grundlegende Prinzipien der Informationsverarbeitung in den Mittelpunkt des Konzeptes stellt. Im dritten Teil wird anschließend anhand konkret ausgearbeiteter Unterrichtspläne die Vermittlung dieser Lerninhalte beispielhaft vorgeführt. 304 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540754873ISBN 13: 9783540754879
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Discovery Science, DS 2007, held in Sendai, Japan, in October 2007, co-located with the 18th International Conference on Algorithmic Learning Theory, ALT 2007. The papers cover all issues in the area of development and analysis of methods for intelligent data analysis, knowledge discovery and machine learning, as well as their application to scientific knowledge discovery. 312 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540740473ISBN 13: 9783540740476
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Content-based multimedia retrieval is a challenging research field with many unsolved problems. This monograph details concepts and algorithms for robust and efficient information retrieval of two different types of multimedia data: waveform-based music data and human motion data. It first examines several approaches in music information retrieval, in particular general strategies as well as efficient algorithms. The book then introduces a general and unified framework for motion analysis, retrieval, and classification, highlighting the design of suitable features, the notion of similarity used to compare data streams, and data organization. 332 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540752935ISBN 13: 9783540752936
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security. 256 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540748520ISBN 13: 9783540748526
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Ubiquitous Computing, UbiComp 2007. It covers all current issues in ubiquitous, pervasive and handheld computing systems and their applications, including tools and techniques for designing, implementing, and evaluating ubiquitous computing systems; mobile, wireless, and ad hoc networking infrastructures for ubiquitous computing; privacy, security, and trust in ubiquitous and pervasive systems. 548 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540749330ISBN 13: 9783540749332
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 29th Symposium of the German Association for Pattern Recognition, DAGM 2007. It covers image filtering, restoration and segmentation, shape analysis and representation, categorization and detection, computer vision and image retrieval, machine learning and statistical data analysis, biomedical data analysis, motion analysis and tracking, stereo and structure from motion, as well as 3D view registration and surface modeling. 576 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540729119ISBN 13: 9783540729112
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The authors have here put together the first reference on all aspects of testing and validating service-oriented architectures. With contributions by leading academic and industrial research groups it offers detailed guidelines for the actual validation process. Readers will find a comprehensive survey of state-of-the-art approaches as well as techniques and tools to improve the quality of service-oriented applications. It also includes references and scenarios for future research and development. 488 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540751009ISBN 13: 9783540751007
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 26th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2007. The 33 revised full papers and 16 short papers are organized in topical sections on safety cases, impact of security on safety, fault tree analysis, safety analysis, security aspects, verification and validation, platform reliability, reliability evaluation, formal methods, static code analysis, safety-related architectures. 568 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540754954ISBN 13: 9783540754954
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 10th International Conference on Information Security Conference, ISC 2007. Coverage in the 28 revised full papers presented includes intrusion detection, digital rights management, symmetric-key cryptography, cryptographic protocols and schemes, identity-based schemes, cryptanalysis, DoS protection, software obfuscation, public-key cryptosystems, elliptic curves and applications and security issues in databases. 456 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540751319ISBN 13: 9783540751311
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the First European Conference on Software Architecture, ECSA 2007, held in Aranjuez, Spain. The 12 revised long papers presented together with four short papers cover description languages and metamodels, architecture-based code generation, run-time monitoring, requirements engineering, service-oriented architectures, aspect-oriented software architectures, ontology-based approaches, autonomic systems, middleware and web services. 360 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540741232ISBN 13: 9783540741237
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed post-proceedings of the 8th International Workshop on Information Hiding held in Alexandria, Virginia, in July 2006. Twenty-five carefully reviewed full papers are organized into topical sections covering watermarking, information hiding and networking, data hiding in unusual content, fundamentals, software protection, steganalysis, steganography, and subliminal channels. 400 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540751823ISBN 13: 9783540751823
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Conference on Business Process Management, BPM 2007, held in Brisbane, Australia, in September 2007. The papers are organized in topical sections on business process maturity and performance, business process modeling, case studies, compliance and change, process configuration and execution, formal foundations of BPM, business process mining, and semantic issues in BPM. 440 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540749837ISBN 13: 9783540749837
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France.The 17 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on model driven engineering, testing, language extensions, implementation and modeling experience and extensions--addressing all aspects of systems design and system design languages. 304 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540751416ISBN 13: 9783540751410
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 21st International Symposium on Distributed Computing, DISC 2007. The 32 revised full papers, presented together with abstracts of three invited papers and nine brief announcements of ongoing works, cover all current issues in distributed computing, including theory, design, analysis, implementation, and application of distributed systems and networks. Coverage ranges from theoretical topics to applications in various fields. 528 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540739378ISBN 13: 9783540739371
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website. 164 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540755136ISBN 13: 9783540755135
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held in Dortmund, Germany. The 14 revised full papers discuss specific aspects of hybridization of metaheuristics, hybrid metaheuristics design, development and testing. With increasing attention to methodological aspects, from both the empirical and theoretical sides, the papers show a representative sample of research in the field of hybrid metaheuristics. 216 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540751394ISBN 13: 9783540751397
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the International Conference on Computational Methods in Systems Biology, CMSB 2007, held in Edinburgh, Scotland, September 2007. The 16 revised full papers presented present a variety of techniques from computer science, such as language design, concurrency theory, software engineering, and formal methods, for biologists, physicists, and mathematicians interested in the systems-level understanding of cellular processes. 264 pp. Englisch.
Verlag: Springer Berlin Heidelberg Sep 2007, 2007
ISBN 10: 3540747869ISBN 13: 9783540747864
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 8th International Conference on Spatial Information Theory, COSIT 2007, held in Melbourne, Australia in September 2007. The 27 revised full papers were carefully reviewed from 102 submissions, and they are organized in topical sections on cultural studies, semantics, similarity, mapping and representation, perception and cognition, reasoning and algorithms, navigation and landmarks, as well as uncertainty and imperfection. 476 pp. Englisch.