By J.C. Heudin, C. Panetton, J.C. Heudinm

£117

An Introduction to the Pl/Cv2 Programming Logic (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Constable, R. L., Eichenlaub, C. D., C. D. Eichenlaub

An Introduction to the Pl/Cv2 Programming Logic (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By Constable, R. L., Eichenlaub, C. D., C. D. Eichenlaub

£42.29 Elsewhere ~~£44.99~~ Save £2.70 (6%)

Process Algebra with Timing (Monographs in Theoretical Computer Science : an Eatcs Series)

By Middelburg, C. A., Baeten, J. C. M.

Process Algebra with Timing (Monographs in Theoretical Computer Science : an Eatcs Series)

By Middelburg, C. A., Baeten, J. C. M.

£46.79

Non-Monotonic Extensions of Logic Programming (ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Louis M. Pereira, Teodor C. Przymusinski, T.C. Przymusinski

Non-Monotonic Extensions of Logic Programming (ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Louis M. Pereira, Teodor C. Przymusinski, T.C. Przymusinski

£46.21

Logic Programming and Knowledge Representation (Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Luis Moniz Pereira, Teodor C. Przymusinski, Teodor C. Przymusinski

Logic Programming and Knowledge Representation (Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Luis Moniz Pereira, Teodor C. Przymusinski, Teodor C. Przymusinski

£46.21

Tiny C Projects

By Gookin, Dan

Tiny C Projects

By Gookin, Dan

£35.44 Elsewhere ~~£38.99~~ Save £3.55 (9%)

Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C (Fourth Edition)

By Yifeng Zhu

Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C (Fourth Edition)

By Yifeng Zhu

£53.45

Digital Design and Computer Architecture, Arm Edition

By Harris, Sarah (Assistant Professor of Engineering, Harvey Mudd C, Harris, David (Associate Professor of Engineering, Harvey Mudd C

Digital Design and Computer Architecture, Arm Edition

By Harris, Sarah (Assistant Professor of Engineering, Harvey Mudd C, Harris, David (Associate Professor of Engineering, Harvey Mudd C

£61.71 Elsewhere ~~£78.99~~ Save £17.28 (22%)

Digital Design and Computer Architecture, Risc-V Edition

By Harris, Sarah (Assistant Professor of Engineering, Harvey Mudd C, Harris, David (Associate Professor of Engineering, Harvey Mudd C

Digital Design and Computer Architecture, Risc-V Edition

By Harris, Sarah (Assistant Professor of Engineering, Harvey Mudd C, Harris, David (Associate Professor of Engineering, Harvey Mudd C

£68.30 Elsewhere ~~£78.99~~ Save £10.69 (14%)

Goedel's Incompleteness Theorems (Oxford Logic Guides)

By Smullyan, Raymond M. (Professor, City College, Professor, City C

Goedel's Incompleteness Theorems (Oxford Logic Guides)

By Smullyan, Raymond M. (Professor, City College, Professor, City C

£218 Elsewhere ~~£277.50~~ Save £59.50 (21%)

1

Digital Design and Computer Architecture, 2e

By Harris, David (Associate Professor of Engineering, Harvey Mudd C, Harris, Sarah (Assistant Professor of Engineering, Harvey Mudd C

Digital Design and Computer Architecture, 2e

By Harris, David (Associate Professor of Engineering, Harvey Mudd C, Harris, Sarah (Assistant Professor of Engineering, Harvey Mudd C

£57.91 Elsewhere ~~£70.99~~ Save £13.08 (18%)

182

Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

By Steven Vickers, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

Topology Via Logic (Cambridge Tracts in Theoretical Computer Science)

By Steven Vickers, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

£43.93 Elsewhere ~~£47.99~~ Save £4.06 (8%)

Zoom Factor for the Enterprise Architect (How to Focus and Accelerate Your Career)

By Evans, Sharon C.

Zoom Factor for the Enterprise Architect (How to Focus and Accelerate Your Career)

By Evans, Sharon C.

£28.06 Elsewhere ~~£30.79~~ Save £2.73 (9%)

1

Zoom Factor for the Enterprise Architect (How to Focus and Accelerate Your Career)

By Sharon C. Evans

Zoom Factor for the Enterprise Architect (How to Focus and Accelerate Your Career)

By Sharon C. Evans

£26.63 Elsewhere ~~£36.33~~ Save £9.70 (27%)

1

Interactive Theorem Proving and Program Development (Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series))

By Castéran, Pierre, Bertot, Yves, G. Huet, C. Paulin-Mohring

Interactive Theorem Proving and Program Development (Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series))

By Castéran, Pierre, Bertot, Yves, G. Huet, C. Paulin-Mohring

£98.96

28

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Dov M. Gabbay, C. J. Hogger, J. A. Robinson

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Dov M. Gabbay, C. J. Hogger, J. A. Robinson

£243 Elsewhere ~~£390.00~~ Save £147.00 (38%)

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J. A. Robinson, J. Siekmann

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J. A. Robinson, J. Siekmann

£243 Elsewhere ~~£390.00~~ Save £147.00 (38%)

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J.A. Robinson

Handbook of Logic in Artificial Intelligence and Logic Programming (Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming))

By Gabbay, Dov M. (Professor of Computing, Professor of Computing, , Hogger, C. J. (Department of Computing, Department of Computing,, J.A. Robinson

£268 Elsewhere ~~£430.00~~ Save £162.00 (38%)

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 (Logic Programmingvolume 5: Logic Programming)

By Dov M. Gabbay, C.J. Hogger, J. A. Robinson

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 (Logic Programmingvolume 5: Logic Programming)

By Dov M. Gabbay, C.J. Hogger, J. A. Robinson

£225 Elsewhere ~~£430.00~~ Save £205.00 (48%)

Field-Programmable Gate Arrays (Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems)

By John V. Oldfield, Richard C. Dorf

Field-Programmable Gate Arrays (Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems)

By John V. Oldfield, Richard C. Dorf

£152 Elsewhere ~~£171.95~~ Save £19.95 (12%)

The Logic of Typed Feature Structures (With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science))

By Robert L. Carpenter, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

The Logic of Typed Feature Structures (With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science))

By Robert L. Carpenter, C.J. van Rijsbergen, S. Abramsky, P.H. Aczel

£34.34 Elsewhere ~~£42.99~~ Save £8.65 (20%)

Three-dimensional Integrated Circuit Layout (Distinguished Dissertations in Computer Science)

By A.C. Harter

Three-dimensional Integrated Circuit Layout (Distinguished Dissertations in Computer Science)

By A.C. Harter

£31.08 Elsewhere ~~£38.99~~ Save £7.91 (20%)

Cambridge Tracts in Theoretical Computer Science (Series Number 10: Theoretical Foundations of VLSI Design)

By K. McEvoy, J. V. Tucker, C.J. van Rijsbergen, S. Abramsky

Cambridge Tracts in Theoretical Computer Science (Series Number 10: Theoretical Foundations of VLSI Design)

By K. McEvoy, J. V. Tucker, C.J. van Rijsbergen, S. Abramsky

£39.30 Elsewhere ~~£48.99~~ Save £9.69 (20%)

View:
Safe Search(?):