Per non replicare, ma per innovare. Almeno un po’
2010-01-01 Bertagna, Giuseppe
Automatic review of Abstract State Machines by Meta Property Verification
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
Generating minimal fault detecting test suites for Boolean expressions
2010-01-01 Fraser, Gordon; Gargantini, Angelo Michele
BRICS – Best practice in robotics
2010-01-01 Bischoff, Rainer; Guhl, Tim; Prassler, Erwin; Nowak, Walter; Kraetzschmar, Gerhard; Bruyninckx, Herman; Soetens, Peter; Haegel, Martin; Pott, Andreas; Breedveld, Peter; Broenink, Jan; Brugali, Davide; Tomatis, Nicola
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
2010-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo
Tensegrity: from didactical tasks to innovative Marketing proposal
2010-01-01 Ruscica, Giuseppe; Pizzigoni, Attilio; Micheletti, Andrea
Il concetto di sé in donne detenute per reati sessuali
2010-01-01 Caso, Letizia; Da Ros, Tania; Matano, Consuelo
Safety Testing of Computerized Provider Order Entry Systems
2010-01-01 Salvaneschi, Paolo
Flying machining operations: a design procedure
2010-01-01 Giberti, Hermes; Zappa, Bruno Fausto; Strada, Roberto
Time-domain dynamic analysis of piezoelectric MLA
2010-01-01 Righettini, Paolo; Forlani, Mauro; Strada, Roberto
Harmonic summation in power systems with power electronic interfaced load
2010-01-01 Roscia, Mariacristina; Lazaroiu, George Cristian; Golovanov, Nicolae
Differential evolutionary algorithms in optimal distributed generation location
2010-01-01 Bulac, C.; Roscia, Mariacristina; Ionescu, F.
Impact of harmonic filters in MV distribution systems
2010-01-01 Esposito, G.; Foiadelli, F.; Roscia, Mariacristina
L'autonomia scolastica: l'approccio e l'accoglienza dei docenti al nuovo corso autonomistico tra qualità e flessibilità dell'insegnamento
2010-01-01 Sandrone, Domenica Giuliana
L'Irc: opportunità formativa di fronte alle sfide poste dalla convivenza di culture e religioni diverse
2010-01-01 Sandrone, Domenica Giuliana
Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform
2010-01-01 Gargantini, Angelo Michele; Fraser, Gordon
Le competenze tra mondo del lavoro e mondo della formazione
2010-01-01 Bertagna, Giuseppe
Generative vs Non-Generative Art in the Verification of the Institutional Stance
2010-01-01 Verdicchio, Mario
The M&A dynamics of European Science Based Entrepreneurial Firms
2008-01-01 Bonardo, Damiano; Vismara, Silvio; Paleari, Stefano
Word classes and the coding of spatial relations in motion events: a contrastive-typological approach
2010-01-01 Bernini, Giuliano
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2010 | Per non replicare, ma per innovare. Almeno un po’ | Bertagna, Giuseppe | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Automatic review of Abstract State Machines by Meta Property Verification | Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Generating minimal fault detecting test suites for Boolean expressions | Fraser, Gordon; Gargantini, Angelo Michele | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | BRICS – Best practice in robotics | Bischoff, Rainer; Guhl, Tim; Prassler, Erwin; Nowak, Walter; Kraetzschmar, Gerhard; Bruyninckx, Herman; Soetens, Peter; Haegel, Martin; Pott, Andreas; Breedveld, Peter; Broenink, Jan; Brugali, Davide; Tomatis, Nicola | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications | Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Tensegrity: from didactical tasks to innovative Marketing proposal | Ruscica, Giuseppe; Pizzigoni, Attilio; Micheletti, Andrea | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Il concetto di sé in donne detenute per reati sessuali | Caso, Letizia; Da Ros, Tania; Matano, Consuelo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Safety Testing of Computerized Provider Order Entry Systems | Salvaneschi, Paolo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Flying machining operations: a design procedure | Giberti, Hermes; Zappa, Bruno Fausto; Strada, Roberto | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Time-domain dynamic analysis of piezoelectric MLA | Righettini, Paolo; Forlani, Mauro; Strada, Roberto | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Harmonic summation in power systems with power electronic interfaced load | Roscia, Mariacristina; Lazaroiu, George Cristian; Golovanov, Nicolae | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Differential evolutionary algorithms in optimal distributed generation location | Bulac, C.; Roscia, Mariacristina; Ionescu, F. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Impact of harmonic filters in MV distribution systems | Esposito, G.; Foiadelli, F.; Roscia, Mariacristina | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | L'autonomia scolastica: l'approccio e l'accoglienza dei docenti al nuovo corso autonomistico tra qualità e flessibilità dell'insegnamento | Sandrone, Domenica Giuliana | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | L'Irc: opportunità formativa di fronte alle sfide poste dalla convivenza di culture e religioni diverse | Sandrone, Domenica Giuliana | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Design and Development of an Extensible Test Generation Tool based on the Eclipse Rich Client Platform | Gargantini, Angelo Michele; Fraser, Gordon | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Le competenze tra mondo del lavoro e mondo della formazione | Bertagna, Giuseppe | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Generative vs Non-Generative Art in the Verification of the Institutional Stance | Verdicchio, Mario | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2008 | The M&A dynamics of European Science Based Entrepreneurial Firms | Bonardo, Damiano; Vismara, Silvio; Paleari, Stefano | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2010 | Word classes and the coding of spatial relations in motion events: a contrastive-typological approach | Bernini, Giuliano | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
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
- 1.4.01 Contributi in atti di convegno - Conference presentations6253
- DIPSI Workshop 20123
- GRASPA153
- L&F by issue - Fascicoli della rivista L&F3
- DIPSI Workshop 20192
- DIPSI Workshop 20111
- DIPSI Workshop 20231
Data di pubblicazione
- 2020 - 20261739
- 2010 - 20193184
- 2000 - 20091201
- 1990 - 1999119
- 1984 - 198910
Editore
- Springer491
- IEEE296
- IEEE (Institute of Electrical and Electronics Engineers)249
- Elsevier193
- IEEE (Institute of Electric and Electronics Engineers)128
- Institute of Electrical and Electronics Engineers Inc.77
- Springer Nature Switzerland AG56
- ASME (American Society of Mechanical Engineers)42
- Trans Tech Publications41
- ASME38
Rivista
- ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS52
- POS PROCEEDINGS OF SCIENCE41
- PROCEDIA STRUCTURAL INTEGRITY35
- JOURNAL OF PHYSICS. CONFERENCE SERIES19
- PROCEDIA COMPUTER SCIENCE17
- FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS15
- IOP CONFERENCE SERIES: MATERIALS SCIENCE AND ENGINEERING14
- PROCEDIA ENGINEERING14
- MEMORIE GEOGRAFICHE12
- SAE TECHNICAL PAPER9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE138
- IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY128
- IFAC-PAPERSONLINE89
- LECTURE NOTES IN COMPUTER SCIENCE58
- PROCEDIA CIRP50
- SOCIETÀ ITALIANA DI PEDAGOGIA42
- KEY ENGINEERING MATERIALS40
- CEUR WORKSHOP PROCEEDINGS38
- LECTURE NOTES IN MECHANICAL ENGINEERING36
- IFAC PROCEEDINGS VOLUMES34
Keyword
- Sustainability44
- TRIZ44
- Industry 4.043
- Electrical and Electronic Engineering36
- Nuclear and High Energy Physics31
- Control and Systems Engineering30
- microelectronics29
- CMOS28
- sustainability28
- Bergamo25
Lingua
- eng4635
- ita1466
- fre57
- ger47
- spa38
- rus32
- mul12
- lat5
- chi3
- cze2
Accesso al fulltext
- reserved3286
- no fulltext1721
- open1197
- partially open49
Settore disciplinare
- Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni426
- Settore ING-IND/17 - Impianti Industriali Meccanici330
- Settore ING-INF/04 - Automatica198
- Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale187
- Settore ICAR/09 - Tecnica delle Costruzioni179
- Settore ING-IND/35 - Ingegneria Economico-Gestionale156
- Settore ING-INF/01 - Elettronica142
- Settore ING-IND/22 - Scienza e Tecnologia dei Materiali128
- Settore M-PED/03 - Didattica e Pedagogia Speciale125
- Settore ING-IND/16 - Tecnologie e Sistemi di Lavorazione114
Settore disciplinare (2024)
- Settore IINF-05/A - Sistemi di elaborazione delle informazioni81
- Settore IIND-05/A - Impianti industriali meccanici70
- Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale55
- Settore IINF-04/A - Automatica50
- Settore CEAR-07/A - Tecnica delle costruzioni32
- Settore IIND-06/A - Macchine a fluido28
- Settore IBIO-01/A - Bioingegneria27
- Settore PAED-02/A - Didattica e pedagogia speciale26
- Settore INFO-01/A - Informatica20
- Settore CEAR-06/A - Scienza delle costruzioni18
Appartenenza
- Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione2169
- Dipartimento di Ingegneria e Scienze Applicate1806
- Dipartimento di Scienze Umane e Sociali550
- Dipartimento di Lingue, Letterature e Culture Straniere511
- Dipartimento di Lettere, Filosofia, Comunicazione460
- Universita' degli Studi di Bergamo424
- Dipartimento di Scienze Economiche319
- Dipartimento di Scienze Aziendali254
- Scuola di Alta Formazione Dottorale189
- Dipartimento di Giurisprudenza170