skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Mostrar Somente
Refinado por: Biblioteca: IFSC - Inst. Física de São Carlos remover assunto: System Design remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Operating system design, the Xinu approach
Operating system design, the Xinu approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Operating system design, the Xinu approach

Douglas Comer

Englewood Cliffs, N.J. Prentice-Hall c1984

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M30.01 C732o e.1 ) e outros locais(Acessar)

2
Virtual Machines : Versatile Platforms for Systems and Processes
Virtual Machines : Versatile Platforms for Systems and Processes
Virtual Machines : Versatile Platforms for Systems and Processes
Material Type:
Livro 		Adicionar ao Meu Espaço

Virtual Machines : Versatile Platforms for Systems and Processes

James Edward Smith Ravi Nair; Jim Smith

Morgan Kaufmann 2005

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

3
Challenges for Action Theories
Challenges for Action Theories
Challenges for Action Theories
Material Type:
Livro 		Adicionar ao Meu Espaço

Challenges for Action Theories

Michael Thielscher

Springer Berlin Heidelberg 2000

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

4
Advances in Exception Handling Techniques
Advances in Exception Handling Techniques
Advances in Exception Handling Techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Exception Handling Techniques

Alexander Romanovsky Alexander Romanovsky; Christophe Dony; Jorgen Lindskov Knudsen; Anand Tripathi

Springer Berlin Heidelberg 2001

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

5
Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

TACAS 2001 (2001 Genoa, Italy) Tiziana Margaria; Wang Yi; ETAPS 2001 (2001 Genoa, Italy)

Berlin New York Springer c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2031 ) e outros locais(Acessar)

6
Network systems design using network processors : Agere version
Network systems design using network processors : Agere version
Material Type:
Livro 		Adicionar ao Meu Espaço

Network systems design using network processors : Agere version

Douglas E. Comer

Upper Saddle River, N.J Pearson/Prentice Hall c2005

Localização: IFSC - Inst. Física de São Carlos    (004.22 C732n )(Acessar)

7
Real-time systems design and analysis an engineer's handbook
Real-time systems design and analysis an engineer's handbook
Material Type:
Livro 		Adicionar ao Meu Espaço

Real-time systems design and analysis an engineer's handbook

Phillip A. Laplante

New York IEEE Press IEEE Computer Society Press c1997

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.031.43 L316r2 ) e outros locais(Acessar)

8
Computer organization and design the hardware/software interface
Computer organization and design the hardware/software interface
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer organization and design the hardware/software interface

David A. Patterson John L Hennessy author

Amsterdam Morgan Kaufmann 2014

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M05.01 P317co.5 e.8 ) e outros locais(Acessar)

9
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '97, industrial applications and strengthened foundations of formal methods 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings

International Symposium of Formal Methods Europe (4th 1997 Graz, Austria) John Fitzgerald 1965-; C. B Jones (Cliff B.) 1944-; Peter Lucas 1955-

Berlin New York Springer c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1313 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (1)
  2. 1997Até1999  (2)
  3. 2000Até2000  (1)
  4. 2001Até2005  (4)
  5. Após 2005  (1)
  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.