Theory and Applications of Satisfiability Testing (7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Holger H. Hoos, David G. Mitchell

Theory and Applications of Satisfiability Testing (7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Holger H. Hoos, David G. Mitchell

£46.18

Theory and Applications of Satisfiability Testing - SAT 2009 (12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings (Theoretical Computer Science and General Issues))

By Oliver Kullmann

Theory and Applications of Satisfiability Testing - SAT 2009 (12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings (Theoretical Computer Science and General Issues))

By Oliver Kullmann

£46.30

Model-Driven Testing (Using the UML Testing Profile)

By Baker, Paul, Dai, Zhen Ru, Jens Grabowski, Ina Schieferdecker

Model-Driven Testing (Using the UML Testing Profile)

By Baker, Paul, Dai, Zhen Ru, Jens Grabowski, Ina Schieferdecker

£54.35

Hardware and Software (Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Lecture Notes in Computer Science))

By Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

Hardware and Software (Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Lecture Notes in Computer Science))

By Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz

£48.51

Engineer's Complete Guide to Personal Computer Based Workstations 80386/80486

By G. Shade

Engineer's Complete Guide to Personal Computer Based Workstations 80386/80486

By G. Shade

£30.52 Elsewhere ~~£41.50~~ Save £10.98 (26%)

Computer Systems and Software Engineering (State-Of-The-Art)

By Patrick DeWilde, Joos P. L. Vandewalle

Computer Systems and Software Engineering (State-Of-The-Art)

By Patrick DeWilde, Joos P. L. Vandewalle

£131

Explorations in Quantum Computing (Texts in Computer Science)

By Colin P. Williams, David Gries

Explorations in Quantum Computing (Texts in Computer Science)

By Colin P. Williams, David Gries

£81.20

15

STACS 86 (3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By B. Monien, G. Vidal-Naquet

STACS 86 (3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By B. Monien, G. Vidal-Naquet

£33.04

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

£46.13

Computer Aided Verification (10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alan J. Hu, Moshe Y. Vardi

Computer Aided Verification (10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Alan J. Hu, Moshe Y. Vardi

£91.09

Computing and Combinatorics (13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Guohui Lin

Computing and Combinatorics (13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Guohui Lin

£46.31

Artificial Immune Systems (6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Leandro N. de Castro, Fernando J. von Zuben, Helder Knidel

Artificial Immune Systems (6th International Conference, ICARIS 2007, Santos, Brazil, August 26-29, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Leandro N. de Castro, Fernando J. von Zuben, Helder Knidel

£46.68

Hybrid Metaheuristics (4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Thomas Bartz-Beielstein, Maria J. Blesa, Christian Blum, Boris Naujoks

Hybrid Metaheuristics (4th International Workshop,HM 2007, Dortmund, Germany, October 8-9, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Thomas Bartz-Beielstein, Maria J. Blesa, Christian Blum, Boris Naujoks

£46.19

Software Engineering and Computer Systems, Part III (Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III (Communications in Computer and Information Science))

By Jasni Mohamad Zain, Wan Maseri Wan Mohd, Eyas El-Qawasmeh

Software Engineering and Computer Systems, Part III (Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III (Communications in Computer and Information Science))

By Jasni Mohamad Zain, Wan Maseri Wan Mohd, Eyas El-Qawasmeh

£132

Theoretical Computer Science (7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Tom Ball, Frank S. de Boer

Theoretical Computer Science (7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jos C.M. Baeten, Tom Ball, Frank S. de Boer

£51.73

Graph-Theoretic Concepts in Computer Science (39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk

Graph-Theoretic Concepts in Computer Science (39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk

£48.62

Computer Science - Theory and Applications (9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings (Lecture Notes in Computer Science))

By Edward Hirsch, Sergei O. Kuznetsov, Jean-Eric Pin, Nikolay Vereshchagin

Computer Science - Theory and Applications (9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings (Lecture Notes in Computer Science))

By Edward Hirsch, Sergei O. Kuznetsov, Jean-Eric Pin, Nikolay Vereshchagin

£48.43

Theory and Applications of Satisfiability Testing - SAT 2014 (17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Theoretical Computer Science and General Issues) (Lecture ..)

By Carsten Sinz, Uwe Egly

Theory and Applications of Satisfiability Testing - SAT 2014 (17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Theoretical Computer Science and General Issues) (Lecture ..)

By Carsten Sinz, Uwe Egly

£46.25

C Programming (The Essentials for Engineers and Scientists (Undergraduate Texts in Computer Science))

By Brooks, David R.

C Programming (The Essentials for Engineers and Scientists (Undergraduate Texts in Computer Science))

By Brooks, David R.

£56.40

Linq My Ass! a Computer Programmers Guide to Language-Integrated Query (Linq) (And How to Leverage Its Powerful C#, .Net, and Visual Basic (VB) Features)

By Joe Meyer, Stephenie Torre

Linq My Ass! a Computer Programmers Guide to Language-Integrated Query (Linq) (And How to Leverage Its Powerful C#, .Net, and Visual Basic (VB) Features)

By Joe Meyer, Stephenie Torre

£30.98

A Developer's Approach to Learning Java (Read, Write, and Problem Solve Using Test-Driven Development: Labs Interleaved)

By Carol A Wellington, Gregory G Wellington

A Developer's Approach to Learning Java (Read, Write, and Problem Solve Using Test-Driven Development: Labs Interleaved)

By Carol A Wellington, Gregory G Wellington

£65.32

View:
Safe Search(?):