My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page   1 2 Next  
Save Marked Record Save All Records Save Marked to My Lists
SUBJECTS (1-50 of 67)
Programming languages (Electronic computers) -- Semantics.
1
Book Cover
    PRINTED BOOKS 1985

Algebraic methods in semantics / edited by Maurice Nivat, John C. Reynolds.

   
Cambridge [Cambridgeshire] ; New York : Cambridge University Press,        xv, 634 p. : ill. ; 24 cm. 1985
2
Book Cover
    PRINTED BOOKS 1988

Algebraic theory of processes / Matthew Hennessy.

    Hennessy, Matthew.
Cambridge, Mass. : MIT Press,        vi, 272 pages : illustrations ; 24 cm. 1988
3
Book Cover
    PRINTED BOOKS 2002

Applied semantics : advanced lectures / Gilles Barthe ... [and others] (eds.)

   
New York : Springer,        vi, 536 pages ; 24 cm. 2002
4
Book Cover
    E-RESOURCE 2002

Applied semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / [electronic resource] : Gilles Barthe ... [et al.] (eds.).

    APPSEM 2000 (2000 : Caminha, Potrugal)
Berlin ; New York : Springer,        1 online resource (vi, 536 p.) 2002
5
Book Cover
    E-RESOURCE 2002

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures / Gilles Barthe [and others] (eds.).

    APPSEM 2000 (2000 : Caminha, Potrugal)
Berlin ; New York : Springer,        vi, 536 pages ; 24 cm. 2002
6
Book Cover
    E-RESOURCE 1982

An Attribute grammar for the semantic analysis of ADA / J. Uhl [and others].

   
Berlin ; New York : Springer-Verlag,        1 online resource (ix, 511 pages). 1982
7
Book Cover
    E-RESOURCE 1982

An Attribute grammar for the semantic analysis of ADA / J. Uhl [and others].

   
Berlin ; New York : Springer-Verlag,        ix, 511 pages ; 25 cm. 1982
8
 
    PRINTED BOOKS 1975

An axiomatic approach to the semantics of programming languages / Paul Andrew Pritchard.

    Pritchard, Paul, 1951-
[Parkville, Victoria] : University of Melbourne,        134 leaves, bound ; 30 cm 1975
9
Book Cover
    E-RESOURCE 1982

Axiomatising the logic of computer programming / [electronic resource] / Robert Goldblatt.

    Goldblatt, Robert.
Berlin ; New York : Springer-Verlag,        1 online resource (xi, 304 pages). 1982
10
Book Cover
    E-RESOURCE 1982

Axiomatising the logic of computer programming / Robert Goldblatt.

    Goldblatt, Robert.
Berlin ; New York : Springer-Verlag,        xi, 304 pages ; 24 cm. 1982
11
Book Cover
    PRINTED BOOKS 2015

Code, display, user : semiotic dialogues in interacive computer artworks / Travis Cox.

    Cox, Travis, author.
[Parkville, Victoria] : University of Melbourne,        x, 152 pages, bound : illustrations ; 30 cm + 1 CD-ROM (4 3/4 in.) 2015
12
 
    E-RESOURCE 2004

Cognitive modeling and verbal semantics a representational framework based on UML / [electronic resource] : by Andrea C. Schalley.

    Schalley, Andrea C., 1972-
Berlin : Mouton de Gruyter,        xvii, 446 p. : ill. 2004
13
Book Cover
    PRINTED BOOKS 1999

Compiling natural semantics / Mikael Pettersson.

    Pettersson, Mikael.
New York : Springer,        pages cm. 1999
14
Book Cover
    E-RESOURCE 1999

Compiling natural semantics / Mikael Pettersson.

    Pettersson, Mikael.
Berlin ; New York : Springer,        1 online resource (xvi, 240 pages). 1999
15
Book Cover
    E-RESOURCE 1999

Compiling natural semantics / Mikael Pettersson.

    Pettersson, Mikael.
Berlin ; New York : Springer,        xvi, 240 pages ; 23 cm. 1999
16
 
    PRINTED BOOKS 1972

Computer semantics : studies of algorithms, processors, and languages / John A. N. Lee.

    Lee, John A. N.
New York : Van Nostrand Reinhold,        xvi, 397 pages : illustrations ; 24 cm. 1972
17
Book Cover
    PRINTED BOOKS 1996

Control flow semantics / Jaco de Bakker and Erik de Vink.

    Bakker, J. W. de (Jacobus Willem), 1939-
Cambridge, Mass. : MIT Press,        xvii, 564 pages : illustrations ; 24 cm. 1996
18
 
    PRINTED BOOKS 1993

Definiteness analysis for CLP(R) / Naomi Joy Baker.

    Baker, Naomi Joy.
[Parkville, Victoria] : University of Melbourne,        iv, 111 leaves, bound : illustrations ; 31 cm 1993
19
Book Cover
    PRINTED BOOKS 1977

Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy.

    Stoy, Joseph E.
Cambridge, Mass. : MIT Press,        xxx, 414 pages : illustrations ; 24 cm. 1977
20
 
    PRINTED BOOKS 1991

Detection and elimination of redundant derivations in logic programming systems / Andrew Richard Helm.

    Helm, Andrew Richard.
Parkville, Vic. : Dept. of Computer Science, University of Melbourne,        145 pages : illustrations ; 30 cm. 1991
21
Book Cover
    PRINTED BOOKS 1998

Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien.

    Amadio, Roberto M.
Cambridge, U.K. ; New York : Cambridge University Press,        xvi, 484 pages ; 24 cm. 1998
22
Book Cover
    PRINTED BOOKS 1986

Fairness / Nissim Francez.

    Francez, Nissim.
New York : Springer-Verlag,        xiii, 295 pages : illustrations ; 25 cm. 1986
23
Book Cover
    PRINTED BOOKS 1995

Formal semantics for VHDL / edited by Carlos Delgado Kloos and Peter T. Breuer.

   
Boston : Kluwer Academic Publishers,        xiv, 249 pages : illustrations ; 25 cm. 1995
24
Book Cover
    PRINTED BOOKS 1999

Formal syntax and semantics of Java / Jim Alves-Foss (ed.)

   
Berlin ; New York : Springer,        pages cm. 1999
25
Book Cover
    E-RESOURCE 1999

Formal syntax and semantics of Java / Jim Alves-Foss (ed.).

   
Berlin ; New York : Springer,        1 online resource (viii, 404 pages) : illustrations. 1999
26
Book Cover
    E-RESOURCE 1999

Formal syntax and semantics of Java / Jim Alves-Foss (ed.).

   
Berlin ; New York : Springer,        viii, 404 pages : illustrations ; 24 cm. 1999
27
Book Cover
    PRINTED BOOKS 1984

Foundations of logic programming / J.W. Lloyd.

    Lloyd, J. W. (John Wylie), 1947-
Berlin ; New York : Springer-Verlag,        x, 124 pages ; 25 cm. 1984
28
Book Cover
    PRINTED BOOKS 1987

Foundations of logic programming / J.W. Lloyd.

    Lloyd, J. W. (John Wylie), 1947-
Berlin ; New York : Springer-Verlag,    2nd, extended ed.    xii, 212 pages : illustrations ; 25 cm. 1987
29
Book Cover
    PRINTED BOOKS 1984

Generating language-based environments / Thomas W. Reps.

    Reps, Thomas W. (Thomas William)
Cambridge, Mass. : MIT Press,        138 pages : illustrations ; 24 cm. 1984
30
Book Cover
    PRINTED BOOKS 1985

Introduction to natural language processing / Mary Dee Harris.

    Harris, Mary Dee.
Reston, Va. : Reston Pub. Co.,        xv, 368 pages : illustrations ; 24 cm 1985
31
Book Cover
    PRINTED BOOKS 2011

Introduction to the theory of programming languages / Gilles Dowek, Jean-Jacques Lévy.

    Dowek, Gilles.
London ; New York : Springer,        xi, 96 pages ; 24 cm. 2011
32
Book Cover
    E-RESOURCE c2011

Introduction to the theory of programming languages / [electronic resource] / Gilles Dowek, Jean-Jacques Lévy.

    Dowek, Gilles.
London ; New York : Springer,        1 online resource (xi, 96 p.) c2011
33
Book Cover
    E-RESOURCE 2003

Journal on Data Semantics I / [electronic resource] / edited by Stefano Spaccapietra, Sal March, Karl Aberer.

   
Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg,        1 online resource. 2003
34
Book Cover
    E-RESOURCE c2005

Journal on data semantics II / [electronic resource] / Stefano Spaccapietra ... [et al.], (eds.).

   
Berlin : Springer,        1 online resource (x, 221 p.) c2005
35
Book Cover
    E-RESOURCE 2005

Journal on data semantics IV / Stefano Spaccapietra (ed.).

   
Berlin ; New York : Springer,        1 online resource (x, 340 pages) : illustrations. 2005
36
Book Cover
    E-RESOURCE 2007

Journal on data semantics IX / Stefano Spaccapietra [and others] (eds.).

   
Berlin : Springer-Verlag,        1 online resource (xiii, 217 pages). 2007
37
Book Cover
    E-RESOURCE c2006

Journal on data semantics V / [electronic resource] / Stefano Spaccapietra ... [et al.] (eds.).

   
Berlin : Springer,        1 online resource (x, 236 p.) c2006
38
Book Cover
    E-RESOURCE 2006

Journal on data semantics VI Special issue on emergent semantics / [electronic resource] : Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.).

   
Berlin ; New York [N.Y.] : Springer,        1 online resource (viii, 209 pages) : illustrations. 2006
39
Book Cover
    E-RESOURCE 2006

Journal on data semantics VII / Stefano Spaccapietra (Ed.).

   
Berlin ; New York [N.Y.] : Springer,        1 online resource (vi, 266 pages) : illustrations. 2006
40
Book Cover
    E-RESOURCE 2007

Journal on data semantics. VIII / [electronic resource] / Stefano Spaccapietra [and others] (eds.).

   
Berlin : Springer,        1 online resource (xiii, 217 pages) : illustrations. 2007
41
Book Cover
    E-RESOURCE 2008

Journal on data semantics X / [electronic resource] / Stefano Spaccapietra (ed.).

   
Berlin : Springer,        1 online resource (xii, 263 pages) : illustrations. 2008
42
Book Cover
    E-RESOURCE 2008

Journal on data semantics XI / [electronic resource] / Stefano Spaccapietra [and others], eds.

   
Berlin ; New York : Springer,        1 online resource (xiv, 234 pages) : illustrations. 2008
43
Book Cover
    E-RESOURCE 2009

Journal on data semantics XII / Stefano Spaccapietra (Ed.).

   
Berlin ; New York : Springer,        1 online resource. 2009
44
Book Cover
    E-RESOURCE 2009

Journal on data semantics XIII / [electronic resource] / Stefano Spaccapietra, Esteban Zimányi, Song, Il-Yeol (eds.).

   
Berlin : Springer-Verlag,        1 online resource (x, 177 pages) : illustrations. 2009
45
Book Cover
    E-RESOURCE 1991

Logic of domains / [electronic resource] / Guo-Qiang Zhang.

    Zhang, Guo-Qiang, 1960-
Boston : Birkhauser,        1 online resource (259 p.) : ill. 1991
46
Book Cover
    E-RESOURCE c2008

Logics of specification languages / [electronic resource] / Dines Bjørner, Martin C. Henson, editors.

   
Berlin : Springer,        1 online resource (XXI, 623 p.) : ill. c2008
47
 
    PRINTED BOOKS 1987

Muir : a tool for language design / Terry Winograd.

    Winograd, Terry.
Stanford, Calif. : Center for the Study of Language and Information,        30 pages : illustrations ; 28 cm. 1987
48
Book Cover
    PRINTED BOOKS 1988

Natural language understanding / James Allen.

    Allen, James, 1950-
Menlo Park, Calif. : Benjamin/Cummings Pub. Co.,        xv, 574 pages : illustrations ; 25 cm + instructors' manual. 1988
49
Book Cover
    PRINTED BOOKS 1995

Natural language understanding / James Allen.

    Allen, James, 1950-
Redwood City, Calif. : Benjamin/Cummings Pub. Co.,    2nd ed.    xv, 654 pages : illustrations ; 24 cm 1995
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove

Result Page   1 2 Next