Likavec, Silvia

Tip

Godina

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 41-60 od 66 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2011	Wanteat: interacting with “social” networks of intelligent things and people in the world of enogastronomy	Console L. ; Antonelli F.; Biamino G.; Carmagnola F.; Cena F.; Chiabrando E.; Cuciti V.; Demichelis M.; Fassio F.; Franceschi F.; Furnari R.; Gena C.; Geymonat M.; Grimaldi P.; Grillo P.; Guercio E.; Likavec, Silvia ; Lombardi I.; Mana D.; Marcengo A.; Mioli M.; Mirabelli M.; Perrero M.; Picardi C.; Protti F.; Rapp A.; Reviglio O.; Sandon R.; Simeoni R.; Daniele Theseider Dupre; Torre I.; Toso A.; Torta F.; Vernero F.;	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2011	Intersection types for the resource control lambda calculi	Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2011	Semantic similarity in heterogeneous ontologies	Likavec, Silvia ; Elisa Chiabrando; Ilaria Lombardi; Claudia Picardi; Daniele Theseider Dupre	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2011	Dynamic Interface Reconfiguration Based on Different Ontological Relations	Likavec, Silvia ; Elisa Chiabrando; Roberto Furnari; Pierluigi Grillo; Ilaria Lombardi	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2010	Threading Facts into a Collective Narrative World	Likavec, Silvia ; Ilaria Lombardi; Alberto Nantiat; Claudia Picardi; Daniele Theseider Dupre`	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2010	Shapes as property restrictions and property-based similarity	Likavec, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2009	Computational interpretations of logics	Ghilezan, Silvia ; Likavec, Silvia	Naučni članak	Mp kategorija će biti prikazana naknadno.
2008	Poslovna matematika	Likavec, Silvia ; Žunić, Dragiša ; Carić, Biljana	Udžbenik	Mp kategorija će biti prikazana naknadno.
2006	On untyped Curien-Herbelin calculus	Likavec, Silvia ; Lescanne, Pierre	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2005	Safe Object Composition in the Presence of Subtyping	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.
2005	Safe and Flexible Objects with Subtyping	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Naučni članak	Mp kategorija će biti prikazana naknadno.
2005	Types for object-oriented and functional programming languages	Likavec, Silvia	Doktorska disertacija	70M70 - Odbranjena doktorska disertacija
2005	Metod redukcije u lambda racunu sa tipovima sa presekom - magistarski rad	Likavec, Silvia	Ostalo	Mp kategorija će biti prikazana naknadno.
2005	Safe and flexible objects	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2005	Strong normalization of the dual classical sequent calculus	Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia	Naučni članak	23M23 - Međunarodni časopis kategorije M23
2004	Zbirka rešenih zadataka iz Matematike I - 2. izd.	Grbić, Tatjana ; Likavec, Silvia ; Lukić, Tibor ; Pantović, Jovanka ; Sladoje, Nataša ; Teofanov, Ljiljana	Udžbenik	Mp kategorija će biti prikazana naknadno.
2004	Behavioural inverse limit λ-models	Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2004	Zbirka rešenih zadataka iz Matematike I	Грбић, Татјана ; Likavec, Silvia ; Лукић, Тибор ; Пантовић, Јованка ; Сладоје, Наташа ; Теофанов, Љиљана	Udžbenik	Mp kategorija će biti prikazana naknadno.
2004	A core calculus of mixin-based incomplete objects	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2004	A Core Calculus of Higher-Order Mixins and Classes	Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia	Poglavlje u monografiji	Mp kategorija će biti prikazana naknadno.