1
|
Material Type: Conference Paper
|
|
Sequence comparison some theory and some practice
Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1987 Saint-Pierre d'Oléron)
Proceedings Berlin : Springer, 1989
Berlin Springer 1989
Available at
IME - Inst. Matemática e Estatística
(S L471c v.377 ) and other locations(GetIt)
|
2
|
Material Type: Conference Paper
|
|
Recognizable sets with multiplicities in the tropical semiring
Imre Simon 1943-2009 International Symposium on Mathematical Foundations of Computer Science - MFCS (13. 1988 Carlsbad, Czechoslovakia)
Proceedings Berlin : Springer, 1988
Berlin Springer 1988
Available at
IME - Inst. Matemática e Estatística
(PROD-781435 ) and other locations(GetIt)
|
3
|
Material Type: Conference Paper
|
|
Properties of factorization forests
Imre Simon 1943-2009 Spring School on Theoretical Computer Science - LITP (1988 Ramatuelle, France)
Proceedings Berlin : Springer, 1989
Berlin Springer 1989
Available at
IME - Inst. Matemática e Estatística
(S L471c v.386 ) and other locations(GetIt)
|
4
|
Material Type: Conference Paper
|
|
Control of parallelism in the Manchester dataflow machine
Carlos Antônio Ruggiero John Sargeant; Functional Programming Languages and Computer Architecture (3. 1987 Portland)
Lecture Notes in Computer Science Berlin v. 274, p. 1-15, 1987
Berlin Springer 1987
Available at
IFSC - Inst. Física de São Carlos
(PROD003665 ) and other locations(GetIt)
|
5
|
Material Type: Conference Paper
|
|
An expert system for software specification
Tereza Gonçalves Kirner Nicolau Reinhard; Annual Computer Science Conference (17. 1989 Louisville)
Abstracts Louisville : ACM, 1989
Louisville ACM 1989
Check holdings(GetIt)
|
6
|
Material Type: Article
|
|
Complexity of selection in x+y
M Cosnard J Duprat; A G Ferreira
Amsterdam v.67, n.1 , p.115-20, set. 1989 Theoretical Computer Science
Amsterdam 1989
Check holdings(GetIt)
|
7
|
Material Type: Article
|
|
On finite semigroups of matrices
Arnaldo Mandel Imre Simon 1943-2009
Theoretical Computer Science Amsterdam v. 5, n. 2, p. 101-111, 1977
Amsterdam 1977
Available at
IME - Inst. Matemática e Estatística
(PROD-2968234 )(GetIt)
|
8
|
Material Type: Article
|
|
There are infinitely many complete prefix codes of constant length l(l≥3)
Angelo Barone Netto
Theoretical Computer Science Amsterdam v. 11, n. 3, p. 337-339, 1980
Amsterdam 1980
Available at
IME - Inst. Matemática e Estatística
(PROD-3072770 )(GetIt)
|
9
|
Material Type: Article
|
|
Complexity of selection in x+y
M Cosnard J Duprat; A G Ferreira
Amsterdam v.67, n.1 , p.115-20, set. 1989 Theoretical Computer Science
Amsterdam 1989
Check holdings(GetIt)
|
10
|
Material Type: Conference Paper
|
|
Npn and lateral pnp transistor model parameters correlation for linear process
Jean Albert Bodinaud Francisco Javier Ramírez Fernandez 1944-; International Conference on Control Systems and Computer Science (7. 1987 Bucharest)
Preprints Bucharest : Polytechnic Institute, 1987
Bucharest Polytechnic Institute 1987
Check holdings(GetIt)
|