Rewriting Logic and Its Applications (10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General I ..)

By Santiago Escobar

Rewriting Logic and Its Applications (10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretical Computer Science and General I ..)

By Santiago Escobar

£41.86

Software Engineering and Formal Methods (SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlos Canal, Akram Idani

Software Engineering and Formal Methods (SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Carlos Canal, Akram Idani

£47.42

Advances in Intelligent Data Analysis XIV (14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Elisa Fromont, Tijl De Bie, Matthijs Van Leeuwen

Advances in Intelligent Data Analysis XIV (14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Elisa Fromont, Tijl De Bie, Matthijs Van Leeuwen

£47.14

Model-Driven Engineering and Software Development (Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers (Communications in Computer and Information Science))

By Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luis Ferreira Pires

Model-Driven Engineering and Software Development (Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers (Communications in Computer and Information Science))

By Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luis Ferreira Pires

£47.54

Euro-Par 2016 (Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Pierre-François Dutot, Denis Trystram

Euro-Par 2016 (Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Pierre-François Dutot, Denis Trystram

£45.32

Principles and Practice of Constraint Programming (22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings (Lecture Notes in Computer Science))

By Michel Rueher

Principles and Practice of Constraint Programming (22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings (Lecture Notes in Computer Science))

By Michel Rueher

£89.23

Scalable Uncertainty Management (10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings (Lecture Notes in Artificial Intelligence))

By Steven Schockaert, Pierre Senellart

Scalable Uncertainty Management (10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings (Lecture Notes in Artificial Intelligence))

By Steven Schockaert, Pierre Senellart

£47.14

System Analysis and Modeling. Technology-Specific Aspects of Models (9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jens Grabowski, Steffen Herbold

System Analysis and Modeling. Technology-Specific Aspects of Models (9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Jens Grabowski, Steffen Herbold

£46.56

Trust, Privacy and Security in Digital Business (14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Javier Lopez, Simone Fischer-Hubner, Costas Lambrinoudakis

Trust, Privacy and Security in Digital Business (14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings (Lecture Notes in Computer Science) (Security and Cryptology))

By Javier Lopez, Simone Fischer-Hubner, Costas Lambrinoudakis

£46.57

PRIMA 2017: Principles and Practice of Multi-Agent Systems (20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings (Lecture Notes in Artificial Intelligence))

By Bo An, Ana Bazzan, Joao Leite, Serena Villata

PRIMA 2017: Principles and Practice of Multi-Agent Systems (20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings (Lecture Notes in Artificial Intelligence))

By Bo An, Ana Bazzan, Joao Leite, Serena Villata

£48.05

Inductive Logic Programming (27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017, Revised Selected Papers (Lecture Notes in Computer Science))

By Nicolas Lachiche, Christel Vrain

Inductive Logic Programming (27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017, Revised Selected Papers (Lecture Notes in Computer Science))

By Nicolas Lachiche, Christel Vrain

£45.06

Machines, Computations, and Universality (8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings (Lecture Notes in Computer Science))

By Jerome Durand-Lose, Sergey Verlan

Machines, Computations, and Universality (8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings (Lecture Notes in Computer Science))

By Jerome Durand-Lose, Sergey Verlan

£46.16

Graph Transformation (11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings (Theoretical Computer Science and General Issues))

By Leen Lambers, Jens Weber

Graph Transformation (11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings (Theoretical Computer Science and General Issues))

By Leen Lambers, Jens Weber

£44.99

Theory and Practice of Model Transformation (11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings (Lecture Notes in Computer Science))

By Arend Rensink, Jesus Sanchez Cuadrado

Theory and Practice of Model Transformation (11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings (Lecture Notes in Computer Science))

By Arend Rensink, Jesus Sanchez Cuadrado

£46.32

Principles and Practice of Constraint Programming (24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings (Lecture Notes in Computer Science))

By John Hooker

Principles and Practice of Constraint Programming (24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings (Lecture Notes in Computer Science))

By John Hooker

£88.80

Models in Software Engineering (Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (Lecture Notes in Computer Science))

By Michel R.V. Chaudron

Models in Software Engineering (Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (Lecture Notes in Computer Science))

By Michel R.V. Chaudron

£45.04

Reliable Software Technologies - Ada-Europe 2009 (14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Fabrice Kordon, Yvon Kermarrec

Reliable Software Technologies - Ada-Europe 2009 (14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Fabrice Kordon, Yvon Kermarrec

£45.01

Formal to Practical Security (Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology))

By Veronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada

Formal to Practical Security (Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and Cryptology))

By Veronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada

£45.01

Applications and Theory of Petri Nets (30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Giuliana Franceschinis, Karsten Wolf

Applications and Theory of Petri Nets (30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))

By Giuliana Franceschinis, Karsten Wolf

£45.06

Model Checking Software (16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Theoretical Computer Science and General Issues))

By Corina S. Pasareanu

Model Checking Software (16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings (Theoretical Computer Science and General Issues))

By Corina S. Pasareanu

£45.02

Language Engineering and Rigorous Software Development (International LERNET ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto

Language Engineering and Rigorous Software Development (International LERNET ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto

£45.07

Database and XML Technologies (6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Zohra Bellahsene, Ela Hunt, Michael Rys, Rainer Unland

Database and XML Technologies (6th International XML Database Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings (Information Systems and Applications, incl. Internet/Web, and HCI) (Lecture Notes in Computer Science))

By Zohra Bellahsene, Ela Hunt, Michael Rys, Rainer Unland

£44.99

Spatial Information Theory (9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings (Lecture Notes in Computer Science))

By Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gerard Ligozat

Spatial Information Theory (9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings (Lecture Notes in Computer Science))

By Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gerard Ligozat

£45.10

Formal Methods for Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

Formal Methods for Components and Objects (7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine

£45.02

View:
Safe Search(?):