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

Verified Software (Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Programming and Software Engineering))

By Bertrand Meyer, James Woodcock

Verified Software (Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (Programming and Software Engineering))

By Bertrand Meyer, James Woodcock

£97.32

Theory and Practice of Model Transformations (First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio

Theory and Practice of Model Transformations (First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio

£45.03

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

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

Theory and Practice of Model Transformations (7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Davide Di Ruscio, Dániel Varró

Theory and Practice of Model Transformations (7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Davide Di Ruscio, Dániel Varró

£41.44

Theory and Practice of Model Transformations (9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pieter Van Gorp, Gregor Engels

Theory and Practice of Model Transformations (9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Pieter Van Gorp, Gregor Engels

£47.43

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

Theory and Practice of Model Transformations (Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Richard F. Paige

£49.75

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

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

£88.66

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

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

Conceptual Graphs and Fuzzy Logic (A Fusion for Representing and Reasoning with Linguistic Information (Studies in Computational Intelligence))

By Cao, Tru Hoang

£89.97

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

Theory and Practice of Model Transformations (6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Programming and Software Engineering))

By Keith Duddy, Gerti Kappel

Theory and Practice of Model Transformations (6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings (Programming and Software Engineering))

By Keith Duddy, Gerti Kappel

£42.06

Theory, Practice, and Applications of Rules on the Web (7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering))

By Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner

Theory, Practice, and Applications of Rules on the Web (7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings (Lecture Notes in Computer Science/Programming and Software Engineering))

By Leora Morgenstern, Petros Stefaneas, Francois Levy, Adam Wyner

£40.11

Theories of Programming and Formal Methods (Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Zhiming Liu, Jim Woodcock, Huibiao Zhu

Theories of Programming and Formal Methods (Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))

By Zhiming Liu, Jim Woodcock, Huibiao Zhu

£45.04

Digital Signal Processing (Theory And Practice)

By Duraisamy Sundararajan

Digital Signal Processing (Theory And Practice)

By Duraisamy Sundararajan

£49.95

Software Testing and Quality Assurance (Theory and Practice)

By Kshirasagar Naik, Priyadarshi Tripathy

Software Testing and Quality Assurance (Theory and Practice)

By Kshirasagar Naik, Priyadarshi Tripathy

£90.77 Elsewhere ~~£118.95~~ Save £28.18 (24%)

1

Apt, K (Lectures in Game Theory for Computer Scientists)

By Krzysztof R. Apt, Erich Gradel

Apt, K (Lectures in Game Theory for Computer Scientists)

By Krzysztof R. Apt, Erich Gradel

£74.70 Elsewhere ~~£112.00~~ Save £37.30 (33%)

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

£103 Elsewhere ~~£160.00~~ Save £57.00 (36%)

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

Theory and Practice of Computation (Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines)

By Shin-ya Nishizaki, Masayuki Numao, Merlin Suarez, Jaime Caro

£56.41 Elsewhere ~~£60.99~~ Save £4.58 (8%)

Software-Defined Networking and Security (From Theory to Practice (Data-Enabled Engineering))

By Dijiang Huang, Ankur Chowdhary, Sandeep Pisharody

Software-Defined Networking and Security (From Theory to Practice (Data-Enabled Engineering))

By Dijiang Huang, Ankur Chowdhary, Sandeep Pisharody

£45.53 Elsewhere ~~£48.99~~ Save £3.46 (7%)

Global Optimization (From Theory to Implementation (Nonconvex Optimization and Its Applications))

By Leo Liberti, Nelson Maculan

Global Optimization (From Theory to Implementation (Nonconvex Optimization and Its Applications))

By Leo Liberti, Nelson Maculan

£88.69

View:
Safe Search(?):