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

Filtros ActivosColección PROGRAMMING AND SOFTWARE ENGINEERING 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 | &lt div&gt &lt div&gt, &amp nbsp, &lt div&gt this book & Formal methods

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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

Ver producto

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 | &lt p&gt &lt p&gt, Reliable software

Ver producto

18 productos

Filtros

Mostrar/ocultar

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

Mostrar/ocultar

Número de páginas que tiene este libro

Mostrar/ocultar

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

Mostrar/ocultar

Año en el que se editó el libro

Fecha en la que se editó el libro

Mostrar/ocultar

Ordenado por

Marcas

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

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

Lista de idiomas

Número de páginas Número de páginas que tiene este libro

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

Tipo de encuadernación Tipo de encuadernación que tiene este libro

Año de edición Año en el que se editó el libro

Año de publicación

Fecha de edición completa Fecha en la que se editó el libro

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

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