Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 66 | << page >> |
Sort by
|
Book
ISBN: 0813566789 Year: 1984 Publisher: Rutgers University Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 041352910X 9780413529107 Year: 1984 Publisher: London: Methuen,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Acting --- Fo, Dario --- Theater --- Political aspects --- Influence --- Stage history --- Political and social views --- Theater - Political aspects --- Fo, Dario - Influence --- Fo, Dario - Stage history --- Fo, Dario - Political and social views --- Political aspects. --- Influence. --- Stage history. --- Political and social views.
Book
ISBN: 0444003223 9780444003225 Year: 1984 Publisher: New York: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*F31 --- 681.3*F33 --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Studies of program constructs: control primitives; functional constructs; program and recursion schemes; type structure (Logics and meanings of programs)-- See also {681.3*D32}; {681.3*D33} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F33 Studies of program constructs: control primitives; functional constructs; program and recursion schemes; type structure (Logics and meanings of programs)-- See also {681.3*D32}; {681.3*D33} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Computer programming --- Induction (Mathematics) --- Recursion theory --- 681.3*I1 --- 681.3*I23 --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- Algebraic manipulation (Computing methodologies) --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Logic, Symbolic and mathematical --- Mathematical induction --- Induction (Logic) --- Mathematics --- Programming --- Computer programming. --- Induction (Mathematics). --- Recursion theory. --- Informatique --- Computer science --- Recursivity --- proof --- Induction
Book
ISBN: 0835956148 083595627X Year: 1984 Publisher: Reston, Va
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer algorithms --- Computer programming --- Problem solving --- algoritmen --- programmeren --- 681.3*A1 --- 681.3*D1 --- 681.3*D2 --- 681.3*A1 Introductory and survey --- Introductory and survey --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algorithms --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*D1 Programming techniques--See also {681.3*E} --- Programming techniques--See also {681.3*E} --- Programming --- Computer science
Book
ISBN: 0860683990 Year: 1984 Publisher: London Virago Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Developmental psychology --- Depth psychology --- Sociology of the family. Sociology of sexuality --- Sociology of literature --- Feminism --- Psychoanalysis --- Literary criticism --- Féminité --- Book --- Edited volume
Book
Year: 1984 Publisher: Kansas City
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1984 Publisher: Amsterdam De Driehoek
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1984 Publisher: Londen John Mitchell & Son
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Art --- painting [image-making] --- watercolors [paintings] --- flower pieces --- Duitse school --- Franse school --- Hollandse school --- anno 1600-1699 --- anno 1700-1799 --- anno 1800-1899
ISBN: 0865316910 9780865316911 Year: 1984 Publisher: Boulder: Westview press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 66 | << page >> |
Sort by
|