Zum Inhalt springen Warboys, Jessica [KünstlerIn] ; Matson, Sara [VerfasserIn von Zusatztexten]; Tassi, Enrico [HerausgeberIn] Casa Masaccio, Kunsthall Stavanger Stavanger, Tate St Ives Hill of dreams - Jessica Warboys Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: Tate Gallery Publishing Ltd, 2016 Tassi, Enrico [VerfasserIn] ; Enrico Tassi [MitwirkendeR] Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019 Cohen, Cyril [VerfasserIn]; Sakaguchi, Kazuhiko [VerfasserIn]; Tassi, Enrico [VerfasserIn] ; Cyril Cohen and Kazuhiko Sakaguchi and Enrico Tassi [MitwirkendeR] Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Tassi, Enrico Asynchronous processing of formal documents in Coq : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2014 Erschienen in: Electronic Proceedings in Theoretical Computer Science Pimentel, Elaine; Tassi, Enrico Proceedings Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Preface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2021 Erschienen in: Electronic Proceedings in Theoretical Computer Science Mahboubi, Assia; Tassi, Enrico Interactive Theorem Proving: Canonical Structures for the Working Coq User Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Interactive Theorem Proving Gonthier, Georges; Tassi, Enrico Interactive Theorem Proving: A Language of Patterns for Subterm Selection Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Interactive Theorem Proving Asperti, Andrea; Tassi, Enrico Superposition as a logical glue Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science Asperti, Andrea; Tassi, Enrico Lecture Notes in Computer Science: Smart Matching Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science Asperti, Andrea; Tassi, Enrico An Interactive Driver for Goal-directed Proof Strategies Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2009 Erschienen in: Electronic Notes in Theoretical Computer Science SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Formalising Overlap Algebras in Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2011 Erschienen in: Mathematical Structures in Computer Science Sacerdoti Coen, Claudio; Tassi, Enrico Nonuniform Coercions via Unification Hints Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science Sacerdoti Coen, Claudio; Tassi, Enrico Lecture Notes in Computer Science: Natural Deduction Environment for Matita Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Lecture Notes in Computer Science Claudio Sacerdoti Coen; Enrico Tassi A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2008 Erschienen in: Journal of Formalized Reasoning GUIDI, FERRUCCIO; SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Implementing type theory in higher order constraint logic programming Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2019 Erschienen in: Mathematical Structures in Computer Science Barras, Bruno; Tankink, Carst; Tassi, Enrico Interactive Theorem Proving: Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Interactive Theorem Proving Capodicasa, Enrico; Angelini, Antonio; Tassi, Carmelo Isoenzyme A and UrinaryN-Acetyl-β-D-Glucosaminidase Activity in Normal Pregnancy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Informa UK Limited, 2011 Erschienen in: Renal Failure Coen, Claudio Sacerdoti; Tassi, Enrico; Zacchiroli, Stefano Tinycals: Step by Step Tacticals Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Georgiev, Georgi A checklist and areography of Buprestidae, Vesperidae and Cerambycidae (Coleoptera) in Abruzzo, Lazio and Molise National Park, Italy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Pensoft Publishers, 2021 Erschienen in: Travaux du Muséum National d’Histoire Naturelle “Grigore Antipa” Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Doychev, Danail; Georgiev, Georgi New and interesting records of jewel and longhorn beetles from Abruzzo, Lazio and Molise National Park, Italy (Coleoptera: Buprestidae and Cerambycidae) Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. PAGEPress Publications, 2020 Erschienen in: Fragmenta Entomologica
Warboys, Jessica [KünstlerIn] ; Matson, Sara [VerfasserIn von Zusatztexten]; Tassi, Enrico [HerausgeberIn] Casa Masaccio, Kunsthall Stavanger Stavanger, Tate St Ives Hill of dreams - Jessica Warboys Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: Tate Gallery Publishing Ltd, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tassi, Enrico [VerfasserIn] ; Enrico Tassi [MitwirkendeR] Deriving Proved Equality Tests in Coq-Elpi: Stronger Induction Principles for Containers in Coq Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cohen, Cyril [VerfasserIn]; Sakaguchi, Kazuhiko [VerfasserIn]; Tassi, Enrico [VerfasserIn] ; Cyril Cohen and Kazuhiko Sakaguchi and Enrico Tassi [MitwirkendeR] Hierarchy Builder: Algebraic hierarchies Made Easy in Coq with Elpi (System Description) Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tassi, Enrico Asynchronous processing of formal documents in Coq : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers : Invited Presentation at the Eleventh Workshop on User Interfaces for Theorem Provers Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2014 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pimentel, Elaine; Tassi, Enrico Proceedings Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Preface Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2021 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mahboubi, Assia; Tassi, Enrico Interactive Theorem Proving: Canonical Structures for the Working Coq User Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2013 Erschienen in: Interactive Theorem Proving
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gonthier, Georges; Tassi, Enrico Interactive Theorem Proving: A Language of Patterns for Subterm Selection Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2012 Erschienen in: Interactive Theorem Proving
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asperti, Andrea; Tassi, Enrico Superposition as a logical glue Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asperti, Andrea; Tassi, Enrico Lecture Notes in Computer Science: Smart Matching Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2010 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asperti, Andrea; Tassi, Enrico An Interactive Driver for Goal-directed Proof Strategies Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2009 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Formalising Overlap Algebras in Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2011 Erschienen in: Mathematical Structures in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sacerdoti Coen, Claudio; Tassi, Enrico Nonuniform Coercions via Unification Hints Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Open Publishing Association, 2011 Erschienen in: Electronic Proceedings in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sacerdoti Coen, Claudio; Tassi, Enrico Lecture Notes in Computer Science: Natural Deduction Environment for Matita Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Berlin Heidelberg, 2009 Erschienen in: Lecture Notes in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Claudio Sacerdoti Coen; Enrico Tassi A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2008 Erschienen in: Journal of Formalized Reasoning
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
GUIDI, FERRUCCIO; SACERDOTI COEN, CLAUDIO; TASSI, ENRICO Implementing type theory in higher order constraint logic programming Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge University Press (CUP), 2019 Erschienen in: Mathematical Structures in Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Barras, Bruno; Tankink, Carst; Tassi, Enrico Interactive Theorem Proving: Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer International Publishing, 2015 Erschienen in: Interactive Theorem Proving
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Capodicasa, Enrico; Angelini, Antonio; Tassi, Carmelo Isoenzyme A and UrinaryN-Acetyl-β-D-Glucosaminidase Activity in Normal Pregnancy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Informa UK Limited, 2011 Erschienen in: Renal Failure
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Coen, Claudio Sacerdoti; Tassi, Enrico; Zacchiroli, Stefano Tinycals: Step by Step Tacticals Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Elsevier BV, 2007 Erschienen in: Electronic Notes in Theoretical Computer Science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Georgiev, Georgi A checklist and areography of Buprestidae, Vesperidae and Cerambycidae (Coleoptera) in Abruzzo, Lazio and Molise National Park, Italy Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Pensoft Publishers, 2021 Erschienen in: Travaux du Muséum National d’Histoire Naturelle “Grigore Antipa”
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Sakalian, Vladimir; Migliaccio, Enrico; Tassi, Franco; Doychev, Danail; Georgiev, Georgi New and interesting records of jewel and longhorn beetles from Abruzzo, Lazio and Molise National Park, Italy (Coleoptera: Buprestidae and Cerambycidae) Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. PAGEPress Publications, 2020 Erschienen in: Fragmenta Entomologica
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (109) Wert ausschließen Konferenzberichte (74) Wert ausschließen Bücher (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (62) Wert ausschließen Ohne Angabe (121) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Nicht zu entscheiden (99) Wert ausschließen Englisch (85) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Medizin (38) Wert ausschließen Biologie (14) Wert ausschließen Informatik (10) Wert ausschließen Chemie und Pharmazie (8) Wert ausschließen Technik (7) Wert ausschließen Mathematik (6) Wert ausschließen Geographie (5) Wert ausschließen Physik (4) Wert ausschließen Allgemeines (3) Wert ausschließen Psychologie (3) Wert ausschließen Geologie und Paläontologie (1) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Tassi, Enrico (103) Wert ausschließen Capua, Marcella (76) Wert ausschließen Fiore, Roberto (74) Wert ausschließen Papa, Alessandro (74) Wert ausschließen Ivanov, Igor (73) Wert ausschließen Soffer, Jacques (73) Wert ausschließen Tassi, Rossana (33) Wert ausschließen Cappellari, Manuel (30) Wert ausschließen Toni, Danilo (27) Wert ausschließen Marcheselli, Simona (26) Wert ausschließen Tassinari, Tiziana (22) Wert ausschließen Paciaroni, Maurizio (20) Wert ausschließen Scoditti, Umberto (20) Wert ausschließen Silvestrelli, Giorgio (20) Wert ausschließen Nencini, Patrizia (19) Wert ausschließen Orlandi, Giovanni (19) Wert ausschließen Pezzini, Alessandro (19) Wert ausschließen Giorli, Elisa (18) Wert ausschließen Sacco, Simona (18) Wert ausschließen Zini, Andrea (18) Wert ausschließen Caso, Valeria (17) Wert ausschließen Mancuso, Michelangelo (17) Wert ausschließen Chiti, Alberto (16) Wert ausschließen Ciccone, Alfonso (16) Wert ausschließen Del Sette, Massimo (16) Wert ausschließen Giannini, Nicola (16) Wert ausschließen Monaco, Serena (16) Wert ausschließen Saia, Valentina (16) Wert ausschließen Acampa, Maurizio (15) Wert ausschließen Mannino, Marina (15) Wert ausschließen Martini, Giuseppe (15) Wert ausschließen Zedde, Marialuisa (15) Wert ausschließen Alberti, Andrea (14) Wert ausschließen Lotti, Enrico Maria (14) Wert ausschließen Magoni, Mauro (14) Wert ausschließen Tsivgoulis, Georgios (14) Wert ausschließen Venti, Michele (14) Wert ausschließen Acciarresi, Monica (13) Wert ausschließen Agnelli, Giancarlo (13) Wert ausschließen Baldi, Antonio (13) Wert ausschließen Bandini, Fabio (13) Wert ausschließen Corea, Francesco (13) Wert ausschließen Fainardi, Enrico (13) Wert ausschließen Flomin, Yuriy (13) Wert ausschließen Guideri, Francesca (13) Wert ausschließen Masotti, Luca (13) Wert ausschließen Ntaios, George (13) Wert ausschließen Ageno, Walter (12) Wert ausschließen Bignotti, Eliana (12) Wert ausschließen Cerrato, Paolo (12) Wert ausschließen Denti, Licia (12) Wert ausschließen Karagkiozi, Efstathia (12) Wert ausschließen Kargiotis, Odysseas (12) Wert ausschließen Mumoli, Nicola (12) Wert ausschließen Putaala, Jukka (12) Wert ausschließen Ravaggi, Antonella (12) Wert ausschließen Romani, Chiara (12) Wert ausschließen Sartori, Enrico (12) Wert ausschließen Volodina, Vera (12) Wert ausschließen Yaghi, Shadi (12) Wert ausschließen Zanotti, Laura (12) Wert ausschließen Bandiera, Elisabetta (11) Wert ausschließen Baracchini, Claudio (11) Wert ausschließen Barlinn, Kristian (11) Wert ausschließen Bovi, Paolo (11) Wert ausschließen Casetta, Ilaria (11) Wert ausschließen Cavallini, Anna (11) Wert ausschließen Doronin, Boris (11) Wert ausschließen D’Amore, Cataldo (11) Wert ausschließen Galati, Franco (11) Wert ausschließen Karapanayiotides, Theodore (11) Wert ausschließen Naldi, Andrea (11) Wert ausschließen Padovani, Alessandro (11) Wert ausschließen Pieroni, Alessio (11) Wert ausschließen Pracucci, Giovanni (11) Wert ausschließen Sallustio, Fabrizio (11) Wert ausschließen Tiseo, Cindy (11) Wert ausschließen Asperti, Andrea (10) Wert ausschließen Athanasakis, George (10) Wert ausschließen Becattini, Cecilia (10) Wert ausschließen Bellesini, Marta (10) Wert ausschließen Deleu, Dirk (10) Wert ausschließen Furie, Karen L. (10) Wert ausschließen Giuntini, Martina (10) Wert ausschließen Gourbali, Vanessa (10) Wert ausschließen Letteri, Federica (10) Wert ausschließen Lorenzini, Gianni (10) Wert ausschließen Maccarrone, Miriam (10) Wert ausschließen Mangiafico, Salvatore (10) Wert ausschließen Melis, Maurizio (10) Wert ausschließen Michel, Patrik (10) Wert ausschließen Padroni, Marina (10) Wert ausschließen Pecorelli, Sergio (10) Wert ausschließen Poli, Loris (10) Wert ausschließen Rigatelli, Alberto (10) Wert ausschließen Sessa, Maria (10) Wert ausschließen Sohn, Sung-Il (10) Wert ausschließen Tadi, Prasanna (10) Wert ausschließen Tatlisumak, Turgut (10) Wert ausschließen Terruso, Valeria (10) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet AIP (CrossRef) (74) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (21) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (13) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (11) Wert ausschließen Elsevier BV (CrossRef) (9) Wert ausschließen SAGE Publications (CrossRef) (8) Wert ausschließen Open Publishing Association (CrossRef) (4) Wert ausschließen PAGEPress Publications (CrossRef) (4) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (4) Wert ausschließen Wiley (CrossRef) (4) Wert ausschließen Computers, Materials and Continua (Tech Science Press) (CrossRef) (3) Wert ausschließen IOP Publishing (CrossRef) (3) Wert ausschließen American Society of Hematology (CrossRef) (2) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen BMJ (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (2) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (1) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Impact Journals, LLC (CrossRef) (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen Pensoft Publishers (CrossRef) (1) Wert ausschließen Spandidos Publications (CrossRef) (1) Wert ausschließen Verbunddaten SWB (1) Wert ausschließen zeige weitere weniger zeigen