Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Web Resource
|
El compresor para procesar diálogos (Logic Pro)Payri Lambert, Blas Gastón2023Texto completo disponível |
|
2 |
Material Type: Web Resource
|
Decidability of difference logics with unary predicatesBoigelot, Bernard ; Fontaine, Pascal ; Vergain, BaptisteRWTH Aachen University 2023Texto completo disponível |
|
3 |
Material Type: Web Resource
|
Deciding Satisfiability for Fragments with Unary Predicates and Difference ArithmeticVergain, Baptiste ; Boigelot, Bernard ; Fontaine, PascalRWTH Aachen University 2022Texto completo disponível |
|
4 |
Material Type: Web Resource
|
AMD expands its arsenal by snatching up programmable chip maker XilinxEngadget HD (Blogs on Demand), 2020Newstex LLCSem texto completo |
|
5 |
Material Type: Web Resource
|
Multi-criteria analysis for mapping susceptibility to iron formation caves development in the Gandarela mountain range (MG), southeast BrazilNola, Iraydes Tálita ; Bacellar, Luis AlmeidaDigital Commons @ University of South Florida 2021Sem texto completo |
|
6 |
Material Type: Web Resource
|
Reducing omega-model reflection to iterated syntactic reflection (vol 23, 2250001, 2021)Pakhomov, Fedor ; Walsh, James2023Texto completo disponível |
|
7 |
Material Type: Web Resource
|
Decidability of Difference Logic over the Reals with Uninterpreted Unary PredicatesVergain, Baptiste ; Fontaine, Pascal ; Boigelot, BernardSpringer 2023Sem texto completo |
|
8 |
Material Type: Web Resource
|
Algorithmic Randomness and Fourier AnalysisFranklin, Johanna N. Y ; McNicholl, Timothy H ; Rute, JasonIowa State University Digital Repository 2019Sem texto completo |
|
9 |
Material Type: Web Resource
|
Comprimir diálogos: bajada de nivel y desonorizaciónPayri Lambert, Blas Gastón2023Texto completo disponível |
|
10 |
Material Type: Web Resource
|
Corregir la ganancia de la voz con el compresor (Tutorial Logic)Payri Lambert, Blas Gastón2023Texto completo disponível |