Almost Duplication-Free Tableau Calculi for Propositional Lax Logics
1996-01-01 Avellone, A.; Ferrari, Mauro
Hypertableau and path-hypertableau calculi for some families of intermediate logics
2000-01-01 Ciabattoni, A.; Ferrari, Mauro
Synthesis of programs in abstract data types
1999-01-01 Avellone, A.; Ferrari, Mauro; Miglioli, P.
Factors controlling temporal and spatial modifications in Populus nigra woody taproots subjected to bending.
2011-01-01 Trupiano, D.; De Luca, C.; Rossi, M.; Rocco, M.; Chiatante, Donato; Scippa, G. S.
Aspetti tecnico-organizzativi delle intossicazioni multiple
2000-01-01 Franchi, D; Severgnini, Paolo; Garzena, G; Mazzi, G.; Botta, L; Minoja, G; Chiaranda, Maurizio
Tecniche di ventilazione nella contusione polmonare
1999-01-01 Chiaranda, Maurizio; Maraggia, D; Cominotti, S.
Audit nel trauma
2001-01-01 Chiaranda, Maurizio; Mezzetti, M.
La Centrale Operativa SSUEm 118 Varese e i mass media
2001-01-01 Mare, C; FRANCHI D., DE FELICE M; Troiano, R; Botta, L; Scaramuzzino, V; Chiaranda, Maurizio
Automatic Visual Attributes Extraction from Web Offers Images
2012-01-01 Nodari, Angelo; Vanetti, Marco; Gallo, Ignazio
A mobile visual search application for content based image retrieval in the fashion domain
2012-01-01 Nodari, Angelo; Ghiringhelli, M.; Zamberletti, A.; Albertini, Simone; Vanetti, Marco; Gallo, Ignazio
Unsupervised Self-Organizing Texture Descriptor
2012-01-01 Vanetti, Marco; Gallo, Ignazio; Nodari, Angelo
Learning Object Segmentation using a Multi Network Segment Classification Approach
2012-01-01 Albertini, Simone; Gallo, Ignazio; Vanetti, Marco; Nodari, Angelo
Safe optimization of 2-octanol oxidation and vinyl acetate emulsion polymerization
2012-01-01 Copelli, Sabrina; Derudi, M.; Rota, R.; Torretta, Vincenzo; Pasturenzi, C.; Lunghi, A.
Industrial risk in the Lombardy Region (Italy): what people perceive and what are the gaps to improve the risk communication and the participatory processes
2012-01-01 Di Mauro, C.; Bouchon, S.; Torretta, Vincenzo
L’impianto di biostabilizzazione di Bari. Correlazione tra chimismo dell'effluente del biofiltro ed unità odorigene
2011-01-01 Torretta, Vincenzo; Ranieri, E.; Di Biase, A.; Urbini, Giordano
On the generation of L-convex Polyominoes
2012-01-01 Massazza, Paolo
Meningiomas of the convexity: review of a surgical series and analysis of recurrent cases
2008-01-01 M., Caroli; Balbi, Sergio; F., Portaluri; S., Zella; E., Zekaj; F., Motta; R., Campanella; S. M., Gaini
Clinical evaluation and long-term follow-up in 16 patients with pseudotumour cerebri
1990-01-01 C., Arienta; M., Caroli; Balbi, Sergio; A., Parma; E., Calappi; R., Massei
Quality and outsourcing in Public Organizations
2011-01-01 Gazzola, Patrizia; Pellicelli, M.
Pitagorismo e numerologia a Milano nel primo Seicento
2011-01-01 Gaspari, Gianmarco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Almost Duplication-Free Tableau Calculi for Propositional Lax Logics | 1-gen-1996 | Avellone, A.; Ferrari, Mauro | |
| Hypertableau and path-hypertableau calculi for some families of intermediate logics | 1-gen-2000 | Ciabattoni, A.; Ferrari, Mauro | |
| Synthesis of programs in abstract data types | 1-gen-1999 | Avellone, A.; Ferrari, Mauro; Miglioli, P. | |
| Factors controlling temporal and spatial modifications in Populus nigra woody taproots subjected to bending. | 1-gen-2011 | Trupiano, D.; De Luca, C.; Rossi, M.; Rocco, M.; Chiatante, Donato; Scippa, G. S. | |
| Aspetti tecnico-organizzativi delle intossicazioni multiple | 1-gen-2000 | Franchi, D; Severgnini, Paolo; Garzena, G; Mazzi, G.; Botta, L; Minoja, G; Chiaranda, Maurizio | |
| Tecniche di ventilazione nella contusione polmonare | 1-gen-1999 | Chiaranda, Maurizio; Maraggia, D; Cominotti, S. | |
| Audit nel trauma | 1-gen-2001 | Chiaranda, Maurizio; Mezzetti, M. | |
| La Centrale Operativa SSUEm 118 Varese e i mass media | 1-gen-2001 | Mare, C; FRANCHI D., DE FELICE M; Troiano, R; Botta, L; Scaramuzzino, V; Chiaranda, Maurizio | |
| Automatic Visual Attributes Extraction from Web Offers Images | 1-gen-2012 | Nodari, Angelo; Vanetti, Marco; Gallo, Ignazio | |
| A mobile visual search application for content based image retrieval in the fashion domain | 1-gen-2012 | Nodari, Angelo; Ghiringhelli, M.; Zamberletti, A.; Albertini, Simone; Vanetti, Marco; Gallo, Ignazio | |
| Unsupervised Self-Organizing Texture Descriptor | 1-gen-2012 | Vanetti, Marco; Gallo, Ignazio; Nodari, Angelo | |
| Learning Object Segmentation using a Multi Network Segment Classification Approach | 1-gen-2012 | Albertini, Simone; Gallo, Ignazio; Vanetti, Marco; Nodari, Angelo | |
| Safe optimization of 2-octanol oxidation and vinyl acetate emulsion polymerization | 1-gen-2012 | Copelli, Sabrina; Derudi, M.; Rota, R.; Torretta, Vincenzo; Pasturenzi, C.; Lunghi, A. | |
| Industrial risk in the Lombardy Region (Italy): what people perceive and what are the gaps to improve the risk communication and the participatory processes | 1-gen-2012 | Di Mauro, C.; Bouchon, S.; Torretta, Vincenzo | |
| L’impianto di biostabilizzazione di Bari. Correlazione tra chimismo dell'effluente del biofiltro ed unità odorigene | 1-gen-2011 | Torretta, Vincenzo; Ranieri, E.; Di Biase, A.; Urbini, Giordano | |
| On the generation of L-convex Polyominoes | 1-gen-2012 | Massazza, Paolo | |
| Meningiomas of the convexity: review of a surgical series and analysis of recurrent cases | 1-gen-2008 | M., Caroli; Balbi, Sergio; F., Portaluri; S., Zella; E., Zekaj; F., Motta; R., Campanella; S. M., Gaini | |
| Clinical evaluation and long-term follow-up in 16 patients with pseudotumour cerebri | 1-gen-1990 | C., Arienta; M., Caroli; Balbi, Sergio; A., Parma; E., Calappi; R., Massei | |
| Quality and outsourcing in Public Organizations | 1-gen-2011 | Gazzola, Patrizia; Pellicelli, M. | |
| Pitagorismo e numerologia a Milano nel primo Seicento | 1-gen-2011 | Gaspari, Gianmarco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- Atti di Convegno3798
Data di pubblicazione
- In corso di stampa7
- 2020 - 2027552
- 2010 - 20191597
- 2000 - 20091063
- 1990 - 1999376
- 1980 - 1989178
- 1971 - 197925
Editore
- Institute of Electrical and Elect...102
- Springer93
- IEEE Computer Society78
- IEEE72
- ACM50
- Springer Verlag45
- CEUR-WS28
- Optica Publishing Group (formerly...27
- WITPress25
- Springer Science and Business Med...23
Rivista
- GIORNALE ITALIANO DI MEDICINA DEL...3
- ACM INTERNATIONAL CONFERENCE PROC...1
- CLINICAL TOXICOLOGY1
- IEEE TRANSACTIONS ON NEURAL SYSTE...1
- INTERNATIONAL JOURNAL OF ENERGY P...1
- JAHRBUCH FÜR INTERNATIONALE GERMA...1
- LECTURE NOTES IN COMPUTER SCIENCE1
- NEUROCOMPUTING1
- RIVISTA ARCHEOLOGICA DELL'ANTICA ...1
Serie
- LECTURE NOTES IN COMPUTER SCIENCE68
- CEUR WORKSHOP PROCEEDINGS54
- Optics InfoBase Conference Papers38
- PROCEEDINGS OF SPIE, THE INTERNAT...29
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- WIT TRANSACTIONS ON ECOLOGY AND T...19
- AIP CONFERENCE PROCEEDINGS13
- WIT TRANSACTIONS ON ECOLOGY AND T...12
- INTERNATIONAL ASTRONAUTICAL CONGR...8
- LECTURE NOTES IN COMPUTER SCIENCE8
Keyword
- MSW40
- Computer Networks and Communications22
- bio-drying21
- Physics and Astronomy (all)21
- Electrical and Electronic Enginee...20
- Computer Science (all)18
- Nuclear and High Energy Physics18
- SETI18
- Software18
- selective collection17
Lingua
- eng1314
- ita362
- fre16
- spa8
- ger5
- rus3
- gre2
- und2
- enm1
- mul1
Accesso al fulltext
- no fulltext3358
- reserved292
- open138
- restricted10