Engineering Self-Organising Systems (Nature-Inspired Approaches to Software Engineering (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Giovanna Di Marzo Serugendo, Anthony Karageorgos, Omer F. Rana, Franco Zambonelli

Engineering Self-Organising Systems (Nature-Inspired Approaches to Software Engineering (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Giovanna Di Marzo Serugendo, Anthony Karageorgos, Omer F. Rana, Franco Zambonelli

£45

Rims Symposium on Software Science and Engineering (Proceedings of the Symposia 1983 and 1984, Kyoto, Japan: v. 2 (Lecture Notes in Computer Science))

By Eiichi Goto, Keijiro Araki, Taiichi Yuasa

Rims Symposium on Software Science and Engineering (Proceedings of the Symposia 1983 and 1984, Kyoto, Japan: v. 2 (Lecture Notes in Computer Science))

By Eiichi Goto, Keijiro Araki, Taiichi Yuasa

£45.35

Search-Based Software Engineering (6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Claire Le Goues, Shin Yoo

Search-Based Software Engineering (6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Claire Le Goues, Shin Yoo

£49.95

Software Engineering and Formal Methods (13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Radu C. Calinescu, Bernhard Rumpe

Software Engineering and Formal Methods (13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Radu C. Calinescu, Bernhard Rumpe

£47.16

Search Based Software Engineering (8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Federica Sarro, Kalyanmoy Deb

Search Based Software Engineering (8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Federica Sarro, Kalyanmoy Deb

£46.98

Fundamentals of Software Engineering (Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Farhad Arbab, Marjan Sirjani

Fundamentals of Software Engineering (Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Farhad Arbab, Marjan Sirjani

£51.84

Search Based Software Engineering (Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Gordon Fraser, Jerffeson Teixeira de Souza

Search Based Software Engineering (Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Gordon Fraser, Jerffeson Teixeira de Souza

£45.02

Search Based Software Engineering (5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Günther Ruhe, Yuanyuan Zhang

Search Based Software Engineering (5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Günther Ruhe, Yuanyuan Zhang

£45.05

Introduction to Visual Effects (A Computational Approach)

By Bruno, Velho, Luiz (Institute of Pure and Applied Mathematics, Rio de J

Introduction to Visual Effects (A Computational Approach)

By Bruno, Velho, Luiz (Institute of Pure and Applied Mathematics, Rio de J

£40.98 Elsewhere ~~£44.99~~ Save £4.01 (9%)

Introduction to Visual Effects (A Computational Approach)

By Madeira, Bruno, Velho, Luiz (Institute of Pure and Applied Mathematics, Rio de J

Introduction to Visual Effects (A Computational Approach)

By Madeira, Bruno, Velho, Luiz (Institute of Pure and Applied Mathematics, Rio de J

£57.08 Elsewhere ~~£69.99~~ Save £12.91 (18%)

Software Engineering and Formal Methods (SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

Software Engineering and Formal Methods (SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

£45.05

Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Rival

Static Analysis (23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Xavier Rival

£45.11

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

£45.60

Coordination Models and Languages (10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Doug Lea, Gianluigi Zavattaro

Coordination Models and Languages (10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Doug Lea, Gianluigi Zavattaro

£44.99

Coordination Models and Languages (9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Amy L. Murphy, Jan Vitek

Coordination Models and Languages (9th International Conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Amy L. Murphy, Jan Vitek

£45.02

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

£88.94

Reversible Computation (6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Shigeru Yamashita, Shin-ichi Minato

Reversible Computation (6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Shigeru Yamashita, Shin-ichi Minato

£45.03

Formal Methods and Software Engineering (16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Stephan Merz, Jun Pang

Formal Methods and Software Engineering (16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Stephan Merz, Jun Pang

£47.67

Software Engineering and Formal Methods (SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlos Canal, Akram Idani

Software Engineering and Formal Methods (SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlos Canal, Akram Idani

£47.45

NASA Formal Methods (7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

NASA Formal Methods (7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi

£45.08

FM 2015: Formal Methods (20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nikolaj Bjørner, Frank de Boer

FM 2015: Formal Methods (20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nikolaj Bjørner, Frank de Boer

£48.40

Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Cyrille Artho, Axel Legay, Doron Peled

Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Cyrille Artho, Axel Legay, Doron Peled

£47.98

Formal Methods and Software Engineering (18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Kazuhiro Ogata, Mark Lawford, Shaoying Liu

Formal Methods and Software Engineering (18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Kazuhiro Ogata, Mark Lawford, Shaoying Liu

£44.92

FM 2016: Formal Methods (21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

FM 2016: Formal Methods (21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

£45.57

View:
Safe Search(?):