×

zbMATH — the first resource for mathematics

Found 14 Documents (Results 1–14)

100
MathJax
van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 347-355 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015).
MSC:  68Q60 68T15 93C30
PDF BibTeX XML Cite
Full Text: DOI
Stump, Aron (ed.) et al., Proceedings of the programming languages meets program verification (PLPV 2006), Seattle, WA, USA, August 21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 174, No. 7, 79-104 (2007).
MSC:  68N19 68N18 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 328-339 (1994).
MSC:  68N30 03B44 03B70
PDF BibTeX XML Cite
Full Text: DOI
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 316-327 (1994).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 166-177 (1994).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI