Nominal Sets

Nominal Sets

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Andrew M. Pitts
Formáid:	Leictreonach Ríomhleabhar
Teanga:	English
Foilsithe / Cruthaithe:	Cambridge University Press, 07/05/2013
Eagrán:	1
Sraith:	Cambridge Tracts in Theoretical Computer Science
Ábhair:	Programming Languages and Applied Logic Electronic books
Rochtain ar líne:	Full text available on Cambridge University Press Off-campus access

Míreanna comhchosúla

Practical Foundations for Programming Languages
de réir: Robert Harper
Foilsithe / Cruthaithe: (2013)

Pearls of Functional Algorithm Design
de réir: Richard Bird
Foilsithe / Cruthaithe: (2013)

Transitions and Trees
de réir: Hans Hüttel
Foilsithe / Cruthaithe: (2012)

Programming with Higher-Order Logic
de réir: Dale Miller, Gopalan Nadathur
Foilsithe / Cruthaithe: (2012)

An Introduction to Category Theory
de réir: Harold Simmons
Foilsithe / Cruthaithe: (2012)

Modeling in Event-B
de réir: Jean-Raymond Abrial
Foilsithe / Cruthaithe: (2013)

Systematic Program Design
de réir: Yanhong Annie Liu
Foilsithe / Cruthaithe: (2013)

Programming in Visual Basic 2010
de réir: Jim McKeown
Foilsithe / Cruthaithe: (2012)

Steps in Scala
de réir: Christos K. K. Loverdos, Apostolos Syropoulos
Foilsithe / Cruthaithe: (2012)

Introduction to Bisimulation and Coinduction
de réir: Davide Sangiorgi
Foilsithe / Cruthaithe: (2012)

Web Data Management
de réir: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Foilsithe / Cruthaithe: (2012)

Programming logic and design : comprehensive /
de réir: Farrell, Joyce
Foilsithe / Cruthaithe: (2011)

Behavior modification in applied settings /
de réir: Kazdin, Alan E.
Foilsithe / Cruthaithe: (1975)

Fuzzy sets and fuzzy logic : theory and applications /
de réir: Klir, George J., 1932-
Foilsithe / Cruthaithe: (2015)

Natural language understanding /
de réir: Allen, James, 1950-
Foilsithe / Cruthaithe: (1995)

Natural language understanding /
de réir: Allen, James, 1950-
Foilsithe / Cruthaithe: (1995)

The logic of language
de réir: Seuren, Pieter A. M.

An Introduction to Gödel's Theorems
de réir: Peter Smith
Foilsithe / Cruthaithe: (2013)

Basics of logic /
de réir: Barker, Stephen Francis
Foilsithe / Cruthaithe: (1986)

Our logic for discussion and persuasion /
de réir: Ha, Byunghak
Foilsithe / Cruthaithe: (2000)

Logic Journal of the IGPL

Introduction to logic /
de réir: Copi, Irving M.
Foilsithe / Cruthaithe: (1986)

Logic, language, and meaning /
de réir: Gamut, L. T. F.
Foilsithe / Cruthaithe: (1991)

Digital designing with programmable logic devices /
de réir: Carter, John W., 1951-
Foilsithe / Cruthaithe: (1997)

Native Speakers and Native Users
de réir: Alan Davies
Foilsithe / Cruthaithe: (2013)

Words of the World
de réir: Sarah Ogilvie
Foilsithe / Cruthaithe: (2012)

Writing Essays in English Language and Linguistics
de réir: Neil Murray
Foilsithe / Cruthaithe: (2012)

Applied Linguistics

IMA Journal of Applied Mathematics

Mathematical Medicine and Biology: A Journal of the IMA

Mathematical Medicine and Biology: A Journal of the IMA

The Quarterly Journal of Mechanics and Applied Mathematics

The handbook of applied linguistics /
Foilsithe / Cruthaithe: (2006)

An introduction to applied linguistics /
Foilsithe / Cruthaithe: (2002)

Applied linguistics /
de réir: Cook, Guy
Foilsithe / Cruthaithe: (2003)

Analytic mechanics
de réir: Chambers, Sherman Daniel, 1881-
Foilsithe / Cruthaithe: (1952)

Development tasks and education /
de réir: Havighurst, Robert James
Foilsithe / Cruthaithe: (1972)

Applying anthropology : an introductory reader /
Foilsithe / Cruthaithe: (1989)

Introducing applied ethics /
Foilsithe / Cruthaithe: (1999)

Logic and computer design fundamentals /
de réir: Mano, M. Morris, 1927-
Foilsithe / Cruthaithe: (2000)