Transitions and Trees

Transitions and Trees

Бібліографічні деталі
Автор:	Hans Hüttel
Формат:	Електронний ресурс eКнига
Мова:	English
Опубліковано:	Cambridge University Press, 08/05/2012
Редагування:	1
Предмети:	Programming Languages and Applied Logic Electronic books
Онлайн доступ:	Full text available on Cambridge University Press Off-campus access

Схожі ресурси

Nominal Sets
за авторством: Andrew M. Pitts
Опубліковано: (2013)

Practical Foundations for Programming Languages
за авторством: Robert Harper
Опубліковано: (2013)

Pearls of Functional Algorithm Design
за авторством: Richard Bird
Опубліковано: (2013)

Programming with Higher-Order Logic
за авторством: Dale Miller, Gopalan Nadathur
Опубліковано: (2012)

An Introduction to Category Theory
за авторством: Harold Simmons
Опубліковано: (2012)

Programming in Visual Basic 2010
за авторством: Jim McKeown
Опубліковано: (2012)

Steps in Scala
за авторством: Christos K. K. Loverdos, Apostolos Syropoulos
Опубліковано: (2012)

Modeling in Event-B
за авторством: Jean-Raymond Abrial
Опубліковано: (2013)

Systematic Program Design
за авторством: Yanhong Annie Liu
Опубліковано: (2013)

Introduction to Bisimulation and Coinduction
за авторством: Davide Sangiorgi
Опубліковано: (2012)

Web Data Management
за авторством: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Опубліковано: (2012)

Programming logic and design : comprehensive /
за авторством: Farrell, Joyce
Опубліковано: (2011)

Natural language understanding /
за авторством: Allen, James, 1950-
Опубліковано: (1995)

Natural language understanding /
за авторством: Allen, James, 1950-
Опубліковано: (1995)

An Introduction to Gödel's Theorems
за авторством: Peter Smith
Опубліковано: (2013)

Basics of logic /
за авторством: Barker, Stephen Francis
Опубліковано: (1986)

The logic of language
за авторством: Seuren, Pieter A. M.

Our logic for discussion and persuasion /
за авторством: Ha, Byunghak
Опубліковано: (2000)

Logic Journal of the IGPL

Logic, language, and meaning /
за авторством: Gamut, L. T. F.
Опубліковано: (1991)

Digital designing with programmable logic devices /
за авторством: Carter, John W., 1951-
Опубліковано: (1997)

Words of the World
за авторством: Sarah Ogilvie
Опубліковано: (2012)

Writing Essays in English Language and Linguistics
за авторством: Neil Murray
Опубліковано: (2012)

Native Speakers and Native Users
за авторством: Alan Davies
Опубліковано: (2013)

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 /
Опубліковано: (2006)

An introduction to applied linguistics /
Опубліковано: (2002)

Applied linguistics /
за авторством: Cook, Guy
Опубліковано: (2003)

Analytic mechanics
за авторством: Chambers, Sherman Daniel, 1881-
Опубліковано: (1952)

Development tasks and education /
за авторством: Havighurst, Robert James
Опубліковано: (1972)

Applying anthropology : an introductory reader /
Опубліковано: (1989)

Introducing applied ethics /
Опубліковано: (1999)

Introduction to logic /
за авторством: Copi, Irving M.
Опубліковано: (1986)

Critical applied linguistics : a critical introduction /
за авторством: Pennycook, Alastair, 1957-
Опубліковано: (2001)

Logic and computer design fundamentals /
за авторством: Mano, M. Morris, 1927-
Опубліковано: (2000)

Individual freedom in language teaching : helping learners to develop a dialect of their own /
за авторством: Brumfit, Christopher
Опубліковано: (2001)