Caap '90 (15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andre Arnold

Caap '90 (15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andre Arnold

£44.99

Algebraic Methods: Theory, Tools and Applications (v. 2: Theory, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan A. Bergstra, Loe M.G. Feijs

Algebraic Methods: Theory, Tools and Applications (v. 2: Theory, Tools and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Jan A. Bergstra, Loe M.G. Feijs

£45.03

Tapsoft '91, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 (v. 1: Colloquium on Trees in Algebra and Programming (Caap '91) (Lecture Notes in Computer Science / Lecture Not)

By Samson Abramsky, Thomas S. E. Maibaum

Tapsoft '91, Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 (v. 1: Colloquium on Trees in Algebra and Programming (Caap '91) (Lecture Notes in Computer Science / Lecture Not)

By Samson Abramsky, Thomas S. E. Maibaum

£45.04

Algebraic Computing in Control (Proceedings of the First European Conference Paris, March 13-15, 1991 (Lecture Notes in Control and Information Sciences))

By Gerard Jacob, Francoise Lamnabhi-Lagarrigue

Algebraic Computing in Control (Proceedings of the First European Conference Paris, March 13-15, 1991 (Lecture Notes in Control and Information Sciences))

By Gerard Jacob, Francoise Lamnabhi-Lagarrigue

£45.11

Algebraic and Logic Programming (Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Giorgio Levi

Algebraic and Logic Programming (Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Helene Kirchner, Giorgio Levi

£45.07

Trees in Algebra and Programming - Caap '94 (19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sophie Tison

Trees in Algebra and Programming - Caap '94 (19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Sophie Tison

£45.05

Algebraic Methodology and Software Technology (4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 - Proceedings (Lecture Notes in Computer Science))

By Vangalur S. Alagar, Maurice Nivat

Algebraic Methodology and Software Technology (4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 - Proceedings (Lecture Notes in Computer Science))

By Vangalur S. Alagar, Maurice Nivat

£88.76

Algebraic Methodology and Software Technology (5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Maurice Nivat

Algebraic Methodology and Software Technology (5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Maurice Nivat

£88.79

Algebraic Methodology and Software Technology (6th International Conference, Amast '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Johnson

Algebraic Methodology and Software Technology (6th International Conference, Amast '97, Sydney, Australia, Dezember 13-17, 1997, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Michael Johnson

£88.76

Recent Trends in Algebraic Development Techniques (12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Francesco Parisi-Presicce

Recent Trends in Algebraic Development Techniques (12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Francesco Parisi-Presicce

£45.04

Algebraic Methodology and Software Technology (7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Armando Martain Haeberer

Algebraic Methodology and Software Technology (7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Armando Martain Haeberer

£45.10

Algebraic Methodology and Software Technology (8th International Conference, Amast 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Teodor Rus

Algebraic Methodology and Software Technology (8th International Conference, Amast 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Teodor Rus

£88.72

Recent Trends in Algebraic Development Techniques (18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose Luiz Fiadeiro, Pierre-Yves Schobbens

Recent Trends in Algebraic Development Techniques (18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jose Luiz Fiadeiro, Pierre-Yves Schobbens

£45.13

Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jose Meseguer, Grigore Rosu

Algebraic Methodology and Software Technology (12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jose Meseguer, Grigore Rosu

£45.06

Secure Transaction Protocol Analysis (Models and Applications (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Chen, Qingfeng, Zhang, Shichao, Shichao Zhang

Secure Transaction Protocol Analysis (Models and Applications (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Chen, Qingfeng, Zhang, Shichao, Shichao Zhang

£45.02

Algebraic Biology (Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings (Lecture Notes in Computer Science))

By Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida

Algebraic Biology (Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings (Lecture Notes in Computer Science))

By Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida

£49.28

Relational and Algebraic Methods in Computer Science (14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

Relational and Algebraic Methods in Computer Science (14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

£47.65

Relational and Algebraic Methods in Computer Science (15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Wolfram Kahl, Michael Winter, José Oliveira

Relational and Algebraic Methods in Computer Science (15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Wolfram Kahl, Michael Winter, José Oliveira

£47.31

Recent Trends in Algebraic Development Techniques (22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Razvan Diaconescu, Mihai Codescu, Ionut Tutu

Recent Trends in Algebraic Development Techniques (22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Theoretical Computer Science and General Issues))

By Razvan Diaconescu, Mihai Codescu, Ionut Tutu

£36.25

String Analysis for Software Verification and Security

By Alkhalaf, Muath, Aydin, Abdulbaki, Muath Alkhalaf, Abdulbaki Aydin

String Analysis for Software Verification and Security

By Alkhalaf, Muath, Aydin, Abdulbaki, Muath Alkhalaf, Abdulbaki Aydin

£78.89

Recent Trends in Algebraic Development Techniques (23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Lecture Notes in Computer Science))

By Phillip James, Markus Roggenbach

Recent Trends in Algebraic Development Techniques (23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers (Lecture Notes in Computer Science))

By Phillip James, Markus Roggenbach

£45.68

String Analysis for Software Verification and Security

By Bultan, Tevfik, Aydin, Abdulbaki, Muath Alkhalaf

String Analysis for Software Verification and Security

By Bultan, Tevfik, Aydin, Abdulbaki, Muath Alkhalaf

£54.85

Relations and Kleene Algebra in Computer Science (11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceed)

By Rudolf Berghammer, Ali Jaoua, Bernhard Möller

Relations and Kleene Algebra in Computer Science (11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceed)

By Rudolf Berghammer, Ali Jaoua, Bernhard Möller

£45.07

Algebraic and Numeric Biology (4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers (Lecture Notes in Computer Science))

By Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov

Algebraic and Numeric Biology (4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers (Lecture Notes in Computer Science))

By Katsuhisa Horimoto, Masahiko Nakatsui, Nikolaj Popov

£44.99

View:
Safe Search(?):