skip to main content
Idioma:
Mostrar Somente
Refinado por: idioma: Japonês remover 1977Até1992 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Nonclausal deduction in first-order temporal logic
Nonclausal deduction in first-order temporal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Nonclausal deduction in first-order temporal logic

ABADI, M ; MANNA, Z

Journal of the ACM, 1990-04, Vol.37 (2), p.279-317 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
2
Evaluation of competing software reliability predictions
Evaluation of competing software reliability predictions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Evaluation of competing software reliability predictions

Abdel-Ghaly, A. A. ; Chan, P. Y. ; Littlewood, B.

IEEE transactions on software engineering, 1986-09, Vol.SE-12 (9), p.950-967 [Periódico revisado por pares]

Legacy CDMS: IEEE

Texto completo disponível

Citações Citado por
3
The dynamics of software project staffing: a system dynamics based simulation approach
The dynamics of software project staffing: a system dynamics based simulation approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

The dynamics of software project staffing: a system dynamics based simulation approach

Abdel-Hamid, T.K.

IEEE transactions on software engineering, 1989-02, Vol.15 (2), p.109-119 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
4
On the choice of the Pivot columns of the simplex-method: gradient criteria
On the choice of the Pivot columns of the simplex-method: gradient criteria
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the choice of the Pivot columns of the simplex-method: gradient criteria

ABEL, P

Computing, 1987-03, Vol.38 (1), p.13-21 [Periódico revisado por pares]

Wien: Springer

Texto completo disponível

Citações Citado por
5
Analytical solution for an open-loop Stackelberg game
Analytical solution for an open-loop Stackelberg game
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analytical solution for an open-loop Stackelberg game

Abou-Kandil, H. ; Bertrand, P.

IEEE transactions on automatic control, 1985-12, Vol.30 (12), p.1222-1224 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
6
A fast algorithm for the weighted least absolute value state estimation (for power systems)
A fast algorithm for the weighted least absolute value state estimation (for power systems)
Material Type:
Artigo 		Adicionar ao Meu Espaço

A fast algorithm for the weighted least absolute value state estimation (for power systems)

Abur, A. ; Celik, M.K.

IEEE transactions on power systems, 1991-02, Vol.6 (1), p.1-8 [Periódico revisado por pares]

United States: IEEE

Texto completo disponível

Citações Citado por
7
A Strongly Polynomial Algorithm for a Special Class of Linear Programs
A Strongly Polynomial Algorithm for a Special Class of Linear Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Strongly Polynomial Algorithm for a Special Class of Linear Programs

Adler, I ; Cosares, S

Operations research, 1991-11, Vol.39 (6), p.955-960 [Periódico revisado por pares]

Linthicum, MD: INFORMS

Texto completo disponível

Citações Citado por
8
Vectorized mixed radix discrete Fourier transform algorithms
Vectorized mixed radix discrete Fourier transform algorithms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Vectorized mixed radix discrete Fourier transform algorithms

Agarwal, R.C. ; Cooley, J.W.

Proceedings of the IEEE, 1987, Vol.75 (9), p.1283-1292 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
9
Code generation using tree matching and dynamic programming
Code generation using tree matching and dynamic programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Code generation using tree matching and dynamic programming

AHO, A. V ; MAHADEVAN GANAPATHI ; TJIANG, S. W. K

ACM transactions on programming languages and systems, 1989-10, Vol.11 (4), p.491-516 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
10
A Layout Design System based on Constraint-directed Reasoning : 2nd Report:Building the System with Object-oriented Programming
A Layout Design System based on Constraint-directed Reasoning : 2nd Report:Building the System with Object-oriented Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Layout Design System based on Constraint-directed Reasoning : 2nd Report:Building the System with Object-oriented Programming

AKAGI, Shinsuke ; FUJITA, Kikuo ; NAKATOGAWA, Tetsundo ; INOUE, Motohiro

Transactions of the Japan Society of Mechanical Engineers Series C, 1990/08/25, Vol.56(528), pp.2294-2301

The Japan Society of Mechanical Engineers

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (637)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (716)
  2. magazinearticle  (31)
  3. Anais de Congresso  (18)
  4. Livros  (14)
  5. Resenhas  (1)
  6. Book Chapters  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1979  (41)
  2. 1979Até1981  (68)
  3. 1982Até1984  (101)
  4. 1985Até1988  (219)
  5. Após 1988  (353)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (744)
  2. Alemão  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.