Treffer 1 – 20 von 23 für Suche 'Veloso, Paulo A.', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    A problem-theoretic analysis and (meta-)model of the software development process

    A problem-theoretic analysis and (meta-)model of the software development process von Veloso, Paulo A., Haeberer, Armando Martín 1947-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    On the concept of problem-solving method

    On the concept of problem-solving method von Veloso, Paulo A.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    What do you mean by "Here is a problem related to yours ... "

    What do you mean by "Here is a problem related to yours ... " von Veloso, Paulo A.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On the role of (data) abstraction in program development and problem solving

    On the role of (data) abstraction in program development and problem solving von Veloso, Paulo A.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On multi-step methods for stepwise construction of algebraic specifications for data base applications

    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 Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Specifying abstract data types via series of rewriting systems

    Specifying abstract data types via series of rewriting systems von Veloso, Paulo A., Maibaum, Thomas S.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On multi-level specifications based on traces

    On multi-level specifications based on traces von Furtado, Antonio L., Veloso, Paulo A.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Iteration for applicative languages a proposal

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Problem solving via divide-and-conquer and abstract data types

    Problem solving via divide-and-conquer and abstract data types von Veloso, Paulo A.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A methodology for the sound and complete specification of abstract data types

    A methodology for the sound and complete specification of abstract data types von Veloso, Paulo A.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A theory of abstract data types for program development bridging the gap?

    A theory of abstract data types for program development bridging the gap? von Veloso, Paulo A., Maibaum, Thomas S.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Outlines of a mathematical theory of problems

    Outlines of a mathematical theory of problems von Veloso, Paulo A. S.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Comparing abstract data type specifications via their normal forms

    Comparing abstract data type specifications via their normal forms von Remy, Jean L., Veloso, Paulo A.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Verification and testing of simple entity-relationship representations

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

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Don't write more axioms than you have to a methodology for the complete and correct specification of abstract data types; with examples

    Don't write more axioms than you have to a methodology for the complete and correct specification of abstract data types; with examples von Veloso, Paulo A., Pequeno, Tarcísio H.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Characterizations for the regular prefix codes and related families

    Characterizations for the regular prefix codes and related families von Veloso, Paulo A.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Formal data base specification an eclectic perspective

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

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    On some view constructs for the specification and design of external schemas

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    On the logic of namable models

    On the logic of namable models von Veloso, Paulo A.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    On the role of additivity and linearity in mathematical systems theory

    On the role of additivity and linearity in mathematical systems theory von Veloso, Paulo A.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: