"An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
An adaptive lattice algorithm for spectral line estimation	Ill Koo Park	1987
Grid generation and adaptive algorithm /	Bern, Marshall Wayne.; Flaherty, J. E.,; Luskin, Mitchell Barry,	[1999], ©1999.	Springer,
Convergence properties of an adaptive algorithm for linear threshold elements	Robert R. Pearson	1966	Naval Postgraduate School
An adaptive group theoretic algorithm for integer programming problems	George Anthony Gorry	1968	M.I.T.]
Mechanised Shield Tunnelling 2e	Dr.-Ing. Bernhard Maidl	2012	John Wiley & Sons
Models of Adaptive Behaviour: An Approach Based on State.	Alasdair Houston; Alasdair I. Houston; John M. McNamara		Cambridge University Press;Cambridge University Press;Cambridge University Press;Cambridge University Press
Adaptive Finite Element Solution Algorithm for the Euler Equations	Richard A. Shapiro	1991	Vieweg+Teubner Verlag
Logique contemporaine et formalisation	Roger Martin	1964	Presses universitaires de France
Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems: Theory, Algorithm, and Applications	Jens Lang	2001	Springer Berlin Heidelberg
An optimal selection algorithm.	Richard Cole	1986	Courant Institute of Mathematical Sciences, New York University
An optimal selection algorithm	Richard Cole	1986	Courant Institute of Mathematical Sciences, New York University
Japan in International Politics: The Foreign Policies of an Adaptive State	Thomas U. Berger; Mike M. Mochizuki; Jitsuo Tsuchiyama	2007	Lynne Rienner Publishers
Japan in international politics: the foreign policies of an adaptive state /	Berger, Thomas U.; Mochizuki, Mike.; Tsuchiyama, Jitsuo.	2007.	Published in association with the Japan Forum on International Relations,
The mechanised image: an historical perspective on 20th century prints	Pat Gilmour	1978	Arts Council of Great Britain
Logos et formalisation du langage	Dominique Dubarle	1977	Klincksieck
The Everyday Life of an Algorithm	Daniel Neyland	1st ed. 2019	Springer International Publishing
An efficient parallel biconnectivity algorithm	Robert E. Tarjan	1983	Courant Institute of Mathematical Sciences, New York University
An efficient parallel biconnectivity algorithm	Robert E. Tarjan	1983	Courant Institute of Mathematical Sciences, New York University
Formalisation and Flexibilisation in Dispute Resolution	Joachim Zekoll; Moritz Bälz; Iwo Amelung (Editors)	2014-09-29	Brill
An algorithm for the coefficient of concordance	Rodger D. Collons	1968	Bureau of Business and Economic Research, Georgia State College
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
An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm	Robert Sachtleben	Testing Software and Systems: 32nd IFIP WG 6. 1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings	Valentina Casola; Alessandra De Benedictis; Massimiliano Rak	1st ed. 2020	Springer International Publishing
A Mechanised Proof of an Adaptive State Counting Algorithm	Robert Sachtleben; Robert M. Hierons; Wen-ling Huang; Jan Peleska	Testing Software and Systems: 31st IFIP WG 6. 1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings	Christophe Gaston; Nikolai Kosmatov; Pascale Le Gall	1st ed. 2019	Springer International Publishing
A Mechanised Abstract Formalisation of Concept Lattices	Wolfram Kahl	Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings	Peter Höfner; Peter Jipsen; Wolfram Kahl; Martin Eric Müller	2014	Springer International Publishing
Anatomy of An Adaptive Algorithm		Smart Antennas	Tapan K. Sarkar; Michael C. Wicks; Magdalena Salazar-Palma; Robert J. Bonneau	2003	Wiley-IEEE Press
An Adaptive Bat Algorithm	Xiaowei Wang; Wen Wang; Yong Wang	Intelligent Computing Theories and Technology: 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings	De-Shuang Huang; Kang-Hyun Jo; Yong-Quan Zhou; Kyungsook Han	2013	Springer Berlin Heidelberg
An Experimental Adaptive Algorithm	Ross N. Williams	Adaptive Data Compression	Ross N. Williams	1991	Springer US
executable task state	Martin H. Weik	Computer Science and Communications Dictionary	Martin Weik	2001	Springer US
An Adaptive Working Set Algorithm	G. Liefländer; H. Schmutz; P. Silberbusch; R. Steimle	Messung, Modellierung und Bewertung von Rechensystemen: 2. GI/NTG-Fachtagung Stuttgart, 21. –23. Februar 1983	P.J. Kühn; K.M. Schulz	1983	Springer Berlin Heidelberg
Splitsort—an adaptive sorting algorithm	Christos Levcopoulos; Ola Petersson	Mathematical Foundations of Computer Science 1990: Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings	Branislav Rovan	1990	Springer Berlin Heidelberg
An Improved Adaptive Genetic Algorithm	Tang Hongcheng	Knowledge Discovery and Data Mining	Honghua Tan	2012	Springer Berlin Heidelberg
An Adaptive Algorithm for Geofencing	Vincenza Carchiolo; Mark Phillip Loria; Michele Malgeri; Paolo Walter Modica; Marco Toja	Information Technology for Management: Emerging Research and Applications: 15th Conference, AITM 2018, and 13th Conference, ISM 2018, Held as Part of FedCSIS, Poznan, Poland, September 9–12, 2018, Revised and Extended Selected Papers	Ewa Ziemba	1st ed. 2019	Springer International Publishing
Adaptive steady-state genetic algorithm implementation	Darko Vasiljević	Classical and Evolutionary Algorithms in the Optimization of Optical Systems	Darko Vasiljevic	2002	Springer US
Sections of an executable		Black Hat Rust: Applied offensive security with the Rust programming language	Sylvain Kerkour	2021	https://kerkour.com/black-hat-rust/
Sections of an executable		Black Hat Rust	Sylvain Kerkour	2021
Generating an Executable		Creating GUI Applications with wxPython	Michael Driscoll	2019	leanpub.com
An Executable Example		Practical Process Automation: Orchestration and Integration in Microservices and Cloud Native Architectures	Bernd Ruecker	2021	O'Reilly Media
Loading an Executable		Practical Malware Analysis: The Hands-On Guide to Dissecting Malicious Software	Michael Sikorski; Andrew Honig	2012	No Starch Press
Opening an Executable		Practical Malware Analysis: The Hands-On Guide to Dissecting Malicious Software	Michael Sikorski; Andrew Honig	2012	No Starch Press
Making an Executable		Racket Programming the Fun Way: From Strings to Turing Machines	James. W. Stelly	2021	No Starch Press
Making an executable		Sams teach yourself Unreal Engine 4 game development in 24 hours	Aram Cookson	2016	Sams Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm" - similar Books and Chapters