000			03602n a2200337#a 4500
001			20938
003			P5A
005			20240404163514.0
008			940308s1994 riu b 000 0 eng||
010			_a94010076
020			_a0821866052
035			_aocm30071294
040			_aDLC _cDLC _dGZM _dPMC _dIAI
049			_aP5AA
082	0	0	_a511.602 _bC738
090			_ama12Bcs
245	0	0	_aComputational support for discrete mathematics: _bDIMACS workshop, March 12-14, 1992/ _cNathaniel Dean, Gregory E. Shannon.
260			_aProvidence, R.I.: _bAmerican Mathematical Society, _c1994.
263			_a1111
300			_axii, 399 p.: _bill.; _c27 cm.
504			_aIncludes bibliographical references.
505	0		_aAnalyzing 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 .
650	0	4	_aComputer science- _xMathematics. _937772
697			_aMatemática Aplicada 12B- _bCongressos e Seminários- _xUso do Computador em Matemática. _923824
700	1		_aDean, Nathaniel, _d1956- _926138
700	1		_aShannon, Gregory E., _d1960- _926139
710	2		_aDIMACS (Group). _935432
942			_2impa _cBK
999			_c21187 _d21187
490		0	_aDIMACS series in discrete mathematics and theoretical computer science; _vv. 15 _935430