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

£54.76

Logic-Based Program Synthesis and Transformation (26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Manuel V Hermenegildo, Pedro Lopez-Garcia

Logic-Based Program Synthesis and Transformation (26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Manuel V Hermenegildo, Pedro Lopez-Garcia

£48.31

Learning Functional Data Structures and Algorithms

By Atul S. Khot, Raju Kumar Mishra

Learning Functional Data Structures and Algorithms

By Atul S. Khot, Raju Kumar Mishra

£34.77 Elsewhere ~~£37.99~~ Save £3.22 (8%)

Design and Analysis of Purely Functional Progams

By Rinderknecht, Christian

Design and Analysis of Purely Functional Progams

By Rinderknecht, Christian

£18.77 Elsewhere ~~£21.50~~ Save £2.73 (13%)

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

Information and Communication Security (Second International Conference, ICICS '99, Sydney, Australia, November 9-11, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Vijay Varadharajan, Yi Mu

Information and Communication Security (Second International Conference, ICICS '99, Sydney, Australia, November 9-11, 1999, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Vijay Varadharajan, Yi Mu

£46.13

Information Security and Privacy (5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ed Dawson, Andrew Clark, Colin Boyd

Information Security and Privacy (5th Australasian Conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : Proceedings (Lecture Notes in Computer Science))

By Ed Dawson, Andrew Clark, Colin Boyd

£47.04

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

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

Operations Research : Applications and Algorithms, International Edition (with CD-ROM and InfoTrac)

By Wayne Winston

Operations Research : Applications and Algorithms, International Edition (with CD-ROM and InfoTrac)

By Wayne Winston

95

Currently
Unavailable

View:
Safe Search(?):