Suchergebnisse - Furtado, Antonio L.

Treffer filtern
  1. 1
    Buchumschlag

    Iteration for applicative languages: a proposal
    von Furtado, Antonio L., Veloso, Paulo A.

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A temporal framework for database specifications
    von Castilho, José M., Casanova, Marco Antonio 1951-, Furtado, Antonio L.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Verification and testing of simple entity-relationship representations
    von Furtado, Antonio L., Veloso, Paulo A., Castilho, José M. de

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Properties of conceptual and external database schemas
    von Casanova, Marco Antonio 1951-, Castilho, José M., Furtado, Antonio L.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A view construct for the specification of external schemas
    von Furtado, Antonio L.

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A linear time sort algorithm applicable to data base management
    von Magalhães, G. C., Furtado, Antonio L.

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A canonical form for minimum state finite state automata
    von Furtado, Antonio L.

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Algebraic concepts in data structures
    von Furtado, Antonio L.

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    G PL I-extending PL I for graph processing
    von Santos, C. S., Furtado, Antonio L.

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Formal techniques for data base design
    von Furtado, Antonio L., Neuhold, Erich J. 1940-

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Formal data base specification: an eclectic perspective
    von Veloso, Paulo A., Casanova, Marco Antonio 1951-, Furtado, Antonio L.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Expert helpers to data-based information systems
    von Furtado, Antonio L., Moura, Claudio M. O.

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    On some view constructs for the specification and design of external schemas
    von Veloso, Paulo A., Furtado, Antonio L.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Instructional graphics packages to be used with a line printer
    von Furtado, Antonio L., Furtado, A. A. B., Messeder, F. A.

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    An informal approach to formal specifications
    von Furtado, Antonio L., Maibaum, Thomas S.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Conceptual modelling of data base operations
    von Santos, C. S., Maibaum, Thomas S., Furtado, Antonio L.

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Permitting updates through views of data bases
    von Furtado, Antonio L., Sevcik, Kenneth C.

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Complete and compatible sets of update operations
    von Sevcik, Kenneth C., Furtado, Antonio L.

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    On multi-step methods for stepwise construction of algebraic specifications for data base applications
    von Veloso, Paulo A., Furtado, Antonio L.

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    A W-grammar approach to data bases
    von Furtado, Antonio L.

    Veröffentlicht 1982
    Buch


    Gespeichert in:

Suchwerkzeuge: