Zum Inhalt springen Geist, Daniel [Herausgeber:in]; Tronci, Enrico [Sonstige Person, Familie und Körperschaft] ; CHARME 12 2003 L'Aquila Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2860 Geist, Daniel [Verfasser:in] ; Tronci, Enrico [Sonstige Person, Familie und Körperschaft] Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2003 Erschienen in: Lecture notes in computer science ; 286000 Chen, Qian Matteo [Verfasser:in]; Mancini, Toni [Verfasser:in]; Melatti, Igor [Verfasser:in]; Tronci, Enrico [Verfasser:in]; Finzi, Alberto [Verfasser:in] Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence Aufsätze Online ansehen Schließen > Zugang ... zum Aufsatz (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 41-46 Tronci, Enrico Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering : Control Software Synthesis from System Level Formal Specifications : Control Software Synthesis from System Level Formal Specifications 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, 2013 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 138 (2013) Tronci, Enrico Introductory Paper 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. Springer Science and Business Media LLC, 2006 Erschienen in: International Journal on Software Tools for Technology Transfer, 8 (2006) 4-5, Seite 355-358 Tronci, Enrico Defining data structures via Böhm-out 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), 1995 Erschienen in: Journal of Functional Programming, 5 (1995) 1, Seite 51-64 Tronci, Enrico Equational programming in λ-calculus via SL-systems. Part 1 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, 1996 Erschienen in: Theoretical Computer Science, 160 (1996) 1-2, Seite 145-184 Tronci, Enrico Equational programming in λ-calculus via SL-systems. Part 2 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, 1996 Erschienen in: Theoretical Computer Science, 160 (1996) 1-2, Seite 185-216 Esparza, Javier; Tronci, Enrico Preface for the special issue GandALF 2015 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. Springer Science and Business Media LLC, 2018 Erschienen in: Acta Informatica, 55 (2018) 2, Seite 89-90 Camporeale, Enrico; Tronci, Cesare Electron inertia and quasi-neutrality in the Weibel instability 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), 2017 Erschienen in: Journal of Plasma Physics, 83 (2017) 3 Tronci, Cesare; Camporeale, Enrico Neutral Vlasov kinetic theory of magnetized plasmas 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. AIP Publishing, 2015 Erschienen in: Physics of Plasmas, 22 (2015) 2 Esparza, Javier; Tronci, Enrico Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification : 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, 2015 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 193 (2015) Pugliese, Rosario; Tronci, Enrico Lecture Notes in Computer Science: Automatic verification of a hydroelectric power plant 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. Springer Berlin Heidelberg, 1996 Erschienen in: Lecture Notes in Computer Science (1996), Seite 425-444 Böhm, Corrado; Tronci, Enrico About systems of equations, X-separability, and left-invertibility in the λ-calculus 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, 1991 Erschienen in: Information and Computation, 90 (1991) 1, Seite 1-32 Esposito, Marco; Mancini, Toni; Tronci, Enrico Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry 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. Institute of Electrical and Electronics Engineers (IEEE), 2024 Erschienen in: IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54 (2024) 3, Seite 1515-1526 Mancini, Toni; Melatti, Igor; Tronci, Enrico Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 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. Institute of Electrical and Electronics Engineers (IEEE), 2023 Erschienen in: IEEE Transactions on Software Engineering, 49 (2023) 9, Seite 4443-4455 Mancini, Toni; Melatti, Igor; Tronci, Enrico Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 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. Institute of Electrical and Electronics Engineers (IEEE), 2022 Erschienen in: IEEE Transactions on Software Engineering, 48 (2022) 10, Seite 4002-4013 Pappagallo, Angela; Massini, Annalisa; Tronci, Enrico Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 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. MDPI AG, 2020 Erschienen in: Information, 11 (2020) 12, Seite 588 Marino, Andrea; Sinaimeri, Blerina; Tronci, Enrico; Calamoneri, Tiziana STARGATE-X: a Python package for statistical analysis on the REACTOME network 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. Walter de Gruyter GmbH, 2024 Erschienen in: Journal of Integrative Bioinformatics, 20 (2024) 3 Melatti, Igor; Mari, Federico; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 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. Institute of Electrical and Electronics Engineers (IEEE), 2022 Erschienen in: IEEE Transactions on Industrial Electronics, 69 (2022) 8, Seite 8566-8578
Geist, Daniel [Herausgeber:in]; Tronci, Enrico [Sonstige Person, Familie und Körperschaft] ; CHARME 12 2003 L'Aquila Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2860
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Geist, Daniel [Verfasser:in] ; Tronci, Enrico [Sonstige Person, Familie und Körperschaft] Correct Hardware Design and Verification Methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2003 Erschienen in: Lecture notes in computer science ; 286000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Chen, Qian Matteo [Verfasser:in]; Mancini, Toni [Verfasser:in]; Melatti, Igor [Verfasser:in]; Tronci, Enrico [Verfasser:in]; Finzi, Alberto [Verfasser:in] Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence Aufsätze Online ansehen Schließen > Zugang ... zum Aufsatz (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2020 Erschienen in: Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (2. : 2020 : Online): 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis, September 25, 2020 ; (2020), Seite 41-46
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tronci, Enrico Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering : Control Software Synthesis from System Level Formal Specifications : Control Software Synthesis from System Level Formal Specifications 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, 2013 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 138 (2013)
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tronci, Enrico Introductory Paper 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. Springer Science and Business Media LLC, 2006 Erschienen in: International Journal on Software Tools for Technology Transfer, 8 (2006) 4-5, Seite 355-358
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tronci, Enrico Defining data structures via Böhm-out 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), 1995 Erschienen in: Journal of Functional Programming, 5 (1995) 1, Seite 51-64
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tronci, Enrico Equational programming in λ-calculus via SL-systems. Part 1 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, 1996 Erschienen in: Theoretical Computer Science, 160 (1996) 1-2, Seite 145-184
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tronci, Enrico Equational programming in λ-calculus via SL-systems. Part 2 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, 1996 Erschienen in: Theoretical Computer Science, 160 (1996) 1-2, Seite 185-216
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Esparza, Javier; Tronci, Enrico Preface for the special issue GandALF 2015 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. Springer Science and Business Media LLC, 2018 Erschienen in: Acta Informatica, 55 (2018) 2, Seite 89-90
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Camporeale, Enrico; Tronci, Cesare Electron inertia and quasi-neutrality in the Weibel instability 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), 2017 Erschienen in: Journal of Plasma Physics, 83 (2017) 3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Tronci, Cesare; Camporeale, Enrico Neutral Vlasov kinetic theory of magnetized plasmas 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. AIP Publishing, 2015 Erschienen in: Physics of Plasmas, 22 (2015) 2
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Esparza, Javier; Tronci, Enrico Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification : 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, 2015 Erschienen in: Electronic Proceedings in Theoretical Computer Science, 193 (2015)
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pugliese, Rosario; Tronci, Enrico Lecture Notes in Computer Science: Automatic verification of a hydroelectric power plant 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. Springer Berlin Heidelberg, 1996 Erschienen in: Lecture Notes in Computer Science (1996), Seite 425-444
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Böhm, Corrado; Tronci, Enrico About systems of equations, X-separability, and left-invertibility in the λ-calculus 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, 1991 Erschienen in: Information and Computation, 90 (1991) 1, Seite 1-32
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Esposito, Marco; Mancini, Toni; Tronci, Enrico Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry 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. Institute of Electrical and Electronics Engineers (IEEE), 2024 Erschienen in: IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54 (2024) 3, Seite 1515-1526
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mancini, Toni; Melatti, Igor; Tronci, Enrico Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 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. Institute of Electrical and Electronics Engineers (IEEE), 2023 Erschienen in: IEEE Transactions on Software Engineering, 49 (2023) 9, Seite 4443-4455
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mancini, Toni; Melatti, Igor; Tronci, Enrico Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification 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. Institute of Electrical and Electronics Engineers (IEEE), 2022 Erschienen in: IEEE Transactions on Software Engineering, 48 (2022) 10, Seite 4002-4013
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pappagallo, Angela; Massini, Annalisa; Tronci, Enrico Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 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. MDPI AG, 2020 Erschienen in: Information, 11 (2020) 12, Seite 588
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Marino, Andrea; Sinaimeri, Blerina; Tronci, Enrico; Calamoneri, Tiziana STARGATE-X: a Python package for statistical analysis on the REACTOME network 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. Walter de Gruyter GmbH, 2024 Erschienen in: Journal of Integrative Bioinformatics, 20 (2024) 3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Melatti, Igor; Mari, Federico; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 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. Institute of Electrical and Electronics Engineers (IEEE), 2022 Erschienen in: IEEE Transactions on Industrial Electronics, 69 (2022) 8, Seite 8566-8578
> 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 (71) Wert ausschließen Bücher (2) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (24) Wert ausschließen Ohne Angabe (48) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (39) Wert ausschließen Ohne Angabe (34) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (16) Wert ausschließen Mathematik (5) Wert ausschließen Medizin (5) Wert ausschließen Technik (4) Wert ausschließen Biologie (3) Wert ausschließen Physik (3) Wert ausschließen Allgemeines (1) Wert ausschließen Chemie und Pharmazie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Tronci, Enrico (62) Wert ausschließen Melatti, Igor (30) Wert ausschließen Mari, Federico (18) Wert ausschließen Mancini, Toni (16) Wert ausschließen Intrigila, Benedetto (12) Wert ausschließen Salvo, Ivano (11) Wert ausschließen Della Penna, Giuseppe (10) Wert ausschließen Zilli, Marisa Venturini (8) Wert ausschließen Massini, Annalisa (6) Wert ausschließen Alimguzhin, Vadim (5) Wert ausschließen Finzi, Alberto (5) Wert ausschließen Lanotte, Ruggero (4) Wert ausschließen Leeners, Brigitte (4) Wert ausschließen Maggiolo-Schettini, Andrea (4) Wert ausschließen Tini, Simone (4) Wert ausschließen Tronci, Mirella (4) Wert ausschließen Camporeale, Enrico (3) Wert ausschließen Ciancamerla, Ester (3) Wert ausschließen Egli, Marcel (3) Wert ausschließen Ille, Fabian (3) Wert ausschließen Minichino, Michele (3) Wert ausschließen Röblitz, Susanna (3) Wert ausschließen Tronci, Cesare (3) Wert ausschließen Venturini Zilli, Marisa (3) Wert ausschließen Cesta, Amedeo (2) Wert ausschließen Chen, Qian Matteo (2) Wert ausschließen Demarinis, Giuseppe (2) Wert ausschließen Esparza, Javier (2) Wert ausschließen Fratini, Simone (2) Wert ausschließen Geist, Daniel (2) Wert ausschließen Geraedts, Kirsten (2) Wert ausschließen Gorrieri, Roberto (2) Wert ausschließen Krüger, Tillmann H. C. (2) Wert ausschließen Martinelli, Fabio (2) Wert ausschließen Orlandini, Andrea (2) Wert ausschließen Peiretti, Enrico (2) Wert ausschließen Penna, Giuseppe Della (2) Wert ausschließen Prodanovic, Milan (2) Wert ausschließen Saleh, Lanja (2) Wert ausschließen Schippert, Cordula (2) Wert ausschließen Spanaus, Katharina (2) Wert ausschließen Tatti, Filippo (2) Wert ausschließen Tortoli, Enrico (2) Wert ausschließen Troina, Angelo (2) Wert ausschließen Tronci, Claudia (2) Wert ausschließen Alberi, Irene (1) Wert ausschließen Alvisi, Lorenzo (1) Wert ausschließen Antonucci, Giorgio (1) Wert ausschließen Arena, Saverio (1) Wert ausschließen Balducelli, Claudio (1) Wert ausschließen Bijlsma, Johannes (1) Wert ausschließen Bobbio, A. (1) Wert ausschließen Bordi, Eugenio (1) Wert ausschließen Brunelli, Roberto (1) Wert ausschließen Böhm, Corrado (1) Wert ausschließen CHARME 12 2003 L'Aquila (1) Wert ausschließen CHIARADONNA, PATRIZIA (1) Wert ausschließen Cagnacci, Angelo (1) Wert ausschließen Calamoneri, Tiziana (1) Wert ausschließen Camandona, Franco (1) Wert ausschließen Campagnano, Edoardo (1) Wert ausschließen Campoli, Serena (1) Wert ausschließen Canu, Giulia (1) Wert ausschließen Casini, Giamberto (1) Wert ausschließen Casucci, Paola (1) Wert ausschließen Caudullo, Sebastiano (1) Wert ausschließen Ceccaroni, Marcello (1) Wert ausschließen Cetin, Irene (1) Wert ausschließen Ciavattini, Andrea (1) Wert ausschließen Clement, Allen (1) Wert ausschließen Corsi Decenti, Edoardo (1) Wert ausschließen Costa, Danila (1) Wert ausschließen Cromi, Antonella (1) Wert ausschließen D'Inzeo, Tiziana (1) Wert ausschließen Di Cerbo, Lidia (1) Wert ausschließen Di Sebastiano, Francesca (1) Wert ausschließen Dipoppa, Giovanni (1) Wert ausschließen Donati, Serena (1) Wert ausschließen D’Aloja, Paola (1) Wert ausschließen Ehrig, Rainald (1) Wert ausschließen Esposito, Marco (1) Wert ausschließen FATTORINI, LANFRANCO (1) Wert ausschließen Fadda, Giovanni (1) Wert ausschließen Farsetti, Daniele (1) Wert ausschließen Ferracuti, Stefano (1) Wert ausschließen Figus, Michele (1) Wert ausschließen Fiori, Barbara (1) Wert ausschließen Fischer, Sophie (1) Wert ausschließen Focardi, Riccardo (1) Wert ausschließen Fossarello, Maurizio (1) Wert ausschließen Franchi, Massimo Piergiuseppe (1) Wert ausschließen Galli, Claudio (1) Wert ausschließen Giannaccare, Giuseppe (1) Wert ausschließen Girardi, Enrico (1) Wert ausschließen Goglio, Antonio (1) Wert ausschließen Gribaudo, Marco (1) Wert ausschließen Hayes, Barry (1) Wert ausschließen Hengartner, Michael P. (1) Wert ausschließen Horváth, A. (1) Wert ausschließen IONA, ELISABETTA (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (19) Wert ausschließen Elsevier BV (CrossRef) (8) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (7) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (6) Wert ausschließen Frontiers Media SA (CrossRef) (4) Wert ausschließen IOS Press (CrossRef) (4) Wert ausschließen Open Publishing Association (CrossRef) (4) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (3) Wert ausschließen MDPI AG (CrossRef) (3) Wert ausschließen Verbunddaten SWB (3) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen Springer International Publishing (CrossRef) (2) Wert ausschließen AIP Publishing (CrossRef) (1) Wert ausschließen American Society for Microbiology (CrossRef) (1) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen