Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automata, languages and programming : ninth colloquium Aarhus, Denmark July 12-16, 1982 / edited by N. Nielsen and E.M. Schmidt
| 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.)
| 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.)
| 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
| 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
| 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
| 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
| 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
| 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.)
| 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.)
| 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 | ||
|
