Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Future instrumentation: its effect on production and researchShaw, RJournal of physics. E, Scientific instruments, 1982-05, Vol.15 (5), p.492-498London: IOP PublishingTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Methodical specification of abstract data types via rewriting systemsVeloso, P. A. S.International Journal of Computer & Information Sciences, 1982-10, Vol.11 (5), p.295-323 [Periódico revisado por pares]New York: Springer Nature B.VTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Representation of temporal informationOrlowska, EwaInternational Journal of Computer & Information Sciences, 1982-12, Vol.11 (6), p.397-408 [Periódico revisado por pares]New York: Springer Nature B.VTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Conversion and parsing of tree transducers for syntactic pattern analysisLin, Wei-Chung ; Fu, King-SunInternational Journal of Computer & Information Sciences, 1982-12, Vol.11 (6), p.417-458 [Periódico revisado por pares]New York: Springer Nature B.VTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
On infinite computations in denotational semanticsDE BAKKER, J. W ; MEYER, J.-J. C ; ZUCKER, J. ITheoretical computer science, 1983, Vol.26 (1-2), p.53-82 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Calculi for synchrony and asynchronyMilner, RobinTheoretical computer science, 1983, Vol.25 (3), p.267-310 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The contraction of control implementationsCoon, Lawrence A. ; Kearns, John P. ; Soffa, Mary LouComputer languages, 1983, Vol.8 (1), p.15-25Oxford: Elsevier LtdTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Tentative steps towards a development method for interfering programsJONES, C. BACM transactions on programming languages and systems, 1983, Vol.5 (4), p.596-619 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Algebraic domain equationsEhrich, Hans-Dieter ; Lipeck, UdoTheoretical computer science, 1983, Vol.27 (1), p.167-196 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Comparison of database interfaces for application programmingLacroix, M ; Pirotte, AInformation systems (Oxford), 1983, Vol.8 (3), p.217-229 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |