Christel baier (31 Ergebnisse)

23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 720g.

gebundene Ausgabe. Zustand: Gut. 424 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 860.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

VIII / 465 pp. Sprache: Englisch Gewicht in Gramm: 700 Large 8vo. Original-Softcover, a little bit rubbed and slightly bumped, otherwise fine, text in English.

Paperback. Zustand: Brand New. 212 pages. 9.25x6.10x0.55 inches. In Stock.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stochastic Systems (VOSS), nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call announced via the Internet in the spring of 2002, we received many applications for part- ipation. After a selection procedure, we decided to assign (mostly) teams of two researchers to work on speci c topics, roughly divided into the following four theme areas: Modelling of Stochastic Systems, Model Checking of Stochastic Systems, Representing Large State Spaces, and Deductive Veri cation of Stochastic Systems. These are the titles of the four parts of this volume. TheseminarwasheldinSchlossDagstuhlduringDecember8 11,2002aspart of the so-called GI/Research Seminar series. This series of seminars is nancially supported by theGesellschaft fur Informatik, the German Computer Society. At that point in time the papers had already undergone a rst review round. Each of the tutorial papers was presented in a one-hour session, and on the basis of the presentations we decided to bring together a selection of them into a book. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools,and applications for distributed systems.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.…

Zustand: New.

Paperback. Zustand: Brand New. 600 pages. 9.25x6.10x1.85 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.…

Taschenbuch. Zustand: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings | Christel Baier (u. a.) | Taschenbuch | xviii | Englisch | 2015 | Springer | EAN 9783662466803 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Zustand: Brand New. 544 pages. 9.25x6.10x1.23 inches. In Stock.

Paperback. Zustand: Brand New. 2015 edition. 744 pages. 9.00x6.00x1.50 inches. In Stock.

Zustand: New. In English.

Zustand: New. Proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006Presents 29 revised full papers together with 5 invited papersOrganized in topical sections on model checking, process calculi, minimization and equivalence .

Zustand: New. pp. xvii + 975 Illus.

Paperback. Zustand: Brand New. 1st edition. 523 pages. 9.00x6.00x1.25 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware - This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27-30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications and the scientific relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols), related verification techniques and tools (such as staff space exploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graph rewriting, as well as associated typesystems, static analyses, abstract machines, and environments). This volume starts with five invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the Programme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme Committee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials.…

Zustand: New. Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the So.

Hardcover. Zustand: Brand New. illustrated edition. 975 pages. 10.25x8.50x1.75 inches. In Stock.

Hardcover. Zustand: Sehr gut. München, Pearson (2002). gr.8°. Einige Abb. 424 S. OPp. Sehr gut erhalten.

Hardcover. Quarto, xvii, 975 pages. In Very Good condition. Spine is orange with white print. Boards in orange paper, illustration, white print. Illustrated: b&w diagrams. [Oversized book(s). Additional postage necessary for expedited/international orders. Economy International shipping unavailable due to size/weight restrictions. For international/expedited customers, please inquire for rates]. NOTE: NOTE: Shelved in Locked Annex Area, Netdesk Column QB (ND-QB). 1416286. FP New Rockville Stock.…

Softcover. Zustand: gut. Auflage: 1 (15. September 2002). Berechenbarkeit Abstrakte Rechnermodelle Entscheidungsprobleme Komplexität Komplexitätsklassen Das P-NP-Problem Formale Sprachen Grammatiken Reguläre Sprachen Kontextfreie Sprachen Deterministisch kontextfreie Sprachen Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einführungsvorlesung für Studenten im Haupt- und Nebenfach. Auch für Studierende mit geringen mathematischen Vorkenntnissen nachvollziehbar Zum Buch Eine anschauliche Einführung in die klassischen Themenbereiche der Theoretischen Informatik für Studierende der Informatik im Haupt- und Nebenfach. Die Autoren wählen einen Ansatz, der durch zahlreiche ausgearbeitete Beispiele auch LeserInnen mit nur elementaren Mathematikkenntnissen den Zugang zu Berechenbarkeit, Komplexitätstheorie und formalen Sprachen ermöglicht. Die mathematischen Konzepte werden sowohl formal eingeführt als auch informell erläutert und durch grafische Darstellungen veranschaulicht. Das Buch umfasst den Lehrstoff einführender Vorlesungen in die Theoretische Informatik und bietet zahlreiche Übungsaufgaben zu jedem Kapitel an. Aus dem Inhalt: Berechenbarkeit * Abstrakte Rechnermodelle * Entscheidungsprobleme Komplexität * Komplexitätsklassen * Das P-NP-Problem Formale Sprachen * Grammatiken * Reguläre Sprachen * Kontextfreie Sprachen * Deterministisch kontextfreie Sprachen * Entscheidungsprobleme für formale Sprachen Über die Autoren: Christel Baier ist Professorin an der Rheinischen Friedrich Wilhelms-Universität Bonn und bietet Vorlesungen zur Einführung in die Theoretische Informatik und zur Verifikation an. Alexander Asteroth ist inzwischen in der Industrie tätig .Auf der Website * Rund 100 Übungsaufgaben und * Lösungsvorschläge * Vorlesungsfolien * Alle Abbildungen des Buches Die meisten Studierenden der Mathematik oder Informatik werden mir zustimmen, wenn ich in vielen Büchern zu diesem Thema eine lernorientierte, flüssige und konzise Darstellung vermisse. Zu oft wird man mit Definitionen und Theoremen allein gelassen und versteht größere Zusammenhänge erst viel später oder gar nicht. Christel Baier und Alexander Asteroth schaffen hier, diese Lücke zwischen Theorie, Verständnis und Anwendung zu schließen. Hilfreich sind dabei natürlich die schon im Titel versprochenen Beispiele, die den Text sinnvoll begleiten. Sie sind weder zu leicht gewählt, was dem Thema nicht gerecht würde, noch zu schwer, was dem Verständnis abträglich wäre. Vielmehr konkretisieren sie, zeigen Probleme oder präsentieren die in Prüfungen so oft gebrauchten Gegenbeispiele. Das Buch läßt sich aber sicherlich nicht auf eine bloße Ansammlung von Beispielen reduzieren. Der Stoff wird formal und genau eingeführt und ist klassisch in Definitionen und Theoreme gegliedert. Dazwischen ist aber viel motivierender Text, der Zusammenhänge aufzeigt und die Problemstellungen unter verschiedenen Anschauungen beleuchtet. Jedes Kapitel wird außerdem von einem Satz Übungen beendet, die ich zur Lernkontrolle sehr brauchbar fand. Besonders gut hat mir auch das Layout gefallen. Algorithmen, Theoreme und Grafiken sind klar abgesetzt, unterlegt und stimmig betitelt. Auf diese Weise kann man auch beim Nachschlagen schnell fündig werden. Die behandelten Themen umfassen den Kern der Theoretischen InformatikTuring- und Registermaschinen, sowie Kellerautomaten und die zugehörgen formalen Sprachen. Berechenbarkeit und Komplexität werden ebenso ausführlich behandelt wie das Halteproblem und viele andere klassische Fragestellungen. Darüber hinaus gibt es einige Ausblicke in weitergehende Themen. Den mathematischen Anforderungen des Textes sollte sich jeder Studierende im Grundstudium Mathematik/Informatik gewachsen sehen. Es wird kein Verständis komplizierter Zusammenhänge, Symbole oder Programmiersprachen vorausgesetzt. Ich hatte Gelegenheit, das Buch während der Vorbereitungen zur Diplomprüfung in Theoretischer Informatik mit anderen zu vergleichen und fand in diesem Antworten auf viele Fragen und eine sorgfältige didaktische Aufbereitung. Meine Bewertung ist deshalb ganz klar fünf Sterne zusammen mit einer Empfehlung an Studierende der Mathematik und Informatik und alle anderen Interessierten. Theoretische Informatik. Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen Alexander Asteroth Christel Baier Pearson Studium In deutscher Sprache. 414 pages. 24,7 x 17,7 x 3 cm.…