"Formal Modeling and Analysis" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Formal Modeling in Social Science	Carol Mershon, Olga Shvetsova	2019	University of Michigan Press
Remanufacturing Modeling and Analysis	Mehmet Ali Ilgin; Surendra M. Gupta	2012	Routledge
Systems Analysis and Modeling	Donald W. Boyd	2001	Academic Press
Paleoclimate analysis and modeling		1985	Wiley
Simulation modeling and analysis /	Law, Averill M.; Kelton, W. David.	[2000], ©2000.	McGraw-Hill,
Geospatial analysis and modeling	Enterprise Program (U. S. ). TEAMS Enterprise Unit	2014
Formal Analysis: An Introduction	Xiao-Xiong Gan	2021	De Gruyter
Formal spatial economic analysis	Jean H. P. Paelinck	1983	Gower
Formal Concept Analysis: Foundations and Applications	Bernhard Ganter; Gerd Stumme; Rudolf Wille	2005	Springer Berlin Heidelberg
Qualitative Simulation Modeling and Analysis	Paul A. Fishwick; Paul A. Luker	1991	Springer New York
Experimental Metastasis: Modeling and Analysis	Anastasia Malek	2013	Springer Netherlands
Manufacturing Systems Modeling and Analysis	Guy L. Curry; Richard M. Feldman	2nd ed. 2011	Springer Berlin Heidelberg
Multiscale Signal Analysis and Modeling	Xiaoping Shen; Ahmed I. Zayed	2013	Springer New York
Precipitation Modeling and Quantitative Analysis	Xiaofan Li; Shouting Gao	2012	Springer Netherlands
Manufacturing Systems Modeling and Analysis	Guy L. Curry; Richard M. Feldman	2009	Springer Berlin Heidelberg
Understanding Statistical Analysis and Modeling	Robert Bruhl	December 2017	SAGE Publications, Inc
Piecewise Linear Modeling and Analysis	Domine Leenaerts; Wim M.G. van Bokhoven	1998	Springer US
Flight Mechanics Modeling and Analysis	Jitendra R. Raol; Jatinder Singh	2008	Routledge
Distribution System Modeling and Analysis	William H. Kersting	2017	Routledge
Microeconomic Modeling and Policy Analysis	Thomas G. Cowing; Daniel L. McFadden and Karl Shell	1984	Academic Press
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
Formal Modeling and Analysis		Software Adaptation in an Open Environment: A Software Architecture Perspective	Yu Zhou; Taolue Chen	2017	Routledge
VHDL Formal Modeling and Analysis	Luis Entrena; Serafín Olcoz; Juan Goicolea	Practical Formal Methods for Hardware Design	Carlos Delgado Kloos; Werner Damm	1997	Springer Berlin Heidelberg
Formal Modeling and Analysis of Organizations	Egon L. van den Broek; Catholijn M. Jonker; Alexei Sharpanskykh; Jan Treur; pInar Yolum	Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers	Olivier Boissier; Julian Padget; Virginia Dignum; Gabriela Lindemann; Eric T Matson; Sascha Ossowski; Jaime Sichman; Javier Vázquez-Salceda	2006	Springer Berlin Heidelberg
Formal Modeling and		Software Applications Concepts Methodologies Tools and Applications	Tiako, Pierre F.	2009	Information Science Reference
Formal Modeling	Longbing Cao	Metasynthetic Computing and Engineering of Complex Systems	Longbing Cao	2015	Springer London
Formal Dependability Modeling and Analysis: A Survey	Waqar Ahmad; Osman Hasan; Sofiène Tahar	Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings	Michael Kohlhase; Moa Johansson; Bruce Miller; Leonardo de Moura; Frank Tompa	1st ed. 2016	Springer International Publishing
Formal Modeling and Analysis of Medical Systems	Mahsa Zarneshan; Fatemeh Ghassemi; Marjan Sirjani	Coordination Models and Languages: 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings	Simon Bliudze; Laura Bocchi	1st ed. 2020	Springer International Publishing
Formal Modeling and Verification		Computer Encyclopedia of Physical Science and Technology, Computer Software	Robert A Meyers	2001	Academic Press
Formal Modeling and Verification		Encyclopedia of Physical Science and Technology - Computer Software	Robert A. Meyers (Editor-in-Chief)	2001	Elsevier
Formal Modeling and Analysis of Cassandra in Maude	Si Liu; Muntasir Raihan Rahman; Stephen Skeirik; Indranil Gupta; José Meseguer	Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings	Stephan Merz; Jun Pang	2014	Springer International Publishing
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment	Qinsi Wang; Natasa Miskov-Zivanov; Bing Liu; James R. Faeder; Michael Lotze; Edmund M. Clarke	Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings	Ezio Bartocci; Pietro Lio; Nicola Paoletti	1st ed. 2016	Springer International Publishing
Formal Modeling and Empirical Analysis in Political Science	Rebecca B. Morton	Methoden der vergleichenden Politik- und Sozialwissenschaft: Neue Entwicklungen und Anwendungen	Susanne Pickel; Gert Pickel; Hans-Joachim Lauth; Detlef Jahn	2009	VS Verlag für Sozialwissenschaften
Formal Modeling and Analysis of the Modbus Protocol	Bruno Dutertre	Critical Infrastructure Protection	E. Goetz; S. Shenoi	2008	Springer US
Modeling and Formal Analysis of Human-Machine Interaction	Michael Heymann	The Oxford Handbook of Cognitive Engineering	John D. Lee; Alex Kirlik	2013	Oxford University Press
A Formal Framework for Organization Modeling and Analysis		Handbook of research on multi-agent systems: semantics and dynamics of organizational models	Virginia Dignum	2010	Information Science Publishing
Formal Modeling Approaches	Arne Sølvberg; David Chenho Kung	Information Systems Engineering: An Introduction	Arne Soelvberg; David C. Kung	1993	Springer Berlin Heidelberg
55 Formal modeling		Modelling Methodologies in Analogue Integrated Circuit Design	Gunhan Dundar (editor), Mustafa Berke Yelten (editor)	2020	Institution of Engineering & T
Modeling Associative Memories Using Formal Concept Analysis	Cherukuri Aswani Kumar; M. S. Ishwarya; Chu Kiong Loo	Computational Intelligence in Information Systems: Proceedings of the Fourth INNS Symposia Series on Computational Intelligence in Information Systems (INNS-CIIS 2014)	Somnuk Phon-Amnuaisuk; Thien Wan Au	2015	Springer International Publishing
Formal analysis	Enn Ots	Decoding Theoryspeak: An Illustrated Guide to Architectural Theory	Enn Ots	2010	Routledge
FORMAL ANALYSIS		Machine Learning, Volume III	Yves Kodratoff and Ryszard S. Michalski	1990	Morgan Kaufmann
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries