Results
|
1621.
|
XIII Brazilian Symposium on Computer Graphics and Image Processing: proceedings : October 17-20, 2000, Gramado (RS), Brazil/ edited by Paulo Cezar Carvalho, Marcelo Walter. by
- Carvalho, Paulo Cezar Pinto, 1952-
- Walter, Marcelo
- IEEE Computer Society
- Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (13th: 2000: Gramado (RS), Brazil)
Publication details: Los Alamitos, CA: IEEE, c2000
Other title:
- Thirteenth Brazilian Symposium on Computer Graphics and Image Processing
- SIBGRAPI 2000
Availability: Items available for loan: Castorina (1)Call number: 006.3 B827 2000 IMPA.
Found in Open Library:
|
|
1622.
|
|
|
1623.
|
|
|
1624.
|
|
|
1625.
|
|
|
1626.
|
Integrable systems: from classical to quantum : proceedings of the 38th session of the seminaire de mathématiques supérieures, July 26-August 6, 1999 Montréal, Québec, Canada/ J. Harnad, G. Sabidussi, P. Winternitz, editors. by
- Harnad, J. P. (John P.), 1946-
- Sabidussi, Gert
- Winternitz, Pavel
Series: CRM proceedings & lecture notes ; v. 26
Publication details: Providence, R.I.: American Mathematical Society, c2000
Availability: Items available for loan: Castorina (1)Call number: 514.74 I61 2000 IMPA.
Found in Open Library:
|
|
1627.
|
|
|
1628.
|
|
|
1629.
|
Theoretical and Applied Mechanics: Proceedings of the Third Congress. by
- Indian Society of theoretical and applied mechanics
- Indian Institute of Technology
- Congress on Theoretical and Applied Mechanics (3rd: 1957: Bangalore)
Publication details: Kharagpur: Indian Institute of Technology, 1957
Availability: Items available for loan: Castorina (1)Call number: 531 T396 1957 IMPA.
|
|
1630.
|
Modern Developments in Analytical Mechanics : Proceedings; Torino, June 7-11, 1982/ edited by S. Benenti, M. Francaviglia, and A. Lichnerowicz. by
- Benenti, S. (Sergio)
- Francaviglia, M
- Lichnerowicz, André, 1915-
- Accademia delle scienze di Torino. Atti
- IUTAM-ISIMM Symposium on Modern Developments in Analytical Mechanics (1982: Turin, Italy)
Publication details: Torino: Accademia delle scienze, 1983
Availability: Items available for loan: Castorina (2)Call number: 531 M691 1983 IMPA, ...
Found in Open Library:
|
|
1631.
|
|
|
1632.
|
|
|
1633.
|
The SPIN verification system: the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996/ Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors. by
- Workshop on the SPIN Verification System (2nd: 1996: Rutgers University)
- Grégoire, Jean-Charles, 1960-
- Holzmann, Gerard J, 1951-
- Peled, Doron, 1962-
Series: DIMACS series in discrete mathematics and theoretical computer science ; 32
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 005.276 S757 1997 IMPA.
Found in Open Library:
|
|
1634.
|
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:
|
|
1635.
|
|
|
1636.
|
|
|
1637.
|
|
|
1638.
|
|
|
1639.
|
Visual proceedings : SIGGRAPH '92/ edited by John Grimes and Gray Lorig. by
- Grimes, John
- Lorig, Gray
- SIGGRAPH
- IEEE Computer Society Technical Committee--Computer Graphics
- SIGGRAPH '92 (1992: Chicago, Ill.)
Publication details: New York: Association for Computing Machinery, c1992
Availability: Items available for loan: Castorina (1)Call number: 006.6 V834 1992 IMPA.
|
|
1640.
|
|