Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
Toggle navigation
Marcelo Taube
8
Ergebnisse:
Personensuche
X
Format
Online (8)
Medientypen
Artikel (Online) (4)
Buchkapitel (Online) (1)
OpenAccess-Volltexte (3)
Sortierung: Relevanz
Sortierung: Jahr
?
1
Counterexample Driven Quantifier Instantiations with Applic..:
Tamir, Orr
;
Taube, Marcelo
;
McMillan, Kenneth L.
...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1878-1904 , 2023
Link:
https://doi.org/10.1145/..
?
2
Modularity for decidability of deductive verification with ..:
Taube, Marcelo
;
Losa, Giuliano
;
McMillan, Kenneth L.
...
ACM SIGPLAN Notices. 53 (2018) 4 - p. 662-677 , 2018
Link:
https://doi.org/10.1145/..
?
3
Modularity for decidability of deductive verification with ..:
, In:
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
,
Taube, Marcelo
;
Losa, Giuliano
;
McMillan, Kenneth L.
... - p. 662-677 , 2018
Link:
https://dl.acm.org/doi/1..
?
4
Modularity for Decidability of Deductive Verification with ..:
Marcelo Taube
;
Giuliano Losa
;
Kenneth L. McMillan
...
doi:10.5281/zenodo.1218852. , 2018
Link:
https://zenodo.org/recor..
?
5
Modularity for Decidability of Deductive Verification with ..:
Marcelo Taube
;
Giuliano Losa
;
Kenneth L. McMillan
...
doi:10.5281/zenodo.1218852. , 2018
Link:
https://zenodo.org/recor..
?
6
Diphenyl Diselenide Decreases Serum Levels of Total Cholest..:
de Bem, Andreza Fabro
;
de Lima Portella, Rafael
;
Colpo, Elisângela
...
Basic & Clinical Pharmacology & Toxicology. 105 (2009) 1 - p. 17-23 , 2009
Link:
https://doi.org/10.1111/..
?
7
Numerical analysis of tube arrangements with one, two, and ..:
Cunegatto, Eduardo Henrique Taube
;
Gotardo, Marcelo
;
Zinani, Flávia Schwarz Franceschini
International Journal of Heat and Mass Transfer. 208 (2023) - p. 124080 , 2023
Link:
https://doi.org/10.1016/..
?
8
Osteoarthrosis: Analyze of the Molar Bite Force, Thickness ..:
Mariah Acioli Righetti
;
Oswaldo Luiz Stamato Taube
;
Marcelo Palinkas
...
https://pmr.lf1.cuni.cz/121/2/0087/. , 2020
Link:
https://doi.org/10.14712..
1-8