Beschreibung
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
Logic, Rewriting, and Concurrency
Lieferzeit: Lieferbar innerhalb 14 Tagen
53,49 €
inkl. 7 % MwSt. zzgl. Versandkosten
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday, Lecture Notes in Computer Science 9200 – Theoretical Computer Science and General Issues
| ISBN: | 3319231642 |
|---|---|
| ISBN 13: | 9783319231648 |
| Herausgeber: | Narciso Martí-Oliet/Peter Csaba Ölveczky/Carolyn Talcott |
| Verlag: | Springer Verlag GmbH |
| Umfang: | xi, 634 S., 103 s/w Illustr., 634 p. 103 illus. |
| Erscheinungsdatum: | 21.08.2015 |
| Auflage: | 1/2015 |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Dedicated to one of the leading researchers with seminal contributions in many fields of theoretical computer science and beyondContains a collection of papers – including personal memories, essays, and regular research papers by close collaborators and friendsCovers a variety of topics from general logics to vision algorithms for robots – characterized by innovation, conceptual elegance and rigor combined with practical applicabilityIncludes supplementary material: sn.pub/extras
Das könnte Ihnen auch gefallen …
-
![Produktbild: Rewriting Medieval French Literature]()
Rewriting Medieval French Literature
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Concurrency Theory]()
Introduction to Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2004 -- Concurrency Theory]()
CONCUR 2004 — Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2001 - Concurrency Theory]()
CONCUR 2001 – Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
74,89 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Modernes C++: Concurrency meistern]()
Modernes C++: Concurrency meistern
39,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Humour in Comic Books]()
Rewriting Humour in Comic Books
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Manga]()
Rewriting History in Manga
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Rewriting Techniques]()
Symbolic Rewriting Techniques
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2010 - Concurrency Theory]()
CONCUR 2010 – Concurrency Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2007 - Concurrency Theory]()
CONCUR 2007 – Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Compositionality and Correctness]()
Concurrency, Compositionality and Correctness
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Structures in Concurrency Theory]()
Structures in Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency: Theory, Language, and Architecture]()
Concurrency: Theory, Language, and Architecture
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Term Rewriting]()
Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR '95 Concurrency Theory]()
CONCUR ’95 Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads]()
UNIX Systems Programming: Communication, Concurrency and Threads: Communication, Concurrency and Threads
81,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2002 - Concurrency Theory]()
CONCUR 2002 – Concurrency Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting the First World War]()
Rewriting the First World War
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR'99.Concurrency Theory]()
CONCUR’99.Concurrency Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Specification and Programming]()
Concurrency, Specification and Programming
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Translating/Rewriting the Other]()
Translating/Rewriting the Other
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Specification and Programming]()
Concurrency, Specification and Programming
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Paradigms of Concurrency]()
Paradigms of Concurrency
171,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR '98 Concurrency Theory]()
CONCUR ’98 Concurrency Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Algebra, Logic, and Term Rewriting]()
Higher-Order Algebra, Logic, and Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR '94: Concurrency Theory]()
CONCUR ’94: Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Current Trends in Concurrency]()
Current Trends in Concurrency
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Maimonides]()
Rewriting Maimonides
139,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency and Nets]()
Concurrency and Nets
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting German History]()
Rewriting German History
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: MySQL Concurrency]()
MySQL Concurrency
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Directed Algebraic Topology and Concurrency]()
Directed Algebraic Topology and Concurrency
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Graphs and Models]()
Concurrency, Graphs and Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: True Concurrency and Atomicity]()
True Concurrency and Atomicity
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional Term Rewriting Systems]()
Conditional Term Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting German History]()
Rewriting German History
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Semantics for Concurrency]()
Semantics for Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: REWRITING MYTHS]()
REWRITING MYTHS
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Soviet Russia]()
Rewriting History in Soviet Russia
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Algorithms, Concurrency and Knowledge]()
Algorithms, Concurrency and Knowledge
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2011 -- Concurrency Theory]()
CONCUR 2011 — Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Dickens]()
Rewriting Dickens
34,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2012- Concurrency Theory]()
CONCUR 2012- Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conditional Term Rewriting Systems]()
Conditional Term Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: ML with Concurrency]()
ML with Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Topics in Term Rewriting]()
Advanced Topics in Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting, Computation and Proof]()
Rewriting, Computation and Proof
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2014 - Concurrency Theory]()
CONCUR 2014 – Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR '96: Concurrency Theory]()
CONCUR ’96: Concurrency Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2008 - Concurrency Theory]()
CONCUR 2008 – Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Biblical History]()
Rewriting Biblical History
189,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2013 -- Concurrency Theory]()
CONCUR 2013 — Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: On Transactional Concurrency Control]()
On Transactional Concurrency Control
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Renaissance Rewritings]()
Renaissance Rewritings
124,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency, Security, and Puzzles]()
Concurrency, Security, and Puzzles
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Constraints Meet Concurrency]()
Constraints Meet Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Techniques and Applications]()
Rewriting Techniques and Applications
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency in Scala]()
Concurrency in Scala
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency in Dependable Computing]()
Concurrency in Dependable Computing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR 2006 - Concurrency Theory]()
CONCUR 2006 – Concurrency Theory
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency in Dependable Computing]()
Concurrency in Dependable Computing
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Seminar on Concurrency]()
Seminar on Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Confluent String Rewriting]()
Confluent String Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Compositionality, Concurrency, and Partial Correctness]()
Compositionality, Concurrency, and Partial Correctness
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Higher-Order Algebra, Logic, and Term Rewriting]()
Higher-Order Algebra, Logic, and Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting rewriting]()
Rewriting rewriting
95,75 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: CONCUR'97: Concurrency Theory]()
CONCUR’97: Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Advanced Topics in Term Rewriting]()
Advanced Topics in Term Rewriting
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency Theory]()
Concurrency Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency 88]()
Concurrency 88
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Soviet Russia]()
Rewriting History in Soviet Russia
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Genre-Rewriting]()
Genre-Rewriting
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting History in Manga]()
Rewriting History in Manga
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Introduction to Concurrency Theory]()
Introduction to Concurrency Theory
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logics for Concurrency]()
Logics for Concurrency
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency Theory]()
Concurrency Theory
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
62,05 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Logic for Concurrency and Synchronisation]()
Logic for Concurrency and Synchronisation
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Concurrency and Hardware Design]()
Concurrency and Hardware Design
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting The Bible]()
Rewriting The Bible
76,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Rewriting Logic and Its Applications]()
Rewriting Logic and Its Applications
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: String-Rewriting Systems]()
String-Rewriting Systems
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
