"Data Refinement: Model-Oriented Proof Methods and their Comparison"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Data Refinement: Model-Oriented Proof Methods and their Comparison	Willem-Paul de Roever; Kai Engelhardt	1998-12	Cambridge University Press
Data refinement: model-oriented proof methods and their comparison	W.-P. de Roever	2009	Cambridge University Press
Specification, refinement, and proof	Woodcock J. Using Z.
Data analysis: a model-comparison approach	Charles M. Judd	1989	Harcourt Brace Jovanovich
Abstraction, Refinement and Proof for Probabilistic Systems	Annabelle McIver; Charles Carroll Morgan	2005	Springer New York
Java Methods: object-oriented programming and data structures	Maria Litvin; Gary Litvin	2011	Skylight Publishing
Designing Experiments and Analyzing Data: A Model Comparison Perspective	Scott E. Maxwell; Harold D. Delaney; Ken Kelley	2017	Routledge
Designing Experiments and Analyzing Data: A Model Comparison Perspective	Scott E. Maxwell, Harold D. Delaney	2004	Routledge Academic
Designing experiments and analyzing data: a model comparison perspective /	Maxwell, Scott E.; Delaney, Harold D.	1999.	Lawrence Erlbaum Associates,
Structural damage assessment and finite element model refinement using measured modal data	Mohamed Kaouk	1993
Object-oriented databases: a semantic data model approach	Peter M. D. Gray	1992	Prentice Hall
Optimal iterative refinement methods.	Olof Widlund	1988	Courant Institute of Mathematical Sciences, New York University
Empirical Methods in Natural Language Generation: Data-oriented Methods and Empirical Evaluation	Emiel Krahmer; Mariet Theune	2010	Springer Berlin Heidelberg
Pattern Classification: Neuro-fuzzy Methods and Their Comparison	Shigeo Abe	2001	Springer London
Data Analysis: A Model Comparison Approach to Regression, ANOVA, and Beyond	Charles M. Judd; Gary H. McClelland; Carey S. Ryan	2017	Routledge
High throughput screening methods: evolution and refinement	Joshua A Bittker, Nathan T Ross, Tom Brown, Kira J Weissman, Claes Andersson, Douglas Auld, Peizin Zhu, Sean Ekins, Jaime Cheah, Mark Wigglesworth, Damien Young, Michael Mesleh, Greg Hoffman, Matthew Robers, Christopher Hale, Benjamin Haibe-Kains, Christopher Mader, Richard Eglen, Stephen Hale, Andrea deSouza, Rohan Beckwith	2016	Royal Society of Chemistry
Data-oriented parsing	No name	2003	CSLI Publications
A comparison of two initialization methods in data assimilation	Edward Harrison Barker	1982
Abstraction Refinement for Large Scale Model Checking	Chao Wang; Gary D. Hachtel; Fabio Somenzi	2006	Springer US
Decision support systems: a data-based,model-oriented,user-developed discipline	William C. House	1983	PBI
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Comparison of Data and Process Refinement	Steve Reeves; David Streader	Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings	Jin Song Dong; Jim Woodcock	2003	Springer Berlin Heidelberg
Comparison and refinement of paleotemperature data		Post-Devonian Sediment Cover over New York State: Evidence from Fluid-Inclusion, Organic Maturation, Clay Diagenesis and Stable Isotope Studies	Golam Sarwar; Gerald M. Friedman	1995	Springer Berlin Heidelberg
Model Comparison Methods	Jay I. Myung; Mark A. Pitt	Numerical Computer Methods, Part D	Ludwig Brand and Michael L. Johnson	2004	Academic Press
Model and Data Comparison	Massimiliano Bonamente	Statistics and Analysis of Scientific Data	Massimiliano Bonamente	3rd ed. 2022	Springer Nature Singapore
Model Refinement		Environmental Applications of Chemometrics	Joseph J. Breen and Philip E. Robinson (Eds.)	1985	American Chemical Society
Methods of Solution and Their Comparison		Petroleum Reservoir Simulation	Khalid Aziz and Antonin Settari	1979	Applied Science Publishers
Data Mining Model Comparison	Paolo Giudici	Data Mining and Knowledge Discovery Handbook	Oded Maimon; Lior Rokach	2nd ed. 2010	Springer US
Data Mining Model Comparison	Paolo Giudici	Data Mining and Knowledge Discovery Handbook	Oded Maimon; Lior Rokach	2005	Springer US
Object Oriented Specification and Refinement	P. J. Whysall; J. A. McDermid	4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge	Joseph M. Morris; Roger C. Shaw	1991	Springer London
Data refinement	Derek Andrews	A Theory and Practice of Program Development	Derek J. Andrews	1997	Springer London
Data Refinement		Constructing Correct Software	D. John Cooke	2nd ed. 2005	Springer London
Data refinement		Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction	Markus Müller-Olm	1997	Springer Berlin Heidelberg
48 Refinement Proof Obligations		Java Software Development with Event B: A Practical Guide	Luciano Baresi (editor), Néstor Cataño Collazos	2020	MORGAN & CLAYPOOL
SMT-Based Automatic Proof of ASM Model Refinement	Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene	Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings	Rocco De Nicola; Eva Kühn	1st ed. 2016	Springer International Publishing
Direct Methods and Refinement	M. F. C. Ladd; R. A. Palmer	Structure Determination by X-Ray Crystallography	M. F. C. Ladd; R. A. Palmer	1985	Springer US
Direct Methods and Refinement	M. F. C. Ladd; R. A. Palmer	Structure Determination by X-Ray Crystallography	M. F. C. Ladd; R. A. Palmer	1985	Springer US
Direct Methods and Refinement	Mark Ladd; Rex Palmer	Structure Determination by X-ray Crystallography	Mark Ladd; Rex Palmer	4th ed. 2003	Springer US
Direct Methods and Refinement	Mark Ladd; Rex Palmer	Structure Determination by X-ray Crystallography: Analysis by X-rays and Neutrons	Mark Ladd; Rex Palmer	5th ed. 2013	Springer US
Direct Methods and Refinement	M. F. C. Ladd; R. A. Palmer	Structure Determination by X-ray Crystallography	M. F. C. Ladd; R. A. Palmer	1993	Springer US
Object-Oriented Data Model Concepts	Klaus R. Dittrich	Advances in Object-Oriented Database Systems	Asuman Dogac; M.Tamer Özsu; Alexandros Biliris; Timos Sellis	1994	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Data Refinement: Model-Oriented Proof Methods and their Comparison" - similar Books and Chapters