Dimension-complemented lambda abstraction algebras
1994 D., Pigozzi; Salibra, Antonino
On the power of equational calculus: applications and extensions.
1991 V., Manca; Salibra, Antonino
A representation theorem for lambda abstraction algebras
1993 D., Pigozzi; Salibra, Antonino
On categorical frames, universal algebra and Boolean algebras with operators in a category
1998 Salibra, Antonino
From Lambda Calculus to Universal Algebra and Back
2008 Manzonetto, G; Salibra, Antonino
The minimal graph model of lambda calculus
2003 Bucciarelli, A; Salibra, Antonino
Lambda theories of effective lambda models
2007 C., Berline; G., Manzonetto; Salibra, Antonino
NETWORK EFFECTS IN TECHNOLOGY ACCEPTANCE: LABORATORY EVIDENCE
2008 Pontiggia, Andrea; F., Virili
Evaluation of Sponsorship Effects on Brand Image within a European Context: the America’s Cup and Louis Vuitton Case
2008 Ganassali, S; Zucchella, A; Cerchiello, P; Siebels, A; Bachmann, F; Hennigs, N; RODRIGUES SANTOS, C; Dalli, D; Casarin, Francesco; Mau, G; Kuster, I; Vila, N; Giannelloni, J. C.; Moscarola, J. L.
BOUNDARY SPANNING BETWEEN FIRMS AND UNIVERSITIES : AN EXPLORATIVE ANALYSIS OF TECHNOLOGICAL TRANSFER CENTRES IN NORTH EAST ITALY
2008 Comacchio, Anna; Bonesso, Sara
Le miniature del manoscritto del Mārkandeya Purāna conservato presso la Biblioteca di Udine
1990 Filippi, Gian Giuseppe
The Polar Function of the Tasawwuf
1993 Filippi, Gian Giuseppe
Alcune considerazioni sui bhuta come componenti corporee
1998 Filippi, Gian Giuseppe
Funzione delle arti nell'educazione gandhiana
1994 Filippi, Gian Giuseppe
Nakula: alcune note iconografiche
1998 Filippi, Gian Giuseppe
THE PROMOTING EFFECT OF WATER IN THE CARBON MONOXIDE ETHENE COPOLYMERISATION IN POLAR APROTIC SOLVENTS PROMOTED BY THE PRECURSOR [Pd(AcO)2(dppp)] (dppp = 1,3-BIS(DIPHENYLPHOSPHINO)PROPANE)
2008 Vavasori, Andrea; Amadio, E; Cavinato, G; Ronchin, Lucio; Toniolo, Luigi
KINETICS OF HYDROGENATION OF ETHYL-BENZOYLACETATE TO 3-HYDROXY 3-PHENYL PROPIONATE CATALYZED BY PD/C
2008 Ronchin, Lucio; Vavasori, Andrea; Bernardi, D; Toniolo, Luigi
Oxidative Carbonylation of Alkanols Catalyzed by Pd(II)-phosphine Complexes. Sinthesis, Characterization, and Reactivity of new Carboalkoxy Complexes as Model Intermediate
2008 Amadio, E; Cavinato, G; Ronchin, Lucio; Toniolo, Luigi; Vavasori, Andrea
Guido Casoni, Venezia e l'Accademia degli Incogniti
2008 Perocco, Daria
How Management Education Affects Careers: a Competency-based Study of an Italian MBA Program
2008 Camuffo, A; Gerli, Fabrizio
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
- 4 Contributo in Atti convegno9625
Data di pubblicazione
- In corso di stampa65
- 2020 - 20261577
- 2010 - 20193262
- 2000 - 20093237
- 1990 - 19991072
- 1980 - 1989320
- 1970 - 197971
- 1964 - 196921
Editore
- IEEE373
- Springer190
- IEEE Computer Society105
- Institute of Electrical and Elect...105
- Springer Verlag88
- ACM85
- Springer Science and Business Med...63
- -54
- Association for Computing Machinery47
- CLEUP46
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE12
- UMANISTICA DIGITALE10
- E3S WEB OF CONFERENCES7
- INTERNATIONAL CONFERENCE ON PATTE...7
- ABSTRACTS OF PAPERS - AMERICAN CH...6
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- SCIENZA E BENI CULTURALI5
- CHEMICAL ENGINEERING TRANSACTIONS4
- COLLECTIVE DYNAMICS4
- BUILDING SIMULATION CONFERENCE PR...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE244
- CEUR WORKSHOP PROCEEDINGS54
- LECTURE NOTES IN ARTIFICIAL INTEL...44
- IEEE NUCLEAR SCIENCE SYMPOSIUM CO...42
- PROCEEDINGS OF SPIE, THE INTERNAT...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...19
- MATERIALS RESEARCH SOCIETY SYMPOS...16
- QUADERNI DI VENEZIA ARTI14
- COMMUNICATIONS IN COMPUTER AND IN...13
- IEEE VTS ... VEHICULAR TECHNOLOGY...13
Keyword
- Venezia55
- Computer Networks and Communications23
- Computer Science (all)23
- Abstract Interpretation21
- Security21
- Spain21
- Static Analysis21
- anaerobic digestion20
- Giappone20
- Theoretical Computer Science19
Lingua
- eng3864
- ita2175
- fre181
- spa71
- rus51
- ger40
- jpn29
- gre25
- grc12
- pol11
Accesso al fulltext
- no fulltext5014
- reserved2474
- open2056
- embargoed42
- partially open39