Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

Unhighlight Highlight
1. International symposium on theoretical programming /   Publication: Berlin : Springer-Verlag, 1974 . 407 p. ; 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
2. The logic of partial information / by Nait Abdallah, Areski Publication: Berlin ; New York : Springer-Verlag, 1995 . XXV, 715 p. ; 24 cm. Date:1995 Availability: No items available: Checked out (1), Actions:
3. Computability / by Weihrauch, Klaus Publication: Berlin : Springer-Verlag, 1987 . X, 517 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
4. Algorithms in combinatorial geometry / by Edelsbrunner, Herbert Publication: Berlin ; New York : Springer-Verlag, 1987 . XV, 423 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
5. Vol. 2: Graph algorithms and NP-completeness by Mehlhorn, Kurt Publication: Berlin : Springer-Verlag, 1984 . XII, 260 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
6. Vol. 3: Multi-dimensional searching and computational geometry by Mehlhorn, Kurt Publication: Berlin : Springer-Verlag, 1984 . XII, 282 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
7. Vol. 3: Sorting and searching by Mehlhorn, Kurt Publication: Berlin : Springer-Verlag, 1984 . XII, 336 p. : , V.1: Sorting and searching. V.2: Graph algorithms and NP-completeness.V. 3: Multi-dimensional searching and computational geometry. 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
8. Stacs 89 : 6th annual symposium on theoretical aspects of computer science, Paderborn, FRG, february 16-18, 1989 /   Publication: Berlin : Springer Verlag, 1989 . VI, 543 p. ; 24 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
9. STACS 86 : proceedings of the 3rd Annual symposium on theoretical aspects of computer science, Orsay, France, January 16-18, 1986 /   Publication: Berlin : Springer-Verlag, 1986 . IX, 368 p. ; 25 cm. Date:1986 Availability: No items available: Checked out (1), Actions:
10. Information flow : the logic distributed systems / by Barwise, Jon Publication: Cambridge : Cambridge University Press, 1997 . XV, 274 p. ; 24 cm. Date:1997 Availability: No items available: Checked out (1), Actions: