Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Theory of Program Structures: Schemes, Semantics, VerificationGreibach, Sheila A Greibach, Sheila A.Berlin, Heidelberg: Springer Berlin Heidelberg 1975Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
High-Level Language Computer ArchitectureChu, YaohanSan Diego: Elsevier Science & Technology 1975Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Strategies For Natural Language ProcessingLehnert, W. G ; Ringle, M. H Lehnert, Wendy G. ; Ringle, Martin H.Oxford: Psychology Press 1982Sem texto completo |
4 |
Material Type: Livro
|
![]() |
The IOTA Programming System: A Modular Programming EnvironmentNakajima, Reiji ; Yuasa, Taiichi Yuasa, Taiichi ; Nakajima, ReijiBerlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Probabilistic Analysis of Algorithms: On Computing Methodologies for Computer Algorithms Performance EvaluationHofri, MichaNew York, NY: Springer 1987Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Fundamentals of the Average Case Analysis of Particular AlgorithmsKemp, RainerWiesbaden: Vieweg+Teubner Verlag 1984Sem texto completo |
7 |
Material Type: Livro
|
![]() |
Temporal Logic of ProgramsBrauer, Wilfried ; Rozenberg, Grzegorz ; Salomaa, ArtoBerlin, Heidelberg: Springer Berlin / Heidelberg 1987Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
|
9 |
Material Type: Livro
|
![]() |
Practical strategies for developing large software systemsHorowitz, EllisReading, Mass: Addison-Wesley Pub. Co 1975Sem texto completo |
10 |
Material Type: Livro
|
![]() |
discipline of programmingDijkstra, Edsger WybeEnglewood Cliffs, N.J: Prentice-Hall 1976Sem texto completo |