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

Unhighlight Highlight
21. CONCUR '90 : theories of concurrency : unification and extension, Amsterdam, the Netherlands, August 27-30, 1990: proceedings /   Publication: Berlin : Springer-Verlag, 1990 . VII, 536 p. : , "The ESPRIT Basic Research Action 3006, CONCUR (Theories of concurrency--unification and extension) started onSeptember 1, 1989 ... The conference CONCUR '90, hosted byCWI with the help of the University of Amsterdam, marksthe end of the first year of CONCUR"--Pref. 25 cm. Date:1990 Availability: No items available: Checked out (1), Actions:
22. Stochastic complexity in statistical inquiry / by Rissanen, Jorma Publication: Singapore ; Teaneck, N.J. : World Scientific, 1989 . III, 177 p. ; 22 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
23. Automaton theory and modeling of biological systems / by Tsetlin, Mikhail L'vovich Publication: New York : Academic Press, 1973 . XVI, 288 p. : 24 cm. Date:1973 Availability: No items available: Checked out (1), Actions:
24. Discrete mathematical structures with applications to computer science / by Tremblay, Jean Paul Publication: New York : McGraw-Hill, 1975 . XVI, 606 p. : 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
25. Languages and machines : an introduction to the theory of computer science / by Sudkamp, Thomas A. Publication: Reading : Addison-Wesley, 1988 . XV, 444 p. : 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
26. Semantic networks : an evidential formalization and its connectionist realization / by Shastri, Lokendra Publication: London : Pitman, 1988 . 222 p. ; 24 cm. Date:1988 Availability: No items available: Checked out (1), Actions:
27. Brains, machines, and mathematics / by Arbib, Michael A. Publication: New York : Springer-Verlag, 1987 . XVI, 202 p. : 25 cm. Date:1987 Availability: No items available: Checked out (1), Actions:
28. Automata, languages and programming : proceedings of the 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /   Publication: Berlin : Springer-Verlag, 1984 . VI, 526 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
29. Logic and machines : decision problems and complexity : proceedings of the Symposiium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frudlagenforschung der Universitat Munster-Westfalen /   Publication: Berlin : Springer-Verlag, 1984 . VI, 456 p. : 25 cm. Date:1984 Availability: No items available: Checked out (1), Actions:
30. A basis for theoretical computer science / by Arbib, Michael A. Publication: New York : Springer-Verlag, 1981 . VIII, 220 p. : 24 cm. Date:1981 Availability: No items available: Checked out (1), Actions:
31. Elementary computability, formal languages, and automata / by McNaughton, Robert Publication: Englewood Cliffs : Prentice-Hall, 1982 . XVI, 400 p. : 24 cm. Date:1982 Availability: No items available: Checked out (1), Actions:
32. Introduction to automata theory, languages, and computation / by Hopcroft, John E. Publication: Reading : Addison-Wesley, 1979 . X, 418 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
33. Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . VII, 324 p. : 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
34. The complexity of computing / by Savage, John E. Publication: New York : Wiley, 1976 . XIII, 391 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
35. Mathematical foundations of computer science, 1977 : proceedings, 6th symposium, Tatranska Lomnica, September 5-9, 1977 /   Publication: Berlin : Springer-Verlag, 1977 . X, 595 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
36. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /   Publication: Berlin : Springer Verlag, 1977 . 542 p. ; 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
37. Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /   Publication: Berlin : Springer-Verlag, 1979 . IX, 684 p. : , One contribution in French. 25 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
38. Applications of fuzzy sets to systems analysis / by Negoita, Constantin Virgil Publication: New York : Wiley, 1975 . 186 p. ; 24 cm. Date:1975 Availability: No items available: Checked out (1), Actions:
39. Computational learning and probabilistic reasoning /   Publication: Chichester : Wiley, 1996 . XII, 312 p. : 25 cm. Date:1996 Availability: No items available: Checked out (1), Actions:
40. Definition of programming languages by interpreting automata / by Ollongren, Alexander Publication: London ; New York : Academic Press, 1974 . XI, 290 p. : 24 cm. Date:1974 Availability: No items available: Checked out (1), Actions:
1 2 3 Next >>