×

zbMATH — the first resource for mathematics

Found 18 Documents (Results 1–18)

100
MathJax
Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 402-416 (2004).
MSC:  93C30 93A30
PDF BibTeX XML Cite
Full Text: DOI
Dutra, Inês (ed.) et al., Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP ’99, Las Cruces, NM, USA, December 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,3, 14 p., electronic only (1999).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: Link
Dutra, Inês (ed.) et al., Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP ’99, Las Cruces, NM, USA, December 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,3, 12 p., electronic only (1999).
MSC:  68N17 68N15
PDF BibTeX XML Cite
Full Text: Link
Ridoux, Olivier (ed.), JFPLC ’98. 7èmes Journées francophones de programmation logique et programmation par contraintes. Nantes, Frances, 27–29 Mai, 1998. Paris: Éditions Hermès. 215-230 (1998).
MSC:  68N17 68Q55
PDF BibTeX XML Cite
Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 1012-1021 (1992).
MSC:  68N17
PDF BibTeX XML Cite