×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Chen, Jianer (ed.) et al., Theory and applications of models of computation. 6th annual conference, TAMC 2009, Changsha, China, May 18–22, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02016-2/pbk). Lecture Notes in Computer Science 5532, 325-334 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Amestoy, Patrick (ed.) et al., Euro-Par ’99. Parallel processing. 5th international Euro-Par conference, Toulouse, France, August 31 - September 3, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1685, 1344-1352 (1999).
PDF BibTeX XML Cite
Ciancarini, Paolo (ed.) et al., Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6.1 3rd international conference, Florence, Italy, February 15–18, 1999. Boston: Kluwer Academic Publishers. IFIP, International Federation for Information Processing. 10, 399-400 (1999).
MSC:  68M10 03B20
PDF BibTeX XML Cite
Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 643-681 (1998).
PDF BibTeX XML Cite
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 16 p. (1996).
MSC:  68Q42 68N99
PDF BibTeX XML Cite
Full Text: Link