skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Livros remover Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Price of Uncertainty in Present-Biased Planning
The Price of Uncertainty in Present-Biased Planning
Material Type:
Livro 		Adicionar ao Meu Espaço

The Price of Uncertainty in Present-Biased Planning

Albers, Susanne ; Kraft, Dennis

84757eb2-ad80-4578-a5d0-398fc4d17598, 2017, Vol.10660, p.325-339 [Periódico revisado por pares]

Switzerland: Springer Open

Texto completo disponível

Citações Citado por
2
Active, Real-Time, and Temporal Database Systems: Second International Workshop, ARTDB-97 Como, Italy, September 8-9, 1997 Proceedings
Active, Real-Time, and Temporal Database Systems: Second International Workshop, ARTDB-97 Como, Italy, September 8-9, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Active, Real-Time, and Temporal Database Systems: Second International Workshop, ARTDB-97 Como, Italy, September 8-9, 1997 Proceedings

Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan ; Andler, Sten F Andler, Sten F. ; Hansson, Jörgen

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

Citações Citado por
3
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium Warwick, UK, September 22–23, 1988

Joseph, M Joseph, M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1988

Texto completo disponível

Citações Citado por
4
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

Bertran, Miquel ; Rus, Teodor Rus, Teodor ; Bertran, Miquel

Berlin, Heidelberg: Springer Berlin / Heidelberg 1997

Texto completo disponível

Citações Citado por
5
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, 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, Bertinora, 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, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Bernardo, Marco ; Corradini, Flavio Corradini, Flavio ; Bernardo, Marco

Berlin, Heidelberg: Springer Berlin Heidelberg 2004

Texto completo disponível

Citações Citado por
6
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996 Proceedings

Jonsson, Bengt ; Parrow, Joachim Parrow, Joachim ; Jonsson, Bengt

Berlin, Heidelberg: Springer Berlin Heidelberg 1996

Texto completo disponível

Citações Citado por
7
Topological Properties and Global Structure of Space-Time
Topological Properties and Global Structure of Space-Time
Material Type:
Livro 		Adicionar ao Meu Espaço

Topological Properties and Global Structure of Space-Time

Bergmann, Peter G ; De Sabbata, Venzo

New York, NY: Springer 2013

Texto completo disponível

Citações Citado por
8
Real Time Computing
Real Time Computing
Material Type:
Livro 		Adicionar ao Meu Espaço

Real Time Computing

Stoyenko, Alexander D

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Texto completo disponível

Citações Citado por
9
High Performance Discovery in Time Series: Techniques and Case Studies
High Performance Discovery in Time Series: Techniques and Case Studies
Material Type:
Livro 		Adicionar ao Meu Espaço

High Performance Discovery in Time Series: Techniques and Case Studies

University, New York ; Ryan, Donna ; Staff, New York University Libraries

New York, NY: Springer 2013

Texto completo disponível

Citações Citado por
10
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988
Material Type:
Livro 		Adicionar ao Meu Espaço

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988

Bakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (127)
  2. Revistas revisadas por pares (21)

Data de Publicação 

De até
Refinar
  1. Antes de1986  (10)
  2. 1986Até1992  (22)
  3. 1993Até1999  (40)
  4. 2000Até2007  (58)
  5. Após 2007  (41)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.