Name: Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science)
Brand: Springer
SKU: 12565998
Price: 45.18 GBP
Availability: InStock

Program Your Calculator [Large Print]

By Dr Gerald R Rising, Dr Eileen K Schoaff, Deborah Moore-Russo

Program Your Calculator [Large Print]

By Dr Gerald R Rising, Dr Eileen K Schoaff, Deborah Moore-Russo

£12.09

Program Your Calculator (Programming with the TI-84 Calculator)

By Dr Gerald R. Rising, Dr Eileen K. Schoaff, Gerald R. Rising

Program Your Calculator (Programming with the TI-84 Calculator)

By Dr Gerald R. Rising, Dr Eileen K. Schoaff, Gerald R. Rising

£11.56

Apt, K (Constraint Logic Programming using Eclipse)

By Apt, Krzysztof R. (Stichting Centrum voor Wiskunde en Informatic, Wallace, Mark

Apt, K (Constraint Logic Programming using Eclipse)

By Apt, Krzysztof R. (Stichting Centrum voor Wiskunde en Informatic, Wallace, Mark

£56.83 Elsewhere ~~£70.99~~ Save £14.16 (20%)

Computer and Information Security Handbook (2-Volume Set)

By John R. Vacca

Computer and Information Security Handbook (2-Volume Set)

By John R. Vacca

£159 Elsewhere ~~£195.00~~ Save £36.00 (18%)

Essentials of Programming in Mathematica (R)

By Paul Wellin

Essentials of Programming in Mathematica (R)

By Paul Wellin

£46.07 Elsewhere ~~£53.99~~ Save £7.92 (15%)

Functional Data Structures in R (Advanced Statistical Programming in R)

By Mailund, Thomas

Functional Data Structures in R (Advanced Statistical Programming in R)

By Mailund, Thomas

£20.28 Elsewhere ~~£24.99~~ Save £4.71 (19%)

Variational Methods in Optimization (Dover Books on Mathematics)

By Donald R. Smith, Mathematics

Variational Methods in Optimization (Dover Books on Mathematics)

By Donald R. Smith, Mathematics

£13.30 Elsewhere ~~£16.99~~ Save £3.69 (22%)

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

By Olmsted, John M. H., Gelbaum, Bernard R.

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

By Olmsted, John M. H., Gelbaum, Bernard R.

£44.53

Financing Schools and Educational Programs (Policy, Practice, and Politics)

By Ramirez, Al

Financing Schools and Educational Programs (Policy, Practice, and Politics)

By Ramirez, Al

£85.43 Elsewhere ~~£102.00~~ Save £16.57 (16%)

Financing Schools and Educational Programs (Policy, Practice, and Politics)

By Ramirez, Al

Financing Schools and Educational Programs (Policy, Practice, and Politics)

By Ramirez, Al

£42.60 Elsewhere ~~£50.00~~ Save £7.40 (15%)

Making Music with Computers (Creative Programming in Python (Chapman & Hall/CRC Textbooks in Computing))

By Manaris, Bill, Brown, Andrew R.

Making Music with Computers (Creative Programming in Python (Chapman & Hall/CRC Textbooks in Computing))

By Manaris, Bill, Brown, Andrew R.

£41.57 Elsewhere ~~£48.99~~ Save £7.42 (15%)

1

Making Music with Computers (Creative Programming in Python (Chapman & Hall/CRC Textbooks in Computing))

By Bill Manaris, Andrew R. Brown

Making Music with Computers (Creative Programming in Python (Chapman & Hall/CRC Textbooks in Computing))

By Bill Manaris, Andrew R. Brown

£165 Elsewhere ~~£190.00~~ Save £25.00 (13%)

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

£78.90 Elsewhere ~~£89.99~~ Save £11.09 (12%)

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

£51.32 Elsewhere ~~£54.99~~ Save £3.67 (7%)

Algorithms for Minimization without Derivatives (Dover Books on Mathematics)

By Richard P. Brent, R. P. Brent

Algorithms for Minimization without Derivatives (Dover Books on Mathematics)

By Richard P. Brent, R. P. Brent

£11.46 Elsewhere ~~£12.49~~ Save £1.03 (8%)

Introduction to Projective Geometry (Dover Books on Mathematics)

By C R Wylie, Jr.

Introduction to Projective Geometry (Dover Books on Mathematics)

By C R Wylie, Jr.

£22.57

ODE/PDE Analysis of Multiple Myeloma (Programming in R)

By Schiesser, William E. (Lehigh University, Bethlehem, Pennsylvani

ODE/PDE Analysis of Multiple Myeloma (Programming in R)

By Schiesser, William E. (Lehigh University, Bethlehem, Pennsylvani

£96.81 Elsewhere ~~£115.00~~ Save £18.19 (16%)

Ode/Pde Analysis of Multiple Myeloma (Programming in R)

By William Schiesser

Ode/Pde Analysis of Multiple Myeloma (Programming in R)

By William Schiesser

£99.64 Elsewhere ~~£115.00~~ Save £15.36 (13%)

Software for Data Analysis (Programming with R (Statistics and Computing))

By Chambers, John

Software for Data Analysis (Programming with R (Statistics and Computing))

By Chambers, John

£138 Elsewhere ~~£149.99~~ Save £11.99 (8%)

1

A First Course in Statistical Programming with R

By Braun, W. John, Murdoch, Duncan J.

A First Course in Statistical Programming with R

By Braun, W. John, Murdoch, Duncan J.

£33.11 Elsewhere ~~£36.99~~ Save £3.88 (10%)

Advanced Object-Oriented Programming in R (Statistical Programming for Data Science, Analysis, and Finance)

By Mailund, Thomas

Advanced Object-Oriented Programming in R (Statistical Programming for Data Science, Analysis, and Finance)

By Mailund, Thomas

£27.43

Domain-Specific Languages in R (Advanced Statistical Programming)

By Mailund, Thomas

Domain-Specific Languages in R (Advanced Statistical Programming)

By Mailund, Thomas

£26.87

An Introduction to Error Analysis, third edition (The study of uncertainties in physical measurements)

By Taylor, John R.

An Introduction to Error Analysis, third edition (The study of uncertainties in physical measurements)

By Taylor, John R.

£77.85 Elsewhere ~~£100.00~~ Save £22.15 (22%)

Types for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))

By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack

Types for Proofs and Programs (International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science))

By Paul Callaghan, Zhaohui Luo, James McKinna, R. Pollack

£45.18

View:
Safe Search(?):