Zum Inhalt springen Ghilardi, Silvio [Herausgeber:in]; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft] ; FroCoS 7 2009 Trient Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; 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, 2009 Erschienen in: Lecture notes in computer science ; 5749 Ghilardi, Silvio [Verfasser:in]; Zawadowski, Marek [Verfasser:in] Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics 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. Dordrecht [u.a.]: Kluwer Academic Publishers, 2002 Erschienen in: Trends in logic ; 14 Ghilardi, Silvio [Verfasser:in] ; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft] Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. 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 Berlin Heidelberg, 2009 Erschienen in: Lecture notes in computer science ; 5749 Ghilardi, Silvio [Verfasser:in] ; Zawadowski, Marek [Sonstige Person, Familie und Körperschaft] Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics 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. Dordrecht: Springer, 2002 Erschienen in: Trends in Logic, Studia Logica Library ; 14- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics Baader, Franz [Verfasser:in]; Ghilardi, Silvio [Verfasser:in] Connecting many-sorted theories Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Resolving-System (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2005 Erschienen in: LTCS-Report ; 05,4 Bruttomesso, Roberto [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Ranise, Silvio [Verfasser:in] ; Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise [Mitwirkende:r] Rewriting-based Quantifier-free Interpolation for a Theory of Arrays Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI 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, 2011 Ghilardi, Silvio [Verfasser:in]; Gianola, Alessandro [Verfasser:in]; Kapur, Deepak [Verfasser:in] Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 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: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81 Baader, Franz [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Lutz, Carsten [Verfasser:in] LTL over Description Logic Axioms Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System (frei zugänglich) ... zum E-Book via Resolving-System Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2008 Erschienen in: LTCS-Report ; 08,1 Baader, Franz [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Tinelli, Cesare [Verfasser:in] A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Resolving-System (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2003 Erschienen in: LTCS-Report ; 03,5 Ghilardi, Silvio [Verfasser:in]; Ranise, Silvio [Verfasser:in]; Nicolini, Enrica [Verfasser:in]; Zucchelli, Daniele [Verfasser:in] ; Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli [Mitwirkende:r] From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI 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, 2007 Zucchelli, Daniele [Verfasser:in] ; Nancy 1 [Mitwirkende:r]; Università degli studi (Milan, Italie) [Mitwirkende:r]; Rusinowitch, Michaël [Mitwirkende:r]; Ghilardi, Silvio [Mitwirkende:r]; Ranise, Silvio [Mitwirkende:r] Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. theses.fr, 2008-01-22 Castellanos Joo, Jose Abel [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Gianola, Alessandro [Verfasser:in]; Kapur, Deepak [Verfasser:in] AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff 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. 2021 Erschienen in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 40-52 Ghilardi, Silvio Book Reviews 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, 2010 Erschienen in: Studia Logica, 95 (2010) 3, Seite 443-448 Ghilardi, Silvio Continuity, freeness, and filtrations 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, 2010 Erschienen in: Journal of Applied Non-Classical Logics, 20 (2010) 3, Seite 193-217 Ghilardi, Silvio Review: Quantification in Nonclassical Logic, volume I, Studies in Logics and the Foundations of Mathematics 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, 2010 Erschienen in: Studia Logica: An International Journal for Symbolic Logic, 95 (2010) 3, Seite 447-448 Ghilardi, Silvio Model-Theoretic Methods in Combined Constraint Satisfiability 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, 2004 Erschienen in: Journal of Automated Reasoning, 33 (2004) 3-4, Seite 221-249 Ghilardi, Silvio Unification, finite duality and projectivity in varieties of Heyting algebras 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, 2004 Erschienen in: Annals of Pure and Applied Logic, 127 (2004) 1-3, Seite 99-115 Ghilardi, Silvio Quantifier Elimination and Provers Integration 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, 2003 Erschienen in: Electronic Notes in Theoretical Computer Science, 86 (2003) 1, Seite 22-34 Ghilardi, Silvio Best solving modal equations 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, 2000 Erschienen in: Annals of Pure and Applied Logic, 102 (2000) 3, Seite 183-198 Ghilardi, Silvio Unification in intuitionistic logic 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), 1999 Erschienen in: Journal of Symbolic Logic, 64 (1999) 2, Seite 859-880
Ghilardi, Silvio [Herausgeber:in]; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft] ; FroCoS 7 2009 Trient Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 ; 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, 2009 Erschienen in: Lecture notes in computer science ; 5749
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio [Verfasser:in]; Zawadowski, Marek [Verfasser:in] Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics 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. Dordrecht [u.a.]: Kluwer Academic Publishers, 2002 Erschienen in: Trends in logic ; 14
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio [Verfasser:in] ; Sebastiani, Roberto [Sonstige Person, Familie und Körperschaft] Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. 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 Berlin Heidelberg, 2009 Erschienen in: Lecture notes in computer science ; 5749
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio [Verfasser:in] ; Zawadowski, Marek [Sonstige Person, Familie und Körperschaft] Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics 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. Dordrecht: Springer, 2002 Erschienen in: Trends in Logic, Studia Logica Library ; 14- SpringerLink ; Bücher- Springer eBook Collection ; Mathematics and Statistics
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [Verfasser:in]; Ghilardi, Silvio [Verfasser:in] Connecting many-sorted theories Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Resolving-System (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2005 Erschienen in: LTCS-Report ; 05,4
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bruttomesso, Roberto [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Ranise, Silvio [Verfasser:in] ; Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise [Mitwirkende:r] Rewriting-based Quantifier-free Interpolation for a Theory of Arrays Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI 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, 2011
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio [Verfasser:in]; Gianola, Alessandro [Verfasser:in]; Kapur, Deepak [Verfasser:in] Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations 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: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Lutz, Carsten [Verfasser:in] LTL over Description Logic Axioms Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System (frei zugänglich) ... zum E-Book via Resolving-System Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2008 Erschienen in: LTCS-Report ; 08,1
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Tinelli, Cesare [Verfasser:in] A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Bücher Online ansehen Schließen > Zugang ... zum E-Book via Resolving-System ... zum E-Book via Resolving-System (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dresden: Technische Universität Dresden, 2003 Erschienen in: LTCS-Report ; 03,5
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio [Verfasser:in]; Ranise, Silvio [Verfasser:in]; Nicolini, Enrica [Verfasser:in]; Zucchelli, Daniele [Verfasser:in] ; Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli [Mitwirkende:r] From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems Aufsätze Online ansehen Schließen > Links ... zum Aufsatz via DOI 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, 2007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Zucchelli, Daniele [Verfasser:in] ; Nancy 1 [Mitwirkende:r]; Università degli studi (Milan, Italie) [Mitwirkende:r]; Rusinowitch, Michaël [Mitwirkende:r]; Ghilardi, Silvio [Mitwirkende:r]; Ranise, Silvio [Mitwirkende:r] Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels Hochschulschriften Online ansehen Schließen > Links ... zur Hochschulschrift Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. theses.fr, 2008-01-22
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Castellanos Joo, Jose Abel [Verfasser:in]; Ghilardi, Silvio [Verfasser:in]; Gianola, Alessandro [Verfasser:in]; Kapur, Deepak [Verfasser:in] AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff 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. 2021 Erschienen in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 40-52
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Book Reviews 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, 2010 Erschienen in: Studia Logica, 95 (2010) 3, Seite 443-448
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Continuity, freeness, and filtrations 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, 2010 Erschienen in: Journal of Applied Non-Classical Logics, 20 (2010) 3, Seite 193-217
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Review: Quantification in Nonclassical Logic, volume I, Studies in Logics and the Foundations of Mathematics 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, 2010 Erschienen in: Studia Logica: An International Journal for Symbolic Logic, 95 (2010) 3, Seite 447-448
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Model-Theoretic Methods in Combined Constraint Satisfiability 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, 2004 Erschienen in: Journal of Automated Reasoning, 33 (2004) 3-4, Seite 221-249
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Unification, finite duality and projectivity in varieties of Heyting algebras 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, 2004 Erschienen in: Annals of Pure and Applied Logic, 127 (2004) 1-3, Seite 99-115
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Quantifier Elimination and Provers Integration 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, 2003 Erschienen in: Electronic Notes in Theoretical Computer Science, 86 (2003) 1, Seite 22-34
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Best solving modal equations 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, 2000 Erschienen in: Annals of Pure and Applied Logic, 102 (2000) 3, Seite 183-198
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ghilardi, Silvio Unification in intuitionistic logic 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), 1999 Erschienen in: Journal of Symbolic Logic, 64 (1999) 2, Seite 859-880
> 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 (112) Wert ausschließen Bücher (7) Wert ausschließen Hochschulschriften (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Magazinbestellung (1) Wert ausschließen Verfügbarkeit vor Ort erfragen (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (3) Wert ausschließen Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (3) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (38) Wert ausschließen Ohne Angabe (80) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (81) Wert ausschließen Nicht zu entscheiden (39) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (29) Wert ausschließen Mathematik (28) Wert ausschließen Philosophie (6) Wert ausschließen Chemie und Pharmazie (4) Wert ausschließen Technik (4) Wert ausschließen Physik (3) Wert ausschließen Allgemeines (1) Wert ausschließen Geographie (1) Wert ausschließen Geschichte (1) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (1) Wert ausschließen Wirtschaftswissenschaften (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Ghilardi, Silvio (109) Wert ausschließen Ranise, Silvio (22) Wert ausschließen Gianola, Alessandro (18) Wert ausschließen Alberti, Francesco (13) Wert ausschließen Baader, Franz (10) Wert ausschließen Montali, Marco (10) Wert ausschließen Rivkin, Andrey (10) Wert ausschließen Sharygina, Natasha (10) Wert ausschließen Bruttomesso, Roberto (9) Wert ausschließen Calvanese, Diego (8) Wert ausschließen Zucchelli, Daniele (8) Wert ausschließen Nicolini, Enrica (7) Wert ausschließen Pagani, Elena (7) Wert ausschließen Zawadowski, Marek (7) Wert ausschließen Bezhanishvili, Nick (5) Wert ausschließen Kapur, Deepak (5) Wert ausschließen Santocanale, Luigi (4) Wert ausschließen Chiappe, Cinzia (3) Wert ausschließen Ghilardi, Renato Pirani (3) Wert ausschließen Ghilardi, Tiziana (3) Wert ausschließen Jibladze, Mamuka (3) Wert ausschließen Meloni, Giancarlo (3) Wert ausschließen Pomelli, Christian Silvio (3) Wert ausschließen Tinelli, Cesare (3) Wert ausschließen BECKER-KERBER, BRUNO (2) Wert ausschließen BENINI, VICTORIA GIOPATO (2) Wert ausschließen BUCK, PEDRO VICTOR (2) Wert ausschließen Bezhanishvili, Guram (2) Wert ausschließen Bruschi, Danilo (2) Wert ausschließen CURADO, JESSICA FLEURY (2) Wert ausschließen Carioni, Alessandro (2) Wert ausschließen Di Pasquale, Andrea (2) Wert ausschließen GALANTE, DOUGLAS (2) Wert ausschließen GHILARDI, RENATO PIRANI (2) Wert ausschließen GHILARDI, SILVIO (2) Wert ausschließen Gabelaia, David (2) Wert ausschließen Gouveia, Maria João (2) Wert ausschließen Lanzi, Andrea (2) Wert ausschließen Limeira Junior, Silvio Cesar Marqui (2) Wert ausschließen Lutz, Carsten (2) Wert ausschließen ONARY-ALVES, SILVIO YUJI (2) Wert ausschließen OSÉS, GABRIEL LADEIRA (2) Wert ausschließen PACHECO, MÍRIAN LIZA ALVES FORANCELLI (2) Wert ausschließen RANGEL, ELIDIANE CIPRIANO (2) Wert ausschließen RODRIGUES, FABIO (2) Wert ausschließen ROMERO, GUILHERME RAFFAELI (2) Wert ausschließen RUDNITZKI, ISAAC DANIEL (2) Wert ausschließen Sacchetti, Lorenzo (2) Wert ausschließen Sebastiani, Roberto (2) Wert ausschließen Accettura, Caterina (1) Wert ausschließen Aieta, Michele (1) Wert ausschließen Alberti, Martina (1) Wert ausschließen Aliprandi, Marta (1) Wert ausschließen Altavilla, Amelia (1) Wert ausschließen Antonuzzo, Lorenzo (1) Wert ausschließen Artemi, Adele (1) Wert ausschließen Arundine, Dario (1) Wert ausschließen Astore, Serena (1) Wert ausschließen Attademo, Laura (1) Wert ausschließen Atzori, Francesco (1) Wert ausschließen Aurilio, Gaetano (1) Wert ausschließen Azzariti, Amalia (1) Wert ausschließen Baciarello, Giulia (1) Wert ausschließen Baier, Susanne (1) Wert ausschließen Baldazzi, Valentina (1) Wert ausschließen Banna, Giuseppe L (1) Wert ausschließen Barile, Carmen (1) Wert ausschließen Barra, Salvina (1) Wert ausschließen Barraco, Chiara (1) Wert ausschließen Barsanti, Alessandra Caterina (1) Wert ausschließen Basile, Debora (1) Wert ausschließen Bassanelli, Maria (1) Wert ausschließen Basso, Umberto (1) Wert ausschließen Bauckneht, Matteo (1) Wert ausschließen Baumann-Di Lábio, Débora Eliza Henriques (1) Wert ausschließen Bearz, Alessandra (1) Wert ausschließen Bellia, Salvatore R (1) Wert ausschließen Benedetti, Benedetta (1) Wert ausschließen Berardi, Rossana (1) Wert ausschließen Bergamini, Marco (1) Wert ausschließen Bersanelli, Melissa (1) Wert ausschließen Bertoni, Maria (1) Wert ausschließen Bianchi, Emanuela (1) Wert ausschließen Biasini, Claudia (1) Wert ausschließen Bidin, Livia (1) Wert ausschließen Bimbatti, Davide (1) Wert ausschließen Bleve, Sara (1) Wert ausschließen Boccardo, Francesco (1) Wert ausschließen Bolzacchini, Elena (1) Wert ausschließen Bonacina, Maria Paola (1) Wert ausschließen Bonato, Adele (1) Wert ausschließen Bonomi, Lucia (1) Wert ausschließen Bordonaro, Sebastiano (1) Wert ausschließen Borghesi, Marco (1) Wert ausschließen Bortolini, Olga (1) Wert ausschließen Bortolus, Roberto (1) Wert ausschließen Bortot, Lucia (1) Wert ausschließen Bosso, Davide (1) Wert ausschließen Bottiglieri, Achille (1) Wert ausschließen Bozza, Giovanni (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (21) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (14) Wert ausschließen Elsevier BV (CrossRef) (13) Wert ausschließen Springer International Publishing (CrossRef) (12) Wert ausschließen JSTOR Mathematics & Statistics (11) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (10) Wert ausschließen Verbunddaten SWB (9) Wert ausschließen JSTOR Arts & Sciences I Archive (6) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (5) Wert ausschließen JSTOR Arts & Sciences VII Archive (5) Wert ausschließen Lizenzfreie Online-Ressourcen (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (3) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Qucosa (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (2) Wert ausschließen IOS Press (CrossRef) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen American Chemical Society (ACS) (CrossRef) (1) Wert ausschließen American Medical Association (AMA) (CrossRef) (1) Wert ausschließen Duke University Press (CrossRef) (1) Wert ausschließen Elsevier (CrossRef) (1) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (1) Wert ausschließen Sociedade Brasileira de Paleontologia (CrossRef) (1) Wert ausschließen Society for Sedimentary Geology (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen theses.fr (1) Wert ausschließen zeige weitere weniger zeigen