×

Found 22 Documents (Results 1–22)

100
MathJax

Graph theoretic methods in multiagent networks. (English) Zbl 1203.93001

Princeton Series in Applied Mathematics. Princeton, NJ: Princeton University Press (ISBN 978-0-691-14061-2/hbk). xix, 403 p. (2010).
PDF BibTeX XML Cite

Optimization of the proportional navigation law with time delay. (English) Zbl 1151.49311

J. Math. Sci., New York 147, No. 2, 6644-6650 (2007); translation from Fundam. Prikl. Mat. 11, No. 8, 139-147 (2005).
PDF BibTeX XML Cite
Full Text: DOI

A survey of high-level synthesis systems. (English) Zbl 0754.68011

The Kluwer International Series in Engineering and Computer Science. 135. Dordrecht: Kluwer Academic Publishers Group. IX, 182 p. (1991).
Reviewer: H.Salum (Tallinn)
PDF BibTeX XML Cite

Current trends in hardware verification and automated theorem proving. Proceedings of a workshop, Banff, Canada, June 12-18, 1988. (English) Zbl 0728.68008

New York etc.: Springer-Verlag. VIII, 489 p. DM 88.00 (1989).
MSC:  68-06 68T15 68Q60 68Q42 03B10 03B15 03B35 03B40 03B45 03B48
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Software