Search Results - New Formalism

Suggested Topics within your search.
Refine Results
  1. 21
    Formal modelling in electronic commerce

    Formal modelling in electronic commerce by Kimbrough, Steven O.

    Published 2004
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 22
    Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977

    Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977

    Published 1986
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 23
    Grammar and L forms an introduction

    Grammar and L forms an introduction by Wood, Derick l940-

    Published 1980
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 24
    Linking the formal and informal economy concepts and policies

    Linking the formal and informal economy concepts and policies

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 25
    Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

    Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

    Published 1990
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 26
    Simple program schemes and formal languages

    Simple program schemes and formal languages by Engelfriet, Joost

    Published 1974
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 27
    Gardens for the new country place contemporary country gardens and inspiring landscape elements

    Gardens for the new country place contemporary country gardens and inspiring landscape elements by Bennett, Paul

    Published 2003
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 28
    Automata theory with modern applications

    Automata theory with modern applications by Anderson, James 1937- James Andrew

    Published 2006
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 29
    Formal structure in Islamic architecture of Iran and Turkestan

    Formal structure in Islamic architecture of Iran and Turkestan by Herdeg, Klaus

    Published 1991
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 30
    Formal methods fact file VDM and Z

    Formal methods fact file VDM and Z by Harry, Andrew

    Published 1996
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 31
    The language of machines an introduction to computability and formal languages

    The language of machines an introduction to computability and formal languages by Floyd, Robert W.

    Published 1994
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  12. 32
    Grammars for programming languages

    Grammars for programming languages by Cleaveland, J. Craig

    Published 1977
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 33
    Introduction to automata theory, languages, and computation

    Introduction to automata theory, languages, and computation by Hopcroft, John E. 1939-

    Published 2007
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 34
    Larch languages and tools for formal specification

    Larch languages and tools for formal specification by Guttag, John

    Published 1993
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 35
    Photography is magic

    Photography is magic by Cotton, Charlotte

    Published 2015
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  16. 36
    Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000

    Grammatical inference algorithms and applications proceedings of the ...held September 11 - 13, 2000

    Published 2000
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 37
    Petri nets for systems engineering a guide to modeling, verification, and applications

    Petri nets for systems engineering a guide to modeling, verification, and applications by Girault, Claude, Valk, Rudiger

    Published 2003
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  18. 38
    The way of z practical programming with formal methods

    The way of z practical programming with formal methods by Jacky, Jonathan

    Published 1997
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 39
    Verification of reactive systems formal methods and algorithms

    Verification of reactive systems formal methods and algorithms by Schneider, Klaus 1967-

    Published 2004
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 40
    Pattern design an introduction to the study of formal ornament

    Pattern design an introduction to the study of formal ornament by Christie, Archibald H

    Published 1969
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: