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

241. Synergetic computers and cognition : a top-down approach to neural nets / by Haken, Hermann Publication: Berlin : Springer-Verlag, 1991 . IX, 225 p. : 25 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
242. High-level connectionist models /   Publication: Norwood : Ablex Publishing Corporation, 1991 . XI, 389 p. : 23 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
243. Mathematical foundations of computer science 1976 : proceedings, 5th symposium, Gdansk, september 6-10, 1976 /   Publication: Berlin : Springer-Verlag, 1976 . XI, 606 p. ; 25 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
244. Edinburgh LCF : a mechanised logic of computation / by Gordon, Michael J. Publication: Berlin : Springer-Verlag, 1979 . VIII, 159 p. ; 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
245. Problem solving and structured programming in BASIC / by Koffman, Elliot B. Publication: Reading : Addison-Wesley, 1979 . (paginazione varia) : 23 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
246. Iterative learning control for deterministic systems / by Moore, Kevin L. Publication: London : Springer-Verlag, 1993 . XVI, 152 p. : 25 cm. Date:1993 Availability: No items available: Checked out (1), Actions:
247. Syntax of programming languages : theory and practice / by Backhouse, Roland C. Publication: Englewood Cliffs, [N.J.] : Prentice-Hall International, 1979 . XV, 301 p. : 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
248. Architecture of distributed computer systems / by Bochmann, Gregor v. Publication: Berlin : Springer-Verlag, 1979 . VII, 238 p. ; 24 cm. Date:1979 Availability: No items available: Checked out (1), Actions:
249. The Vienna development method : the Meta-langauge /   Publication: Berlin : Springer-Verlag, 1978 . XV, 382 p. ; 25 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
250. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages / by Jones, Neil D. Publication: Berlin : Springer-Verlag, 1978 . IX, 118 p. : 24 cm. Date:1978 Availability: No items available: Checked out (1), Actions:
251. 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:
252. Automata languages and programming : fifth Colloquium, Udine, July 17-21, 1978 /   Publication: Berlin : Springer-Verlag, 1989 . VIII, 508 p. ; 25 cm. Date:1989 Availability: No items available: Checked out (1), Actions:
253. Automata, languages and programming : fourth Colloquium, University of Turku, Finland, July 18-22, 1977 /   Publication: Berlin : Springer-Verlag, 1977 . X, 569 p. ; 25 cm. Date:1977 Availability: No items available: Checked out (1), Actions:
254. 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:
255. 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:
256. Language hierarchies and interfaces : international summer school / by Bauer, Friedrich Ludwig Publication: Berlin ; New York : Springer-Verlag, 1976 . X, 423 p. : 24 cm. Date:1976 Availability: No items available: Checked out (1), Actions:
257. Fifth Annual Sumposium on Biomathematics and Computer Science in the Life Science : Houston, Texas, March 30 and 31, and April 1, 1967   Publication: [S.l. : s.n.], . 132 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
258. Fourth Annual Sumposium on Biomathematics and Computer Science in the Life Science : Houston, Texas, March 24, 25, 26, 1966   Publication: [S.l. : s.n.], . 94 p. ; 28 cm. Availability: No items available: Checked out (1), Actions:
259. Advances in spatial databases : 2. symposium, SSD '91, Zurich, Switzerland, August 28-30, 1991 : proceedings /   Publication: Berlin : Springer-Verlag, 1991 . XI, 471 p. ; 24 cm. Date:1991 Availability: No items available: Checked out (1), Actions:
260. Denotational semantics : the Scott-Strachey approach to programming language theory / by Stoy, Joseph Publication: Cambridge : The MIT Press, 1977 . XXX, 414 p. : 24 cm. Date:1977 Availability: No items available: Checked out (1), Actions: