Theory and Applications of Satisfiability Testing – SAT 2019 (22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Mikoláš Janota, Inês Lynce

Theory and Applications of Satisfiability Testing – SAT 2019 (22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Mikoláš Janota, Inês Lynce

£46.24

Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jens Grabowski, Brian Nielsen

Formal Approaches to Software Testing (4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jens Grabowski, Brian Nielsen

£46.34

Testing of Communicating Systems (17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Ferhat Khendek, Rachida Dssouli

Testing of Communicating Systems (17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Ferhat Khendek, Rachida Dssouli

£46.19

Testing of Communicating Systems (18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By M.Umit Uyar, Ali Y. Duale, Mariusz A. Fecko

Testing of Communicating Systems (18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science) (Computer Communication Networks and Telecommunications))

By M.Umit Uyar, Ali Y. Duale, Mariusz A. Fecko

£46.18

Formal Approaches to Software Testing (5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Wolfgang Grieskamp, Carsten Weise

Formal Approaches to Software Testing (5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Wolfgang Grieskamp, Carsten Weise

£46.39

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

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

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.20

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.17

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

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.18

Testing Software and Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Mercedes G. Merayo, Edgardo Montes de Oca

Testing Software and Systems (26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Mercedes G. Merayo, Edgardo Montes de Oca

£47.60

Computer Performance Engineering (15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb

Computer Performance Engineering (15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb

£46.18

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

SOFSEM 2005 - Theory and Practice of Computer Science (31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Scienc)

By Peter Vojtas, Bernadette Charron-Bost, Maria Bielikova, Ondrej Sykora

£46.22

Sdl 2005 - Model Driven (12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Andreas Prinz, Rick Reed, Jeanne Reed

Sdl 2005 - Model Driven (12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Andreas Prinz, Rick Reed, Jeanne Reed

£46.73

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

Computer Aided Verification (17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Kousha Etessami, Sriram K. Rajamani

£91.72

Computer Safety, Reliability, and Security (24th International Conference, Safecomp 2005, Fredrickstad, Norway, September 28-30, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rune Winther, Bjoern Axel Gran, Gustav Dahll

Computer Safety, Reliability, and Security (24th International Conference, Safecomp 2005, Fredrickstad, Norway, September 28-30, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Rune Winther, Bjoern Axel Gran, Gustav Dahll

£46.78

Dependable Computing (Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Alberto Maziero, Joao Gabriel Silva, Aline Maria Santos Andrade, Flavio Morais de Assis Silva

Dependable Computing (Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Carlos Alberto Maziero, Joao Gabriel Silva, Aline Maria Santos Andrade, Flavio Morais de Assis Silva

£46.23

Embedded Software and Systems (Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Laurence Tianruo Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu

Embedded Software and Systems (Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Laurence Tianruo Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu

£91.49

Wired/Wireless Internet Communications (4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Thomas Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy

Wired/Wireless Internet Communications (4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Thomas Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy

£46.72

Computational Science - ICCS 2006 (6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Vassil N. Alexandrov, Geert Dick van Albada, Peter M. A. Sloot, J. J. Dongarra

Computational Science - ICCS 2006 (6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Vassil N. Alexandrov, Geert Dick van Albada, Peter M. A. Sloot, J. J. Dongarra

£146

Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thomas Ball, Robert B. Jones

Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thomas Ball, Robert B. Jones

£91.71

View:
Safe Search(?):