MARC details
000 -LEADER |
fixed length control field |
03602n a2200337#a 4500 |
001 - CONTROL NUMBER |
control field |
20938 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
P5A |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20240404163514.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
940308s1994 riu b 000 0 eng|| |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
LC control number |
94010076 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0821866052 |
035 ## - SYSTEM CONTROL NUMBER |
System control number |
ocm30071294 |
040 ## - CATALOGING SOURCE |
Original cataloging agency |
DLC |
Transcribing agency |
DLC |
Modifying agency |
GZM |
-- |
PMC |
-- |
IAI |
049 ## - LOCAL HOLDINGS (OCLC) |
Holding library |
P5AA |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
511.602 |
Item number |
C738 |
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES |
IMPA CODE FOR CLASSIFICATION SHELVES |
Matemática Aplicada 12B-Congressos e Seminários-Uso do Computador em Matemática. |
245 00 - TITLE STATEMENT |
Title |
Computational support for discrete mathematics: |
Remainder of title |
DIMACS workshop, March 12-14, 1992/ |
Statement of responsibility, etc. |
Nathaniel Dean, Gregory E. Shannon. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Providence, R.I.: |
Name of publisher, distributor, etc. |
American Mathematical Society, |
Date of publication, distribution, etc. |
1994. |
263 ## - PROJECTED PUBLICATION DATE |
Projected publication date |
1111 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
xii, 399 p.: |
Other physical details |
ill.; |
Dimensions |
27 cm. |
490 #0 - SERIES STATEMENT |
Series statement |
DIMACS series in discrete mathematics and theoretical computer science; |
Volume/sequential designation |
v. 15 |
-- |
35430 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc. note |
Includes bibliographical references. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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 . |
650 04 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer science- |
General subdivision |
Mathematics. |
9 (RLIN) |
37772 |
697 ## - LOCAL SUBJECT |
Local Subject |
Matemática Aplicada 12B- |
Complement |
Congressos e Seminários- |
Description subdivision |
Uso do Computador em Matemática. |
Linkage |
23824 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Dean, Nathaniel, |
Dates associated with a name |
1956- |
9 (RLIN) |
26138 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Shannon, Gregory E., |
Dates associated with a name |
1960- |
9 (RLIN) |
26139 |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
DIMACS (Group). |
9 (RLIN) |
35432 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Instituto de Matemática Pura e Aplicada |
Koha item type |
Books |