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: assunto: Metodologia E Técnicas De Computação remover assunto: System Design remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FPGA-based system design
FPGA-based system design
Material Type:
Livro 		Adicionar ao Meu Espaço

FPGA-based system design

Wayne Hendrix Wolf

Upper Saddle River, NJ Prentice Hall PTR c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M05.25 W855fp e.8 CD-ROM ) e outros locais(Acessar)

2
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)

3
VHDL and AHDL digital system implementation
VHDL and AHDL digital system implementation
Material Type:
Livro 		Adicionar ao Meu Espaço

VHDL and AHDL digital system implementation

Frank A. Scarpino

Upper Saddle River, N.J. Prentice Hall PTR c1998

Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval    (004.436.2 Sca76v )(Acessar)

4
Systems modeling and computer simulation
Systems modeling and computer simulation
Material Type:
Livro 		Adicionar ao Meu Espaço

Systems modeling and computer simulation

Naim A Kheir 1933-

New York M. Dekker c1996

Item não circula. Consulte sua biblioteca.(Acessar)

5
Software design and development
Software design and development
Material Type:
Livro 		Adicionar ao Meu Espaço

Software design and development

Philip Gilbert 1933-

Chicago Science Research Associates c1983

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N30.50 G465sd e.1 )(Acessar)

6
Applications of formal methods
Applications of formal methods
Material Type:
Livro 		Adicionar ao Meu Espaço

Applications of formal methods

Michael G Hinchey 1969- (Michael Gerard); J. P Bowen 1956- (Jonathan Peter)

London Prentice Hall New York 1995

Localização: IME - Inst. Matemática e Estatística    (QA754.C3 H659a )(Acessar)

7
Using MATLAB to analyze and design control systems
Using MATLAB to analyze and design control systems
Material Type:
Livro 		Adicionar ao Meu Espaço

Using MATLAB to analyze and design control systems

Naomi Ehrich Leonard W. S Levine

Menlo Park, Calif. Addison-Wesley c1995

Localização: IME - Inst. Matemática e Estatística    (QA762.9 L581u )(Acessar)

8
Object modeling and design strategies tips and techniques
Object modeling and design strategies tips and techniques
Material Type:
Livro 		Adicionar ao Meu Espaço

Object modeling and design strategies tips and techniques

Sanjiv Gossain

Cambridge, UK Cambridge University Press New York New York SIGS Books 1998

Localização: IME - Inst. Matemática e Estatística    (QA754.4 G677o )(Acessar)

9
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

TACAS 2000 (6th 2000 Berlin, Germany) Susanne Graf; Michael I Schwartzbach; ETAPS 2000 (2000 Berlin, Germany)

Berlin Springer New York c2000

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

10
Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and algorithms for the construction and analysis of systems 5th international conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

TACAS '99 (1999 Amsterdam, Netherlands) W. R Cleaveland 1961- (Walter Rance); European Conferences on Theory and Practice of Software (1999 Amsterdam, Netherlands)

Berlin Springer New York c1999

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (13)

Data de Publicação 

De até
Refinar
  1. Antes de1990  (2)
  2. 1990Até1994  (2)
  3. 1995Até1996  (4)
  4. 1997Até1999  (5)
  5. Após 1999  (2)
  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.