Proceedings von dimacs workshop (12 Ergebnisse)

Hardcover. Zustand: Brand New. 259 pages. 10.50x7.50x0.75 inches. In Stock.

Hardcover. Zustand: Brand New. 142 pages. 10.50x7.50x0.50 inches. In Stock.

Hardcover. Zustand: Brand New. 10.50x7.50x0.75 inches. In Stock.

Zustand: New. In December 1989 at DIMACS at Rutgers University, a Workshop on Reliability of Computer and Communication Networks was held to examine the discrete mathematical methods relevant to these problems. This volume contains the proceedings from this Workshop. Series: DIMACS: Proceedings of Workshops held at the Center for Discrete Mathematics & Theoretical Computer Science. Num Pages: 259 pages. BIC Classification: PB; UT. Category: (P) Professional & Vocational. Dimension: 220. Weight in Grams: 630. . 1991. hardcover. . . . . Books ship from the US and Ireland.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. Contains the proceedings of the DIMACS Workshop on Expander Graphs, held at Princeton University in May 1992. This work is suitable for mathematicians and computer scientists interested in results in this area of research. Editor(s): Friedman, Joel. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 142 pages. BIC Classification: PBC; PBV. Category: (P) Professional & Vocational. Dimension: 267 x 190. Weight in Grams: 510. . 1993. Hardcover. . . . . Books ship from the US and Ireland.…

Zustand: New. In English.

Zustand: New. Finite model theory can be succinctly described as the study of logics on finite structures. It is an area of research existing between mathematical logic and computer science. This volume presents articles by leading researchers who delivered talks at the 'Workshop on Finite Models and Descriptive Complexity' at Princeton in January 1996. Editor(s): Immerman, Neil; Kolaitis, Phokion G. Series: DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Num Pages: 248 pages, Illustrations. BIC Classification: PBCD; PBWH. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 681. . 1997. hardcover. . . . . Books ship from the US and Ireland.…

Hardcover. Zustand: Brand New. illustrated edition edition. 628 pages. 10.25x7.50x1.50 inches. In Stock.

Zustand: New. In English.

Zustand: New. Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits. Series: DIMACS: Series in Discrete Mathematics and Theoretical Computer Science. Num Pages: 628 pages, illustrations. BIC Classification: PBF; UY. Category: (P) Professional & Vocational. Dimension: 220. Weight in Grams: 1361. . 1991. hardcover. . . . . Books ship from the US and Ireland.…