Automata, languages and programming : ninth colloquium Aarhus, Denmark July 12-16, 1982 / edited by N. Nielsen and E.M. Schmidt |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1982 |
Descrizione fisica | VII, 613 p. : graf. ; 24 cm |
Disciplina | 001.642 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Linguaggio
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000350720203316 |
Berlin : Springer Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated deduction - CADE 17 : 17th international conference on automated deduction : Pittsburg, PA, USA, June 17-20, 2000 proceedings / David McAllester (ed.) |
Edizione | [Berlino] |
Descrizione fisica | XII, 512 p. : ill. ; 25 cm |
Disciplina | 006.3 |
Collana | Lecture notes in arteficial intelligence |
Soggetto non controllato |
Intelligenza artificiale
Logica matematica Logica simbolica Congressi |
ISBN | 3-540-67664-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000319930203316 |
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated reasoning wiyh analytic tableaux and related methods : international conference TABLEAUX 2000 : St. Andrews, Scotland UK, July 3-7, 2000 : proceedings / Roy Dyckhof (ed.) |
Autore | International conference, TABLEAUX 2000 <2000; St. Andrews> |
Edizione | [Berlino] |
Descrizione fisica | X, 440 p. : ill. ; 25 cm |
Disciplina | 006.3 |
Collana | Lecture notes in arteficial intelligence |
Soggetto non controllato |
Intelligenza artificiale
Logica matematica Congressi |
ISBN | 3-540-67697-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000319850203316 |
International conference, TABLEAUX 2000 <2000; St. Andrews> | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automated tools for information system design : proceedings of the IFIP WG 8.1. : working Conference on Automated Tools for Information System Design and Development, New Orleans, U.S.A., 26-28 january, 1982 / Hans-Jochen Schneider, Anthony I. Wasserman |
Autore | IFIP WG 8.1 Working Conference on Automated Tools for Information system design and Development <New Orleans; 1982> |
Pubbl/distr/stampa | Amsterdam : North-Holland Publishing Company, 1982 |
Descrizione fisica | IX, 261 p. : ill. tab. ; 22 cm |
Disciplina | 001.61 |
Soggetto non controllato |
Analisi dei sistemi (Automazione)
Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000360070203316 |
IFIP WG 8.1 Working Conference on Automated Tools for Information system design and Development <New Orleans; 1982> | ||
Amsterdam : North-Holland Publishing Company, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Broncopneumologia pediatrica / a cura del gruppo di broncopneumologia della Società Italiana di Pediatria ; segretario Prof. D. Castello ; segreteria del congresso Prof. R. Ronchetti |
Pubbl/distr/stampa | Roma : Verduci, 1983 |
Descrizione fisica | 427 p. : ill. ; 24 cm |
Disciplina | 618.92 (ed. 18) |
Soggetto non controllato |
Apparato respiratorio - Malattie - Infanzia
Congressi |
ISBN | 88-7620-013-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990002410240403321 |
Roma : Verduci, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Carlo V, Napoli e il Mediterraneo : atti del Convegno Internazionale svoltosi dall'11 al 13 gennaio 2001 presso la Società Napoletana di Storia Patria in Castelnuovo Napoli / a cura di Giuseppe Galasso e Aurelio Musi |
Pubbl/distr/stampa | Napoli : Società Napoletana di Storia Patria, 2001 |
Descrizione fisica | 744 p. ; 26 cm |
Disciplina | 945.707 |
Collana | Archivio storico per le provincie napoletane |
Soggetto non controllato |
Carlo V
Napoli - Regno Sec. XVI Mare Mediterraneo Congressi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990008141370403321 |
Napoli : Società Napoletana di Storia Patria, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Chirurgia oncologica : atti del 1. Congresso nazionale della società italiana di chirurgia oncologica : Napoli, 11-12-13 Novembre 1977 / a cura di F. Mazzeo |
Pubbl/distr/stampa | Padova : Piccin, 1981 |
Descrizione fisica | 2 v. (VIII, X, 1393 p. compless.) : ill. ; 24 cm |
Disciplina | 616.992 |
Soggetto non controllato |
Congressi
Tumori - Chirurgia |
ISBN | 88-212-0859-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990002408800403321 |
Padova : Piccin, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Combinatorial mathematics and its applications : proceedings of a conference held at the Mathematical Institute, Oxford, from 7-10 July, 1969 / edited by D. J. A. Welsh |
Autore | Conference on combinatorial mathematics and its applications : 1969 |
Pubbl/distr/stampa | London : Academic Press, 1971 |
Descrizione fisica | X, 364 p. ; 24 cm |
Disciplina |
519.2
511.6 |
Soggetto non controllato |
Congressi
Probabilità Analisi combinatoria |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001211190403321 |
Conference on combinatorial mathematics and its applications : 1969 | ||
London : Academic Press, 1971 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiler construction : 9th International conference, CC 2000 : heldas part of the joint european conferences on theory and practice of software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / David A. Watt (ed.) |
Autore | International conference CC 2000 <9.; 2000 : Berlino> |
Pubbl/distr/stampa | Berlino : Springer-Verlag, c2000 |
Descrizione fisica | X, 294 p. : ill. ; 24 cm |
Disciplina | 005.453 |
Collana | Lecture notes in computer science |
Soggetto non controllato |
Compilatori
Congressi |
ISBN | 3-540-67263-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000338240203316 |
International conference CC 2000 <9.; 2000 : Berlino> | ||
Berlino : Springer-Verlag, c2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational logic - CL 2000 : first international conference : London, UK, July 24-28, 2000 : proceedings / John Lloyd ...<et al.> (eds.) |
Edizione | [Berlino] |
Descrizione fisica | XIX, 1379 p. : ill. ; 20 cm |
Disciplina | 004 |
Collana | Lecture notes artificial intelligence |
Soggetto non controllato |
Elaborazione elettronica
Logica matematica Congressi |
ISBN | 3-540-67797-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000319460203316 |
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|