ECOOP - Object-Oriented Programming (21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Erik Ernst

ECOOP - Object-Oriented Programming (21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Erik Ernst

£91.16

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

Formal Techniques for Networked and Distributed Systems – FORTE 2008 (28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

Formal Techniques for Networked and Distributed Systems – FORTE 2008 (28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih

£46.24

Formal Techniques for Networked and Distributed Systems - FORTE 2007 (27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By John Derrick, Juri Vain

Formal Techniques for Networked and Distributed Systems - FORTE 2007 (27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By John Derrick, Juri Vain

£46.21

Practical Aspects of Declarative Languages (12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Programming and Software Engineering))

By Manuel Carro, Ricardo Pena

Practical Aspects of Declarative Languages (12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Programming and Software Engineering))

By Manuel Carro, Ricardo Pena

£46.21

Functional and Logic Programming (10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola

Functional and Logic Programming (10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Matthias Blume, Naoki Kobayashi, Germán Vidal-Oriola

£51.71

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

Central European Functional Programming School (4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Horvath, Rinus Plasmeijer

Central European Functional Programming School (4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Viktoria Zsok, Zoltan Horvath, Rinus Plasmeijer

£46.31

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

Programming Multi-Agent Systems (10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers (Lecture Notes in Artificial Intelligence))

By Mehdi Dastani, Jomi Fred Hubner, Brian Logan

Programming Multi-Agent Systems (10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers (Lecture Notes in Artificial Intelligence))

By Mehdi Dastani, Jomi Fred Hubner, Brian Logan

£43.18

Tests and Proofs (7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Programming and Software Engineering))

By Margus Veanes, Luca Vigano

Tests and Proofs (7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings (Programming and Software Engineering))

By Margus Veanes, Luca Vigano

£43.17

Beginning F#

By Pickering, Robert

Beginning F#

By Pickering, Robert

£31.39 Elsewhere ~~£32.99~~ Save £1.60 (5%)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)

By Tiziana Margaria, Bernhard Steffen

£49.74

3

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Andrei Voronkov, Irina Virbitskaite

£48.60

Next Generation Teletraffic and Wired / Wireless Advanced Networking (6th International Conference, New2an 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunic)

By Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen

Next Generation Teletraffic and Wired / Wireless Advanced Networking (6th International Conference, New2an 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunic)

By Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen

£46.32

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

Tools and Algorithms for the Construction and Analysis of Systems (7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings (Lecture N)

By Tiziana Margaria, Wang Yi

£91.10

Practical Aspects of Declarative Languages (4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Shriram Krishnamurthi, C.R. Ramakrishnan

Practical Aspects of Declarative Languages (4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings (Lecture Notes in Computer Science))

By Shriram Krishnamurthi, C.R. Ramakrishnan

£46.72

FME 2002 - Formal Methods - Getting it Right (International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lars-Henrik Eriksson, Peter Alexander Lindsay

FME 2002 - Formal Methods - Getting it Right (International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Lars-Henrik Eriksson, Peter Alexander Lindsay

£91.97

FM'99 - Formal Methods (World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

FM'99 - Formal Methods (World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I (Lecture Notes in Computer Science))

By Jeannette M. Wing, Jim Woodcook, Jim Davies

£91.51

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

Practical Aspects of Declarative Languages (9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings (Lecture Notes in Computer Science))

By Michael Hanus

£46.23

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

Information Processing and Management (International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings (Communications in Computer and Information Scienc)

By Vinu V. Das, R. Vijayakumar, Narayan C. Debnath, Janahanlal Stephen

Information Processing and Management (International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings (Communications in Computer and Information Scienc)

By Vinu V. Das, R. Vijayakumar, Narayan C. Debnath, Janahanlal Stephen

£100

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

Tools and Algorithms for the Construction and Analysis of Systems (20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings ..)

By Erika Abraham, Klaus Havelund

£46.86

Central European Functional Programming School (Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures (Theoretical Computer Science and General Issues))

By Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok

Central European Functional Programming School (Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures (Theoretical Computer Science and General Issues))

By Zoltan Horvath, Rinus Plasmeijer, Anna Soos, Viktoria Zsok

Currently
Unavailable

View:
Safe Search(?):