skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996) remover Base de dados/Biblioteca: SpringerLink Books Lecture Notes in Computer Science Archive remover tipo de recurso: Livros remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
Practice of Time Series Analysis
Practice of Time Series Analysis
Material Type:
Livro 		Adicionar ao Meu Espaço

Practice of Time Series Analysis

Akaike, Hirotugu ; Kitagawa, Genshiro

Springer 2012

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 (112)
  2. Revistas revisadas por pares (18)

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

Buscando em bases de dados remotas. Favor aguardar.