71 results for Formal+proceedings

71 results for Formal+proceedings

Export record to excel

File type to download

Beta version
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Journals

    Author / Creator:Pacific Science Congress.
    Publisher:Dunedin, N.Z. : Royal Society of New Zealand, -1984.
    Date:-1984.
    Call Numbers:506/P
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Disorder outside formal proceedings: Third report of 20...
    ebooks

    Author / Creator:Procedure Committee, author.
    Publisher:Canberra, ACT : Department of the Senate, 2018.
    View online
    Freely accesible: National edeposit.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Formal methods in software engineering and defence syst...
    Books

    Author / Creator:International Conference on Application and Theory of Petri Nets (23rd : 2002 : Adelaide, S.A.)
    Publisher:Sydney : Australian Computer Society, c2002.
    Call Numbers:TQ039313
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ebooks

    Publisher:London : Printed for Y.H., [1680]
    Date:[1680]
    View online as a Library member
    Access Early English Books Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Books

    Author / Creator:IFIP Working Conference on Formal Language Description Languages (1964 : Vienna, Austria)
    Publisher:Amsterdam : North-Holland Pub. Co., 1966.
    Date:1966.
    Call Numbers:T0310529
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Books

    Author / Creator:International Conference on Customs and Other Similar Formalities (1923 : Geneva, Switzerland)
    Publisher:Geneva : League of Nations, Economic Section, 1923.
    Date:1923.
    Call Numbers:TQ046421
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Formal methods in the methodology of empirical sciences...
    Books

    Author / Creator:Conference for Formal Methods in the Methodology of Empirical Sciences (1974 : Warsaw, Poland)
    Publisher:Dordrecht ; Boston : D. Reidel Pub. Co., c1976.
    Call Numbers:T0255360
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Books

    Author / Creator:Conference on the Formal Analysis of Natural Languages (1st : 1970 : Rocquencourt, Yvelines, France)
    Publisher:The Hague : Mouton, 1973.
    Date:1973.
    Call Numbers:TQ018675
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Formal models and practical tools for information syste...
    Books

    Author / Creator:IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, (1979 : Oxford, England)
    Publisher:Amsterdam ; New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
    Date:1979.
    Call Numbers:T0157251
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Formal description techniques, IV : proceedings of the ...
    Books

    Author / Creator:IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th : 1991 : Sydney, N.S.W.)
    Publisher:Amsterdam ; New York : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub., 1992.
    Date:1992.
    Call Numbers:T0371978
    For use in the Library
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ebooks

    Author / Creator:Great Britain. Parliament. House of Commons.
    Publisher:[London] : House of Commons, 1919.
    Date:1919.
    View online as a Library member
    Access Parliamentary Papers Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ebooks

    Author / Creator:Day, John, 1574-1640?
    Publisher:London : Printed for Giles Calvert ..., 1653.
    Date:1653.
    View online as a Library member
    Access Early English Books Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Books

    Author / Creator:Boote, Richard, -1782.
    Publisher:London : printed by his Majesty's law-printers; for W. Owen, between the Temple-Gates, Fleet-Street, MDCCLXXXI. [1781]
    Edition:The second edition, with additions.
    Date:MDCCLXXXI. [1781]
    View online as a Library member
    Access Eighteenth Century Collections Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Books

    Author / Creator:Boote, Richard, -1782.
    Publisher:London : printed by His Majesty's Law-Printers, for W. Johnston, and G. Kearsly, in Ludgate-Street; W. Owen, near Temple Bar, Fleet-Street; W. Griffin, in Catherine-Street; and W. Flexney, near Gray's Inn Gate, in Holborn, 1766.
    Date:1766.
    View online as a Library member
    Access Eighteenth Century Collections Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    Books

    Author / Creator:Boote, Richard, -1782.
    Publisher:London : printed by A. Strahan and W. Woodfall, Law-Printers to the King's Most Excellent Majesty; for W. Clarke and Son, Portugal Street, Lincoln's Inn, and J. Butterworth, Fleet Street, 1795.
    Edition:The third edition, corrected and enlarged.
    Date:1795.
    View online as a Library member
    Access Eighteenth Century Collections Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ebooks

    Author / Creator:Great Britain. Parliament. House of Commons.
    Publisher:[London] : House of Commons, 1995.
    Date:1995.
    View online as a Library member
    Access Parliamentary Papers Online if you are in the Library. Registered NSW residents may log in from home.
  • Export this record

    Export record to excel

    File type to download

    Beta version
    ebooks

    Author / Creator:Great Britain. Parliament. House of Commons.
    Publisher:[London] : House of Commons, 2003.
    Date:2003.
    View online as a Library member
    Access Parliamentary Papers Online if you are in the Library. Registered NSW residents may log in from home.
Showing 1 to 20 of 71 results