skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover nível superior: Recursos Online remover Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Weather Prediction by Numerical Process
Weather Prediction by Numerical Process
Weather Prediction by Numerical Process
Material Type:
Livro 		Adicionar ao Meu Espaço

Weather Prediction by Numerical Process

Lewis Fry Lynch, Peter Richardson Peter Lynch; Lewis Fry Richardson

Cambridge Cambridge University Press 2007

Acesso online. A biblioteca também possui exemplares impressos.

2
Markov Processes, Gaussian Processes, and Local Times
Markov Processes, Gaussian Processes, and Local Times
Markov Processes, Gaussian Processes, and Local Times
Material Type:
Livro 		Adicionar ao Meu Espaço

Markov Processes, Gaussian Processes, and Local Times

Michael B. Marcus Jay Rosen Jay Rosen; B Bollobas; W Fulton; A Katok; F Kirwan; P Sarnak; B Simon; B Totaro

Leiden Cambridge University Press 2006

Acesso online. A biblioteca também possui exemplares impressos.

3
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

4
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Operational semantics for timed systems a non-standard approach to uniform modeling of timed and hybrid systems

Heinrich Rust

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

5
Practice and theory of automated timetabling V 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers
Practice and theory of automated timetabling V 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Practice and theory of automated timetabling V 5th international conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers

International Conference on the Practice and Theory of Automated Timetabling (5th 2004 Pittsburgh, Pa.) Edmund Burke Ph. D; Michael A Trick

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

6
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.