Tools

LEADER 04070cam 2200397 a 4500

001 ocm30071294;

003 OCoLC;

005 20141212181323.0;

008 940308s1994 riua b 000 0 eng ;

010 a| 94010076;

020 a| 0821866052;

035 a| (Sirsi) o30071294;

035 a| (OCoLC)30071294;

049 a| EREE;

050 00 a| QA76.9.M35b| D55 1994;

082 00 a| 511/.6/0285512| 20;

111 2 a| DIMACS Workshop on Computational Support for Discrete Mathematicsd| (1992 :c| Rutgers University)=| ^A591377;

245 10 a| Computational support for discrete mathematics :b| DIMACS workshop, March 12-14, 1992 /c| Nathaniel Dean, Gregory E. Shannon, editors.;

300 a| xii, 399 pages :b| illustrations ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| DIMACS series in discrete mathematics and theoretical computer science ;v| v. 15;

504 a| Includes bibliographical references.;

505 0 a| Analyzing integer-sequences / A. Bhansali and S.S. Skiena -- GDR : a visualization tool for graph algorithms / M. Stallmann, R. Cleaveland, and P. Hebbar -- Application of computational tools for finitely presented groups / G. Havas and E.F. Robertson -- Animated algorithms computer science education with algorithm animation / P.A. Gloor, I. Lee, and A. Velez-Sosa -- AGE : an animated graph environment / J. Abello ... [et al.] -- An interactive, graphical, educationally oriented graph analysis package / D.S. Dillon and F.R. Smietana -- Network assistant to construct, test, and analyze graph network algorithms / G.H. Bradley and H.F. Oliveira -- Computing spanning trees in NETPAD / Keh-Wei Lih, N. Dean, and M. Mihail -- An empirical assessment of algorithms for constructing a minimum spanning tree / B.M.E. Moret and H.D. Shapiro -- Rectlinear Steiner tree minimization on a workstation / C. Thomborson, B. Alpern, and L. Carter -- The XYZ GeoBench for the experimental evaluation of geometric algorithms / P. Schorn -- Monitoring an algorithm's execution / D.A. Berque and M.K. Goldberg -- Implementation of parallel graph algorithms on the MasPar / T.S. Hsu, V. Ramachandran, and N. Dean -- Monte Carlo and Markov chain techniques for network reliability and sampling / A.L. Buchsbaum and M. Mihail -- Networks and reliability in Maple / D.D. Harms, J.S. Devitt, and C.J. Colbourn -- GMP/X, an X-windows based graph manipulation package / G. Zimmerman, A.H. Esfahanian, and D. Vasquez -- METANET : a system for network analysis / C. Gomez and M. Goursat -- Graphtool : a tool for interactive design and manipulation of graphs and graph algorithms / V.J. Leung, M.B. Dillencourt, and A.L. Bliss -- Improvements to GraphPack : a system to manipulate graphs and digraphs / M. Krishnamoorthy ... [et al.] -- Extending a graph browser for topological graph theory / J.I. Helfman and J.L. Gross -- Test case construction for the vertex cover problem / L.A. Sanchis -- CallCo : software for combinatorics / M. Delest and N. Rouillon -- Formal calculus and enumerative combinatorics / M. Delest -- Implementing finite state machines / K. Sutner -- NPDA : a tool for visualizing and simulating nondeterministic pushdown automata / D. Caugherty and S.H. Rodger -- Recognizing the hidden structure of Cayley graphs / I.J. Dejter -- A concept for the representation of data and algorithms / D. M öller and R. Müller.;

650 0 a| Computer sciencex| Mathematics.=| ^A236643;

700 1 a| Dean, Nathaniel,d| 1956-=| ^A588829;

700 1 a| Shannon, Gregory E.,d| 1960-=| ^A591378;

830 0 a| DIMACS series in discrete mathematics and theoretical computer science ;v| v. 15.=| ^A467230;

856 41 3| Table of contentsu| http://www.loc.gov/catdir/toc/fy044/94010076.html;

994 a| C0b| ERE;

596 a| 1;

998 a| 987414;

999 a| QA76.9.M35 D55 1994w| LCc| 1i| 30372012726938d| 5/20/2005l| JGESm| JOYNERp| $65.00r| Ys| Yt| JGESBKu| 2/7/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992 / Nathaniel Dean, Gregory E. Shannon, editors.

Author/creator	DIMACS Workshop on Computational Support for Discrete Mathematics
Other author	Dean, Nathaniel, 1956-
Other author	Shannon, Gregory E., 1960-
Format	Book
Publication Info	Providence, R.I. : American Mathematical Society, ©1994.
Description	xii, 399 pages : illustrations ; 26 cm.
Supplemental Content	Table of contents
Subjects	Computer science--Mathematics.

Series	DIMACS series in discrete mathematics and theoretical computer science ; v. 15 DIMACS series in discrete mathematics and theoretical computer science ; v. 15. ^A467230
Contents	Analyzing integer-sequences / A. Bhansali and S.S. Skiena -- GDR : a visualization tool for graph algorithms / M. Stallmann, R. Cleaveland, and P. Hebbar -- Application of computational tools for finitely presented groups / G. Havas and E.F. Robertson -- Animated algorithms computer science education with algorithm animation / P.A. Gloor, I. Lee, and A. Velez-Sosa -- AGE : an animated graph environment / J. Abello ... [et al.] -- An interactive, graphical, educationally oriented graph analysis package / D.S. Dillon and F.R. Smietana -- Network assistant to construct, test, and analyze graph network algorithms / G.H. Bradley and H.F. Oliveira -- Computing spanning trees in NETPAD / Keh-Wei Lih, N. Dean, and M. Mihail -- An empirical assessment of algorithms for constructing a minimum spanning tree / B.M.E. Moret and H.D. Shapiro -- Rectlinear Steiner tree minimization on a workstation / C. Thomborson, B. Alpern, and L. Carter -- The XYZ GeoBench for the experimental evaluation of geometric algorithms / P. Schorn -- Monitoring an algorithm's execution / D.A. Berque and M.K. Goldberg -- Implementation of parallel graph algorithms on the MasPar / T.S. Hsu, V. Ramachandran, and N. Dean -- Monte Carlo and Markov chain techniques for network reliability and sampling / A.L. Buchsbaum and M. Mihail -- Networks and reliability in Maple / D.D. Harms, J.S. Devitt, and C.J. Colbourn -- GMP/X, an X-windows based graph manipulation package / G. Zimmerman, A.H. Esfahanian, and D. Vasquez -- METANET : a system for network analysis / C. Gomez and M. Goursat -- Graphtool : a tool for interactive design and manipulation of graphs and graph algorithms / V.J. Leung, M.B. Dillencourt, and A.L. Bliss -- Improvements to GraphPack : a system to manipulate graphs and digraphs / M. Krishnamoorthy ... [et al.] -- Extending a graph browser for topological graph theory / J.I. Helfman and J.L. Gross -- Test case construction for the vertex cover problem / L.A. Sanchis -- CallCo : software for combinatorics / M. Delest and N. Rouillon -- Formal calculus and enumerative combinatorics / M. Delest -- Implementing finite state machines / K. Sutner -- NPDA : a tool for visualizing and simulating nondeterministic pushdown automata / D. Caugherty and S.H. Rodger -- Recognizing the hidden structure of Cayley graphs / I.J. Dejter -- A concept for the representation of data and algorithms / D. M öller and R. Müller.
Bibliography note	Includes bibliographical references.
LCCN	94010076
ISBN	0821866052

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.M35 D55 1994	✔ Available	Place Hold

Computational support for discrete mathematics : DIMACS workshop, March 12-14, 1992 / Nathaniel Dean, Gregory E. Shannon, editors.

Click here for more information about this title

Availability