Categorical Methods in Computer Science

Categorical Methods in Computer Science von Ehrig Hartmut (Herausgeber) und Herrlich Horst (Herausgeber) und Kreowski Hans-Jörg (Herausgeber) und Preuß Gerhard (Herausgeber)

Herausgeber: Ehrig, Hartmut

Herausgeber: Herrlich, Horst

Herausgeber: Kreowski, Hans-Jörg

Herausgeber: Preuß, Gerhard

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540517227

EAN/ISBN-13: 9783540517221

Sprache: eng

Veröffentlichung: März 2008


 
 
Klappentext zu Categorical Methods in Computer Science
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 includes papers on categorical foundations and fundamental concepts from category theory in computer science. Part 2 presents applications of categorical methods to algebraic specification languages and techniques, data types, data bases, programming, and process specifications. Part 3 comprises papers on categorial aspects from topology which mainly concentrate on special adjoint situations like cartesian closeness, Galois connections, reflections, and coreflections which are of growing interest in categorical topology and computer science.

weitere passende Bücher

Graph Grammars and Their Application to Computer Science

This book contains a collection of 37 refereed full papers selected from the contributions presented at the 5th International Workshop on Graph Grammars and Their Applications to Computer Science, …


geschrieben von Janice Cuny (Herausgeber) und Hartmut Ehrig (Herausgeber) und Gregor Engels (Herausgeber) und Grzegorz Rozenberg (Herausgeber)

Handbook of Graph Grammars and Computing by Graph Transformations: Concurrency, Parallelism, and Distribution Volume 3

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of …


geschrieben von Hartmut Ehrig (Herausgeber) und Ugo Montanari (Herausgeber) und Hans-Jorg Kreowski (Herausgeber)

Unifying Petri Nets

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own …


geschrieben von Hartmut Ehrig (Herausgeber) und Gabriel Juhas (Herausgeber) und Grzegorz Rozenberg (Herausgeber) und Julia Padberg (Herausgeber)

Computation with Finitely Presented Groups

Research in computational group theory, an active subfield of computational algebra, has emphasized three areas: finite permutation groups, finite solvable groups, and finitely presented groups. …

1. Basic concepts; 2. Rewriting systems; 3. Automata and rational languages; 4. Subgroups of free products of cyclic groups; 5. Coset enumeration; 6. The Reidemeister-Schreier procedure; 7. …


geschrieben von Charles C. Sims (Autor) und G. -C Rota (Herausgeber) und B. Doran (Herausgeber)

Traffic Management und Dienstgütesicherung in ATM-Netzwerken

Studienarbeit aus dem Jahr 2006 im Fachbereich Informatik - Technische Inf., einseitig bedruckt, Note: 1,7, Universität Potsdam, Veranstaltung: Rechnernetze Seminar, 9 Quellen im …


geschrieben von Stefan Marr (Autor)

Do's and Taboos Around the World for Women in Business

ROGER E. AXTELL is the author of six Do's and Taboos books (all available from Wiley), including the bestselling Do's and Taboos Around the World. TAMI BRIGGS, MARGARET CORCORAN, and MARY BETH LAMB …

International business is a traditionally male-dominated arena that has recently seen an explosion in female interest and participation. This book, written by the expert on international business …

Partial table of contents:; SURVIVAL "OVER THERE." Test Your Culture--Gender Awareness.; Sex, Dating, Discrimination, and Harassment.; Know Your Product, Know the Culture.; Protocol for Women.; Safety …


geschrieben von Tami Briggs (Autor) und Margaret Corcoran (Autor) und Mary Beth Lamb (Autor)

Russische Übungs-Grammatik

Die Russische Übungsgrammatik ist ein kombiniertes Lern- und Nachschlagewerk und eignet sich als lehrwerkunabhängiges Begleitmaterial zum Wiederholen und Auffrischen vorhandener …


geschrieben von Ulf Borgwardt (Autor) und Hartmut Mey (Autor)

Dialog Beruf 1. Kursbuch

Der zweite Band des vierbändigen Lehrwerks Dialog Beruf.Voraussetzungen: Anfänger bis Mittelstufe.Zielgruppe: Lerner, die sich auf eine zeitlich begrenzte oder auf eine dauernde …


geschrieben von

Lehrbuch der Hochbaukonstruktionen

Dipl.-Ing. Frank Conrad - BacherachProf. Dr. Erich Cziesielski - Technische Universität BerlinDr.-Ing. Dieter Frenzel - Hochtief AG, Frankfurt/MainDipl.-Ing. Hans-Jörg Irmschler - Deutsches …

Geschichte der Baukonstruktion - Methodik des Konstruierens und Wahl der Baustoffe - Maßordnung und Maßtoleranzen - Mauerwerk - Geneigte Dächer mit Dachdeckungen - Flachdächer …


geschrieben von Erich Cziesielski (Herausgeber)

Die traurigen Geranien

Geboren am 20. 5.1921. Borchert war zunächst Buchhändler und Schauspieler. 1941 wurde er alsa Soldat an die Ostfront verlegt; zwei Mal wurde er wegen "Zersetzung" zu Haftstrafen verurteilt. …

Diese achtzehn Erzählungen aus dem Nachlaß sind straff komponierte Kurzgeschichten, Muster- und Meisterstücke ihrer Gattung. Die Prosa des "Gesamtwerks" in vielen übertreffend, …


geschrieben von Peter Rühmkorf (Herausgeber) und Wolfgang Borchert (Autor)


durchsuche buecher-lounge.de

  • Loading