Results
|
1.
|
Logic, automata, and algorithms/ Mark A. Aiserman [and others] ; translated [from the Russian] by Scripta Technica, Inc ; translation editor George M. Kranc. by
- Tal', Aleksey A
- Smirnova, Irina M
- Rozonoer, Lev I
- Gusev, Leonid A
- Aizerman, M. A., (Mark Aronovich), 1913-
Series: Mathematics in science and engineering ; vol.79. Language: English Original language: Russian
Publication details: New York London: Academic Press, 1971
Availability: Items available for loan: Castorina (1)Call number: 512 L832 1971 IMPA.
Found in Open Library:
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
Stochastic models, statistical methods, and algorithms in image analysis: proceedings of the special year on image analysis held in Rome, Italy, 1990/ P. Barone, A. Frigessi, M. Piccioni, eds. by
- Barone, P. (Piero)
- Frigessi, A. (Arnoldo)
- Piccioni, M. (Mauro)
Series: Lecture notes in statistics (Springer-Verlag) ; v. 74.
Publication details: Berlin ; New York: Springer-Verlag, c1992
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
|
12.
|
Algorithms and complexity: proceedings of the first Italian conference, Rome, Italy, 1-2 October 1990/ editors, Giorgio Ausiello, Daniel P. Bovet, Rosella Petreschi. by
- Ausiello, G. (Giorgio), 1941-
- Bovet, D. (Daniele)
- Petreschi, Rosella
- Italian Conference on Algorithms and Complexity (1st : 1990 : Rome, Italy)
Publication details: Singapore Teaneck, NJ: World Scientific, c1990
Availability: Items available for loan: Castorina (1)Call number: 519.4 A396 1990 IMPA.
Found in Open Library:
|
|
13.
|
|
|
14.
|
|
|
15.
|
Specification of parallel algorithms: DIMACS workshop, May 9-11, 1994/ Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors. by
- Blelloch, Guy E
- Chandy, K. Mani
- Jagannathan, Suresh
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 18.
Publication details: [Providence, RI]: American Mathematical Society, 1994
Availability: Items available for loan: Castorina (1)Call number: 005.1 S741 1994 IMPA.
Found in Open Library:
|
|
16.
|
|
|
17.
|
Cliques, coloring, and satisfiability: second DIMACS implementation challenge, October 11-13, 1993/ David S. Johnson, Michael A. Trick, editors. by
- Johnson, David S, 1945-
- Trick, Michael A
Series: DIMACS series in discrete mathematics and theoretical computer science ; v. 26.
Publication details: Providence, R.I.: American Mathematical Society, c1996
Availability: Items available for loan: Castorina (1)Call number: 511.5 C641 1996 IMPA.
Found in Open Library:
|
|
18.
|
|
|
19.
|
Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996/ Dingzhu Du, Jun Gu, Panos M. Pardalos, editors. by
- Du, Dingzhu
- Gu, Jun, 1956-
- Pardalos, P. M. (Panos M.), 1954-
- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Series: DIMACS series in discrete mathematics and theoretical computer science ; 35.
Publication details: Providence, R.I.: American Mathematical Society, c1997
Availability: Items available for loan: Castorina (1)Call number: 511.3 S253 1997 IMPA.
Found in Open Library:
|
|
20.
|
|