Ricerca

Ricerca

Affina la ricerca con i filtri

per

Inizia una nuova ricerca

Filtri correnti:

Aggiungere filtri:

Paginazione

Prodotto trovati:

	Titolo	Data di pubblicazione	Autore(i)
1	Type Based Useless-Code Elimination for Functional Programs	2000	BERARDI S.; M. COPPO; DAMIANI F.; GIANNINI P.
2	Classical system of Martin-Lof's inductive definitions is not equivalent to cyclic proof system	2017	Berardi, Stefano; Tatsuta, Makoto
3	Por un contexto organizativo orientado a la seguridad	2008	D. ACQUADRO MARAN; G. SORO; E. GUERRERO BARONA; E. RAMOS GOROSPE; B. FAJARDO UTRILLA
4	Evoluzione estiva su substrato pianeggiante del manto nevoso di Baia Terra Nova.	1999	MOTTA L.; MOTTA M.
5	Covalent bonding of Disperse Red 1 in HMS silica: synthesis and characterization.	2003	ONIDA B.; BORELLO L.; BAROLO C.; G. VISCARDI; MACQUARRIE D. J. AND GARRONE E.
6	Primary energy spectrum as reconstructed from S(500) measurements by KASCADE-grande	2010	Toma; G.; Apel; W.D.; Arteaga; J.C.; Badea; F.; Bekk; K.; Bertaina M.; Blumer; J.; Bozdog; H.; Brancus; I.M.; Bruggemann; M.; Buchholz; P.; Cantoni E.; Chiavassa A.; Cossavella; F.; Daumiller; K.; De Souza; V.; Di Pierro F.; Doll; P.; Engel; R.; Engler; J.; Finger; M.; Fuhrmann; D.; Ghia; P.L.; Gils; H.J.; Glasstetter; R.; Grupen; C.; Haungs; A.; Heck; D.; Horandel; J.R.; Huege; T.; Isar; P.G.; Kampert; K.-H.; Kang; D.; Kickelbick; D.; Klages; H.O.; Luczak; P.; Mathes; H.J.; Mayer; H.J.; Milke; J. ; Mitrica; B.; Morello; C.; Navarra G.; Nehls; S.; Oehlschlager; J.; Ostapchenko; S.; Over; S.; Petcu; M.; Pierog; T.; Rebel; H.; Roth; M.; Schieler; H.; Schr旦der; F.; Sima; O.; Stumpert; M.; Trinchero; G.C.; Ulrich; H.; Weindl; A.; Wochele; J.; Wommer; M.; Zabierowski; J.