Amazon cover image
Image from Amazon.com
Image from OpenLibrary
See Baker & Taylor
Image from Baker & Taylor

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

Contributor(s): Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 15Publication details: Providence, R.I.: American Mathematical Society, 1994.Description: xii, 399 p.: ill.; 27 cmISBN:
  • 0821866052
Subject(s): DDC classification:
  • 511.602 C738
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 öller and R. Müller .
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Copy number Status Date due Barcode
Books Books Castorina Estantes Abertas (Open Shelves) Livros (Books) 511.602 C738 1994 IMPA (Browse shelf(Opens below)) 1 Available 39063000167992

Includes bibliographical references.

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 öller and R. Müller .

There are no comments on this title.

to post a comment.
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha