A Predictor-Corrector alpha-Method Applied to Pseudo-Dynamic Tests
2001-01-01 Bonelli, Alessio; Bursi, Oreste Salvatore; A., Svaldi; Zonta, Daniele
IMEX finite volume methods for multi-dimensional hyperbolic systems
2002-01-01 Bertolazzi, Enrico; G., Manzini
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements
2002-01-01 G., Audemard; P., Bertoli; A., Cimatti; A., Kornilowicz; Sebastiani, Roberto
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, A.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto
Knowledge Level Software Engineering
2002-01-01 Giunchiglia, Fausto; A., Perini; F., Sannicolo'
Growth of human cells on a novel non-woven silk fibroin net: a potential for use in tissue engineering
2002-01-01 R., Unger; M., Wolf; K., Peters; Motta, Antonella; Migliaresi, Claudio; C., Kirkpatrick
From Individual Tourism Organizations to a Single Virtual Tourism Organization for Destination Management
2002-01-01 A., La Micela; P., Roberti; Jacucci, Gianni
Il ruolo delle tecnologie per l’informazione e la comunicazionenello sviluppo delle politiche di marketing delle destinazionituristiche alpine
2002-01-01 Franch, Mariangela; Martini, Umberto
Immagini di un'evoluzione. La donna di montagna e l'avvio dell'imprenditoria turistica veneto-trentina (fine Ottocento - primi Novecento)
2002-01-01 Grandi, Casimira
Improving Spoken Language Understanding Using Word Confusion Networks
2002-01-01 T., Gokhan; J., Wright; A., Gorin; Riccardi, Giuseppe; H., Tur
From Learning Management Systems to Learning Information Systems: One Possible Evolution of E-learning
2002-01-01 Colazzo, Luigi; Molinari, Andrea
Enhancing the performance of high powered motorcycles by a proper definition of geometry and mass distribution
2002-01-01 Biral, Francesco; R., Lot; S., Garbin
GA-based Robustness Evaluation Method for Digital Image Watermarking
2007-01-01 Boato, Giulia; Conotter, Valentina; De Natale, Francesco
Film non-supportati di YSZ nanocristallina per SOFC preparati mediante processo sol-gel
2002-01-01 Dirè, Sandra; Sorarù, Gian Domenico; K., Pichler; R., Raj
Electrospray- ion trap mass spectrometry characterization of new galactolipids isolated from the freshwater dinoflagellate Glenodinium sanguineum
2002-01-01 Frassanito, Rita; Guella, Graziano; Mancini, Ines; M., Cantonati; M., Tardio
Efficient medium access control strategies for variable Bit-Rate MC-CDMA transmission over wireless LAN networks
2002-01-01 Sacchi, Claudio; Granelli, Fabrizio; De Natale, Francesco
Free/Open Services: Conceptualization, Classification, and Commercialization
2007-01-01 Gangadharan Ramakrishnan, Gangadharan; D'Andrea, Vincenzo; M., Weiss
From KSAT to delayed theory combination: exploiting DPLL outside the SAT domain
2007-01-01 Sebastiani, Roberto
Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols
2007-01-01 J., Ponge; B., Benatallah; Casati, Fabio; F., Toumani
Destinations and destination management in the Alps: A proposal for a classification scheme in the light of some ongoing experiences
2002-01-01 Franch, Mariangela; Martini, Umberto
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
- 04 Convegni (Proceedings)20271
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263341
- 2010 - 20197199
- 2000 - 20096476
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2256
- Institute of Electrical and Elect...959
- Springer898
- ACM386
- IEEE Computer Society316
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS169
- Association for Computing Machinery164
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE684
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15207
- ita3560
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15009
- reserved3242
- open1524
- partially open488
- mixed8
- embargoed2