Criteri di ricerca correnti

Filtri correnti:


Aggiungere filtri:

Utilizza i filtri per perfezionare i risultati della ricerca.

Paginazione
 
   
Prodotto trovati:
TitoloData di pubblicazioneAutoriRivistaSerieTitolo libro
1Logic programming as hypergraph Rewriting1991ROSSI, FRANCESCA  ; Proc. TAPSOFT 1991
2The Relation of Two Patterns with Comparable Languages1988FILE', GILBERTO  5th Annual Symposium on Theoretical Aspects of Computer Science
3Abstract Interpretation for Type Checking1991FILE', GILBERTO  ; Proceedings of PLILP
4Non-interference by Unfolding2014BALDAN, PAOLO  ; LECTURE NOTES IN COMPUTER SCIENCEApplication and Theory of Petri Nets and Concurrency 2014
5Radiologia uro-genitale. US tecnica e metodologia2008QUAIA, EMILIO  Radiologia Medica (Suppl.
6The value of digital tomosynthesis in the diagnosis of suspected pulmonary lesions2010QUAIA, EMILIO  ECR 2010
7Automata for true concurrency properties2018BALDAN, PAOLO  ; PADOAN, TOMMASO  LECTURE NOTES IN COMPUTER SCIENCE21st International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2018
8Modeling Archives by means of OAI-ORE2013FERRO, NICOLA  ; SILVELLO, GIANMARIA  COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCEDigital Libraries and Archives - Proc. 8th Italian Research Conference (IRCDL 2012)
9User requirements for incorporating diabetes modeling techniques in disease management tools2015SAMBO, FRANCESCO  ; FACCHINETTI, ANDREA  ; BELLAZZI, RICCARDO  ; COBELLI, CLAUDIO  IFMBE PROCEEDINGSIFMBE Proceedings
10You surf so strange today: Anomaly detection in web services via HMM and CTMC2017FAVARETTO, MADDALENA  ; SPOLAOR, RICCARDO  ; CONTI, MAURO  ; FERRANTE, MARCO  LECTURE NOTES IN COMPUTER SCIENCELecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scopri

Data di pubblicazione
Per lingua
Accesso al fulltext