IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

RicercaInizia una nuova 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.

cerca in
Risultati 1 - 10 di 178 (tempo di esecuzione: 0.026 secondi).
Titolo Data di pubblicazione Autore(i) File
A characterization of the class of functions computable in polynomial time on Random Access Machines 1-gen-1981 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A Computing Model for Prototypes of Computational Machines Solving Complex Problems 1-gen-1988 Binaghi, Elisabetta; Pasi, G.; Sechi, G. R.
A general way to put time in Petri nets 1-gen-1989 Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M.
A hierarchy of regular trace languages and some combinatorial applications 1-gen-1982 Bertoni, A.; Mauri, G.; Sabadini, Nicoletta
A murder involving Triazolam: post-mortem Toxicological Invastigation 1-gen-1985 Tavani, Mario; Montagna, M.; Baldi, M. L.; Groppi, A.
A study of the characteristic of the percutaneous electrical stimulation of the scalp and the spine: risks, safety and perspectives 1-gen-1986 Puricelli, R.; Ferrario, A.; Spada, M.; Mattioli, T.; Casarin, G.; Novario, Raffaele
A symbolic manipulation system for combinatorial problems 1-gen-1986 Massazza, Paolo; Mauri, G; Righi, P; Torelli, M.
A tool for the automatic analysis od sequential and parallel communication among protocol entities 1-gen-1989 COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S.
Alcuni aspetti della questione psichiatrica in Italia nella prima metà dell'800 1-gen-1984 Armocida, Giuseppe
Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype 1-gen-1987 Lavazza, LUIGI ANTONIO; Crespi Reghizzi, S.
Risultati 1 - 10 di 178 (tempo di esecuzione: 0.026 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • Atti di Convegno 178
  • Atti di Convegno::Relazione (in V... 178
Autore
  • CHIARANDA, MAURIZIO 46
  • AZZOLINI, CLAUDIO 21
  • NOVARIO, RAFFAELE 19
  • CASTELNUOVO, PAOLO GIOCONDO MARIA 13
  • TAVANI, MARIO 13
  • CASTELLI, PATRIZIO 12
  • ARMOCIDA, GIUSEPPE 9
  • BINAGHI, ELISABETTA 9
  • VALDATTA, LUIGI 7
  • DE VITO, GIOVANNI 4
Data di pubblicazione
  • 1989 30
  • 1988 46
  • 1987 18
  • 1986 18
  • 1985 13
  • 1984 17
  • 1983 11
  • 1982 15
  • 1981 6
  • 1980 4
Editore
  • Monduzzi 6
  • La Garangola 4
  • Multigraf 4
  • Springer 4
  • Cappelli Editore 3
  • CLEUP 3
  • Industria Grafica Pavese 3
  • Ed. Med. Scient. 2
  • Litotip 82 Pubblicazioni 2
  • Monduzzi Ed. 2
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
  • storia della medicina legale 3
  • storia della psichiatria 3
  • Ada 1
  • concurrent software 1
  • Petri nets 1
  • software validation 1
  • storia della medicina 1
  • storiografia medica 1
  • symbolic execution 1
Lingua
  • ita 5
  • eng 1
Accesso al fulltext
  • no fulltext 178