Computational support for discrete mathematics: (Record no. 21187)

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
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Livros (Books) Castorina Castorina Estantes Abertas (Open Shelves) 1999-05-25   511.602 C738 1994 IMPA 39063000167992 2022-12-02 1 2022-12-02 Books
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha