Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Aligning gene expression time series with time warping algorithmsAach, John ; Church, George M.Bioinformatics, 2001-06, Vol.17 (6), p.495-508 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
A denotationally-based program logic for higher-order storeAagaard, Frederik Lerbjerg ; Sterling, Jonathan ; Birkedal, LarsProceedings of MFPS XXXIXTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Relating Multi-step and Single-Step Microprocessor Correctness StatementsAagaard, Mark D. ; Day, Nancy A. ; Lou, Meng Aagaard, Mark D. ; O’Leary, John W.Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Livro
|
![]() |
Quantum Computing since DemocritusScott AaronsonCambridge Cambridge University Press 2013Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo
|
![]() |
Evolutionary Learning Processes to Design the Dilation-Erosion Perceptron for Weather ForecastingARAUJO, Ricardo de ANeural processing letters, 2013-06, Vol.37 (3), p.303-333 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
6 |
Material Type: Dissertação de Mestrado
|
![]() |
Ferramental matemático e computacional para apoio a gestão de pequenos supermercadosBarros, Cristian Julio DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2019-12-12Acesso online |
7 |
Material Type: Livro
|
![]() |
Computational Methods in Transport: Verification and ValidationBarth, Timothy J ; Griebel, Michael ; Keyes, David E ; Nieminen, Risto M ; Roose, Dirk ; Schlick, TamarSpringer-Verlag 2008Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Codici Cifrati: Arne Beurling e la Crittografia Nella II Guerra MondialeBeckman, BengtMilano: Springer Milan 2005Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Modeling, Simulation and Optimization of Complex Processes: Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, VietnamBock, Hans Georg ; Kostina, Ekaterina ; Hoang, Xuan Phu ; Rannacher, RolfBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Scientific Visualization: The Visual Extraction of Knowledge from DataBonneau, Georges-Pierre ; Ertl, Thomas ; Nielson, Gregory MSpringer-Verlag 2006Texto completo disponível |