Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Refinement of concurrent systems based on local state transformationsPomello, LuciaLecture notes in computer science, 1990, Vol.430, p.641-668 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Composing specificationsAbadi, Martín ; Lamport, LeslieLecture notes in computer science, 1990, Vol.430, p.1-41 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Calorimetric studies on the state of water in aerosol OT reversed micellesGOTO, A ; YOSHIOKA, H ; KISHIMOTO, H ; FUJITA, TThermochimica acta, 1990, Vol.163, p.139-146 [Periódico revisado por pares]Amsterdam: Elsevier ScienceTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
The State: Organized Progress or Decay Product?Hord, John KNorth Central Sociological Association, 1985Sem texto completo |
|
5 |
Material Type: Ata de Congresso
|
Alcohol and the State -- Notes on SymbiosisKarr, Jon TSouthern Sociological Society, 1979Sem texto completo |
|
6 |
Material Type: Ata de Congresso
|
CATCH-compiler-assisted techniques for checkpointingLi, C.-C.J. ; Fuchs, W.K.[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium, 1990, p.74-81IEEE Comput. Soc. PressTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Object oriented design of CAST SystemsMittelmann, R.Computer Aided Systems Theory — EUROCAST '89, 1990, Vol.410, p.69-75 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Thermomechanical behaviour of shape memory alloysPATOOR, E ; EBERHARDT, A ; BERVEILLER, MArchives of Mechanics, 1988, Vol.40 (5-6), p.775-794 [Periódico revisado por pares]Warszawa: Institute of Fundamental Technological ResearchSem texto completo |
|
9 |
Material Type: Ata de Congresso
|
Multiple Drug Therapy to Prevent ThrombosisO’Brien, J. R.Thrombosis and Haemostasis, 1979, Vol.42 (1) [Periódico revisado por pares]Schattauer GmbHTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
A flaw in the reduced-order behavior of a direct adaptive pole placerJohnson, C. Richard ; Lawrence, D. A. ; Lyons, J. P.1982 21st IEEE Conference on Decision and Control, 1982, p.271-272IEEESem texto completo |