Analysis and correctness of algebraic graph and model transformations.

QR Code

Analysis and correctness of algebraic graph and model transformations.

Bibliographic Details
Format:	Book
Online Access:	Ver documento en línea

Similar Items

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

Modeling, functions and graphs algebra for college students
by: Yoshiwara, Katherine
Published: (2001)

Combinatorics graphs and algebra
Published: (1976)

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

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

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

Intermediate Algebra : graphs and functions
by: Larson, Ron, et al.
Published: (2003)

Cluster analysis with deolistic graphs /
Published: (2004)

Graph Embedding for Pattern Analysis /
Published: (2013)

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

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

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

Model transformation support for the analysis of large-scale systems /
by: Calderón Campos, Marta Eunice 1965-, et al.
Published: (2005)

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

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

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

Quantum probability and spectral analysis of graphs /
by: Hora, Akihito, et al.
Published: (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 /
by: Miller, Wayne L., et al.
Published: (1992)

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

Model theory with applications to algebra and analysis /
by: Chatzidakis, Zoé
Published: (2008)

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

Accurate modeling of noise in quantum error-correcting circuits /
by: Gutiérrez Arguedas, Mauricio 1984-
Published: (2015)

The corrections /
by: Franzem, Jonathan
Published: (2001)

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

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

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

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
by: Henry, Gary T., et al.
Published: (1995)