OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

OpenMP Shared Memory Parallel Programming (International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and Genera ..)

By Allen D. Malony, Matthias S. Mueller, Barbara Chapman, Bronis R. de Supinski

£46.25

B 2007 Formal Specification and Development in B (7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jacques Julliand, Olga Kouchnarenko

B 2007 Formal Specification and Development in B (7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jacques Julliand, Olga Kouchnarenko

£46.20

Static Analysis (14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hanne Riis Nielson, Gilberto File

Static Analysis (14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Hanne Riis Nielson, Gilberto File

£46.27

Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jose Meseguer, Grigore Rosu

Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jose Meseguer, Grigore Rosu

£46.24

Verified Software (Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Natarajan Shankar, Jim Woodcock

Verified Software (Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Natarajan Shankar, Jim Woodcock

£46.24

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

By Willem-Paul de Roever, Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

£46.21

Static Analysis (16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jens Palsberg, Zhendong Su

Static Analysis (16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Jens Palsberg, Zhendong Su

£46.25

Formal Methods for Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

Formal Methods for Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

£46.20

Rule Interchange and Applications (International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Programming and Software Engineering))

By Adrian Paschke, Guido Governatori, John A. Hall

Rule Interchange and Applications (International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (Programming and Software Engineering))

By Adrian Paschke, Guido Governatori, John A. Hall

£46.25

Integrated Formal Methods (8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Dominique Méry, Stephan Merz

Integrated Formal Methods (8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Dominique Méry, Stephan Merz

£51.40

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

£52.86

Runtime Verification (Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Koushik Sen, Sarfaz Khurshid

Runtime Verification (Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Koushik Sen, Sarfaz Khurshid

£55

Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))

By Einar Broch Johnsen, Luigia Petre

Integrated Formal Methods (10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings (Programming and Software Engineering))

By Einar Broch Johnsen, Luigia Petre

£46.25

Beauty of Functional Code (Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday (Lecture Notes in Computer Science / Programming and Software Engineering))

By Peter Achten, Pieter Koopman

Beauty of Functional Code (Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday (Lecture Notes in Computer Science / Programming and Software Engineering))

By Peter Achten, Pieter Koopman

£41.13

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

Hardware and Software (Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Valeria Bertacco, Axel Legay

£46.26

Declarative Programming and Knowledge Management (Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Inte ..)

By Michael Hanus, Ricardo Rocha

Declarative Programming and Knowledge Management (Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in Artificial Inte ..)

By Michael Hanus, Ricardo Rocha

£42.69

Programming Languages and Systems (12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings (Lecture Notes in Computer Science))

By Jacques Garrigue

Programming Languages and Systems (12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings (Lecture Notes in Computer Science))

By Jacques Garrigue

£48.95

Logic-Based Program Synthesis and Transformation (24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Maurizio Proietti, Hirohisa Seki

Logic-Based Program Synthesis and Transformation (24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Maurizio Proietti, Hirohisa Seki

£46.23

Runtime Verification (6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Ezio Bartocci, Rupak Majumdar

Runtime Verification (6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Ezio Bartocci, Rupak Majumdar

£48.67

Formal Methods (Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering))

By Marcio Cornelio, Bill Roscoe

Formal Methods (Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering))

By Marcio Cornelio, Bill Roscoe

£37.39

Trends in Functional Programming (16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Manuel Serrano, Jurriaan Hage

Trends in Functional Programming (16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Manuel Serrano, Jurriaan Hage

£40.11

NASA Formal Methods (8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Programming and Software Engineering))

By Sanjai Rayadurgam, Oksana Tkachuk

NASA Formal Methods (8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings (Programming and Software Engineering))

By Sanjai Rayadurgam, Oksana Tkachuk

£58.64

Programming Languages (20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Fernando Castor, Yu David Liu

Programming Languages (20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Fernando Castor, Yu David Liu

£46.24

Formal Aspects of Component Software (14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Programming and Software Engineering))

By Jose Proenca, Markus Lumpe

Formal Aspects of Component Software (14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings (Programming and Software Engineering))

By Jose Proenca, Markus Lumpe

£47.76

View:
Safe Search(?):