Primality Testing in Polynomial Time (From Randomized Algorithms to "Primes is in P" (Lecture Notes in Computer Science))

By Dietzfelbinger, Martin

Primality Testing in Polynomial Time (From Randomized Algorithms to "Primes is in P" (Lecture Notes in Computer Science))

By Dietzfelbinger, Martin

£46.15

Theoretical Aspects of Computer Science (Advanced Lectures (Lecture Notes in Computer Science))

By Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi

Theoretical Aspects of Computer Science (Advanced Lectures (Lecture Notes in Computer Science))

By Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Amin Shokrollahi

£36.07

Baltic Computer Science (Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janis Barzdins, Dines Bjørner

Baltic Computer Science (Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Janis Barzdins, Dines Bjørner

£91.73

Testing of Software and Communicating Systems (20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) (Computer Communication N ..)

By Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa

Testing of Software and Communicating Systems (20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) (Computer Communication N ..)

By Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa

£46.27

Model-Driven Testing (Using the UML Testing Profile)

By Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen

Model-Driven Testing (Using the UML Testing Profile)

By Paul Baker, Zhen Ru Dai, Jens Grabowski, Oystein Haugen

£56.33

Theory and Applications of Satisfiability Testing - SAT 2007 (10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Joao Marques-Silva, Karem A. Sakallah

Theory and Applications of Satisfiability Testing - SAT 2007 (10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Joao Marques-Silva, Karem A. Sakallah

£46.20

Testing of Software and Communicating Systems (19th IFIP Tc 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication)

By Alexandre Petrenko, Margus Veanes, Wolfgang Grieskamp, Wolfgang Grieskamp

Testing of Software and Communicating Systems (19th IFIP Tc 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication)

By Alexandre Petrenko, Margus Veanes, Wolfgang Grieskamp, Wolfgang Grieskamp

£46.20

Tests and Proofs (First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Bertrand Meyer, Yuri Gurevich

Tests and Proofs (First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Bertrand Meyer, Yuri Gurevich

£46.20

Computer-based Diagnostic Systems (Practitioner Series)

By Chris Price

Computer-based Diagnostic Systems (Practitioner Series)

By Chris Price

£45.46

Hardware and Software (Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings (Lecture Notes in Computer Science))

By Karen Yorav

Hardware and Software (Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings (Lecture Notes in Computer Science))

By Karen Yorav

£46.18

Formal Methods and Testing (An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert M. Hierons, Jonathan P. Bowen, Mark Harman

Formal Methods and Testing (An Outcome of the FORTEST Network. Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Robert M. Hierons, Jonathan P. Bowen, Mark Harman

£46.19

Tests and Proofs (Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science))

By Bernhard Beckert, Reiner Hahnle

Tests and Proofs (Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science))

By Bernhard Beckert, Reiner Hahnle

£46.19

Theory and Applications of Satisfiability Testing - SAT 2008 (11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science))

By Hans Kleine Buning, Xishun Zhao

Theory and Applications of Satisfiability Testing - SAT 2008 (11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings (Lecture Notes in Computer Science))

By Hans Kleine Buning, Xishun Zhao

£46.82

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

Tests and Proofs (Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Catherine Dubois

Tests and Proofs (Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Catherine Dubois

£46.16

Testing of Software and Communication Systems (21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer ..)

By Manuel Nunez, Paul Baker, Mercedes G. Merayo

Testing of Software and Communication Systems (21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009, Proceedings (Lecture Notes in Computer Science) (Computer ..)

By Manuel Nunez, Paul Baker, Mercedes G. Merayo

£46.22

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

Tests and Proofs (6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science))

By Achim Brucker, Jacques Julliand

Tests and Proofs (6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings (Lecture Notes in Computer Science))

By Achim Brucker, Jacques Julliand

£46.17

Progress in VLSI Design and Test (16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay

Progress in VLSI Design and Test (16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay

£46.22

Theory and Applications of Satisfiability Testing -- SAT 2012 (15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Theoretical Computer Science and General Issues))

By Alessandro Cimatti, Roberto Sebastiani

Theory and Applications of Satisfiability Testing -- SAT 2012 (15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings (Theoretical Computer Science and General Issues))

By Alessandro Cimatti, Roberto Sebastiani

£46.28

Theory and Applications of Satisfiability Testing - SAT 2013 (16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Matti Jarvisalo, Allen Van Gelder

Theory and Applications of Satisfiability Testing - SAT 2013 (16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Matti Jarvisalo, Allen Van Gelder

£46.23

Advances in Computer Graphics V (Focus on Computer Graphics)

By Werner Purgathofer, Jurgen Schonhut

Advances in Computer Graphics V (Focus on Computer Graphics)

By Werner Purgathofer, Jurgen Schonhut

£46.23

Hardware and Software (Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Lecture Notes in Computer Science))

By Eran Yahav

Hardware and Software (Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Lecture Notes in Computer Science))

By Eran Yahav

£47.99

View:
Safe Search(?):