Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Checking computations in polylogarithmic timeBabai, László ; Fortnow, Lance ; Levin, Leonid A. ; Szegedy, MarioProceedings of the twenty-third annual ACM symposium on Theory of Computing, 1991, p.21-32 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
In situ real‐time ellipsometry for film thickness measurement and controlHenck, Steven A.Journal of Vacuum Science & Technology A: Vacuum, Surfaces, and Films, 1992, Vol.10 (4), p.934-938 [Periódico revisado por pares]Melville, NY: American Institute of PhysicsTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
Surface orientation and time to contact from image divergence and deformationCipolla, Roberto ; Blake, AndrewComputer Vision — ECCV'92, 1992, p.187-202 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Time-dependent simulation modelling of reactive sputteringKUSANO, E ; GOULART, D. MThin solid films, 1990, Vol.193-194 (1-2), p.84-91 [Periódico revisado por pares]Lausanne: Elsevier ScienceTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
A new polynomial-time algorithm for linear programmingKarmarkar, N.Annual ACM Symposium on Theory of Computing: Proceedings of the sixteenth annual ACM symposium on Theory of computing, 1984, p.302-311 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Les fossés néogènes de la Chaîne ibérique : Leur évolution dans le tempsMOISSENET, EBulletin de la Société géologique de France, 1989, Vol.5 (5), p.919-926 [Periódico revisado por pares]Paris: Société géologique de FranceTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Relation temps-sédimentation dans le Néogène méditerranéen françaisCLAUZON, G ; AGUILAR, J.-P ; MICHAUX, JBulletin de la Société géologique de France, 1989, Vol.5 (2), p.361-372 [Periódico revisado por pares]Paris: Société géologique de FranceTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Real-time spectroscopic ellipsometry study of the electrochemical deposition of polypyrrole thin filmsKIM, Y.-T ; ALLARA, D. L ; COLLINS, R. W ; VEDAM, KThin solid films, 1990, Vol.193-194 (1-2), p.350-360 [Periódico revisado por pares]Lausanne: Elsevier ScienceTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Functional specification of time sensitive communicating systemsBroy, ManfredStepwise Refinement of Distributed Systems Models, Formalisms, Correctness, 1990, p.153-179 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Deciding branching time logicEmerson, E. Allen ; Sistla, A. PrasadAnnual ACM Symposium on Theory of Computing: Proceedings of the sixteenth annual ACM symposium on Theory of computing, 1984, p.14-24 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |