Results
|
|
61.
|
|
|
|
62.
|
Interconnection networks and mapping and scheduling parallel computations: DIMACS workshop, February 7-9, 1994/ D. Frank Hsu, Arnold L. Rosenberg, Dominique Sotteau, editors. by
- Hsu, D. Frank (Derbiau Frank), 1948-
- Rosenberg, Arnold L, 1941-
- Sotteau, Dominique, 1950-
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
- DIMACS (Group)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 21
Publication details: [Providence, RI]: American Mathematical Society, c1995
Availability: Items available for loan: Castorina (1)Call number: 004.35 I61 1995 IMPA.
Found in Open Library:
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
DNA Based Computers V: DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology/ Erik Winfree, David K. Gifford, editors. by
- Winfree, Erik, 1969-
- Gifford, David K, 1954-
- DIMACS Workshop on DNA Based Computers (5th: 1999: Massachusetts Institute of Technology)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 54
Publication details: Providence, R.I.: American Mathematical Society, c2000
Availability: Items available for loan: Castorina (2)Call number: 511.3 D629 2000 IMPA, ...
Found in Open Library:
|
|
|
66.
|
Mobile networks and computing: DIMACS workshop, mobile networks and computing, March 25-27, 1999, DIMACS Center/ Sanguthevar Rajasekaran, Panos Pardalos, D. Frank Hsu, editors. by
- Rajasekaran, Sanguthevar
- Pardalos, P. M. (Panos M.), 1954-
- Hsu, D. Frank (Derbiau Frank), 1948-
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 52
Publication details: Providence, R.I.: American Mathematical Society, c2000
Availability: Items available for loan: Castorina (1)Call number: 006.3 M687 2000 IMPA.
Found in Open Library:
|
|
|
67.
|
Robust communication networks: interconnection and survivability : DIMACS workshop, robust communication networks: interconnection and survivability, November 18-20, 1998, DIMACS Center/ Nathaniel Dean, D. Frank Hsu, R. Ravi, editors. by
- Dean, Nathaniel, 1956-
- Hsu, D. Frank (Derbiau Frank), 1948-
- Ravi, R. (Ramamoorthi), 1969-
- DIMACS (Group)
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
- DIMACS Workshop on Robust Communication Networks (1998: Rutgers University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 52
Publication details: Providence, R.I.: American Mathematical Society, c2000
Availability: Items available for loan: Castorina (1)Call number: 004.6 R667 2000 IMPA.
Found in Open Library:
|
|
|
68.
|
ACM Multimedia 94/ ACM Multimedia '94, San Francisco, California, October 15-20, 1994 ; sponsored by the ACM Special Interest Groups, SIGBIO ... [et al.] in cooperation with SIGAPP ... [et al. ; program chair, Domenico Ferrari]. by
- Ferrari, Domenico, 1940-
- Association for Computing Machinery. Special Interest Group on Biomedical Computing
- ACM International Conference on Multimedia (2nd: 1994: San Francisco, Calif.) ACM Multimedia 94
Publication details: New York: Reading, Mass.: ACM Press, Addison-Wesley, c1994
Availability: Items available for loan: Castorina (1)Call number: 006.6 A184 1994 IMPA.
Found in Open Library:
|
|
|
69.
|
|
|
|
70.
|
|
|
|
71.
|
Nordic workshop on programming environment research: Aalborg, May 29-31, 1996/ edited by Lars Bendix, Kurt Normark, Kasper Osterbye. by
- Bendix, Lars
- Nørmark, Kurt
- Osterbye, Kasper
Series: Report (Aalborg universitetscenter. Institut for elektroniske systemer. Afdeling for matematik og datalogi) ; R-96-2019.
Publication details: Aalborg, Denmark: Aalborg University, Institute for Electronic Systems, Dept. of Mathematics and Computer Science, [1996]
Availability: Items available for loan: Castorina (1)Call number: 005.133 N832 1996 IMPA.
|
|
|
72.
|
|
|
|
73.
|
Partial order methods in verification: DIMACS workshop July 24-26, 1996/ Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. by
- Peled, Doron, 1962-
- Pratt, Vaughan R
- Holzmann, Gerard J, 1951-
- DIMACS (Group)
- Workshop on Partial Order Methods in Verification (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; 29
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 006.601 P273 1997 IMPA.
Found in Open Library:
|
|
|
74.
|
|
|
|
75.
|
Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University/ Neil Immerman, Phokion G. Kolaitis, editor. by
- Immerman, Neil, 1953-
- Kolaitis, Phokion
- DIMACS Workshop on Descriptive Complexity and Finite Models (1996: Princeton University)
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 31
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 D449 1997 IMPA.
Found in Open Library:
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
|
|
|
79.
|
Quantum computation: a grand mathematical challenge for the twenty-first century and the millennium : American Mathematical Society, Short Course, January 17-18, 2000, Washington, DC/ Samuel J. Lomonaco, Jr., editor. by
- Lomonaco, Samuel J
- American Mathematical Society
Series: Proceedings of symposia in applied mathematics ; v. 58.
Publication details: Providence, R.I.: American Mathematical Society, c2002
Availability: Items available for loan: Castorina (1)Call number: 511.352 Q1 2002 IMPA.
Found in Open Library:
|
|
|
80.
|
|
