Theory and Applications of Models of Computation (Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jin-Yi Cai, S.B. Cooper, Angsheng Li

Theory and Applications of Models of Computation (Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Jin-Yi Cai, S.B. Cooper, Angsheng Li

£91.49

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

£46.28

Artificial Life (Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Kevin B. Korb, Marcus Randall, Tim Hendtlass

Artificial Life (Borrowing from Biology: 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009, Proceedings (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))

By Kevin B. Korb, Marcus Randall, Tim Hendtlass

£46.20

Artificial Immune Systems (11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Carlos A. Coello-Coello, Julie Greensmith, Natalio Krasnogor, Pietro Liò

Artificial Immune Systems (11th International Conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Carlos A. Coello-Coello, Julie Greensmith, Natalio Krasnogor, Pietro Liò

£46.21

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

£46.20

Abstract State Machines, Alloy, B, TLA, VDM, and Z (4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Yamine Ait Ameur, Klaus-Dieter Schewe

Abstract State Machines, Alloy, B, TLA, VDM, and Z (4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Yamine Ait Ameur, Klaus-Dieter Schewe

£48.20

Abstract State Machines, Alloy, B and Z (Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Marc Frappier, Uwe Glasser, Sarfraz Khurshid, Regine Laleau

Abstract State Machines, Alloy, B and Z (Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Marc Frappier, Uwe Glasser, Sarfraz Khurshid, Regine Laleau

£53.33

Abstract State Machines, Alloy, B, VDM, and Z (Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Theoretical Computer Science and General Issues))

By John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid

Abstract State Machines, Alloy, B, VDM, and Z (Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Theoretical Computer Science and General Issues))

By John Derrick, John S. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid

£46.20

Primal-Dual Interior-Point Methods

By Stephen J. Wright

Primal-Dual Interior-Point Methods

By Stephen J. Wright

£76.62

The Art of Differentiating Computer Programs (Software, Environments and Tools)

By Uwe Naumann

The Art of Differentiating Computer Programs (Software, Environments and Tools)

By Uwe Naumann

£98.68

Moment and Polynomial Optimization (MOS-SIAM Series on Optimization)

By Jiawang Nie

Moment and Polynomial Optimization (MOS-SIAM Series on Optimization)

By Jiawang Nie

£69.95 Elsewhere ~~£87.00~~ Save £17.05 (20%)

Soft Computing and Its Applications (Volumes One and Two: Volumes one and two)

By Kumar S. Ray

Soft Computing and Its Applications (Volumes One and Two: Volumes one and two)

By Kumar S. Ray

£415

Symbolic Rewriting Techniques (Progress in Theoretical Computer Science)

By Bronstein, Manuel Bronstein, J. Grabmeier, V. Weisfenning

Symbolic Rewriting Techniques (Progress in Theoretical Computer Science)

By Bronstein, Manuel Bronstein, J. Grabmeier, V. Weisfenning

£73.01

Automata, Languages, and Programming (41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Javier Esparza, Pierre Fraigniaud, Thore Husfeldt

Automata, Languages, and Programming (41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Javier Esparza, Pierre Fraigniaud, Thore Husfeldt

£49.68

Theoretical Computer Science (8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Josep Diaz, Ivan Lanese, Davide Sangiorgi

Theoretical Computer Science (8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Josep Diaz, Ivan Lanese, Davide Sangiorgi

£48.29

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

£46.18

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

£45.63

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

£44.61

The French School of Programming

By Bertrand Meyer

The French School of Programming

By Bertrand Meyer

£139 Elsewhere ~~£179.99~~ Save £40.99 (23%)

Artificial Intelligence (Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Christoph Bussler, Dieter Fensel

Artificial Intelligence (Methodology, Systems, and Applications: 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Christoph Bussler, Dieter Fensel

£46.89

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

£91.71

Sequences and Their Applications - SETA 2004 (Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Kyeongcheol Yang

Sequences and Their Applications - SETA 2004 (Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Tor Helleseth, Dilip Sarwate, Hong-Yeop Song, Kyeongcheol Yang

£46.23

Evolvable Systems from Biology to Hardware (6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By J. Manuel Moreno, Jordi Madrenas, Jordi Cosp

Evolvable Systems from Biology to Hardware (6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By J. Manuel Moreno, Jordi Madrenas, Jordi Cosp

£46.21

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

£46.77

View:
Safe Search(?):