Comparor Shopping Experience
Comparor España
  1. Comparor
  2. Libros
  3. Libros de ciencias, tecnología y medicina
  4. Libros de matemáticas
  5. Libros de teoría matemática
  6. (Colección PROGRAMMING AND SOFTWARE ENGINEERING)

Libros de teoría matemática (Colección PROGRAMMING AND SOFTWARE ENGINEERING)

Filtros Activos
Colección PROGRAMMING AND SOFTWARE ENGINEERING
Sugerencias para Libros de teoría matemática (Colección PROGRAMMING AND SOFTWARE ENGINEERING)

Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings: 11254

(9783030030438 / 34275524) - PROGRAMMING AND SOFTWARE ENGINEERING - Octubre de 2018 - SPRINGER NATURE - Idiomas: INGLES - ISBN: 9783030030438 - Páginas: 271 | < div> < div>, & nbsp, < div> this book & Formal methods
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

(9783030037680 / 34494450) - PROGRAMMING AND SOFTWARE ENGINEERING - Noviembre de 2018 - SPRINGER NATURE - Idiomas: INGLES - ISBN: 9783030037680 - Páginas: 437

Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ...

(9783030024499 / 34262791) - PROGRAMMING AND SOFTWARE ENGINEERING - Octubre de 2018 - SPRINGER NATURE - Idiomas: INGLES - ISBN: 9783030024499 - Páginas: 474
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

(9783030021450 / 34256699) - PROGRAMMING AND SOFTWARE ENGINEERING - Octubre de 2018 - SPRINGER NATURE - Idiomas: INGLES - ISBN: 9783030021450 - Páginas: 297
Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

(9783319983332 / 33535992) - PROGRAMMING AND SOFTWARE ENGINEERING - Agosto de 2018 - SPRINGER NATURE - Idiomas: INGLES - ISBN: 9783319983332 - Páginas: 792
Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Mathematics of Program Construction: 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

(9783319197968 / 44 black & white illustrations, biograph) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Junio de 2015 - Idiomas: INGLES - ISBN: 9783319197968 - Páginas: 323
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers: 8471

(9783319121536 / 107 black & white illustrations, biograp) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Octubre de 2014 - Idiomas: INGLES - ISBN: 9783319121536 - Páginas: 287
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276

Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276

(9783319229683 / 84 black & white illustrations, biograph) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Agosto de 2015 - Idiomas: INGLES - ISBN: 9783319229683 - Páginas: 369
Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

(9783319395692) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Junio de 2016 - Idiomas: INGLES - ISBN: 9783319395692 - Páginas: 275
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

(9783319340951) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Junio de 2016 - Idiomas: INGLES - ISBN: 9783319340951 - Páginas: 261
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... 9593

Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised ... 9593

(9783319296128 / 41 black & white illustrations, biograph) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Enero de 2016 - Idiomas: INGLES - ISBN: 9783319296128 - Páginas: 223
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... 9707

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... 9707

(9783319339504) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Junio de 2016 - Idiomas: INGLES - ISBN: 9783319339504 - Páginas: 255
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

(9783319262864 / 88 black & white illustrations, biograph) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Octubre de 2015 - Idiomas: INGLES - ISBN: 9783319262864 - Páginas: 293
Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings: 7514

Principles and Practice of Constraint Programming - CP 2012: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012, Proceedings: 7514

Brand: Springer (9783642335570) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 20ª Agosto de 2012 - Idiomas: INGLES - ISBN: 9783642335570 - Páginas: 1038
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

(9783319265285 / 133 colour illustrations, biography) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Diciembre de 2015 - Idiomas: INGLES - ISBN: 9783319265285 - Páginas: 506
RELIABLE SOFTWARE TECHNOLOGIES – ADAEUROPE 2016

RELIABLE SOFTWARE TECHNOLOGIES – ADAEUROPE 2016

(9783319390826 / 26044014) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Mayo de 2016 - Idiomas: INGLES - ISBN: 9783319390826 - Páginas: 213 | < p> < p>, Reliable software
On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, ... Part II

On the Move to Meaningful Internet Systems. OTM 2018 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, ... Part II

(9783030026707) - PROGRAMMING AND SOFTWARE ENGINEERING - Octubre de 2018 - SPRINGER NATURE - Idiomas: INGLES - ISBN: 9783030026707 - Páginas: 605
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526

Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings: 9526

(9783319294728 / 62 colour illustrations, biography) - PROGRAMMING AND SOFTWARE ENGINEERING - SPRINGER NATURE - Edición: 1ª Febrero de 2016 - Idiomas: INGLES - ISBN: 9783319294728 - Páginas: 195

Filtros

Número Estándar Internacional de Libros. Identifica el libro de forma única entre todos los libros que existen

Empresa que realiza la publicación, distribución y promoción del libro

Número de páginas que tiene este libro

Una colección es un conjunto de libros, publicados por una editorial, reunidos bajo un mismo epígrafe

Tipo de encuadernación que tiene este libro

Año en el que se editó el libro

Fecha en la que se editó el libro

🤖 ¡Hola! Soy tu asistente virtual. Puedo ayudarte a encontrar productos, comparar precios y resolver dudas sobre tus pedidos. ¿Por dónde empezamos?
Servicio de chatbot proveído gracias a Gemini 3 / OpenAI utilizando la base de datos de Comparor. La IA puede cometer errores, verifique siempre la información
Comparor AI BETA
Online
¿Reiniciar la conversación?