Search Results - UYA - Books - eTextbook

Logic in Computer Science: Modelling and Reasoning About Systems

Ebook 26 Aug 2004
ISBN: 9781139636131
Dewey: 005.131
Price on Application:
Contact us for further details

Elements of Automata Theory

Ebook 1 Oct 2009
ISBN: 9781139637213
Dewey: 511.35
Price on Application:
Contact us for further details

How to Think About Algorithms

Ebook 19 May 2008
ISBN: 9781139637268
Dewey: 518.1
Price on Application:
Contact us for further details

Program logics for certified compilers

eBook 5 Mar 2014
ISBN: 9781139899383
Dewey: 005.14
Price on Application:
Contact us for further details

Theories of Programming Languages

Ebook 13 Oct 1998
ISBN: 9781139930550
Dewey: 005.13
Price on Application:
Contact us for further details

Planning Algorithms

Ebook 29 May 2006
ISBN: 9781139931342
Dewey: 629.8932
Price on Application:
Contact us for further details

Term rewriting and all that

eBook 5 Mar 1998
ISBN: 9781316043851
Dewey: 005.131
Price on Application:
Contact us for further details

The discrepancy method: randomness and complexity

eBook 24 Jul 2000
ISBN: 9781316047804
Dewey: 512.7
Price on Application:
Contact us for further details

Type Theory and Formal Proof: An Introduction

Ebook 6 Nov 2014
ISBN: 9781316053980
Dewey: 511.3
Price on Application:
Contact us for further details

Type theory and formal proof: an introduction

eBook 5 Nov 2014
ISBN: 9781316056349
Dewey: 511.3
Price on Application:
Contact us for further details

Modal logic : 53

eBook 28 Jun 2001
ISBN: 9781316097526
Dewey: 511.3
Price on Application:
Contact us for further details

Term Rewriting and All That

Ebook 5 Aug 1999
ISBN: 9781316098752
Dewey: 005.131
Price on Application:
Contact us for further details

Modal Logic

Ebook 22 Aug 2002
ISBN: 9781316099070
Dewey: 511.3
Price on Application:
Contact us for further details

Probabilistic numerics: computation as machine learning

eBook 22 Jun 2022
ISBN: 9781316730331
Dewey: 006.310151
Price on Application:
Contact us for further details

Logic Colloquium '90 : 2

eBook 22 Mar 2017
ISBN: 9781316731932
Dewey: 511.3
Price on Application:
Contact us for further details

Computation, proof, machine: mathematics enters a new age

eBook 29 Apr 2015
ISBN: 9781316382721
Dewey: 510.9
Price on Application:
Contact us for further details

Computer programming with C++

eBook 4 Sep 2017
ISBN: 9781316758793
Dewey: 005.133
Price on Application:
Contact us for further details

Quantum Information Theory

Ebook 6 Feb 2017
ISBN: 9781316812136
Dewey: 535.15
Price on Application:
Contact us for further details

Quantum information theory

eBook 2 Feb 2017
ISBN: 9781316814864
Dewey: 535.15
Price on Application:
Contact us for further details

The Theory of Quantum Information

Ebook 18 Apr 2018
ISBN: 9781316853122
Dewey: 006.38430151
Price on Application:
Contact us for further details

Programming in Haskell

eBook 1 Sep 2016
ISBN: 9781316863220
Dewey: 005.114
Price on Application:
Contact us for further details

Programming in Haskell

eBook 10 Aug 2016
ISBN: 9781316876336
Dewey: 005.114
Price on Application:
Contact us for further details

Modern Computer Algebra

Ebook 25 Apr 2013
ISBN: 9781107241879
Dewey: 512.00285
Price on Application:
Contact us for further details
1
2
3
4
5
>
>>