Analysis and correctness of algebraic graph and model transformations.

Código QR

Analysis and correctness of algebraic graph and model transformations.

Detalles Bibliográficos
Formato:	Libro
Acceso en línea:	Ver documento en línea

Ejemplares similares

Graphing calculator manual for algebra and trigonometry graphs and models precalculus, graphs and models
por: Fusfield, Beverly
Publicado: (2013)

Modeling, functions and graphs algebra for college students
por: Yoshiwara, Katherine
Publicado: (2001)

Combinatorics graphs and algebra
Publicado: (1976)

Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /
Publicado: (2017)

Sampling corrected analysis of dynamic additive regression models for longitudinal data /
por: Martinussen, Torben, et al.
Publicado: (1998)

Algorithms and models for the web graph /
Publicado: (2017)

Intermediate Algebra : graphs and functions
por: Larson, Ron, et al.
Publicado: (2003)

Python for Graph and Network Analysis /
por: Al-Taie, Mohammed Zuhair., et al.
Publicado: (2017)

Graph Embedding for Pattern Analysis /
Publicado: (2013)

Cluster analysis with deolistic graphs /
Publicado: (2004)

Model transformation support for the analysis of large-scale systems /
por: Calderón Campos, Marta Eunice 1965-, et al.
Publicado: (2005)

College Algebra enhanced with graphing utilities
por: Sullivan, Michael, et al.
Publicado: (2013)

College Algebra enhanced with graphing utilities
por: Sullivan, Michael, et al.
Publicado: (2003)

Spatial Analysis and Modeling in Geographical Transformation Process : GIS-based Applications /
Publicado: (2011)

A course in algebraic error-correcting codes /
por: Ball, Simeon Michael
Publicado: (2020)

Concurrency, graphs and models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
Publicado: (2008)

Quantum probability and spectral analysis of graphs /
por: Hora, Akihito, et al.
Publicado: (2010)

Applications of graph transformations with industrial relevance : Third international symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised selected and Invited papers.

TI-81 graphing calculator activities for algebra /
por: Miller, Wayne L., et al.
Publicado: (1992)

Model theory with applications to algebra and analysis /
por: Chatzidakis, Zoé
Publicado: (2008)

Applications of graph transformations with industrial relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised selected and invited papers.

Bond graph modelling of engineering systems : theory, applications and software support /
Publicado: (2011)

Accurate modeling of noise in quantum error-correcting circuits /
por: Gutiérrez Arguedas, Mauricio
Publicado: (2015)

The corrections /
por: Franzem, Jonathan
Publicado: (2001)

Bond Graph Methodology : Development and Analysis of Multidisciplinary Dynamic System Models /
por: Borutzky, Wolfgang.
Publicado: (2010)

Bond graph methodology : development and analysis of multidisciplinary dynamic system models /
Publicado: (2010)

An error correction monetary model explaining the inflationary process in Turkey /
Publicado: (1993)

Algorithms and models for the web graph : 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings.

Algorithms and models for the web graph : 11th International Workshop, WAW 2014, Beijing, China, December 17-18, 2014, Proceedings.

Algorithms and models for the web graph : 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings.

Algorithms and models for the web graph : 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings.

Algorithms and models for the web graph : 6th International Workshop, WAW 2009, Barcelona, Spain, February 12-13, 2009. Proceedings.

Algorithms and models for the web graph : 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings.

Algorithms and models for the web graph : 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings.

Algorithms and models for the web graph : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings.

Algorithms and models for the web graph : 8th International Workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011. Proceedings.

Algorithms and models for the web graph : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012. Proceedings.

Algorithms and models for the web graph : Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers.

Algorithms and models for the web graph : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings.

Graphing data : techniques for display and analysis
por: Henry, Gary T., et al.
Publicado: (1995)