Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

Communicating Sequential Processes. The First 25 Years (Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders

£45.34

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

£45.13

Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thomas Ball, Robert B. Jones

Computer Aided Verification (18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Thomas Ball, Robert B. Jones

£89.36

Prospects for Functional Programming in Software Engineering (Research Reports ESPRIT)

By Jean Pierre Banatre, S.B. Jones, D. le Metayer

Prospects for Functional Programming in Software Engineering (Research Reports ESPRIT)

By Jean Pierre Banatre, S.B. Jones, D. le Metayer

£45.18

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

Theoretical Aspects of Computing - ICTAC 2007 (4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science))

By Cliff B. Jones, Zhiming Liu, Jim Woodcock

£45.09

Transactions on Aspect-Oriented Software Development VI (Special Issue on Aspects and Model-Driven Engineering (Transactions on Aspect-Oriented Software Development))

By Robert B. France, Shmuel Katz, Harold Ossher, Jean-Marc Jezequel

Transactions on Aspect-Oriented Software Development VI (Special Issue on Aspects and Model-Driven Engineering (Transactions on Aspect-Oriented Software Development))

By Robert B. France, Shmuel Katz, Harold Ossher, Jean-Marc Jezequel

£45

Dependable and Historic Computing (Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Theoretical Computer Science and General Issues))

By Cliff B. Jones, John L. Lloyd

Dependable and Historic Computing (Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday (Theoretical Computer Science and General Issues))

By Cliff B. Jones, John L. Lloyd

£53.97

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

Computational Science -- ICCS 2005 (5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By V. S. Sunderam, Geert Dick van Albada, Peter M.A. Sloot, J. J. Dongarra

£104

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

Automated Technology for Verification and Analysis (Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))

By Doron A. Peled, Yin-Kuen Tsay

£45.69

Cmm(r) Handbuch [German] (Das Capability Maturity Model(r) F r Software (Xpert.Press))

By Kenneth M Dymond, Inc Process Transition Intern, Inc., Process Transition Intern, Inc., A Paste

Cmm(r) Handbuch [German] (Das Capability Maturity Model(r) F r Software (Xpert.Press))

By Kenneth M Dymond, Inc Process Transition Intern, Inc., Process Transition Intern, Inc., A Paste

£45.05

Computational Methods in Systems Biology (11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Bioinformatics))

By Ashutosh Gupta, Thomas A. Henzinger

Computational Methods in Systems Biology (11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Bioinformatics))

By Ashutosh Gupta, Thomas A. Henzinger

£45.02

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

ZB 2005 - Formal Specification and Development in Z and B (4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helen Treharne, Steve King, Martin Henson, Steve Schneider

£89.29

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

£45.02

Beginning Oracle SQL

By deHaan, Lex, Morton, Karen, Tim Gorman

Beginning Oracle SQL

By deHaan, Lex, Morton, Karen, Tim Gorman

£35.59

Computer Information Systems and Industrial Management (13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Khalid Saeed, Vaclav Snasel

Computer Information Systems and Industrial Management (13th IFIP TC 8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014, Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI))

By Khalid Saeed, Vaclav Snasel

£45.35

Transactions on Computational Collective Intelligence XIX (Transactions on Computational Collective Intelligence)

By Ngoc Thanh Nguyen, Ryszard Kowalczyk, Fatos Xhafa

Transactions on Computational Collective Intelligence XIX (Transactions on Computational Collective Intelligence)

By Ngoc Thanh Nguyen, Ryszard Kowalczyk, Fatos Xhafa

£44.99

Project-Management in Practice (A Guideline and Toolbox for Successful Projects)

By M. Daud Alam, Uwe F. Guhl

Project-Management in Practice (A Guideline and Toolbox for Successful Projects)

By M. Daud Alam, Uwe F. Guhl

£49.99

Tools and Algorithms for the Construction and Analysis of Systems (23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P)

By Axel Legay, Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems (23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P)

By Axel Legay, Tiziana Margaria

£47.98

Tools and Algorithms for the Construction and Analysis of Systems (23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P)

By Axel Legay, Tiziana Margaria

Tools and Algorithms for the Construction and Analysis of Systems (23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P)

By Axel Legay, Tiziana Margaria

£46.95

Transactions on Computational Collective Intelligence XXXI (Lecture Notes in Computer Science)

By Ngoc Thanh Nguyen, Richard Kowalczyk, Jacek Mercik, Anna Motylska-Kuzma

Transactions on Computational Collective Intelligence XXXI (Lecture Notes in Computer Science)

By Ngoc Thanh Nguyen, Richard Kowalczyk, Jacek Mercik, Anna Motylska-Kuzma

£44.96

Theoretical Aspects of Computing - ICTAC 2004 (First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Zhiming Liu, Keijiro Araki

Theoretical Aspects of Computing - ICTAC 2004 (First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Zhiming Liu, Keijiro Araki

£89.36

High Performance Computing for Computational Science - VECPAR 2004 (6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Michel Dayde, Jack Dongarra, Vincente Hernández, Jose M. L. M. Palma

High Performance Computing for Computational Science - VECPAR 2004 (6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Michel Dayde, Jack Dongarra, Vincente Hernández, Jose M. L. M. Palma

£88.95

Dependable Computing - EDCC 2005 (5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mario Dal Cin, Mohamed Kaaniche, András Pataricza

Dependable Computing - EDCC 2005 (5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Mario Dal Cin, Mohamed Kaaniche, András Pataricza

£45.66

Wired/Wireless Internet Communications (Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Torsten Braun, Georg Carle, Yevgeni Koucheryavy, Vassilis Tsaoussidis

Wired/Wireless Internet Communications (Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005, Proceedings (Computer Communication Networks and Telecommunications) (Lecture Notes in Computer Science))

By Torsten Braun, Georg Carle, Yevgeni Koucheryavy, Vassilis Tsaoussidis

£45.07

View:
Safe Search(?):