|
Showing 1 - 11 of
11 matches in All Departments
|
Relations and Kleene Algebra in Computer Science - 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings (Paperback, 2009 ed.)
Rudolf Berghammer, Ali Jaoua, Bernhard Moeller
|
R1,493
Discovery Miles 14 930
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of the 11th International
Conference on
RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational
Conference on Applications of Kleene Algebra (AKA 6). The joint
conference took place in Doha, Quatar, November 1-5, 2009. Its
purpose was to bring - gether researchersfrom various
subdisciplines of computer science, mathematics and related ?elds
who use the calculus of relations and/or Kleene algebra as
methodological and conceptual tools in their work. This conference
is the joint continuation of two di?erent strands of meetings. The
seminars of the RelMiCS series were held in Schloss Dagstuhl
(Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet
(Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu
ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in
October 2001. The conference on Appli- tions of Kleene Algebra
started as a workshop, also held in Schloss Dagstuhl, in
February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated
by the substantial common interests and overlap of the two
communities. Over the years this has led to fruitful interactions
and openened new and intere- ing research directions. Joint
meetings have been held in Malente (Germany) in May 2003, in St
Catherines (Canada) in February 2005, in Manchester (UK) in
August/September 2006 and in Frauenw] orth (Germany) in April 2008.
This volume contains 24 contributions by researchersfrom all
overthe world."
|
Relations and Kleene Algebra in Computer Science - 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwoerth, Germany, April 7-11, 2008, Proceedings (Paperback, 2008 ed.)
Rudolf Berghammer, Bernhard Moeller, Georg Struth
|
R1,504
Discovery Miles 15 040
|
Ships in 10 - 15 working days
|
This volume contains the proceedings of the 10th International
Seminar on - lational Methods in Computer Science (RelMiCS 10) and
the 5th International Workshop on Applications of Kleene Algebra
(AKA 5). The joint conference took place in Frauenwo ]rthon an
Island in Lake Chiem in Bavaria, April 7-April 11, 2008. Its
purpose was to bring together researchers various subdisciplines of
computer science, mathematics and related ?elds who use the
calculus of - lations and/or Kleene algebra as methodological and
conceptual tools in their work. This conference is the joint
continuation of two di?erent strands of meetings. The seminars of
the RelMiCS series were held in Schloss Dagstuhl (Germany) in
January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in
January 1997, Warsaw (Poland) in September 1998, Qu ebec (Canada)
in January 2000, and Oisterwijk (The Netherlands) in October 2001.
The meeting on Appli- tions of Kleene Algebra started as a
workshop, also held in Schloss Dagstuhl, in
February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated
by the substantial common interests and overlap of the two
communities. Over the years this has led to fruitful interactions
and openened new and interesting researchdirections.Jointmeetings
havebeenheldinMalente(Germany)in May 2003, in St. Catherines
(Canada) in February 2005 and in Manchester (UK) in
August/September 2006. This volume contains 28 contributions by
researchersfrom all overthe world."
This volume contains the proceedings of the 7th International
Seminar on - lational Methods in Computer Science (RelMiCS 7) and
the 2nd International Workshop onApplications
ofKleeneAlgebra.Thecommonmeetingtookplacein Bad Malente (near
Kiel), Germany, from May May 12-17,2003.Its purpose was to bring
together researchers from various subdisciplines of Computer
Science, Mathematics and related ?elds who use the calculi of
relations and/or Kleene algebra as methodological and conceptual
tools in their work. This meeting is the joint continuation of two
di?erent series of meetings. Previous RelMiCS seminars were held in
Schloss Dagstuhl (Germany) in J- uary 1994, Parati (Brazil) in July
1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in
September 1998, Quebec (Canada) in January 2000, and Oisterwijk
(The Netherlands) in October 2001. The ?rst workshop on appli-
tions of Kleene algebra was also held in Schloss Dagstuhl in
February 2001. To join these two events in a common meeting was
mainly motivated by the s-
stantialcommoninterestsandoverlapofthetwocommunities.Wehopethatthis
leads to fruitful interactions and opens new and interesting
research directions
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
Preface VI I X Table of Contents B. Moeller and J.V. Tucker (Eds.):
Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998.
Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group
Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA
and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA
Group Introduction: NADA and NIL 9 10 The NADA Group Introduction:
NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14
The NADA Group Introduction: NADA and NIL 15 16 The NADA Group
Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA
and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The
NADA Group Introduction: NADA and NIL 23 24 The NADA Group
Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream
Transformers and Domain Representations B. Moeller and J.V. Tucker
(Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68,
1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V.
Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers
and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen,
and J.V. Tucker Streams, Stream Transformers and Domain
Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V.
Tucker Streams, Stream Transformers and Domain Representations 33
34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams,
Stream Transformers and Domain Representations 35 36 J. Blanck, V.
Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers
and Domain Representations 37
|
Higher-Order Algebra, Logic, and Term Rewriting - Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Paperback, 1996 ed.)
Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Moeller
|
R1,566
Discovery Miles 15 660
|
Ships in 10 - 15 working days
|
This book presents a collection of revised refereed papers selected
from the presentations accepted for the Second International
Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA
'95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by
Jan Willem Klop, report state-of-the-art results; the relevant
theoretical aspects are addressed, and in addition existing proof
systems and term rewriting systems are discussed.
This volume constitutes the proceedings of the Third International
Conference on the Mathematics of Program Construction, held at
Kloster Irsee, Germany in July 1995.
Besides five invited lectures by distinguished researchers there
are presented 19 full revised papers selected from a total of 58
submissions. The general theme is the use of crisp, clear
mathematics in the discovery and design of algorithms and in the
development of corresponding software and hardware; among the
topics addressed are program transformation, program analysis,
program verification, as well as convincing case studies.
|
Higher-Order Algebra, Logic, and Term Rewriting - First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Paperback, 1994 ed.)
Jan Heering, Karl Meinke, Bernhard Moeller, Tobias Nipkow
|
R1,602
Discovery Miles 16 020
|
Ships in 10 - 15 working days
|
This volume contains the final revised versions of the best papers
presented at the First International Workshop on Higher-Order
Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in
September 1993. Higher-Order methods are increasingly applied in
functional and logic programming languages, as well as in
specification and verification of programs and hardware. The 15
full papers in this volume are devoted to the algebra and model
theory of higher-order languages, computational logic techniques
including resolution and term rewriting, and specification and
verification case studies; in total they provide a competently
written overview of current research and suggest new research
directions in this vigourous area.
This volume contains the background texts for an IFIP
State-of-the-Art Seminar on Formal Program Development, held in
early 1992 near Rio de Janeiro, Brazil. The book stems from work
done by IFIP Working Group 2.1 on Algorithmic Languages and
Calculi. Since 1975, the Working Group has increasingly focused on
systematic approaches to programming and on appropriate concepts
and notations to support such approaches. Today, the calculation of
programs from specifications constitutes the central theme ofthe
group's work. Thus the core interests of the group are: - formal
specification of solutions to problems, and - formal
development/calculationof programs from such specifications.
1. Vom neuen Sinn der Hygiene. Von HANS REITER. Die Entwicklung
unserer hygienischen Anschauungen zeigte bis vor kurzem eine fast
ausschliessliche Beschaftigung mit Fragen und Forschungen von Um
weltfaktoren des menschlichen Lebens. Umgrenzung und Inhalt dieser
Fragen richtete sich hierbei im wesentlichen nach den Aufgaben der
jeweiligen Zeit epochen, wie sie sich gegenuber der Betreuung der
Volksgesundheit aus den der zeitigen kulturellen, wirtschaftlichen
und staatspolitischen Problemen ergab. Die Bearbeitung selbst
entsprach naturgemass dem zur Zeit vorhandenen Wissen, woraus sich
auch die Erklarung dafur ergibt, dass der Ubergang einer
gesundheitspolitischen Auffassung zu einer anderen unter mehr oder
weniger schweren Kampfen stattfand, die sich teils auf
wissenschaftlicher, teils aber auch auf standespolitischer Ebene
abspielten. Genau so, wie es auf dem Gebiete der Te'clllnik'fur,
die weitere Entwicklung der Luftschiffahrt nicht ausschlaggebend
war, dass Zeppelin sein erstes Luft schiff baute, sondern dass die
Beherrschung der Luft durch den Menschen erst sich auf die
Vervollkommnung des Verbrennungsmotors stutzte, genau so konnte
eine zweckmassige Seuchenbekampfung erst durchgefuhrt wer.den,
nachdem die Eigentumlichkeiten des lebendigen Krankheitserregers
durch emsiges systematisches Forschen erkannt waren."
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
|