RicercaCancella la ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Určenost nominální skupiny v horní lužické srbštině, češtině a slovinštině
2002-01-01 Trovesi, Andrea
Use of DfX concept in methodic design
2000-01-01 Rovida, Edoardo; Baragetti, Sergio
Use of the Conjugate Gradient Method for the Optimization of Sheet Hydroforming Processes
2008-01-01 Ceretti, Elisabetta; Fiorentino, Antonio; Braga, Dario; Giardini, Claudio
Use of TPIF or SPIF for prototype productions: an actual case
2007-01-01 Giardini, Claudio; Attanasio, Aldo; Fiorentino, Antonio; Ceretti, Elisabetta
Using Model Checking to Generate Fault Detecting Tests
2007-01-01 Gargantini, Angelo Michele
Using spin to generate tests from ASM specifications
2003-01-01 Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints
2008-01-01 Calvagna, Andrea; Gargantini, Angelo Michele
Using UML for describing a reference framework for benchmarking production scheduling systems
2003-01-01 Cavalieri, S.; Terzi, S.; Garetti, M.
Uso dello spazio aereo ed assistenza al volo nella Convenzione di Chicago e negli Annessi e Procedure ICAO
2009-01-01 Busti, Silvio
Ut mulier non circumveniatur. La capacità di agire della donna in età moderna tra ius commune e ius proprium
2009-01-01 Edigati, Daniele
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2002 | Určenost nominální skupiny v horní lužické srbštině, češtině a slovinštině | Trovesi, Andrea | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2000 | Use of DfX concept in methodic design | Rovida, Edoardo; Baragetti, Sergio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | Use of the Conjugate Gradient Method for the Optimization of Sheet Hydroforming Processes | Ceretti, Elisabetta; Fiorentino, Antonio; Braga, Dario; Giardini, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | Use of TPIF or SPIF for prototype productions: an actual case | Giardini, Claudio; Attanasio, Aldo; Fiorentino, Antonio; Ceretti, Elisabetta | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2007 | Using Model Checking to Generate Fault Detecting Tests | 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-2003 | Using spin to generate tests from ASM specifications | Gargantini, Angelo Michele; Riccobene, Elvinia; Rinzivillo, Salvatore | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2008 | Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints | Calvagna, Andrea; 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-2003 | Using UML for describing a reference framework for benchmarking production scheduling systems | Cavalieri, S.; Terzi, S.; Garetti, M. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2009 | Uso dello spazio aereo ed assistenza al volo nella Convenzione di Chicago e negli Annessi e Procedure ICAO | Busti, Silvio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2009 | Ut mulier non circumveniatur. La capacità di agire della donna in età moderna tra ius commune e ius proprium | Edigati, Daniele | 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
Opzioni
Scopri
Tipologia
- 1.4.01 Contributi in atti di convegno - Conference presentations 1094
- L&F by issue - Fascicoli della rivista L&F 3
Data di pubblicazione
- 2009 288
- 2008 296
- 2007 227
- 2006 63
- 2005 56
- 2004 53
- 2003 40
- 2002 27
- 2001 23
- 2000 21
Editore
- IEEE 57
- Springer 46
- Elsevier 21
- IEEE (Institute of Electrical and Electronics Engineers) 20
- C.T.E. 10
- Sestante 10
- CRC Press 9
- IOS Press 8
- Peter Lang 8
- ASME (American Society of Mechanical Engineers) 7
Rivista
- SAE TECHNICAL PAPER 5
- ECS TRANSACTIONS 3
- LINGUISTICA E FILOLOGIA 3
- COMPUTERS IN CARDIOLOGY 2
- DINTORNI 2
- EUROPA MEDICOPHYSICA 2
- INTERNATIONAL ARCHIVES OF THE PHOTOGRAMMETRY, REMOTE SENSING AND SPATIAL INFORMATION SCIENCES 2
- INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE 2
- NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH. SECTION B, BEAM INTERACTIONS WITH MATERIALS AND ATOMS 2
- ADVANCED MATERIALS RESEARCH 1
Serie
- IFAC PROCEEDINGS VOLUMES 17
- LECTURE NOTES IN COMPUTER SCIENCE 13
- IEEE NUCLEAR SCIENCE SYMPOSIUM CONFERENCE RECORD 7
- ASSISTIVE TECHNOLOGY RESEARCH SERIES 6
- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 5
- IEEE CONFERENCE RECORD - NUCLEAR SCIENCE SYMPOSIUM & MEDICAL IMAGING CONFERENCE 4
- KEY ENGINEERING MATERIALS 4
- LECTURE NOTES IN COMPUTER SCIENCE 4
- CEUR WORKSHOP PROCEEDINGS 3
- KEY ENGINEERING MATERIALS 3
Settore disciplinare
- Settore ING-IND/17 - Impianti Industriali Meccanici 48
- Settore ING-INF/04 - Automatica 46
- Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni 38
- Settore ING-IND/35 - Ingegneria Economico-Gestionale 35
- Settore ING-INF/01 - Elettronica 21
- Settore INF/01 - Informatica 20
- Settore ING-IND/14 - Progettazione Meccanica e Costruzione di Macchine 20
- Settore M-PED/03 - Didattica e Pedagogia Speciale 19
- Settore ICAR/09 - Tecnica delle Costruzioni 18
- Settore ING-IND/10 - Fisica Tecnica Industriale 18
Keyword
- CMOS 17
- microelectronics 15
- TRIZ 11
- sensors 9
- Control and Systems Engineering 5
- film cooling 5
- PVD coatings 5
- Radiation 5
- CFD 4
- Control systems 4
Lingua
- eng 758
- ita 281
- fre 18
- ger 11
- spa 10
- mul 9
- rus 9
- cze 2
Accesso al fulltext
- no fulltext 824
- reserved 235
- open 35
Appartenenza
- Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione 374
- Dipartimento di Ingegneria e Scienze Applicate 283
- Dipartimento di Lingue, Letterature e Culture Straniere 126
- Dipartimento di Scienze Umane e Sociali 87
- Dipartimento di Lettere, Filosofia, Comunicazione 74
- Dipartimento di Scienze Economiche 47
- Universita' degli Studi di Bergamo 47
- Dipartimento di Scienze Aziendali 37
- Dipartimento di Giurisprudenza 25
- Centro di Ateneo SDM School of Management 6