Logics of Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By E. Clarke, D. Kozen

Logics of Programs (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By E. Clarke, D. Kozen

£40.98 Elsewhere ~~£42.99~~ Save £2.01 (5%)

Automata, Languages, and Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By J. Paredaens

Automata, Languages, and Programming (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

By J. Paredaens

£40.34 Elsewhere ~~£42.99~~ Save £2.65 (6%)

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 (Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Le)

By Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 (Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) (Le)

By Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

£36.71

Functional Programming, Glasgow 1991 (Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing))

By Rogardt Heldal, Carsten K. Holst, Philip Wadler, C. K. Holst

Functional Programming, Glasgow 1991 (Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing))

By Rogardt Heldal, Carsten K. Holst, Philip Wadler, C. K. Holst

£45.10

Graph Transformations (Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science))

By Harmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

Graph Transformations (Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science))

By Harmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg

£45.03

Combinatorial Geometry and Graph Theory (Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jin Akiyama, Edy Tri Baskoro, Mikio Kano

Combinatorial Geometry and Graph Theory (Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Jin Akiyama, Edy Tri Baskoro, Mikio Kano

£45.02

Graph Transformations (Third International Conference, ICGT 2006 Rio Grande Do Norte, Brazil, September 17-23, 2006 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro

Graph Transformations (Third International Conference, ICGT 2006 Rio Grande Do Norte, Brazil, September 17-23, 2006 Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro

£45.65

Generic Programming (International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Mehdi Jazayeri, R. G. K. Loos, David R. Musser

Generic Programming (International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Mehdi Jazayeri, R. G. K. Loos, David R. Musser

£45.03

Graph Drawing (8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joe Marks

Graph Drawing (8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Joe Marks

£45.02

Graph Transformation (First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg

Graph Transformation (First International Conference, Icgt 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Andrea Corradini, Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg

£45.63

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

Graph Grammars and Their Application to Computer Science: 4th International Workshop : Selected Papers (4th, 1990: International Workshop Proceedings.H.Ehrig, etc (Lecture Notes in Computer Science))

By Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg

Graph Grammars and Their Application to Computer Science: 4th International Workshop : Selected Papers (4th, 1990: International Workshop Proceedings.H.Ehrig, etc (Lecture Notes in Computer Science))

By Hartmut Ehrig, Hans-Jorg Kreowski, Grzegorz Rozenberg

£88.89

Graph-Theoretic Concepts in Computer Science: 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings (1991: International Workshop Proceedings (Lecture Notes in Computer Science))

By Gunther Schmidt, Rudolf Berghammer

Graph-Theoretic Concepts in Computer Science: 17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings (1991: International Workshop Proceedings (Lecture Notes in Computer Science))

By Gunther Schmidt, Rudolf Berghammer

£45.19

Linear Programming Duality (An Introduction to Oriented Matroids (Universitext))

By Bachem, Achim, Kern, Walter

Linear Programming Duality (An Introduction to Oriented Matroids (Universitext))

By Bachem, Achim, Kern, Walter

£79.02

Graph Transformations in Computer Science (International Workshop, Dagstuhl Castle, Germany, January 4-8, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hans-Jochen Schneider, Hartmut Ehrig

Graph Transformations in Computer Science (International Workshop, Dagstuhl Castle, Germany, January 4-8, 1993 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hans-Jochen Schneider, Hartmut Ehrig

£45.01

Graph-Theoretic Concepts in Computer Science (24th International Workshop, WG'98, Smolenice Castle, Slovak Republic, June 18-20, Proceedings (Lecture Notes in Computer Science))

By Juraj Hromkovič, Ondrej Sykora

Graph-Theoretic Concepts in Computer Science (24th International Workshop, WG'98, Smolenice Castle, Slovak Republic, June 18-20, Proceedings (Lecture Notes in Computer Science))

By Juraj Hromkovič, Ondrej Sykora

£45.56

Theory and Application of Graph Transformations (6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hartmut Ehrig, Gregor Engels, Hans-Jorg Kreowski, Grzegorz Rozenberg

Theory and Application of Graph Transformations (6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Hartmut Ehrig, Gregor Engels, Hans-Jorg Kreowski, Grzegorz Rozenberg

£45.07

Concurrency, Graphs and Models (Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Pierpaolo Degano, Rocco de Nicola, José Meseguer

Concurrency, Graphs and Models (Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Pierpaolo Degano, Rocco de Nicola, José Meseguer

£89.18

Logic Programming (23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Veronica Dahl, Ilkka Neimela

Logic Programming (23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Veronica Dahl, Ilkka Neimela

£45.08

Graph Transformations (4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; Proceedings (Lecture Notes in Computer Science))

By Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer

Graph Transformations (4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008 ; Proceedings (Lecture Notes in Computer Science))

By Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer

£54.04

Analysis and Presentation of Experimental Results (With Examples, Problems and Programs (Undergraduate Lecture Notes in Physics))

By Christodoulides, Costas, Christodoulides, George

Analysis and Presentation of Experimental Results (With Examples, Problems and Programs (Undergraduate Lecture Notes in Physics))

By Christodoulides, Costas, Christodoulides, George

£59.93 Elsewhere ~~£64.99~~ Save £5.06 (8%)

Graph-Theoretic Concepts in Computer Science (35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers (Theoretical Computer Science and General Issues))

By Christopher Paul, Michel Habib

Graph-Theoretic Concepts in Computer Science (35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009, Revised Papers (Theoretical Computer Science and General Issues))

By Christopher Paul, Michel Habib

£45.05

Graph Transformations (5th International Conference, ICGT 2010, Twente, The Netherlands, September 27-October 2, 2010. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schurr

Graph Transformations (5th International Conference, ICGT 2010, Twente, The Netherlands, September 27-October 2, 2010. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues))

By Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schurr

£52.27

Graph-Theoretic Concepts in Computer Science (38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers (Lecture Notes in Computer Science))

By Martin Charles Golumbic, Michael Stern, Avivit Levy, Gila Morgenstern

Graph-Theoretic Concepts in Computer Science (38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers (Lecture Notes in Computer Science))

By Martin Charles Golumbic, Michael Stern, Avivit Levy, Gila Morgenstern

£45.03

View:
Safe Search(?):