Software Reuse: Bridging with Social-Awareness (15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Georgia M. Kapitsaki, Eduardo Santana De Almeida

Software Reuse: Bridging with Social-Awareness (15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings: 2016 (Lecture Notes in Computer Science))

By Georgia M. Kapitsaki, Eduardo Santana De Almeida

£45.04

Formal Methods for Components and Objects (Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science))

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

Formal Methods for Components and Objects (Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science))

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

£45.76

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

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

Formal Methods for Components and Objects (Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures (Lecture Notes in Computer Science / Programming and Software Engineering))

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

£45.34

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

Formal Methods for Components and Objects (4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science))

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

Formal Methods for Components and Objects (4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science))

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

£45.03

Formal Methods for Components and Objects (5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

Formal Methods for Components and Objects (5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures (Lecture Notes in Computer Science))

By Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

£45.02

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

£45.03

Using and Improving OpenMP for Devices, Tasks, and More (10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman

Using and Improving OpenMP for Devices, Tasks, and More (10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman

£41.54

Openmp: Heterogenous Execution and Data Movements (11th International Workshop on Openmp, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman

Openmp: Heterogenous Execution and Data Movements (11th International Workshop on Openmp, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman

£41.76

Scaling OpenMP for Exascale Performance and Portability (13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science))

By Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman

Scaling OpenMP for Exascale Performance and Portability (13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science))

By Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman

£47.06

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

£45.02

Formal Methods for Components and Objects (10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue

Formal Methods for Components and Objects (10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011 : Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue

£45.06

The China Information Technology Handbook

By Patricia Ordóñez de Pablos, Miltiadis D. Lytras

The China Information Technology Handbook

By Patricia Ordóñez de Pablos, Miltiadis D. Lytras

£165 Elsewhere ~~£179.99~~ Save £14.99 (8%)

LOTOSphere (Software Development with LOTOS)

By Tommaso Bolognesi, Jeroen van de Lagemaat, Chris A. Vissers

LOTOSphere (Software Development with LOTOS)

By Tommaso Bolognesi, Jeroen van de Lagemaat, Chris A. Vissers

£128

Logics in Artificial Intelligence (European Workshop, JELIA 2000 Malaga, Spain, September 29-October 2, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis Moniz Pereira

Logics in Artificial Intelligence (European Workshop, JELIA 2000 Malaga, Spain, September 29-October 2, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Manuel Ojeda-Aciego, Inma P. de Guzman, Gerhard Brewka, Luis Moniz Pereira

£45.02

Object-Oriented Programming for Graphics (Focus on Computer Graphics)

By Chris Laffra, Edwin H. Blake, Vicki De Mey, Xavier Pintado

Object-Oriented Programming for Graphics (Focus on Computer Graphics)

By Chris Laffra, Edwin H. Blake, Vicki De Mey, Xavier Pintado

£45.01

Automata, Languages and Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By A. Salomaa, M. Steinby

Automata, Languages and Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By A. Salomaa, M. Steinby

£32.29

International Symposium on Programming (6th Colloquium, Toulouse, April 17-19, 1984, Proceedings: v. 167 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By M. Paul, B. Robinet

International Symposium on Programming (6th Colloquium, Toulouse, April 17-19, 1984, Proceedings: v. 167 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By M. Paul, B. Robinet

£45.03

Software Composition (4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Gschwind, Uwe Assmann, Oscar M. Nierstrasz

Software Composition (4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Gschwind, Uwe Assmann, Oscar M. Nierstrasz

£45.18

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

£128

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

Lancelot (A Fortran Package for Large-Scale Nonlinear Optimization (Release A) (Springer Series in Computational Mathematics))

By Andrew R. Conn, G.I.M. Gould, P.L. Toint

£120 Elsewhere ~~£131.50~~ Save £11.50 (9%)

Multi-Agent Programming (Languages, Platforms, and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El Fallah Seghrouchni

Multi-Agent Programming (Languages, Platforms, and Applications (Multiagent Systems, Artificial Societies, and Simulated Organizations))

By Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El Fallah Seghrouchni

£128

Verification Methodology Manual for SystemVerilog (For Systemverilog)

By Bergeron, Janick, Cerny, Eduard, Alan Hunter

Verification Methodology Manual for SystemVerilog (For Systemverilog)

By Bergeron, Janick, Cerny, Eduard, Alan Hunter

£129

View:
Safe Search(?):