Search Results - Dowek, Gilles - Books

Principles of Programming Languages

Paperback / softback 13 Mar 2009
ISBN: 9781848820319
Dewey: 005.13
£22.39
RRP £27.99
Special order line: only available to educational & business accounts. Sign In

Principles of programming languages

eBook 15 Feb 2009
Publisher Springer
ISBN: 9781848820326
Dewey: 005.13
Licence From
£27.99
Special order line: only available to educational & business accounts. Sign In

Proofs and Algorithms : An Introduction to Logic and Computability

Paperback / softback 14 Jan 2011
ISBN: 9780857291202
Dewey: 004.015113
£26.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In

Introduction to the Theory of Programming Languages

Paperback / softback 1 Jan 2011
ISBN: 9780857290755
Dewey: 005.13
£26.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In
£44.99
Special order line: only available to educational & business accounts. Sign In
£90.00
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In
£44.99
Special order line: only available to educational & business accounts. Sign In
£11.27
Special order line: only available to educational & business accounts. Sign In
Licence From
£26.99
Special order line: only available to educational & business accounts. Sign In
£35.99
RRP £44.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£26.99
Special order line: only available to educational & business accounts. Sign In
Special order line: only available to educational & business accounts. Sign In

Computation, proof, machine: mathematics enters a new age

eBook 29 Apr 2015
ISBN: 9781316382721
Dewey: 510.9
Special order line: only available to educational & business accounts. Sign In

Age of Algorithms

Ebook 16 Apr 2020
ISBN: 9781108600316
Dewey: 005.1
Special order line: only available to educational & business accounts. Sign In

The Age of Algorithms

eBook 1 Apr 2020
ISBN: 9781108655941
Dewey: 005.1
Special order line: only available to educational & business accounts. Sign In
Licence From
£44.99
Special order line: only available to educational & business accounts. Sign In

Theorem proving in Higher Order Logics - 1690

Ebook 1 Sep 1999
Publisher Springer
ISBN: 9783540482567
Dewey: 004.015113
Licence From
£44.99
Special order line: only available to educational & business accounts. Sign In
£67.99
RRP £79.99
Special order line: only available to educational & business accounts. Sign In
£42.99
Special order line: only available to educational & business accounts. Sign In
Page 1 of 1