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

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

Architecting Systems with Trustworthy Components (International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski

£44.95

C Programming (The Essentials for Engineers and Scientists (Undergraduate Texts in Computer Science))

By Brooks, David R.

C Programming (The Essentials for Engineers and Scientists (Undergraduate Texts in Computer Science))

By Brooks, David R.

£54.96

Product-Focused Software Process Improvement (19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings (Lecture Notes in Computer Science))

By Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki

Product-Focused Software Process Improvement (19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings (Lecture Notes in Computer Science))

By Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki

£44.70

Multiparadigm Programming in Mozart/Oz (Second International Conference, Moz 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Peter Van Roy

Multiparadigm Programming in Mozart/Oz (Second International Conference, Moz 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Peter Van Roy

£45.52

Model Checking Software (12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Theoretical Computer Science and General Issues))

By Patrick Godefroid

Model Checking Software (12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Theoretical Computer Science and General Issues))

By Patrick Godefroid

£45.19

Formal Modeling and Analysis of Timed Systems (Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Paul Pettersson, Wang Yi

Formal Modeling and Analysis of Timed Systems (Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Paul Pettersson, Wang Yi

£45.28

Extreme Programming and Agile Processes in Software Engineering (7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi

Extreme Programming and Agile Processes in Software Engineering (7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi

£45.16

Central European Functional Programming School (First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Horváth, Zoltán

Central European Functional Programming School (First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Horváth, Zoltán

£45.14

Leveraging Applications of Formal Methods (First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Tiziana Maragria, Bernhard Steffen

Leveraging Applications of Formal Methods (First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Tiziana Maragria, Bernhard Steffen

£45.01

Early Aspects - Current Challenges and Future Directions (10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Ana Moreira

Early Aspects - Current Challenges and Future Directions (10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Ana Moreira

£45

Abstract State Machines, B and Z (First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Egon Borger, Michael Butler, Jonathan P. Bowen, Paul P. Boca

Abstract State Machines, B and Z (First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Egon Borger, Michael Butler, Jonathan P. Bowen, Paul P. Boca

£45.02

Rough Sets and Current Trends in Computing (6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko

Rough Sets and Current Trends in Computing (6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko

£45.13

Integrated Formal Methods (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlo A. Furia, Kirsten Winter

Integrated Formal Methods (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlo A. Furia, Kirsten Winter

£45.05

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

Software Language Engineering (Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mark Van den Brand, Dragan Gasevic, Jeff Gray

Software Language Engineering (Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mark Van den Brand, Dragan Gasevic, Jeff Gray

£51.91

Theory and Applications of Models of Computation (7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jan Kratochvil, Angsheng Li, Jiri Fiala, Petr Kolman

Theory and Applications of Models of Computation (7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Jan Kratochvil, Angsheng Li, Jiri Fiala, Petr Kolman

£53.90

SDL 2011: Integrating System and Software Modeling (15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers (Lecture Notes in Computer Science))

By Iulian Ober, Ileana Ober

SDL 2011: Integrating System and Software Modeling (15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers (Lecture Notes in Computer Science))

By Iulian Ober, Ileana Ober

£45.05

Leveraging Applications of Formal Methods, Verification and Validation (5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Theoretical Computer Science and General Issues) (Lecture Notes in Comp ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation (5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I (Theoretical Computer Science and General Issues) (Lecture Notes in Comp ..)

By Tiziana Margaria, Bernhard Steffen

£42.30 Elsewhere ~~£44.99~~ Save £2.69 (6%)

Network and Parallel Computing (9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni

Network and Parallel Computing (9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By James J. Park, Albert Y. Zomaya, Sang-Soo Yeo, Sartaj Sahni

£88.90

The Art of C Programming

By Robin K. Jones, Ann Stewart

The Art of C Programming

By Robin K. Jones, Ann Stewart

£73.93

Modern Programming Made Easy (Using Java, Scala, Groovy, and JavaScript)

By Davis, Adam L.

Modern Programming Made Easy (Using Java, Scala, Groovy, and JavaScript)

By Davis, Adam L.

£24.83 Elsewhere ~~£29.99~~ Save £5.16 (17%)

Automated Deduction - CADE-18 (18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Artificial Intelligence))

By Andrei Voronkov

Automated Deduction - CADE-18 (18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Artificial Intelligence))

By Andrei Voronkov

£45.72

Formal Methods and Software Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))

By Lindsay Groves, Jing Sun

Formal Methods and Software Engineering (15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings (Programming and Software Engineering))

By Lindsay Groves, Jing Sun

£45.06

View:
Safe Search(?):